5898 search results - page 470 / 1180 » Parallel Computing Environments and Methods |
177
click to vote
PODC
1994
ACM
15 years 9 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
120
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
We present a tool for the simulation and analysis of materials properties. This tool comprises simulation methods for models of materials (metal and polymer materials) as well as ...
161
Voted
WSC
2008
15 years 7 months ago
2008
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...
132
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Ibis1 is a programming environment for the development of grid applications in Java. We aim to support a wide range of applications and parallel platforms, so our example programs ...
180
click to vote
CPE
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes a modular and scalable simulation environment, called GloMoSim, to evaluate end-to-end performance of integrated wired and wireless networks. GloMoSim has been...