Sciweavers

1810 search results - page 200 / 362
» BASE: Using Abstraction to Improve Fault Tolerance
Sort
View
DSN
2009
IEEE
16 years 1 months ago
Low overhead Soft Error Mitigation techniques for high-performance and aggressive systems
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
Naga Durga Prasad Avirneni, Viswanathan Subramania...
SIGMOD
2006
ACM
89views Database» more  SIGMOD 2006»
16 years 6 months ago
Testing database applications
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
Carsten Binnig, Donald Kossmann, Eric Lo
SIAMCOMP
2012
13 years 9 months ago
Randomized Competitive Algorithms for Generalized Caching
We consider online algorithms for the generalized caching problem. Here we are given a cache of size k and pages with arbitrary sizes and fetching costs. Given a request sequence ...
Nikhil Bansal, Niv Buchbinder, Joseph Naor
COMCOM
2000
130views more  COMCOM 2000»
15 years 6 months ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo
OTM
2005
Springer
15 years 12 months ago
Judicial Support Systems: Ideas for a Privacy Ontology-Based Case Analyzer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
Yan Tang, Robert Meersman