×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [kloc of c]
UBSS overview, ATC Middleware
2.981 views
Lua and its Ecosystem
1.061 views
First Principles Vulnerability Assessment
212 views
1 SQCK: A Declarative File System Checker Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau University of Wisconsin
217 views
INF 123 SW ARCH, DIST SYS & INTEROP LECTURE 11 Prof. Crista Lopes
215 views
SQCK: A Declarative File System Checker
20 views
P ROGRAMMING WITH T RIGGERS Michał Moskal Satisfiability Modulo Theories Workshop August 2 nd, 2009, McGill University, Montreal, Canada Aachen, Germany
214 views
SQCK: A Declarative File System Checker
32 views