3341 search results - page 228 / 669 » A Communication Virtual Machine |
150
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
123
Voted
PPOPP
1995
ACM
15 years 7 months ago
1995
ACM
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
125
click to vote
ECUMN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a user-empowered UDP packet reflector to create virtual multicasting environments as an overlay on top of current unicast networks. The end-users’ ability...
135
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The IBM Cyclops-64 (C64) chip employs a multithreaded architecture that integrates a large number of hardware thread units on a single chip. A cellular supercomputer is being deve...
137
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
BlueGene/L is currently the world’s fastest supercomputer. It consists of a large number of low power dual-processor compute nodes interconnected by high speed torus and collect...