Java programming assignment using client/server interaction: nifty assignment
Journal of Computing Sciences in Colleges
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
The High Road to Formal Validation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Tool Presentation: Teaching Concurrency and Model Checking
Proceedings of the 16th International SPIN Workshop on Model Checking Software
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Ada for the control of degradation of service
ACM SIGAda Ada Letters
Semantically Enhanced Intellectual Property Protection System - SEIPro2S
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
The use of CATs and case-based teaching for dealing with different levels of abstractions
FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
Highly-fair bakery algorithm using symmetric tokens
Information Processing Letters
Breadth in depth: a 1st year introduction to parallel programming
Proceedings of the 42nd ACM technical symposium on Computer science education
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
Environment programming in multi-agent systems: an artifact-based perspective
Autonomous Agents and Multi-Agent Systems
Dynamic hinting: Collaborative real-time resource management for reactive embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
DNA sequence alignment: hybrid parallel programming on a multicore cluster
ICANCM'11/ICDCC'11 Proceedings of the 2011 international conference on applied, numerical and computational mathematics, and Proceedings of the 2011 international conference on Computers, digital communications and computing
Evaluating a visualisation of the execution of a concurrent program
Proceedings of the 11th Koli Calling International Conference on Computing Education Research
Checking system boundedness using ordinary differential equations
Information Sciences: an International Journal
Distributed fault tolerant controllers
DAIS'10 Proceedings of the 10th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Concurrent programming constructs for parallel MPI applications
The Journal of Supercomputing
Students' understandings of concurrent programming
Koli Calling '07 Proceedings of the Seventh Baltic Sea Conference on Computing Education Research - Volume 88
Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
Journal of Parallel and Distributed Computing
Solving a least-squares problem with algorithmic differentiation and OpenMP
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
| Hi-index | 0.00 |