Sciweavers

387 search results - page 4 / 78
» Session-Based Distributed Programming in Java
Sort
View
SPIN
2001
Springer
13 years 10 months ago
Transformations for Model Checking Distributed Java Programs
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...
Scott D. Stoller, Yanhong A. Liu
IPPS
2008
IEEE
14 years 17 days ago
Smart proxies in Java RMI with dynamic aspect-oriented programming
Java RMI extends Java with distributed objects whose methods can be called from remote clients. traction is supported using statically-generated proxy objects on the client to hid...
Andrew Stevenson, Steve MacDonald
POS
1998
Springer
13 years 10 months ago
Porting a Distributed System to PJama: Orthogonal Persistence for Java?
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
Huw Evans, Susan Spence
GECCO
2007
Springer
138views Optimization» more  GECCO 2007»
14 years 9 days ago
Unwitting distributed genetic programming via asynchronous JavaScript and XML
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
Jon Klein, Lee Spector
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
13 years 10 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen