106 search results - page 2 / 22 » Computing Quantitative Characteristics of Finite-State Real-... |
FTCS
1998
14 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
CVPR
2005
IEEE
15 years 3 months ago
2005
IEEE
This work presents a real-time system for multiple objects tracking in dynamic scenes. A unique characteristic of the system is its ability to cope with longduration and complete ...
122
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
We aimed to study the performance of a parallel implementation of an intraoperative nonrigid registration algorithm that accurately simulates the biomechanical properties of the b...
119
click to vote
HASE
1998
IEEE
15 years 1 months ago
1998
IEEE
: A middleware architecture named ROAFTS (Real-time Object-oriented Adaptive Fault Tolerance Support) is presented. ROAFTS is designed to support adaptive fault-tolerant execution ...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper describes an approach to carry out performance analysis on systems which combine two major characteristics: real-time behaviour and parallel computational structure. It ...