Sciweavers

254 search results - page 4 / 51
» Using model trees to characterize computer resource usage
Sort
View
CONCUR
2004
Springer
15 years 5 months ago
Characterizing EF and EX Tree Logics
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
Mikolaj Bojanczyk, Igor Walukiewicz
MASCOTS
2004
15 years 29 days ago
Analysis of Peer-to-Peer Systems: Workload Characterization and Effects on Traffic Cacheability
Peer-to-peer file sharing networks have emerged as a new popular application in the Internet scenario. In this paper, we provide an analytical model of the resources size and of t...
Mauro Andreolini, Riccardo Lancellotti, Philip S. ...
HPDC
2003
IEEE
15 years 4 months ago
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
Radhakrishnan Sundaresan, Mario Lauria, Tahsin M. ...
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
15 years 6 months ago
Characterizing the genetic programming environment for fifth (GPE5) on a high performance computing cluster
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
Kenneth Holladay
AUSAI
2003
Springer
15 years 4 months ago
Combining Multiple Host-Based Detectors Using Decision Tree
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
Sang-Jun Han, Sung-Bae Cho