1222 search results - page 188 / 245 » Verifying a File System Implementation |
110
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
109
click to vote
ICDCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distributed storage systems employ replicas or erasure code to ensure high reliability and availability of data. Such replicas create great amount of network traffic that negative...
116
click to vote
ASPLOS
1987
ACM
15 years 3 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
130
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Genome annotation can be viewed as an incremental, cooperative, data-driven, knowledge-based process that involves multiple methods to predict gene locations and struc...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...