Sciweavers

2211 search results - page 91 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
SCL
2008
113views more  SCL 2008»
14 years 9 months ago
Modular design of nonlinear observers for state and disturbance estimation
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...
Costas Kravaris, Georgios Savoglidis
ICAS
2005
IEEE
134views Robotics» more  ICAS 2005»
15 years 3 months ago
Timing Performance Control in Web Server Systems Utilizing Server Internal State Information
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
Xue Liu, Rong Zheng, Jin Heo, Qixin Wang, Lui Sha
DAC
1997
ACM
15 years 2 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
EUROPAR
2009
Springer
15 years 4 months ago
Steady-State for Batches of Identical Task Trees
Abstract In this paper, we focus on the problem of scheduling batches of identical task graphs on a heterogeneous platform, when the task graph consists in a tree. We rely on stead...
Sékou Diakité, Loris Marchal, Jean-M...
IPPS
2003
IEEE
15 years 3 months ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja