Sciweavers

245 search results - page 10 / 49
» The Effect of Buffering on the Performance of R-Trees
Sort
View
TKDE
1998
139views more  TKDE 1998»
14 years 9 months ago
Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
Alexander Thomasian
CAV
2008
Springer
157views Hardware» more  CAV 2008»
14 years 11 months ago
Effective Program Verification for Relaxed Memory Models
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
Sebastian Burckhardt, Madanlal Musuvathi
MASCOTS
2003
14 years 10 months ago
Disk Built-in Caches: Evaluation on System Performance
Disk drive manufacturers are putting increasingly larger built-in caches into disk drives. Today, 2 MB buffers are common on low-end retail IDE/ATA drives, and some SCSI drives ar...
Yingwu Zhu, Yiming Hu
CORR
2007
Springer
172views Education» more  CORR 2007»
14 years 9 months ago
Analysis of the 802.11e Enhanced Distributed Channel Access Function
The IEEE 802.11e standard revises the Medium Access Control (MAC) layer of the former IEEE 802.11 standard for Quality-of-Service (QoS) provision in the Wireless Local Area Networ...
Inanc Inan, Feyza Keceli, Ender Ayanoglu
SIGMETRICS
2005
ACM
110views Hardware» more  SIGMETRICS 2005»
15 years 3 months ago
Empirical evaluation of multi-level buffer cache collaboration for storage systems
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
Zhifeng Chen, Yan Zhang, Yuanyuan Zhou, Heidi Scot...