Publications

39 results at CCPE

Immutability specification and its applications
- - Igor Pechtchanski
  - Vivek Sarkar
- 2005
- CCPE
The design and implementation of grid database services in OGSA-DAI
- - Mario Antonioletti
  - Malcolm Atkinson
  - et al.
- 2005
- CCPE
Kava: A Java dialect with a uniform object model for lightweight classes
- - David F. Bacon
- 2003
- CCPE
High-performance Java codes for computational fluid dynamics
- - Christopher J. Riley
  - Siddhartha Chatterjee
  - et al.
- 2003
- CCPE
Supporting multidimensional arrays in Java
- - José E. Moreira
  - Samuel P. Midkiff
  - et al.
- 2003
- CCPE
Framework for testing multi-threaded Java programs
- - Orit Edelstein
  - Eitan Farchi
  - et al.
- 2003
- CCPE
Java access protection through typing
- - Eva Rose
  - Kristoffer Høgsbro Rose
- 2001
- CCPE
A distributed implementation of a virtual machine for Java
- - Yariv Aridor
  - Michael Factor
  - et al.
- 2001
- CCPE
Dynamic configuration of access control for mobile components in FarGo
- - Yoad Gidron
  - Israel Ben-Shaul
  - et al.
- 2001
- CCPE