Sciweavers

1729 search results - page 131 / 346
» A Case-Based Parallel Programming System
Sort
View
212
Voted
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
16 years 2 months ago
Distributed data-parallel computing using a high-level programming language
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
Michael Isard, Yuan Yu
119
Voted
FOSSACS
2009
Springer
15 years 9 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
ISORC
2008
IEEE
15 years 9 months ago
A Hierarchical Resource Management Scheme Enabled by the TMO Programming Scheme
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
K. H. (Kane) Kim, Yuqing Li, Kee-Wook Rim, Eltefaa...
126
Voted
IANDC
2006
78views more  IANDC 2006»
15 years 2 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
ERSA
2009
107views Hardware» more  ERSA 2009»
15 years 10 days ago
Towards Effective Modeling and Programming Multi-core Tiled Reconfigurable Architectures
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...