28962 search results - page 437 / 5793 » Computational Mechanism Design |
173
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
220
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...
195
Voted
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
189
Voted
ECUMN
2007
Springer
15 years 8 months ago
2007
Springer
Since few years, several applications are proposed on mobile devices. However, these applications are not aware of their physical environment. The emergence of wireless sensors, a...
183
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...