284 search results - page 8 / 57 » Roomy: A System for Space Limited Computations |
SC
2009
ACM
15 years 6 months ago
2009
ACM
Reconfigurable computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such syste...
102
click to vote
MMB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
Recent growth of social classification systems due to steadily increasing popularity has established a multitude of heterogeneous isolated, non-integrated, and non-interoperable t...
113
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
ICS
2010
Tsinghua U.
15 years 4 months ago
2010
Tsinghua U.
We present a new cache oblivious scheme for iterative stencil computations that performs beyond system bandwidth limitations as though gigabytes of data could reside in an enormou...