974 search results - page 113 / 195 » Programming Configurable Multiprocessors |
179
Voted
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
132
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
139
click to vote
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Exponentially rising cooling/packaging costs due to high power density call for architectural and software-level thermal management. Dynamic thermal management (DTM) techniques co...
144
Voted
ICST
2009
IEEE
15 years 6 days ago
2009
IEEE
This paper reports an empirical evaluation of four blackbox testing techniques for crashing programs through their GUI interface: SH, AF, DH, and BxT. The techniques vary in their...
214
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...