4306 search results - page 672 / 862 » Timed Testing with TorX |
122
click to vote
MTV
2005
IEEE
15 years 8 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
107
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
132
click to vote
JCDL
2005
ACM
15 years 8 months ago
2005
ACM
Our system suggests likely identity labels for photographs in a personal photo collection. Instead of using face recognition techniques, the system leverages automatically availab...
117
click to vote
PODC
2005
ACM
15 years 8 months ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
113
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...