Sciweavers

4313 search results - page 78 / 863
» Using time travel to diagnose computer problems
Sort
View
ICFP
2009
ACM
15 years 11 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
ESWA
2011
249views Database» more  ESWA 2011»
14 years 11 months ago
Personalized long-term ECG classification: A systematic approach
This paper presents a personalized long-term electrocardiogram (ECG) classification framework, which addresses the problem within a long-term ECG signal, known as Holter register, ...
Serkan Kiranyaz, Turker Ince, Jenni Pulkkinen, Mon...
EAAI
2010
91views more  EAAI 2010»
15 years 4 months ago
A framework for on-line trend extraction and fault diagnosis
: Qualitative trend analysis (QTA) is a process-history-based data-driven technique that works by extracting important features (trends) from the measured signals and evaluating th...
Mano Ram Maurya, Praveen K. Paritosh, Raghunathan ...
CONCUR
2012
Springer
13 years 6 months ago
Avoiding Shared Clocks in Networks of Timed Automata
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...
Sandie Balaguer, Thomas Chatain
ICDCS
2003
IEEE
15 years 9 months ago
Software Fault Tolerance of Distributed Programs Using Computation Slicing
Writing correct distributed programs is hard. In spite of extensive testing and debugging, software faults persist even in commercial grade software. Many distributed systems, esp...
Neeraj Mittal, Vijay K. Garg