2844 search results - page 100 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
292
click to vote
PLDI
2009
ACM
16 years 5 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....
125
click to vote
AGILEDC
2007
IEEE
15 years 11 months ago
2007
IEEE
The Department of Defense (DoD) and the Defense Information Systems Agency (DISA) have historically operated on 18-36 months release cycles for major IT projects. DISA is now stri...
130
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
130
click to vote
CONCUR
1991
Springer
15 years 8 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
162
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...