544 search results - page 10 / 109 » Reading to Write |
DEXAW
1997
IEEE
14 years 28 days ago
1997
IEEE
As main memory capacity increases, more of the database read requests will be satis ed from the bu er system. Consequently, the amount of disk write operations relative to disk re...
ACL2
2006
ACM
14 years 2 months ago
2006
ACM
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
Current aggregation systems either have a single inbuilt aggregation mechanism or require applications to specify an aggregation policy a priori. It is hard to predict the read an...
MKERN
1992
13 years 10 months ago
1992
of the kernel abstractions and system servers and describe in detail the read() and write() paths of these two systems. We then break down their read() and write() performance and ...