165
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges...
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
174
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...