2206 search results - page 139 / 442 » On the power of coercion abstraction |
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
113
Voted
IPTPS
2004
Springer
15 years 7 months ago
2004
Springer
Structured peer-to-peer (p2p) overlay networks provide a decentralized, self-organizing substrate for distributed applicad support powerful abstractions such as distributed hash t...
102
click to vote
ERSHOV
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
PACT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
115
Voted
FLOPS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...