From post

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.

 

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

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)A Framework for the Synthesis of Reactive Modules., и . Concurrency, том 335 из Lecture Notes in Computer Science, стр. 4-17. Springer, (1988)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 Choppy Logic, и . LICS, стр. 306-313. IEEE Computer Society, (1986)Selecting long atomic traces for high coverage., , , и . ICS, стр. 2-11. ACM, (2003)