Sciweavers

EMSOFT
2009
Springer
13 years 11 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
14 years 4 months 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
14 years 5 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...