A comparison of concurrent languages: a class project
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Using emulators as vehicles for instruction in systems programming: prospective consideration
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Transaction processing primitives and CSP
IBM Journal of Research and Development
Pascal-FC: a language for teaching concurrent programming
ACM SIGPLAN Notices
Process scheduling in Modula-2
ACM SIGPLAN Notices
SOS: a monitor-based operating system for instruction
ACM SIGPLAN Notices
Moose: a multi-tasking operating system of hypercubes
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Concurrent operations on priority queues
Communications of the ACM
Scheduling concurrent procedures using modula-2
ACM SIGCSE Bulletin
Concurrent programming in an upper level operating systems course
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
An operating system for real-time Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
A dual-algorithm performance monitoring system (abstract)
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
The ensemble system: concurrent programming on a personal computer
ACM SIGPLAN Notices
Teaching concurrent programming with Pascal-FC
ACM SIGCSE Bulletin
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
The locker metaphor to teach dynamic memory
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Peer-based multithreaded executable co-specification
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
Concurrent distributed Pascal: a hands-on introduction to parallelism
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
SMALL-Ada: personal computer courseware for studying concurrent programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Improvements in multiprocessor system design
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Precursor for parallel development
CSC '91 Proceedings of the 19th annual conference on Computer Science
Emulators: prospective instruments for instruction in systems programming
ACM SIGMICRO Newsletter
Introductory concurrent programming with Modula-2
ACM SIGCSE Bulletin
CLANG - a simple teaching language
ACM SIGPLAN Notices
Specific proposals for the use of petri nets in a concurrent programming course
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Discrete Event Dynamic Systems
Using Ada as the First Programming Language: A Retrospective
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Using personal computers in operating system courses
ACM SIGOPS Operating Systems Review
Some myths about famous mutual exclusion algorithms
ACM SIGACT News
The implementation kit with monitors
ACM SIGPLAN Notices
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
The role of Ada in real time embedded applications
ACM SIGAda Ada Letters
A framed temporal logic programming language
Journal of Computer Science and Technology
Solving Out-of-Order Communication in Kahn Process Networks
Journal of VLSI Signal Processing Systems
Monitors and Concurrent Pascal: a personal history
History of programming languages---II
Self-adaptive multithreaded applications: a case for dynamic aspect weaving
ARM '05 Proceedings of the 4th workshop on Reflective and adaptive middleware systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective Program Verification for Relaxed Memory Models
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Assessing architectural evolution: a case study
Empirical Software Engineering
High quality real-time Image-to-Mesh conversion for finite element simulations
Journal of Parallel and Distributed Computing
Hi-index | 0.03 |