Concurrent development of software systems
ACM SIGSOFT Software Engineering Notes
Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Parallel resource allocation algorithms on macro-pipelined architectures
CSC '91 Proceedings of the 19th annual conference on Computer Science
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proof assistance for real-time systems using an interactive theorem prover
Theoretical Computer Science
ACM SIGAPP Applied Computing Review
Using a Programming Language for Digital System Design
IEEE Design & Test
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis
IEEE Transactions on Parallel and Distributed Systems
Optimal Resilient Distributed Algorithms for Ring Election
IEEE Transactions on Parallel and Distributed Systems
Engines build process abstractions
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A model of clocked micro-architectures for firmware engineering and design automation applications
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
An overview of the PAISLey project-1984
ACM SIGSOFT Software Engineering Notes
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Control reduction theories: The benefit of structural substitution
Journal of Functional Programming
Constraint satisfaction with delayed evaluation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |