Sciweavers

469 search results - page 11 / 94
» Language and library support for practical PRAM programming
Sort
View
111
Voted
CAP
2010
14 years 9 months ago
A quantitative study of reductions in algebraic libraries
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
Yue Li, Gabriel Dos Reis
ICFP
2005
ACM
16 years 2 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
166
Voted
IWPC
2010
IEEE
15 years 1 months ago
Identification of Idiom Usage in C++ Generic Libraries
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
114
Voted
HIPS
1998
IEEE
15 years 7 months ago
Language Bindings for a Data-Parallel Runtime
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
Bryan Carpenter, Geoffrey Fox, Donald Leskiw, Xiao...
209
Voted
POPL
2007
ACM
16 years 3 months ago
A typed intermediate language for compiling multiple inheritance
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
Juan Chen