7890 search results - page 456 / 1578 » The MathSAT 3 System |
199
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
File systems make use of part of DRAM as the buffer cache to enhance its performance in traditional systems. In this paper, we consider the use of Non-Volatile RAM (NVRAM) as a w...
196
click to vote
PPOPP
2003
ACM
16 years 3 days ago
2003
ACM
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
183
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
164
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
A block-level continuous data protection (CDP) system logs every disk block update from an application server (e.g., a file or DBMS server) to a storage system so that any disk u...
154
click to vote
COMPGEOM
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we show how to traverse a subdivision and to report all cells, edges and vertices, without making use of mark bits in the structure or a stack. We do this by perform...