Sciweavers

603 search results - page 44 / 121
» concurrency 2010
Sort
View
TOOLS
2010
IEEE
15 years 2 months ago
Welterweight Java
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
Johan Östlund, Tobias Wrigstad
JPDC
2010
123views more  JPDC 2010»
14 years 8 months ago
Maintaining the Ranch topology
Topology maintenance, or how to handle the possibly concurrent joining and leaving of nodes, is a central problem for structured peer-to-peer networks. A good topology maintenance...
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton
SIGSOFT
2010
ACM
14 years 7 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
PVLDB
2010
138views more  PVLDB 2010»
14 years 8 months ago
The Case for Determinism in Database Systems
Replication is a widely used method for achieving high availability in database systems. Due to the nondeterminism inherent in traditional concurrency control schemes, however, sp...
Alexander Thomson, Daniel J. Abadi
CONCURRENCY
2010
75views more  CONCURRENCY 2010»
14 years 9 months ago
An Open Source performance tools software suite for scientific computing
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
Philip J. Mucci, Tushar Mohan