1179 search results - page 53 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
125
Voted
ATS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
149
Voted
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
It is known that the use of video can help improve the performance of face verification systems. However, processing video in resource constrained devices is prohibitive. In order ...
122
Voted
IMECS
2007
15 years 5 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
153
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
244
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...