1635 search results - page 265 / 327 » DIPC: A System Software Solution for Distributed Programming |
119
click to vote
CF
2005
ACM
15 years 3 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
131
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
With the advent of multi-processor systems-on-chip, the interest in process migration is again on the rise both in research and in product development. New challenges associated w...
WSC
1998
15 years 3 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
147
click to vote
EUROPAR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
125
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...