ACM SIGCSE Bulletin
Analyzing Hard-Real-Time Programs for Guaranteed Schedulability
IEEE Transactions on Software Engineering
Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous
ACM SIGOPS Operating Systems Review
Pfortran: a parallel dialect of Fortran
ACM SIGPLAN Fortran Forum
Process synchronization and IPC
ACM Computing Surveys (CSUR)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
EMERALDS: a small-memory real-time microkernel
Proceedings of the seventeenth ACM symposium on Operating systems principles
Use of the concept of transparency in the design of hierarchically structured systems
Communications of the ACM
Curriculum recommendations for graduate professional programs in information systems
Communications of the ACM
Process management and resource sharing in the multiaccess system in ESOPE
Communications of the ACM
EMERALDS: A Small-Memory Real-Time Microkernel
IEEE Transactions on Software Engineering
Conflict resolution for readers and writers
ACM SIGAda Ada Letters
Deadlock removal using partial rollback in database systems
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer
IEEE Transactions on Parallel and Distributed Systems
Memory Consistency and Process Coordination for SPARC Multiprocessors
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Towards a parallel SIMULA machine
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
A model for the local area of a data communication network software organization
Proceedings of the first ACM symposium on Problems in the optimization of data communications systems
Error resynchronization in producer-consumer systems
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The ARPA network terminal system a new approach to network access
DATACOMM '73 Proceedings of the third ACM symposium on Data communications and Data networks: Analysis and design
Physical volume library deadlock avoidance in a striped media environment
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
Process management and resource sharing in the multiaccess system "ESOPE"
SOSP '69 Proceedings of the second symposium on Operating systems principles
A novel deadlock avoidance algorithm and its hardware implementation
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Advancing learning goals: Linda arouses a sleeping barber
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Asynchronous circuits, communicating processes, and muller automaton
Fundamenta Informaticae
Implicit heterogeneous and parallel programming
ACM SIGSOFT Software Engineering Notes
A novel O(n) parallel banker's algorithm for System-on-a-Chip
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
A view of 20th and 21st century software engineering
Proceedings of the 28th international conference on Software engineering
Efficient distributed deadlock avoidance with liveness guarantees
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip
IEEE Transactions on Parallel and Distributed Systems
McROSS: a multi-computer programming system
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
A hybrid SSS*/alpha-beta algorithm for parallel search of game trees
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Macrodebugging: global views of distributed program execution
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
A family of distributed deadlock avoidance protocols and their reachable state spaces
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
On efficient distributed deadlock avoidance for real-time and embedded systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Partial-coherence abstractions for relaxed memory models
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Automatic inference of memory fences
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
DMX in MANETs: major research trends since 2004
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Getting rid of store-buffers in TSO analysis
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Distributed priority inheritance for real-time and embedded systems
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Internally deterministic parallel algorithms can be fast
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Simulation-based deadlock avoidance and optimization in bidirectional AGVS
Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques
Thread allocation protocols for distributed real-time and embedded systems
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Asynchronous Circuits, Communicating Processes, and Muller Automaton
Fundamenta Informaticae
Algorithm 928: A general, parallel implementation of Dantzig--Wolfe decomposition
ACM Transactions on Mathematical Software (TOMS)
AutoSynch: an automatic-signal monitor based on predicate tagging
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.06 |