434 search results - page 2 / 87 » Functorial Data Migration |
105
Voted
RELMICS
2005
Springer
15 years 6 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
15 years 2 months ago
1996
We survey distributed data management problems including distributed paging, le allocation, and le migration.
103
Voted
ICPP
1996
IEEE
15 years 5 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...
138
Voted
PPOPP
1993
ACM
15 years 5 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...
102
Voted
ENTCS
2008
15 years 1 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...