Computation takes time, but how much?-Reference-Cited by-同舟云学术

Computation takes time, but how much?

Published:2014-02 Issue:2 Volume:57 Page:94-103
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Wilhelm Reinhard¹,Grund Daniel²

Affiliation:

1. Saarland University, Saarbrücken, Germany

2. Thales Transportation Systems in Stuttgart, Germany

Abstract

Timing analysis for hard real-time systems.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/2500886

Reference44 articles.

1. Precise and efficient parametric path analysis

2. Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems

3. Axer P. et al. Building timing predictable embedded systems. Trans. Embedded Computing Systems (2012). Axer P. et al. Building timing predictable embedded systems. Trans. Embedded Computing Systems (2012).

4. WYSINWYX

5. On the predictability of discrete dynamical systems;Bernardes J.N.C;Proc. of the American Math. Soc.,2001

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC;ACM Transactions on Programming Languages and Systems;2023-06-26

2. Runtime Complexity Analysis of Logically Constrained Rewriting;Logic-Based Program Synthesis and Transformation;2021

3. A modular cost analysis for probabilistic programs;Proceedings of the ACM on Programming Languages;2020-11-13

4. Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware;ACM Transactions on Architecture and Code Optimization;2019-09-30

5. WCET Analysis meets Virtual Prototyping;Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems;2019-05-27