|
Search the dblp DataBase
Olivier Tardieu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Olivier Tardieu, Stephen A. Edwards
Approximate Reachability for Dead Code Elimination in Esterel. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:323-337 [Conf]
- Cristian Soviani, Olivier Tardieu, Stephen A. Edwards
Optimizing sequential cycles through Shannon decomposition and retiming. [Citation Graph (0, 0)][DBLP] DATE, 2006, pp:1085-1090 [Conf]
- Stephen A. Edwards, Olivier Tardieu
SHIM: a deterministic model for heterogeneous embedded systems. [Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:264-272 [Conf]
- Olivier Tardieu, Stephen A. Edwards
Scheduling-independent threads and exceptions in SHIM. [Citation Graph (0, 0)][DBLP] EMSOFT, 2006, pp:142-151 [Conf]
- Stephen A. Edwards, Olivier Tardieu
Efficient code generation from SHIM models. [Citation Graph (0, 0)][DBLP] LCTES, 2006, pp:125-134 [Conf]
- Olivier Tardieu, Robert de Simone
Curing schizophrenia by program rewriting in Esterel. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2004, pp:39-48 [Conf]
- Stephen A. Edwards, Olivier Tardieu
Deterministic receptive processes are Kahn processes. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2005, pp:37-44 [Conf]
- Nevin Heintze, Olivier Tardieu
Demand-Driven Pointer Analysis. [Citation Graph (0, 0)][DBLP] PLDI, 2001, pp:24-34 [Conf]
- Nevin Heintze, Olivier Tardieu
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. [Citation Graph (0, 0)][DBLP] PLDI, 2001, pp:254-263 [Conf]
- Olivier Tardieu, Robert de Simone
Instantaneous Termination in Pure Esterel. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:91-108 [Conf]
- Olivier Tardieu
A Deterministic Logical Semantics for Esterel. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:1, pp:103-122 [Journal]
- Olivier Tardieu
Goto and Concurrency Introducing Safe Jumps in Esterel. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:4, pp:55-70 [Journal]
- Olivier Tardieu, Robert de Simone
Loops in esterel. [Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:708-750 [Journal]
- Stephen A. Edwards, Olivier Tardieu
SHIM: a deterministic model for heterogeneous embedded systems. [Citation Graph (0, 0)][DBLP] IEEE Trans. VLSI Syst., 2006, v:14, n:8, pp:854-867 [Journal]
- Olivier Tardieu, Stephen A. Edwards
R-SHIM: deterministic concurrency with recursion and shared variables. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2006, pp:202- [Conf]
- Olivier Tardieu
A deterministic logical semantics for pure Esterel. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. [Citation Graph (, )][DBLP]
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. [Citation Graph (, )][DBLP]
Instantaneous Transitions in Esterel. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|