Sciweavers

7452 search results - page 54 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
64
Voted
HICSS
2009
IEEE
131views Biometrics» more  HICSS 2009»
15 years 10 months ago
MultiProcessor Scheduling is PLS-Complete
Dominic Dumrauf, Burkhard Monien, Karsten Tiemann
IPPS
1996
IEEE
15 years 7 months ago
Self-Timed Resynchronization: A Post-Optimization for Static Multiprocessor Schedules
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
Shuvra S. Bhattacharyya, Sundararajan Sriram, Edwa...
FUIN
2002
107views more  FUIN 2002»
15 years 3 months ago
Comparing Refinements for Failure and Bisimulation Semantics
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...
Rik Eshuis, Maarten M. Fokkinga