dblp.uni-trier.dewww.uni-trier.de

Roni Rosner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
11EEYoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak: Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. CGO 2004: 137-150
10EERoni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson: Power Awareness through Selective Dynamically Optimized Traces. ISCA 2004: 162-175
2003
9EERoni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen: Selecting long atomic traces for high coverage. ICS 2003: 2-11
8EERoni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson: PARROT: Power Awareness Through Selective Dynamically Optimized Traces. PACS 2003: 196-214
2001
7EERoni Rosner, Avi Mendelson, Ronny Ronen: Filtering Techniques to Improve Trace-Cache Efficiency. IEEE PACT 2001: 37-48
1990
6 Amir Pnueli, Roni Rosner: Distributed Reactive Systems Are Hard to Synthesize FOCS 1990: 746-757
5 David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488
1989
4EEAmir Pnueli, Roni Rosner: On the Synthesis of an Asynchronous Reactive Module. ICALP 1989: 652-671
3 Amir Pnueli, Roni Rosner: On the Synthesis of a Reactive Module. POPL 1989: 179-190
1988
2EEAmir Pnueli, Roni Rosner: A Framework for the Synthesis of Reactive Modules. Concurrency 1988: 4-17
1986
1 Roni Rosner, Amir Pnueli: A Choppy Logic LICS 1986: 306-313

Coauthor Index

1Yoav Almog [8] [10] [11]
2David Harel [5]
3Avi Mendelson [7] [8] [10]
4Micha Moffie [8] [9] [10]
5Amir Pnueli [1] [2] [3] [4] [6]
6Ronny Ronen [7] [9]
7Yiannakis Sazeides [9]
8Ari Schmorak [11]
9Naftali Schwartz [8] [10] [11]
10Moshe Y. Vardi [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)