The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Olivier Tardieu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Olivier Tardieu, Stephen A. Edwards
    Approximate Reachability for Dead Code Elimination in Esterel. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:323-337 [Conf]
  2. 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]
  3. Stephen A. Edwards, Olivier Tardieu
    SHIM: a deterministic model for heterogeneous embedded systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:264-272 [Conf]
  4. Olivier Tardieu, Stephen A. Edwards
    Scheduling-independent threads and exceptions in SHIM. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:142-151 [Conf]
  5. Stephen A. Edwards, Olivier Tardieu
    Efficient code generation from SHIM models. [Citation Graph (0, 0)][DBLP]
    LCTES, 2006, pp:125-134 [Conf]
  6. Olivier Tardieu, Robert de Simone
    Curing schizophrenia by program rewriting in Esterel. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:39-48 [Conf]
  7. Stephen A. Edwards, Olivier Tardieu
    Deterministic receptive processes are Kahn processes. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2005, pp:37-44 [Conf]
  8. Nevin Heintze, Olivier Tardieu
    Demand-Driven Pointer Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:24-34 [Conf]
  9. 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]
  10. Olivier Tardieu, Robert de Simone
    Instantaneous Termination in Pure Esterel. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:91-108 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Olivier Tardieu, Stephen A. Edwards
    R-SHIM: deterministic concurrency with recursion and shared variables. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2006, pp:202- [Conf]
  16. 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]

  17. Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. [Citation Graph (, )][DBLP]


  18. Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. [Citation Graph (, )][DBLP]


  19. Instantaneous Transitions in Esterel. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002