2555 search results - page 389 / 511 » Quantifiers and Working Memory |
134
Voted
CC
2007
Springer
15 years 10 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
125
Voted
DAMON
2007
Springer
15 years 10 months ago
2007
Springer
As XQuery rapidly emerges as the standard for querying XML documents, it is very important to understand the architectural characteristics and behaviors of such workloads. A lot o...
152
click to vote
DAMON
2007
Springer
15 years 10 months ago
2007
Springer
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
146
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
140
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
— In computer systems, the storage hierarchy, composed of a disk drive and a DRAM, is responsible for a large portion of the total energy consumed. This work studies the energy m...