16725 search results - page 2851 / 3345 » Engineering Software Correctness |
244
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
163
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
182
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
As organizations start to use data-intensive cluster computing systems like Hadoop and Dryad for more applications, there is a growing need to share clusters between users. Howeve...
188
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
Deployment of SSDs in enterprise settings is limited by the low erase cycles available on commodity devices. Redundancy solutions such as RAID can potentially be used to protect a...
194
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...