Teaching operating systems with Modula-2
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
A project for operating systems simulation
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Concurrent programming in Modula-2
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Applying statistical physics to performance analysis of large-scale computing systems (abstract)
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Synchronizing the presentation of multimedia objects-ODA extensions-
ACM SIGOIS Bulletin
Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous
ACM SIGOPS Operating Systems Review
Teaching concurrency with Joyce and Linda
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
The portable dining philosophers: a movable feast of concurrency and software engineering
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Ada experience in the undergraduate curriculum
Communications of the ACM
ACM SIGCSE Bulletin
Programming by multiset transformation
Communications of the ACM
Monitors and concurrent Pascal: a personal history
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Systematic concurrent object-oriented programming
Communications of the ACM
A methodology for monitor development in concurrent programs
ACM SIGCSE Bulletin
An undergraduate course in concurrent programming using Ada
ACM SIGCSE Bulletin
Object oriented design and implementation of concurrent and real time systems in Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Object-oriented programming for embedded systems
ACM SIGPLAN Notices
Process synchronization and IPC
ACM Computing Surveys (CSUR)
After you, Alfonse: a mutual exclusion toolkit
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Using inheritance to implement concurrency
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Challenges for future real-time operating systems
FORTH '90 and '91 Proceedings of the second and third annual workshops on Forth
Distributed algorithms in Java
Proceedings of the 2nd conference on Integrating technology into computer science education
Parallel computing in the undergraduate curriculum
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
A concurrency simulator designed for sophomore-level instruction
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
“Alfonse, your Java is ready!”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Asynchronous group mutual exclusion (extended abstract)
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
The mutual exclusion problem has been solved
Communications of the ACM
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Re-engineering a concurrency simulator
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
A portable implementation of the distributed systems annex in Java
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
An Executable Specification and Verifier for Relaxed Memory Order
IEEE Transactions on Computers - Special issue on cache memory and related problems
Thinking parallel: the process of learning concurrency
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
DPLab: an environment for distributed programming
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Communications of the ACM
Interactive execution of distributed algorithms
Journal on Educational Resources in Computing (JERIC)
Software Engineering with Agents: Pitfalls and Pratfalls
IEEE Internet Computing
Access Graphs: A Model for Investigating Memory Consistency
IEEE Transactions on Parallel and Distributed Systems
A Protocol for Multi-Threaded Processes with Choice in pi-Calculus
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Parallel Data Mining of Bayesian Networks from Telecommunications Network Data
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
The Congenial Talking Philosophers Problem in Computer Networks (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Formal Verification of the Ricart-Agrawala Algorithm
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Balancing Fine- and Medium-Grained Parallelism in Scheduling Loops for the XIMD Architecture
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
Models for cooperative activities over the web
Web-enabled systems integration
Parallel ray tracing on a chip
Practical parallel rendering
BACI debugger: a GUI debugger for the BACI system
Journal of Computing Sciences in Colleges
Static and dynamic topological re-configurability in multi-microcomputer systems
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Virtual trees for the byzantine generals algorithm
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Learning concurrency: evolution of students' understanding of synchronization
International Journal of Human-Computer Studies
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach
Annals of Mathematics and Artificial Intelligence
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Asynchronous group mutual exclusion
Distributed Computing
Encyclopedia of Computer Science
On the computational complexity of coalitional resource games
Artificial Intelligence
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
ACTLW - An action-based computation tree logic with unless operator
Information Sciences: an International Journal
Estimating Metabolic Pathways Parameters Using Distributed Monte Carlo Method
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
Journal of Systems and Software
Logic for automated mechanism design: a progress report
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
On the computational complexity of coalitional resource games
Artificial Intelligence
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Deadlock free specification based on local process properties
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Co-ordination in artificial agent societies: social structures and its implications for autonomous problem-solving agents
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
An ontological framework for dynamic coordination
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Automatic construction of bayesian network structures by means of a concurrent search mechanism
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Synthesis of concurrent and distributed adaptors for component-based systems
EWSA'06 Proceedings of the Third European conference on Software Architecture
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
Hi-index | 0.08 |