3868 search results - page 272 / 774 » A Distributed Parallel Programming Framework |
202
click to vote
HIS
2007
15 years 8 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
149
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java's design goals of portability, safety, and ubiquity make it a potentially ideal language for large-scale heterogeneous computing. One of the remaining challenges is to c...
173
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we discuss how software quality assurance is realized in Rational Objectory. Although much support is given through guidelines and checkpoints, the tool fails to prov...
170
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Modern multiprocessor architectures such as CC-NUMA machines or CMPs have nonuniform communication architectures that render programs sensitive to memory access locality....
189
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...