1. SHIM: A Deterministic Model for Heterogeneous Embedded Systems Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
2. SHIM: A Deterministic Model for Heterogeneous Embedded Systems Edwards, Stephen A.; Tardieu, Olivier 2005 Articles Computer science
3. Scheduling-Independent Threads and Exceptions in SHIM Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
4. R-SHIM: Deterministic Concurrency with Recursion and Shared Variables Tardieu, Olivier; Edwards, Stephen A. 2006 Articles Computer science
5. Programming Shared Memory Multiprocessors with DeterministicMessage-Passing Concurrency: Compiling SHIM to Pthreads Edwards, Stephen A.; Vasudevan, Nalini; Tardieu, Olivier 2008 Articles Computer science
6. Optimizing Sequential Cycles Through Shannon Decomposition and Retiming Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
7. Instantaneous Transitions in Esterel Tardieu, Olivier; Edwards, Stephen A. 2007 Articles Computer science
8. High-Level Optimization by Combining Retiming and Shannon Decomposition Soviani, Cristian; Tardieu, Olivier; Edwards, Stephen A. 2005 Articles Computer science
9. Efficient Code Generation from SHIM Models Edwards, Stephen A.; Tardieu, Olivier 2006 Articles Computer science
10. Deterministic Receptive Processes are Kahn Processes Edwards, Stephen A.; Tardieu, Olivier 2005 Articles Computer science