653 search results - page 13 / 131 » Implications of a Data Structure Consistency Checking System |
HICSS
1997
IEEE
13 years 12 months ago
1997
IEEE
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. The meeting is used...
RTSS
2006
IEEE
14 years 1 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
AISS
2010
13 years 2 months ago
2010
With the proliferation of the computer Cloud, new software delivery methods were created. In order to build software to fit into one of these models, a scalable, easy to deploy st...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
A data structure is said to be persistent when any update operation returns a new structure without altering the old version. This paper introduces a new notion of persistence, cal...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
We introduce a new reliability infrastructure for file systems called I/O shepherding. I/O shepherding allows a file system developer to craft nuanced reliability policies to de...