Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference25 articles.
1. Avrunin, G., Dillon, L., Wileden, J., and Riddle, W. 1986. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems.IEEE Transactions on Software Engineering. 12:278?291.
2. Callison, H., and Shaw, A. 1991. Building a real-time kernel: First step in validating a pure process/Adt model.Software ? Practice and Experience. 21:337?354.
3. Chen, M. 1987. TAL ? A language for timing analysis. Department of Computer Science, University of Texas, Austin.
4. Dijkstra, E. 1976.A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall.
5. Hoare, C. 1969. An axiomatic basis for computer programming.Communications of ACM. 12:576?580.
Cited by
119 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Intelligent Scheduling System for Large-Scale Online Judging;Communications in Computer and Information Science;2024
2. An Evaluation of Edge TPU Accelerators for Convolutional Neural Networks;2022 IEEE International Symposium on Workload Characterization (IISWC);2022-11
3. GRANITE: A Graph Neural Network Model for Basic Block Throughput Estimation;2022 IEEE International Symposium on Workload Characterization (IISWC);2022-11
4. Scenario-Aware Program Specialization for Timing Predictability;ACM Transactions on Architecture and Code Optimization;2021-12-31
5. Establishing Confidence and Understanding Uncertainty in Real-Time Systems;Proceedings of the 28th International Conference on Real-Time Networks and Systems;2020-06-09