Sciweavers

EMSOFT
2009
Springer
14 years 7 months ago
Clock-driven distributed real-time implementation of endochronous synchronous programs
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
ICIAP
2001
Springer
15 years 17 days ago
Intermediate Representation in Model Based Recognition Using Straight Line and Ellipsoidal Arc Primitives
An intermediate representation suitable for the 2-D recognition of the 3-D objects, from a single intensity image is proposed. Determination of the intermediate representation fro...
Sergiu Nedevschi, Tiberiu Marita, Daniela Puiu
POPL
2009
ACM
15 years 1 months ago
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...