3181 search results - page 329 / 637 » Automated Deployment Support for Parallel Distributed Comput... |
145
Voted
COORDINATION
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
153
Voted
ISORC
1999
IEEE
15 years 8 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...
132
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
117
click to vote
ICPP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper studies the implementation of efficient multicast protocols for Myrinet, a switched, wormhole-routed, Gigabit-per-second network technology. Since Myrinet does not supp...
145
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Recent advances in FPGA technologies allow to configure the RAM-based FPGA devices in a reduced time as an effective support for real-time applications. The physical dimensions of ...