A parallel `make' utility based on Linda's tuple-space
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
A generic framework for distributed, cooperating blackboard systems
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Guest Editor's Introduction: Distributed Computing Systems
Computer - Distributed computing systems: separate resources acting as one
Ada communication components for distributed and real time applications
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
The consensus problem in fault-tolerant computing
ACM Computing Surveys (CSUR)
Finite state machine verification on MIMD machines
EURO-DAC '92 Proceedings of the conference on European design automation
Optimal Centralized Algorithms for Store-And-Forward Deadlock Avoidance
IEEE Transactions on Computers
Code assignment for hidden terminal interference avoidance in multihop packet radio networks
IEEE/ACM Transactions on Networking (TON)
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Parallel and Distributed Systems
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A SAT-based network access scheme for fairness in high speed networks
IEEE/ACM Transactions on Networking (TON)
Performance modeling of the IDES framework
Proceedings of the eleventh workshop on Parallel and distributed simulation
An integrated course on parallel and distributed processing
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Simulation & design of message routing systems for network of transputers
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
A module on distributed systems for the operating systems course
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Localized algorithms in wireless ad-hoc networks: location discovery and sensor exposure
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
A Fair Fast Distributed Concurrent-Reader Exclusive-Writer Synchronization
FRONTIERS '96 Proceedings of the 6th Symposium on the Frontiers of Massively Parallel Computation
Multimedia Wireless Interactive and Collaborative Telecom Services
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
Detecting Arbitrary Stable Properties Using Efficient Snapshots
IEEE Transactions on Software Engineering
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
An automatic calibration method for stereo-based 3D distributed smart camera networks
Computer Vision and Image Understanding
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
High-Level executable specifications of distributed algorithms
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Hi-index | 0.02 |