3868 search results - page 310 / 774 » A Distributed Parallel Programming Framework |
180
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
The development and implementation of new network protocols and applications need accurate, scalable, reconfigurable, and inexpensive tools for debugging, testing, performance tun...
143
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
178
click to vote
ERLANG
2004
ACM
16 years 3 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
164
click to vote
LPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
165
click to vote
EAGC
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes how Condor-pools could be joined together to form a large computational cluster-grid. In the architecture Jini provides the infrastructure for resource lookup,...