481 search results - page 51 / 97 » Acceleration of behavioral simulation on simulation specific... |
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
118
click to vote
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
IADIS
2003
15 years 1 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
145
click to vote
VLSID
1999
IEEE
15 years 4 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
ANSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Computer simulation of switching power converters is complicated by the discontinuous (switching) nature of the converter waveforms. When switching details of the waveforms are of...