5707 search results - page 3 / 1142 » Symbolic Simulation - Techniques and Applications |
114
click to vote
FORMATS
2009
Springer
15 years 5 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 ...
113
click to vote
IEEECIT
2010
IEEE
15 years 9 days 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...
106
click to vote
ICC
2009
IEEE
14 years 11 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...
100
Voted
ASPDAC
2004
ACM
15 years 7 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...
104
Voted
ICCAD
2001
IEEE
15 years 10 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...