6102 search results - page 294 / 1221 » Generating Optimizing Specializers |
183
click to vote
WINE
2007
Springer
16 years 22 days 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...
190
click to vote
CPAIOR
2005
Springer
16 years 5 days 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...
322
click to vote
LCPC
2005
Springer
16 years 4 days 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...
173
click to vote
ASIAN
2004
Springer
16 years 1 days 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, ...
187
click to vote
PADO
2001
Springer
15 years 11 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...