1602 search results - page 283 / 321 » Database Architectures for New Hardware |
DAC
2003
ACM
14 years 9 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
The basic system timer facilities used by applications and OS kernels for scheduling timeouts and periodic activities have remained largely unchanged for decades, while hardware a...
ISPASS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Hadoop is a popular open-source implementation of MapReduce for the analysis of large datasets. To manage storage resources across the cluster, Hadoop uses a distributed user-le...
EUROMICRO
2009
IEEE
14 years 3 months ago
2009
IEEE
—Success in the software product business requires timely release of new products and upgrades with proper quality and the right features. For this, a systematic approach for man...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
Parallel simulation is a technique to accelerate microarchitecture simulation of CMPs by exploiting the inherent parallelism of CMPs. In this paper, we explore the simulation para...