5707 search results - page 3 / 1142 » Symbolic Simulation - Techniques and Applications |
FORMATS
2009
Springer
13 years 10 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
IEEECIT
2010
IEEE
13 years 4 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
ICC
2009
IEEE
13 years 3 months ago
2009
IEEE
We consider a wireless communication system where multiple co-channel users transmit data via a synchronous, frequency-flat Rayleigh fading channel. The receiver employs an antenna...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
ICCAD
2001
IEEE
14 years 2 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...