1222 search results - page 125 / 245 » Verifying a File System Implementation |
99
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
154
Voted
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
— This paper considers the problem of verifying stability of large-scale nonlinear dynamical systems. Using a comparison principle approach we present a numerical method of estim...
138
Voted
ICNS
2009
IEEE
15 years 15 days ago
2009
IEEE
In the last decade, file sharing systems have generally been dominated by P2P solutions. Whereas e-mail and HTTP have been the killer apps of the earlier Internet, a large percent...
129
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
124
Voted
COMCOM
2000
15 years 2 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...