5790 search results - page 345 / 1158 » Distributed programming with distributed authorization |
157
Voted
IPPS
2002
IEEE
15 years 8 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...
122
click to vote
HCW
1998
IEEE
15 years 8 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...
135
Voted
ECOOPW
1998
Springer
15 years 8 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...
125
Voted
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
MPI (Message Passing Interface) is a proposed message passing standard for development of efficient and portable parallel programs. An implementation of MPI is presented and eval...
113
Voted
COORDINATION
1997
Springer
15 years 8 months ago
1997
Springer
The aim of this paper is to promote the idea of developing reusable coordination patterns for parallel computing, i.e. customizable components from which parallel applications can ...