Olivier Tardieu (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

20		Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62
19		Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503
18		Olivier Tardieu, Stephen A. Edwards: Instantaneous Transitions in Esterel. Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008)
16		Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing Sequential Cycles Through Shannon Decomposition and Retiming. IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 456-467 (2007)
15		Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing sequential cycles through Shannon decomposition and retiming. DATE 2006: 1085-1090
14		Olivier Tardieu, Stephen A. Edwards: Scheduling-independent threads and exceptions in SHIM. EMSOFT 2006: 142-151
13		Stephen A. Edwards, Olivier Tardieu: Efficient code generation from SHIM models. LCTES 2006: 125-134
12		Olivier Tardieu, Stephen A. Edwards: R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202
10		Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. VLSI Syst. 14(8): 854-867 (2006)
9		Olivier Tardieu, Stephen A. Edwards: Approximate Reachability for Dead Code Elimination in Esterel. ATVA 2005: 323-337
8		Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT 2005: 264-272
7		Stephen A. Edwards, Olivier Tardieu: Deterministic receptive processes are Kahn processes. MEMOCODE 2005: 37-44

Selection of 12 from 20 records - Olivier Tardieu has 6 coauthors