Sciweavers

1490 search results - page 75 / 298
» Models and Algorithms for Optical and Optoelectronic Paralle...
Sort
View
IPL
1998
80views more  IPL 1998»
13 years 7 months ago
The Economics of Large-Memory Computations
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
Clark D. Thomborson
CCGRID
2006
IEEE
14 years 1 months ago
Imprecise Computation Grid Application Model for Flexible Market-Based Resource Allocation
Market-based resource management is becoming an emerging issue as the utilization of Grid computing is growing rapidly, particularly in the business field. In this paper, we prov...
Kyong Hoon Kim, Rajkumar Buyya, Jong Kim
SPIN
2004
Springer
14 years 1 months ago
Explicit State Model Checking with Hopper
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
Michael Jones, Eric Mercer
FPL
2007
Springer
94views Hardware» more  FPL 2007»
14 years 2 months ago
A Many-core Implementation based on the Reconfigurable Mesh Model
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
Heiner Giefers, Marco Platzner
SPAA
1990
ACM
13 years 12 months ago
Low Overhead Parallel Schedules for Task Graphs
d Abstract) Richard J. Anderson Paul Beame Walter L. Ruzzo Department of Computer Science and Engineering University of Washingtoni We introduce a task scheduling model which is u...
Richard J. Anderson, Paul Beame, Walter L. Ruzzo