434 search results - page 2 / 87 » Functorial Data Migration |
RELMICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
DAGSTUHL
1996
14 years 10 months ago
1996
We survey distributed data management problems including distributed paging, le allocation, and le migration.
ICPP
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
107
Voted
PPOPP
1993
ACM
15 years 1 months ago
1993
ACM
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
ENTCS
2008
14 years 9 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...