6704 search results - page 118 / 1341 » Testing Scenario-Based Models |
124
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
115
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
121
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this work we investigate the feasibility and effectiveness of unsupervised tissue clustering and classification algorithms for DTI data. Tissue clustering and classification ...
119
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
137
Voted
PDSE
1998
15 years 4 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...