Designing large real-time systems with Ada
Communications of the ACM
Assessing the quality of abstract data types written in ADA
ICSE '88 Proceedings of the 10th international conference on Software engineering
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
On the execution of parallel programs on multiprocessor systems—a queuing theory approach
Journal of the ACM (JACM)
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
SLAW (abstract only): a language free environment—future directions and research
CSC '87 Proceedings of the 15th annual conference on Computer Science
Communications of the ACM
A Concurrent, Distributed Architecture for Diagnostic Reasoning
User Modeling and User-Adapted Interaction
Analysis of Fork-Join Program Response Times on Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Computing Performance Bounds of Fork-Join Parallel Programs Under a Multiprocessing Environment
IEEE Transactions on Parallel and Distributed Systems
Ada_education: =Design_concepts "+" Ada_constructs
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
SIGSMALL '82 Proceedings of the 5th ACM SIGSMALL symposium on Small systems
Using ADA as a design language - classroom experience
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Understanding the software paradox
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.03 |