Sciweavers

7452 search results - page 54 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
HICSS
2009
IEEE
131views Biometrics» more  HICSS 2009»
16 years 24 days ago
MultiProcessor Scheduling is PLS-Complete
Dominic Dumrauf, Burkhard Monien, Karsten Tiemann
146
Voted
SAMOS
2009
Springer
15 years 10 months ago
A Multiprocessor Architecture with an Omega Network for the Massively Parallel Model GCA
Christian Schäck, Wolfgang Heenes, Rolf Hoffm...
IPPS
1996
IEEE
15 years 10 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 5 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