1749 search results - page 237 / 350 » Logic, Optimization, and Constraint Programming |
135
click to vote
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
166
click to vote
ICFEM
2009
Springer
15 years 28 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
128
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
103
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we propose Cognitive Medium Access (CMA), a protocol aimed at improving coexistence with a set of independently evolving WLAN bands. A time-slotted physical layer...
122
click to vote
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
The paper deals with the numerical treatment of optimal control problems with bounded distributed controls and elliptic state equations by a wider class of barrier-penalty methods...