1707 search results - page 184 / 342 » Early Integer Programming |
87
Voted
CPAIOR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The multileaf collimator sequencing problem is an important component of the effective delivery of intensity modulated radiotherapy used in the treatment of cancer. The p...
84
Voted
GLVLSI
2010
IEEE
15 years 8 days ago
2010
IEEE
For timing-driven or yield-driven designs, non-tree routing has become more and more popular and additional loops provide the redundant paths to protect against the effect of the ...
88
Voted
ASPDAC
2008
ACM
15 years 8 days ago
2008
ACM
Thermal hot spots and temperature gradients on the die need to be minimized to manufacture reliable systems while meeting energy and performance constraints. In this work, we solve...
123
Voted
CAV
2008
Springer
15 years 7 days ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
ASPDAC
2005
ACM
15 years 7 days ago
2005
ACM
— Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliability, and cost are all affected by the physical locations of interconnected...