Deterministic Processor Scheduling
ACM Computing Surveys (CSUR)
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Applications of digital processors to energy monitoring and control systems
SIGSMALL '80 Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems
| Hi-index | 0.00 |
In this paper, an implementation of an automatic system for the design of Real Time Control Systems is presented. Also presented is a discussion of the new developments in the theory underlying the system, which among other features, leads naturally to the design of multi-microprocessor systems.