Sciweavers

299 search results - page 7 / 60
» A method for decentralized clustering in large multi-agent s...
Sort
View
DMSN
2006
ACM
14 years 1 months ago
Intelligent system monitoring on large clusters
Modern data centers have a large number of components that must be monitored, including servers, switches/routers, and environmental control systems. This paper describes InteMon,...
Jimeng Sun, Evan Hoke, John D. Strunk, Gregory R. ...
EDBT
2004
ACM
172views Database» more  EDBT 2004»
14 years 7 months ago
Content-Based Routing of Path Queries in Peer-to-Peer Systems
Peer-to-peer (P2P) systems are gaining increasing popularity as a scalable means to share data among a large number of autonomous nodes. In this paper, we consider the case in whic...
Georgia Koloniari, Evaggelia Pitoura
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
CCGRID
2011
IEEE
12 years 11 months ago
DHTbd: A Reliable Block-Based Storage System for High Performance Clusters
—Large, reliable and efficient storage systems are becoming increasingly important in enterprise environments. Our research in storage system design is oriented towards the expl...
George Parissis, George Xylomenos, Theodore K. Apo...
ICSE
2007
IEEE-ACM
14 years 1 months ago
Workshop on Software Technologies for Ultra-Large Scale Systems
Given the inevitable trends towards increasing complexity of software-intensive systems, many future software-intensive systems will be ultra-large scale (ULS). Radical scale-up o...
Richard P. Gabriel, Rick Kazman, Linda M. Northrop...