Sciweavers

4306 search results - page 247 / 862
» Timed Testing with TorX
Sort
View
101
Voted
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
15 years 6 months ago
Designed -in-diagnostics: A new optical method
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
Keneth R. Wilsher
DLOG
1998
15 years 2 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider
85
Voted
MICCAI
1999
Springer
15 years 5 months ago
Performance of Robotic Augmentation in Microsurgery-Scale Motions
This paper is part of the development process of a microsurgical "cooperating" assistant. To evaluate its applicability to augment fine surgical motions, we test precisio...
Rajesh Kumar 0001, Tushar M. Goradia, Aaron C. Bar...
114
Voted
STOC
1998
ACM
135views Algorithms» more  STOC 1998»
15 years 5 months ago
Checking Polynomial Identities over any Field: Towards a Derandomization?
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
Daniel Lewin, Salil P. Vadhan
BCSHCI
2007
15 years 2 months ago
Expert habits vs. UI improvements: re-design of a room booking system
This paper presents the results of a case study examining prototyping as a method in re-designing a user interface (UI). In the case presented, a web-based room booking was re-des...
Per A. Jonasson, Morten Fjeld, Aiko Fallas Yamashi...