Searching for authors named "Christoph von Praun" – sorted by Relevance.
-
accepted on the recommendation of
- Detecting Synchronization Defects in Multi-Threaded Object-Oriented Programs Christoph von Praun c
- Add To MetaCart
-
A Paper Model for the ATLAS Event Filter Sub-Farm
- von Praun CERN -- European Laboratory for Particle Physics Keywords :Modelling, Event Filter, Farm
- Add To MetaCart
-
Static Detection of Atomicity Violations in Object-Oriented Programs
- in Object-Oriented Programs Christoph von Praun and Thomas Gross Laboratory for Software Technology, ETH
- Cited by 13 (0 self) – Add To MetaCart
-
Colorama: Architectural support for data-centric synchronization
- , Christoph von Praun † and Josep Torrellas University of Illinois at Urbana-Champaign {luisceze, pmontesi
- Cited by 5 (2 self) – Add To MetaCart
-
On the effectiveness of speculative and selective memory fences
- ) of Intel Corporation. Christoph von Praun’s current address is: IBM T.J. Watson Research Center, Yorktown
- Cited by 2 (0 self) – Add To MetaCart
-
Load elimination in the presence of side effects concurrency and precise exceptions
- .394 Christoph von Praun et al. In cases (a), (b), (d) and (e) a full or partial redundancy can be lost. In case
- Cited by 2 (2 self) – Add To MetaCart
-
Compiling Multi-Threaded Object-Oriented Programs
- -Oriented Programs (Preliminary Version) Christoph von Praun and Thomas R. Gross Laboratory for Software Technology
- Cited by 2 (2 self) – Add To MetaCart
-
Scientific Data Repositories - Designing for a Moving Target
- ABSTRACT Scientific Data Repositories - Designing for a Moving Target Etzard Stolte, Christoph von
- Cited by 19 (6 self) – Add To MetaCart
-
Static Conflict Analysis for Multi-Threaded Object-Oriented Programs
- 1 Static Conflict Analysis for Multi-Threaded Object-Oriented Programs Christoph von Praun
- Cited by 42 (5 self) – Add To MetaCart
-
Conditional memory ordering
- Conditional Memory Ordering Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu
- Cited by 5 (0 self) – Add To MetaCart

