Single-Site and Distributed Optimistic Protocols for Concurrency Control
IEEE Transactions on Software Engineering
Virtual rings: an introduction to concurrency
ACM SIGCSE Bulletin
Communications of the ACM
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs
IEEE Transactions on Software Engineering
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Multiple threads in cyclic register windows
ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Performance prediction of parallel processing systems: the PAMELA methodology
ICS '93 Proceedings of the 7th international conference on Supercomputing
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
DGDBM: programming support for distributed transactions over replicated files
ACM SIGOPS Operating Systems Review
A model of object database applications and its use in cost estimation
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
On deadlocks in interconnection networks
Proceedings of the 24th annual international symposium on Computer architecture
JOYCE+: model and language for multi-site distributed systems
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Communications of the ACM
IEEE Transactions on Computers
Fast Algorithms for Distributed Resource Allocation
IEEE Transactions on Parallel and Distributed Systems
Characterization of Deadlocks in Interconnection Networks
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
An o(min(m, n)) parallel deadlock detection algorithm
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A new robust centralized DMX algorithm
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Journal of Parallel and Distributed Computing
High performance cycle detection scheme for multiprocessing systems
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Research: Dynamic key management schemes for access control in a hierarchy
Computer Communications
Instant Multiunit Resource Hardware Deadlock Detection Scheme for System-on-Chips
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.05 |