372 search results - page 68 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
ASPDAC
2006
ACM
15 years 3 months ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
PDCN
2004
14 years 11 months ago
2004
In this paper, an efficient tool has been designed and implemented to design and analyze the communication networks. A network simulator in software is valuable for network manage...
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
HPCA
1996
IEEE
15 years 1 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...