1222 search results - page 230 / 245 » Verifying a File System Implementation |
163
Voted
PEPM
2007
ACM
16 years 15 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
187
Voted
JSSPP
2005
Springer
15 years 12 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
183
Voted
COMCOM
2008
15 years 6 months ago
2008
This article presents an integrated admission control and routing mechanism for multi-rate wireless mesh networks. Admission control depends on precise estimates of available band...
184
Voted
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
158
Voted
PLDI
2006
ACM
16 years 10 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...