1299 search results - page 160 / 260 » On the Correctness of Operating System Kernels |
216
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...
282
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Although conventional database management systems are designed to tolerate hardware and to a lesser extent even software errors, they cannot protect themselves against syntactical...
157
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
186
click to vote
EDOC
2008
IEEE
16 years 29 days ago
2008
IEEE
The definition and management of access rules (e.g., to control the access to business documents and business functions) is an important task within any enterprise information sy...
131
click to vote
USENIX
1994
15 years 7 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...