4800 search results - page 49 / 960 » OO Distributed Programming is Not Distributed OO Programming |
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
EUROPAR
2009
Springer
13 years 6 months ago
2009
Springer
COMPUTER
1999
13 years 8 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...