11160 search results - page 1826 / 2232 » Incompleteness in a General Setting |
171
Voted
ISSAC
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
217
Voted
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
Set-associative caches are traditionally managed using hardwarebased lookup and replacement schemes that have high energy overheads. Ideally, the caching strategy should be tailor...
201
click to vote
LSSC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
190
click to vote
INFOCOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— We study the complexity of a spectrum of design problems for optical networks in order to carry a set of demands. Under wavelength division multiplexing (WDM) technology, deman...
180
click to vote
KBSE
2006
IEEE
16 years 27 days ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...