308 search results - page 38 / 62 » Verification of object-oriented simulation designs |
106
click to vote
VIP
2001
15 years 1 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
88
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
113
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
100
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...