6608 search results - page 950 / 1322 » On the Completeness of Model Checking |
160
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
177
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The cognitive radio channel (CRC) refers to a communication model in which two senders attempt to communicate with their respective receivers simultaneously through a c...
191
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
159
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
In the context of automated feeding (orienting) of industrial parts, we study the algorithmic design of traps in the bowl feeder track that filter out all but one orientation of ...
166
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—An energy detector designed in a 0.18μm CMOS technology and intended for a non-coherent impulse-radio UWB receiver is presented in this paper. The proposed circuit exploits the...