A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Proceedings of the conference on Design, automation and test in Europe - DATE '00
Embedded systems make a heavy use of software to perform Real-Time embedded c ontrol tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, performance and safety constraints. Several superoptimization techniques for embedded softwares based on Multi-valued D e cision Diagram (MDD) representations have been described in the literature, but they all share the same basic limitation. They are b ased on standard O r dered M D D (OMDD) packages, and hence r equiredoi:10.1145/343647.343686 fatcat:bfjdzf4ovfbofahrbumf3ouxey