Sciweavers

87 search results - page 8 / 18
» Space of DRAM fault models and corresponding testing
Sort
View
SIGSOFT
2007
ACM
14 years 8 months ago
A study of interleaving coverage criteria
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
Shan Lu, Weihang Jiang, Yuanyuan Zhou
SAC
2006
ACM
13 years 7 months ago
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Ke...
DEXAW
2008
IEEE
120views Database» more  DEXAW 2008»
14 years 1 months ago
Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
Dario Bonino, Fulvio Corno
JUCS
2008
184views more  JUCS 2008»
13 years 7 months ago
Optimizing Assignment of Knowledge Workers to Office Space Using Knowledge Management Criteria: The Flexible Office Case
: Even though knowledge management has been around for more than a decade, so far concrete instruments that can be systematically deployed are still rare. This paper presents an op...
Ronald Maier, Stefan Thalmann, Florian Bayer, Mich...
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
13 years 11 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund