Sciweavers

958 search results - page 89 / 192
» Scalable Performance of the Panasas Parallel File System
Sort
View
FMCAD
2000
Springer
15 years 7 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
PDP
2002
IEEE
15 years 9 months ago
Scalable Monitoring and Configuration Tools for Grids and Clusters
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
Philippe Augerat, Cyrill Martin, Benhur Stein
RTCSA
2005
IEEE
15 years 9 months ago
Distributed Real-Time Processing for Humanoid Robots
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishika...
GRID
2006
Springer
15 years 4 months ago
Grid Deployment of Legacy Bioinformatics Applications with Transparent Data Access
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
Christophe Blanchet, Rémi Mollon, Douglas T...
ICDCS
2006
IEEE
15 years 10 months ago
PRINS: Optimizing Performance of Reliable Internet Storages
Distributed storage systems employ replicas or erasure code to ensure high reliability and availability of data. Such replicas create great amount of network traffic that negative...
Qing Yang, Weijun Xiao, Jin Ren