6102 search results - page 294 / 1221 » Generating Optimizing Specializers |
137
Voted
WINE
2007
Springer
15 years 9 months ago
2007
Springer
We study sequential auctions for private value objects and unit-demand bidders using second-price sealed-bid rules. We analyze this scenario from the seller’s perspective and con...
151
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
240
Voted
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Data copy is an important compiler optimization which dynamically rearranges the layout of arrays by copying their elements into local buffers. Traditionally, array copy...
131
Voted
ASIAN
2004
Springer
15 years 8 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
136
click to vote
PADO
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...