Analysis of operation delay and execution rate constraints for embedded systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Synchronization Problems Solvable by Generalized PV Systems
Journal of the ACM (JACM)
Reconfigurable computer origins: the UCLA fixed-plus-variable (F+V) structure computer
IEEE Annals of the History of Computing
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
An Object-Oriented Formal Model for Software Project Management
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A framework for interactive analysis of timing constraints in embedded systems
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Modeling for synthesis - the gap between intent and behavior
Proceedings of the Symposium on Design Automation and Microprocessors
SYNVER: A system for the automatic synthesis and verification of synchronization processes
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A model highlighting the security of operating systems
ACM '74 Proceedings of the 1974 annual conference - Volume 1
A graphical representation of tasks for multiprocessing
ACM '77 Proceedings of the 1977 annual conference
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface
IEEE Transactions on Computers
| Hi-index | 0.00 |