1814 search results - page 207 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
HPCA
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper evaluates the suitability of the MapReduce model for multi-core and multi-processor systems. MapReduce was created by Google for application development on data-centers...
REX
1991
14 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
ICPPW
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...