3441 search results - page 379 / 689 » Parallel Logic Programming Systems |
187
click to vote
VECPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Optimization problems constrained by nonlinear partial differential equations have been the focus of intense research in scientific computing lately. Current methods for...
134
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. Recent advances in software and hardware for clustered computing have allowed scientists and computing specialists to take advantage of commodity processors in solving ch...
122
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
161
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
133
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...