2019 search results - page 4 / 404 » Programming with Shared Data Abstractions |
PARA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...
JPDC
1998
13 years 7 months ago
1998
ICN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We developed a reliable mobile Peer-to-Peer (P2P) data sharing system and performed some experiments for verifying our routing scheme using our real testbed. Our method f...
ICALP
1997
Springer
13 years 11 months ago
1997
Springer
ICTAC
2010
Springer
13 years 5 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...