Sciweavers

2302 search results - page 100 / 461
» Testing as Abstraction
Sort
View
EUROSYS
2006
ACM
16 years 3 months ago
Solving the starting problem: device drivers as self-describing artifacts
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
SEMWEB
2009
Springer
16 years 29 days ago
Results of the Ontology Alignment Evaluation Initiative 2009
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test cas...
Jérôme Euzenat, Alfio Ferrara, Laura ...
SEMWEB
2007
Springer
16 years 16 days ago
Results of the Ontology Alignment Evaluation Initiative 2007
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test set...
Jérôme Euzenat, Antoine Isaac, Christ...
PADS
2006
ACM
16 years 12 days ago
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
Michael Lees, Brian Logan, Dan Chen, Ton Oguara, G...
ISAAC
2001
Springer
118views Algorithms» more  ISAAC 2001»
15 years 11 months ago
On Adaptive Fault Diagnosis for Multiprocessor Systems
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
Kumiko Nomura, Toshinori Yamada, Shuichi Ueno