( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Framework for the Synthesis of Reactive Modules.

, и . Concurrency, том 335 из Lecture Notes in Computer Science, стр. 4-17. Springer, (1988)

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.

Marcus Rönitz

Roni Wieden

Roni Ozari

Raik Rönicke

Volker Rönick

 

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

On the Synthesis of a Reactive Module., и . POPL, стр. 179-190. ACM Press, (1989)PARROT: Power Awareness Through Selective Dynamically Optimized Traces., , , , и . PACS, том 3164 из Lecture Notes in Computer Science, стр. 196-214. Springer, (2003)On the Synthesis of an Asynchronous Reactive Module., и . ICALP, том 372 из Lecture Notes in Computer Science, стр. 652-671. Springer, (1989)Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture., , , и . CGO, стр. 137-150. IEEE Computer Society, (2004)On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report), , и . LICS, стр. 478-488. IEEE Computer Society, (1990)Power Awareness through Selective Dynamically Optimized Traces., , , , и . ISCA, стр. 162-175. IEEE Computer Society, (2004)Distributed Reactive Systems Are Hard to Synthesize, и . FOCS, стр. 746-757. IEEE Computer Society, (1990)0-8186-2082-X.A Framework for the Synthesis of Reactive Modules., и . Concurrency, том 335 из Lecture Notes in Computer Science, стр. 4-17. Springer, (1988)Selecting long atomic traces for high coverage., , , и . ICS, стр. 2-11. ACM, (2003)A Choppy Logic, и . LICS, стр. 306-313. IEEE Computer Society, (1986)