677 search results - page 74 / 136 » Distributed data-parallel computing using a high-level progr... |
201
Voted
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
107
Voted
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
118
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
189
click to vote
BANFF
1995
15 years 6 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
125
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...