2844 search results - page 177 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
151
click to vote
FAST
2010
15 years 8 months ago
2010
Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...
184
click to vote
PRDC
1999
IEEE
15 years 10 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
167
click to vote
SP
2009
IEEE
16 years 23 days ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
200
click to vote
FECS
2009
15 years 3 months ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
166
click to vote
EDBT
2009
ACM
16 years 25 days ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...