Sciweavers

5536 search results - page 314 / 1108
» Programming Languages for Distributed Applications
Sort
View
CTCS
1995
Springer
15 years 10 months ago
A Proposed Categorical Semantics for ML Modules
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
Michael P. Fourman, Hayo Thielecke
ECOOP
2008
Springer
15 years 8 months ago
Runtime Adaptations within the QuaD2-Framework
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...
Steffen Mencke, Martin Kunz, Mario Pukall
HPDC
1999
IEEE
15 years 11 months ago
Starfish: Fault-Tolerant Dynamic MPI Programs on Clusters of Workstations
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
Adnan Agbaria, Roy Friedman
IPPS
1999
IEEE
15 years 11 months ago
Optimization Rules for Programming with Collective Operations
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
Sergei Gorlatch, Christoph Wedler, Christian Lenga...
AOSD
2008
ACM
15 years 8 months ago
Test-based pointcuts for robust and fine-grained join point specification
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
Kouhei Sakurai, Hidehiko Masuhara