Sciweavers

862 search results - page 45 / 173
» A Framework for Testing Peer-to-Peer Systems
Sort
View
JAIR
2010
165views more  JAIR 2010»
15 years 4 months ago
A Model-Based Active Testing Approach to Sequential Diagnosis
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
PTS
2010
140views Hardware» more  PTS 2010»
15 years 4 months ago
More Testable Properties
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
Yliès Falcone, Jean-Claude Fernandez, Thier...
TOG
2012
181views Communications» more  TOG 2012»
13 years 8 months ago
Guided exploration of physically valid shapes for furniture design
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
Nobuyuki Umetani, Takeo Igarashi, Niloy J. Mitra
DFT
2006
IEEE
148views VLSI» more  DFT 2006»
15 years 7 months ago
Bilateral Testing of Nano-scale Fault-tolerant Circuits
As the technology enters the nano dimension, the inherent unreliability of nanoelectronics is making fault-tolerant architectures increasingly necessary in building nano systems. ...
Lei Fang, Michael S. Hsiao
SIGIR
2010
ACM
15 years 9 months ago
Reusable test collections through experimental design
Portable, reusable test collections are a vital part of research and development in information retrieval. Reusability is difficult to assess, however. The standard approach— si...
Ben Carterette, Evangelos Kanoulas, Virgiliu Pavlu...