769 search results - page 4 / 154 » Analysis of recursively parallel programs |
LCPC
1997
Springer
14 years 1 months ago
1997
Springer
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
CC
2009
Springer
14 years 10 months ago
2009
Springer
Speculative parallelisation represents a promising solution to speed up sequential programs that are hard to parallelise otherwise. Prior research has focused mainly on parallelisi...
ICDCS
1998
IEEE
14 years 2 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
APLAS
2004
ACM
14 years 3 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...