288 search results - page 35 / 58 » Interactive Termination Proofs Using Termination Cores |
183
click to vote
DSD
2005
IEEE
16 years 8 days ago
2005
IEEE
1 This paper presents a method for power-constrained system-on-chip test scheduling in an abort-on-first-fail environment where the test is terminated as soon as a fault is detecte...
264
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
138
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
Palplates are a collection of touch-screen terminals placed around the office enabling human-computer interactions at the point of need. Supporting a community of mobile authentic...
180
click to vote
AMOST
2005
ACM
16 years 6 days ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
165
click to vote
CGF
2008
15 years 6 months ago
2008
We present an interactive GPU-based algorithm for accurately rendering high-quality, dynamic glossy reflection effects from both HDR environment maps and local scene objects. Our ...