Modeling Time(s)-Reference-Cited by-同舟云学术

Modeling Time(s)

Published:2007 Issue: Volume: Page:559-573
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

André Charles,Mallet Frédéric,de Simone Robert

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75209-7_38

Reference15 articles.

1. Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (1998)

2. Buck, J., Ha, S., Lee, E., Messerschmitt, D.: Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, special issue on Simulation Software Development 4, 155–182 (1994)

3. Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufman, San Francisco (2003)

4. Darte, A., Robert, Y., Vivien, F.: Scheduling and Automatic Parallelization. Birkhaüser (2000)

5. Feautrier, P.: Compiling for massively parallel architectures: a perspective. Microprogramming and Microprocessors (41), 425–439 (1995)

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

1. Logical Synchrony and the Bittide Mechanism;IEEE Transactions on Parallel and Distributed Systems;2024-11

2. Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints;Formal Aspects of Computing;2024-06-26

3. Analysis of Viewpoints for Modeling Cyber-Physical Systems;2023 24th International Conference on Control Systems and Computer Science (CSCS);2023-05

4. A generic framework for representing and analyzing model concurrency;Software and Systems Modeling;2023-01-09

5. Decomposable and Executable Models for Verification of Real-Time Systems;Communications in Computer and Information Science;2023