Sciweavers

99 search results - page 11 / 20
» Measures for evaluating the decision performance of a decisi...
Sort
View
DSN
2006
IEEE
14 years 1 months ago
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms
We present three algorithms for detecting the need for software rejuvenation by monitoring the changing values of a customer-affecting performance metric, such as response time. A...
Alberto Avritzer, Andre B. Bondi, Michael Grottke,...
SIGCOMM
2003
ACM
14 years 19 days ago
Forwarding in a content-based network
This paper presents an algorithm for content-based forwarding, an essential function in content-based networking. Unlike in traditional address-based unicast or multicast networks...
Antonio Carzaniga, Alexander L. Wolf
FROCOS
2011
Springer
12 years 7 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
ICCCN
2007
IEEE
14 years 1 months ago
Evaluation of Mesh-Enhanced VANET Deployment Models
—While wireless vehicular ad hoc networks (VANETs) are attracting greater commercial interest, current research has not adequately captured the real-world urban constraints in VA...
Niranjan Potnis, Atulya Mahajan, Kartik Gopalan, A...
ICMLA
2008
13 years 8 months ago
Comprehensible Models for Predicting Molecular Interaction with Heart-Regulating Genes
When using machine learning for in silico modeling, the goal is normally to obtain highly accurate predictive models. Often, however, models should also bring insights into intere...
Cecilia Sönströd, Ulf Johansson, Ulf Nor...