1222 search results - page 128 / 245 » Verifying a File System Implementation |
125
Voted
ICRA
2010
IEEE
15 years 21 days ago
2010
IEEE
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
124
Voted
SOSP
2001
ACM
15 years 11 months ago
2001
ACM
The Cooperative File System (CFS) is a new peer-to-peer readonly storage system that provides provable guarantees for the efficiency, robustness, and load-balance of file storag...
273
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
133
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
133
Voted
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...