Sciweavers

653 search results - page 13 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
106
Voted
HICSS
1997
IEEE
89views Biometrics» more  HICSS 1997»
15 years 3 months ago
Supporting Inspections With an Electronic Meeting System
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...
Michiel van Genuchten, Wieger Cornelissen, Cor van...
91
Voted
RTSS
2006
IEEE
15 years 5 months ago
Mutual Consistency in Real-Time Databases
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...
Abhay Kumar Jha, Ming Xiong, Krithi Ramamritham
AISS
2010
146views more  AISS 2010»
14 years 6 months ago
Zatara, the Plug-in-able Eventually Consistent Distributed Database
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...
Bogdan Carstoiu, Dorin Carstoiu
ESOP
2008
Springer
15 years 1 months ago
Semi-persistent Data Structures
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...
Sylvain Conchon, Jean-Christophe Filliâtre
SOSP
2007
ACM
15 years 8 months ago
Improving file system reliability with I/O shepherding
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...
Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Kri...