28821 search results - page 156 / 5765 » Distributed and parallel systems |
100
click to vote
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
In an intelligent memory architecture, the main memory of a computer is enhanced with many simple processors. The result is a highly-parallel, heterogeneous machine that is able t...
137
click to vote
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
116
click to vote
PACT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
104
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
We advocate an approach towards the characterisation of components where their qualifications are deduced systematically from a small set of elementary assumptions. Using the chara...
114
click to vote
CLUSTER
2000
IEEE
15 years 7 months ago
2000
IEEE
Agilent Technologies Boeblingen Verification Solutions is offering a variety of remote system management products. This paper will summarize the key technologies on which Agilents...