2470 search results - page 92 / 494 » Liveness-Preserving Simulation Relations |
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
ISPASS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
124
click to vote
GROUP
2005
ACM
15 years 6 months ago
2005
ACM
People search for people with suitable expertise all of the time in their social networks – to answer questions or provide help. Recently, efforts have been made to augment this...
PADS
2004
ACM
15 years 6 months ago
2004
ACM
An efficient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identi...
136
Voted
PARA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...