434 search results - page 2 / 87 » Functorial Data Migration |
96
Voted
RELMICS
2005
Springer
15 years 5 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 29 days ago
1996
We survey distributed data management problems including distributed paging, le allocation, and le migration.
88
Voted
ICPP
1996
IEEE
15 years 3 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...
119
Voted
PPOPP
1993
ACM
15 years 3 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...
88
Voted
ENTCS
2008
14 years 11 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...