9716 search results - page 1864 / 1944 » The Case for Energy-Proportional Computing |
224
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
206
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
188
click to vote
ISSRE
2003
IEEE
16 years 3 days ago
2003
IEEE
Testing is often performed frequently during development to ensure software reliability by catching regression errors quickly. However, stopping frequently to test also wastes tim...
213
click to vote
RTCSA
2003
IEEE
16 years 3 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
199
click to vote
DEBS
2003
ACM
16 years 3 days ago
2003
ACM
Publish/subscribe infrastructures, specifically notification servers, are used in a large spectrum of distributed applications as their basic communication and integration infrast...