2634 search results - page 146 / 527 » Faster Than Uppaal |
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
ISPD
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
MOBICOM
2006
ACM
14 years 4 months ago
2006
ACM
Multimedia (e.g., video) information exchange in VANET, if feasible, will help enhance vehicle navigation safety. We show that network coding allows very reliable and efficient d...
NETGAMES
2006
ACM
14 years 4 months ago
2006
ACM
Synchronization protocols based on “dead-reckoning” are vulnerable to a popular type of cheat called speed-hack. A speed-hack helps a cheater to gain unfair advantages by essen...
VRST
2006
ACM
14 years 4 months ago
2006
ACM
This paper studies the usage of the GPU as a collection of groups of related processing units, where each group communicates in some way to complete a computation efficiently and...