4139 search results - page 612 / 828 » Designing and Implementing Combinator Languages |
122
click to vote
HLPPP
1991
15 years 8 months ago
1991
Gamma was originally proposed in 1986 as a formalism for the de nition of programs without arti cial sequentiality. The basic idea underlying the formalism is to describe computati...
167
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
151
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The GridBASE framework for database-driven grid computing is presented. The design and a prototype implementation of the framework is discussed. Industry-strength database technol...
124
click to vote
PACS
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, processor manufacturers have converged on two types of register file architectures. Both IBM with its POWER series and Intel with its Pentium series are using a ...
146
click to vote
IOPADS
1996
15 years 5 months ago
1996
Many parallel scientific applications need high-performance I/O. Unfortunately, end-to-end parallel-I/O performance has not been able to keep up with substantial improvements in p...