3500 search results - page 525 / 700 » Implementing Java on Clusters |
121
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
261
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
197
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
128
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
130
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...