Sciweavers

677 search results - page 30 / 136
» Distributed data-parallel computing using a high-level progr...
Sort
View
ENTCS
2008
146views more  ENTCS 2008»
15 years 2 months ago
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
Michael J. A. Smith
SAS
1993
Springer
139views Formal Methods» more  SAS 1993»
15 years 6 months ago
Compiling FX on the CM-2
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
Jean-Pierre Talpin, Pierre Jouvelot
EAGC
2004
Springer
15 years 6 months ago
Support for User-Defined Metrics in the Online Performance Analysis Tool G-PM
This paper presents the support for user-defined metrics in the G-PM performance analysis tool. G-PM addresses the demand for aggressive optimisation of Grid applications by using ...
Roland Wismüller, Marian Bubak, Wlodzimierz F...
GPCE
2003
Springer
15 years 7 months ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
HPDC
2008
IEEE
15 years 8 months ago
DataLab: transactional data-parallel computing on an active storage cloud
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
Brandon Rich, Douglas Thain