Author of the publication

Context Inference for Static Analysis of Java Card Object Sharing.

, , and . E-smart, volume 2140 of Lecture Notes in Computer Science, page 43-57. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimizing remote method invocation with communication-computation overlap., , , and . Future Generation Comp. Syst., 18 (6): 769-778 (2002)Parallel profiling of water distribution networks using the Clément formula., , , , and . Applied Mathematics and Computation, (2015)Parallel Object-Oriented Programming for Parallel Simulations., , , , , , and . Inf. Sci., 93 (1): 35-64 (1996)A Task-Based Fault-Tolerance Mechanism to Hierarchical Master/Worker with Divisible Tasks., , , , and . HPCC, page 672-677. IEEE, (2009)From a formal dynamic semantics of Sisal to a Sisal environment., , and . HICSS (2), page 266-267. IEEE Computer Society, (1995)Java ProActive vs. Fortran MPI: Looking at the future of parallel Java., , , and . IPDPS, page 1-7. IEEE, (2008)Towards a Method of Object-Oriented Concurrent Programming.. Commun. ACM, 36 (9): 90-102 (1993)SharedOnRead Optimization in Parallel Object-Oriented Programming., , and . ISCOPE, volume 1732 of Lecture Notes in Computer Science, page 182-193. Springer, (1999)Efficient, flexible, and typed group communications in Java., , and . Java Grande, page 28-36. ACM, (2002)Grid File Transfer During Deployment, Execution, and Retrieval., , , and . OTM Conferences (2), volume 4276 of Lecture Notes in Computer Science, page 1191-1202. Springer, (2006)