Searching for authors named "Olivier Tardieu" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Demand-Driven Pointer Analysis
- … Technologies' Microelectronics Division) nch@(email omitted); Olivier Tardieu Ecole Des Mines, Paris olivier.tardieu…
- Cited by 36 (0 self) – Add To MetaCart
-
2006 4th IEEE/ACM International Conference on Formal Methods and Models for Co-Design R-SHIM: Deterministic Concurrency with Recursion and Shared Variables
- …-SHIM: Deterministic Concurrency with Recursion and Shared Variables Olivier Tardieu and Stephen A. Edwards…
- Add To MetaCart
-
Galois Theory
- …-59593-091-4/05/0009 ...$5.00. Olivier Tardieu Department of Computer Science Columbia University, New York tardieu…
- Cited by 11 (0 self) – Add To MetaCart
-
R-SHIM: Deterministic concurrency with recursion and shared variables
- …R-SHIM: Deterministic Concurrency with Recursion and Shared Variables Olivier Tardieu and Stephen…
- Cited by 2 (0 self) – Add To MetaCart
-
SHIM: A Deterministic Model for Heterogeneous Embedded Systems
- …-59593-091-4/05/0009 ...$5.00. Olivier Tardieu Department of Computer Science Columbia University, New York tardieu…
- Cited by 15 (5 self) – Add To MetaCart
-
Goto and Concurrency Introducing Safe Jumps in Esterel
- …Abstract Goto and Concurrency Introducing Safe Jumps in Esterel Olivier Tardieu 1 INRIA Sophia…
- Cited by 2 (2 self) – Add To MetaCart
-
Curing schizophrenia by program rewriting in Esterel
- …Curing Schizophrenia by Program Rewriting in Esterel Olivier Tardieu INRIA Sophia Antipolis…
- Cited by 6 (2 self) – Add To MetaCart
-
Optimizing sequential cycles through Shannon decomposition and retiming
- …, Olivier Tardieu, and Stephen A. Edwards, Senior Member, IEEE Abstract—Optimizing sequential cycles…
- Cited by 1 (1 self) – Add To MetaCart
-
Analysis of Clocks in X10 Programs (Extended)
- …Analysis of Clocks in X10 Programs (Extended) Nalini Vasudevan 1 , Olivier Tardieu 2 , Julian…
- Cited by 1 (1 self) – Add To MetaCart
-
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs
- … , Olivier Tardieu 2 , Julian Dolby 2 , and Stephen A. Edwards 1 1 Department of Computer Science, Columbia…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
