11561 search results - page 64 / 2313 » Open Distributed Processing |
PODC
1994
ACM
14 years 2 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...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
The development processes of open source software are different from traditional closed source development processes. Still, open source software is frequently of high quality. Th...
ISHPC
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The OpenMP Architecture Review Board has released version 2.0 of the OpenMP Fortran language specification in November 2000, and version 2.0 of the OpenMP C/C++ language...
IFIP
2000
Springer
14 years 1 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
AISS
2010
13 years 7 months ago
2010
Disaster prevention and management is a complicated task that often involves a tremendous volume of heterogeneous data from various resources. With its dynamic and distributed nat...