7766 search results - page 191 / 1554 » Testing Nondeterminate Systems |
3DIC
2009
IEEE
14 years 4 months ago
2009
IEEE
—A high-sensitivity capacitive-coupling interface is presented for wireless wafer testing systems. The transmitter is a buffer that drives the transmitter pad, and the receiver c...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
ISM
2006
IEEE
14 years 3 months ago
2006
IEEE
The paper demonstrates a method of simultaneously testing the spatial and tonal resolution of a camera. Unlike the modulation transfer function which has been used in the past, th...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
PTS
2003
13 years 11 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...