Sciweavers

6366 search results - page 619 / 1274
» Statistical Performance Modeling and Optimization
Sort
View
SIGMETRICS
2002
ACM
118views Hardware» more  SIGMETRICS 2002»
15 years 6 months ago
Robust traffic engineering: game theoretic perspective
On-line routing algorithms deal with requests as they arrive without assuming any knowledge of the underlying process that generates the streams of requests. By contrast, off-line...
Vladimir Marbukh
CORR
2010
Springer
163views Education» more  CORR 2010»
15 years 4 months ago
Design of QoS-aware Provisioning Systems
We present an architecture of a hosting system consisting of a set of hosted Web Services subject to QoS constraints, and a certain number of servers used to run users demand. The ...
Michele Mazzucco, Manuel Mazzara, Nicola Dragoni
CCGRID
2010
IEEE
15 years 1 months ago
Towards Autonomic Service Provisioning Systems
This paper discusses our experience in building SPIRE, an autonomic system for service provision. The architecture consists of a set of hosted Web Services subject to QoS constrain...
Michele Mazzucco
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
16 years 21 days ago
Implicit Coordination in Robotic Teams using Learned Prediction Models
— Many application tasks require the cooperation of two or more robots. Humans are good at cooperation in shared workspaces, because they anticipate and adapt to the intentions a...
Freek Stulp, Michael Isik, Michael Beetz
CAV
1997
Springer
102views Hardware» more  CAV 1997»
15 years 10 months ago
Efficient Model Checking Using Tabled Resolution
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...