( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.

, , , и . ACSD, стр. 42-51. IEEE Computer Society, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Raffaele De Simone

Simone De Angelis

Robert ˜deœ Beaugrande

Robert van de Sandt

Amal Dé

 

Другие публикации лиц с тем же именем

Synchronous Hypothesis and Polychronous Languages., , и . Embedded Systems Design and Verification, CRC Press, (2009)Compositional Semantics of ESTEREL and Verification by Compositional Reductions., и . CAV, том 818 из Lecture Notes in Computer Science, стр. 441-454. Springer, (1994)Keynote talk II: Multiform logical time for Me/Mo-codesign.. MEMOCODE, стр. 77. IEEE, (2016)Semantics foundations of PsyC based on synchronous Logical Execution Time., , , , и . CPS-IoT Week Workshops, стр. 319-324. ACM, (2023)MARTE: Also an UML Profile for Modeling AADL Applications., , , и . ICECCS, стр. 359-364. IEEE Computer Society, (2007)Dealing with AADL End-to-End Flow Latency with UML MARTE., , и . ICECCS, стр. 228-233. IEEE Computer Society, (2008)Explicit Control of Dataflow Graphs with MARTE/CCSL., , , , , и . MODELSWARD, стр. 542-549. SciTePress, (2017)Necessary and sufficient conditions for deterministic desynchronization., , и . EMSOFT, стр. 124-133. ACM, (2007)Clock-driven distributed real-time implementation of endochronous synchronous programs., , , и . EMSOFT, стр. 147-156. ACM, (2009)Causal Models for Rational Algebraic Processes., и . CONCUR, том 527 из Lecture Notes in Computer Science, стр. 18-19. Springer, (1991)