304 search results - page 26 / 61 » JavaGrande - High Performance Computing with Java |
126
Voted
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
135
click to vote
PERCOM
2008
ACM
15 years 2 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
126
click to vote
PPPJ
2003
ACM
15 years 7 months ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
110
Voted
ACSC
2004
IEEE
15 years 6 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
121
Voted
CGO
2009
IEEE
15 years 9 months ago
2009
IEEE
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...