601 search results - page 27 / 121 » Simulation vs. Equivalence |
ISLPED
1995
ACM
14 years 1 months ago
1995
ACM
We present a transistor level power estimator which exploits algorithms for fast circuit simulation to compute the power dissipation of CMOS circuits. The proposed approach uses s...
AIIDE
2009
13 years 10 months ago
2009
A drama manager (DM) monitors an interactive experience, such as a computer game, and intervenes to shape the global experience so that it satisfies the author's expressive g...
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
WCE
2007
13 years 10 months ago
2007
— A Lagrangian front-tracking scheme is used to simulate turbulent premixed combustion of methane (CH4) - air and ethylene (C2H4) - air mixtures in open V-flames at various level...
ENTCS
2007
13 years 9 months ago
2007
d abstract) David de Frutos Escrig1 ,3 Departamento de Sistemas Inform´aticos y Computaci´on Universidad Complutense de Madrid Madrid, Spain Carlos Gregorio Rodr´ıguez2 ,4 Depa...