Communicating sequential processes
Communicating sequential processes
HEP architecture, programming and performance
on Parallel MIMD computation: HEP supercomputer and its applications
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Teaching a course in parallel processing with limited resources
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Extending the two-partner shared variable protocol to n partners
APL '93 Proceedings of the international conference on APL
Spin-block synchronization algorithm in the shared memory multiprocessor system
ACM SIGOPS Operating Systems Review
The validation of a multiprocessor simulator
WSC '93 Proceedings of the 25th conference on Winter simulation
A locking facility for parallel systems
IBM Systems Journal
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Access Graphs: A Model for Investigating Memory Consistency
IEEE Transactions on Parallel and Distributed Systems
Scheduling DAG's for Asynchronous Multiprocessor Execution
IEEE Transactions on Parallel and Distributed Systems
Automatic Production of Globally Asynchronous Locally Synchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Technology for Testing Nondeterministic Client/Server Database Applications
IEEE Transactions on Software Engineering
Synchronization and cache coherence in computer design
Journal of Computing Sciences in Colleges
| Hi-index | 4.10 |
An examination is given of how traditional synchronization methods influence the design of MIMD (multiple-instruction multiple-data-stream) multiprocessors. She provides an overview of MIMD multiprocessing and goes on to discuss semaphore-based implementations (Ultracomputers, Cedar, and the Sequent Balance/21000), monitor-based implementations (the HM/sup 2/p) and implementations based on message-passing (HEP, the BBN Butterfly and the Transputer).