7092 search results - page 1153 / 1419 » Parallelizing constraint programs |
109
Voted
LCPC
1991
Springer
15 years 6 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...
101
click to vote
VL
1992
IEEE
15 years 6 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
152
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
CIE
2008
Springer
15 years 4 months ago
2008
Springer
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
119
Voted
PDPTA
2004
15 years 3 months ago
2004
Current systems for managing workload on clusters of workstations, particularly those available for Linuxbased (Beowulf) clusters, are typically based on traditional process-based...