2477 search results - page 249 / 496 » Parallelizing Functional Programs by Generalization |
192
click to vote
ICS
1999
Tsinghua U.
15 years 11 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....
192
click to vote
PDPTA
2000
15 years 8 months ago
2000
Abstract In this paper, we propose a microprocessor architecture which eciently utilizes nextgeneration semiconductor technology. While the technology makes it possible to integrat...
168
click to vote
ORL
2008
15 years 7 months ago
2008
A finite test set for an integer optimization problem enables us to verify whether a feasible point attains the global optimum. We establish in this paper several general results ...
154
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
175
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...