5898 search results - page 666 / 1180 » Parallel Computing Environments and Methods |
223
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
158
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe a method for the composition of components that are relatively correct under a particular criterion. The notion of composition pattern is also introduce...
186
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...
184
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
168
click to vote
ICPP
1997
IEEE
15 years 11 months ago
1997
IEEE
Optamzztng compalataon as very amportant for generatang code sequentes an order to utalaze the characterastacs of processor archatectures. One of the most essentaal optzmazataon t...