11172 search results - page 677 / 2235 » Testing Physical Systems |
236
click to vote
OOPSLA
2004
Springer
16 years 24 days ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
213
click to vote
ICCAD
2010
IEEE
15 years 5 months ago
2010
IEEE
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
162
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Information retrieval systems are evaluated against test collections of topics, documents, and assessments of which documents are relevant to which topics. Documents are chosen fo...
175
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
189
click to vote
LICS
2003
IEEE
16 years 22 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...