| 2004 |
|---|
| 11 | EE | Yoav Almog,
Roni Rosner,
Naftali Schwartz,
Ari Schmorak:
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture.
CGO 2004: 137-150 |
| 10 | EE | Roni Rosner,
Yoav Almog,
Micha Moffie,
Naftali Schwartz,
Avi Mendelson:
Power Awareness through Selective Dynamically Optimized Traces.
ISCA 2004: 162-175 |
| 2003 |
|---|
| 9 | EE | Roni Rosner,
Micha Moffie,
Yiannakis Sazeides,
Ronny Ronen:
Selecting long atomic traces for high coverage.
ICS 2003: 2-11 |
| 8 | EE | Roni Rosner,
Yoav Almog,
Micha Moffie,
Naftali Schwartz,
Avi Mendelson:
PARROT: Power Awareness Through Selective Dynamically Optimized Traces.
PACS 2003: 196-214 |
| 2001 |
|---|
| 7 | EE | Roni 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 |
|---|
| 4 | | Amir 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 |
|---|
| 2 | | Amir 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 |
