Sciweavers

1063 search results - page 119 / 213
» Order and Negation as Failure
Sort
View
109
Voted
ACSD
2007
IEEE
67views Hardware» more  ACSD 2007»
15 years 7 months ago
Hazard Checking of Timed Asynchronous Circuits Revisited
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
Frédéric Béal, Tomohiro Yoned...
82
Voted
DSOM
2005
Springer
15 years 6 months ago
Can Dynamic Provisioning and Rejuvenation Systems Coexist in Peace?
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
Raquel Vigolvino Lopes, Walfredo Cirne, Francisco ...
92
Voted
AFRIGRAPH
2004
ACM
15 years 6 months ago
High fidelity reconstruction of the ancient Egyptian temple of Kalabsha
The ancient Egyptian temple of Kalabsha dates back to 30 BC. In 1963 the temple was dismantled and moved to a new site in order to save it from the rising waters of the Lake Nasse...
Veronica Sundstedt, Alan Chalmers, Philippe Martin...
COMPSAC
2009
IEEE
15 years 5 months ago
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization
—In continuous integration, a tight integration of test case prioritization techniques and fault-localization techniques may both expose failures faster and locate faults more ef...
Bo Jiang, Zhenyu Zhang, T. H. Tse, Tsong Yueh Chen
SRDS
2000
IEEE
15 years 5 months ago
Deterministic Scheduling for Transactional Multithreaded Replicas
One way to implement a fault-tolerant a service is by replicating it at sites that fail independently. One of the replication techniques is active replication where each request i...
Ricardo Jiménez-Peris, Marta Patiño-...