Sciweavers

4062 search results - page 223 / 813
» Using Performance Models to Dynamically Control E-Business P...
Sort
View
CCE
2007
15 years 6 months ago
A multiple model, state feedback strategy for robust control of non-linear processes
In order to achieve global stability using well-established linear control theory and techniques, a multiple model approach has attracted increased attention in recent years. In o...
F. Y. Wang, Parisa A. Bahri, Peter L. Lee, I. T. C...
ENTCS
2007
117views more  ENTCS 2007»
15 years 6 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
BDA
2003
15 years 8 months ago
Transaction Routing with Freshness Control in a Cluster of Replicated Databases
: We consider the use of a cluster system with a shared nothing architecture for update-intensive autonomous databases. To optimize load balancing, we use optimistic database repli...
Hubert Naacke, François Dang Ngoc, Patrick ...
DSN
2006
IEEE
16 years 19 days ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
ISRR
2005
Springer
163views Robotics» more  ISRR 2005»
16 years 2 days ago
POMDP Planning for Robust Robot Control
POMDPs provide a rich framework for planning and control in partially observable domains. Recent new algorithms have greatly improved the scalability of POMDPs, to the point where...
Joelle Pineau, Geoffrey J. Gordon