Sciweavers

2042 search results - page 180 / 409
» Modeling and Analysis of Probabilistic Timed Systems
Sort
View
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
13 years 8 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt
SIGMETRICS
2003
ACM
165views Hardware» more  SIGMETRICS 2003»
14 years 2 months ago
A hybrid systems modeling framework for fast and accurate simulation of data communication networks
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
Stephan Bohacek, João P. Hespanha, Junsoo L...
SRDS
2003
IEEE
14 years 2 months ago
Performance and Effectiveness Analysis of Checkpointing in Mobile Environments
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
Xinyu Chen, Michael R. Lyu
NIPS
2000
13 years 10 months ago
Processing of Time Series by Neural Circuits with Biologically Realistic Synaptic Dynamics
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
Thomas Natschläger, Wolfgang Maass, Eduardo D...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
14 years 16 days ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut