3387 search results - page 556 / 678 » Model-Checking for Real-Time Systems |
123
Voted
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
133
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
Out-of-memory errors are a serious source of unreliability in most embedded systems [22]. Applications run out of main memory because of the frequent difficulty of estimating the ...
115
Voted
SIGIR
2008
ACM
15 years 21 days ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
100
click to vote
ISM
2005
IEEE
15 years 6 months ago
2005
IEEE
We designed eSports—a collaborative and synchronous video annotation platform, which is to be used in Internet scale cross-platform grid computing environment to facilitate Comp...
115
Voted
JSS
2008
14 years 11 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...