7189 search results - page 1236 / 1438 » Connecting Design with Code |
203
Voted
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
146
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
113
click to vote
SC
1995
ACM
15 years 7 months ago
1995
ACM
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
124
click to vote
PARLE
1991
15 years 7 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
152
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...