Paper Info
Title
Free MDD-based software optimization techniques for embedded systems
Abstract
Embedded systems make a heavy use of software to perform real-time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, performance and safety constraints. Several super-optimization techniques for embedded softwares based on multi-valued decision diagram (MDD) representations have been described in the literature, but they all share the same basic limitation. They are based on standard ordered MDD (OMDD) packages, and hence require a used order of evaluation for the MDD variables on every execution path. Free MDDs (FMDDs) lift this limitation, and hence open up more optimization opportunities. Finding the optimal variable ordering for FMDDs is a very difficult problem. Hence in this paper we describe a heuristic procedure that performs well in practice, and is based on FMDD cost estimation applied to recursive cofactoring. Experimental results show that our new variable ordering method obtains often. Smaller embedded software than previous (sifting-based) methods
Year
DOI
Venue
2000
10.1109/DATE.2000.840009
DATE
Keywords
Field
DocType
standard ordered mdd,program testing,recursive cofactoring,execution path,free mdd-based software optimization,sifting-based methods,decision diagrams,multi-valued decision diagram,embedded system,embedded systems,heuristic procedure,free mdd-based software optimization techniques,embedded software,cost estimation,software performance,packaging,decision diagram,hardware,control systems,data structures,boolean functions
Program optimization,Data structure,Embedded software,Computer science,Parallel computing,Software performance testing,Real-time computing,Software,Influence diagram,Control system,Recursion,Embedded system
Conference
ISBN
Citations 
PageRank 
0-7695-0537-6
2
0.40
References 
Authors
14
3
Name
Order
Citations
PageRank
Chunghee Kim1497.50
Luciano Lavagno21752216.46
Alberto L. Sangiovanni-Vincentelli3113851881.40