895 search results - page 16 / 179 » Dynamic Distributed Constraint Reasoning |
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
While improving raw performance is of primary interest to most users of high-performance computers, energy consumption also is a critical concern. Some microprocessors allow volta...
121
click to vote
HLPPP
1991
15 years 1 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
PPDP
1999
Springer
15 years 1 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
ICS
2003
Tsinghua U.
15 years 2 months ago
2003
Tsinghua U.
Power consumption is a critical issue in interconnection network design, driven by power-related design constraints, such as thermal and power delivery design. Usually, off-line w...