Luc Smria
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1998–2002
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | DAC | RTL c-based methodology for designing and verifying a multi-threaded processor. | Luc Smria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng |
| 2000 | ASPDAC | Methodology for hardware/software co-verification in C/C++ (short paper). | Luc Smria, Abhijit Ghosh |
| 2000 | DATE | Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. | Luc Smria, Koichi Sato, Giovanni De Micheli |
| 1998 | ICCAD | SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. | Luc Smria, Giovanni De Micheli |