Roni Rosner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2010

TAO: two-level atomicity for dynamic binary optimizationsEdson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Mauricio Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner. CGO 2010: 12-21 [doi]

2008

2004

Specialized Dynamic Optimizations for High-Performance Energy-Efficient MicroarchitectureYoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak. CGO 2004: 137-150 [doi]

Power Awareness through Selective Dynamically Optimized TracesRoni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson. isca 2004: 162-175 [doi]

2003

PARROT: Power Awareness Through Selective Dynamically Optimized TracesRoni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson. pacs 2004: 196-214 [doi]

Selecting long atomic traces for high coverageRoni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen. ics 2003: 2-11 [doi]

2001

Filtering Techniques to Improve Trace-Cache EfficiencyRoni Rosner, Avi Mendelson, Ronny Ronen. IEEEpact 2001: 37-48 [doi]

1990

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)David Harel, Roni Rosner, Moshe Y. Vardi. lics 1990: 478-488

Distributed Reactive Systems Are Hard to SynthesizeAmir Pnueli, Roni Rosner. focs 1990: 746-757

1989

On the Synthesis of an Asynchronous Reactive ModuleAmir Pnueli, Roni Rosner. icalp 1989: 652-671

On the Synthesis of a Reactive ModuleAmir Pnueli, Roni Rosner. POPL 1989: 179-190

1988

A Framework for the Synthesis of Reactive ModulesAmir Pnueli, Roni Rosner. concur 1988: 4-17

1986

A Choppy LogicRoni Rosner, Amir Pnueli. lics 1986: 306-313

Sign in or sign up to see more results.

runs on WebDSL