Sciweavers

29152 search results - page 64 / 5831
» A Model of Computation for MapReduce
Sort
View
FCCM
2008
IEEE
128views VLSI» more  FCCM 2008»
15 years 10 months ago
Investigation of Programming Models for Emerging FPGA-Based High Performance Computing Systems
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
Andrew W. H. House, Paul Chow
ENTCS
2007
99views more  ENTCS 2007»
15 years 4 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 4 months ago
Computational Models of Spreadsheet Development: Basis for Educational Approaches
Among the multiple causes of high error rates in spreadsheets, lack of proper training and of deep understanding of the computational model upon which spreadsheet computations res...
Karin Hodnigg, Markus Clermont, Roland T. Mitterme...
GRID
2007
Springer
15 years 10 months ago
Load prediction using hybrid model for computational grid
—Due to the dynamic nature of grid environments, schedule algorithms always need assistance of a long-time-ahead load prediction to make decisions on how to use grid resources ef...
Yongwei Wu, Yulai Yuan, Guangwen Yang, Weimin Zhen...
CORR
2010
Springer
88views Education» more  CORR 2010»
15 years 1 months ago
Infinite Time Cellular Automata: A Real Computation Model
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
Fabien Givors, Grégory Lafitte, Nicolas Oll...