Sciweavers

7452 search results - page 46 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
88
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System
Rolf Drechsler, Nicole Drechsler, Elke Mackensen, ...
CAV
1999
Springer
78views Hardware» more  CAV 1999»
15 years 7 months ago
Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...