Sciweavers

221 search results - page 5 / 45
» Probabilistic delay time analysis in networked automation sy...
Sort
View
QEST
2007
IEEE
14 years 29 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
IPL
2011
91views more  IPL 2011»
12 years 10 months ago
Fast leader election in anonymous rings with bounded expected delay
We propose a probabilistic network model, called asynchronous bounded expected delay (ABE), which requires a known bound on the expected message delay. In ABE networks all asynchr...
Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Ju...
DAC
2008
ACM
14 years 7 months ago
Cache modeling in probabilistic execution time analysis
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
Yun Liang, Tulika Mitra
CORR
2010
Springer
150views Education» more  CORR 2010»
13 years 6 months ago
Existence and Global Logarithmic Stability of Impulsive Neural Networks with Time Delay
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
A. K. Ojha, Dushmanta Mallick, C. Mallick
BMCBI
2010
110views more  BMCBI 2010»
13 years 6 months ago
TimeDelay-ARACNE: Reverse engineering of gene networks from time-course data by an information theoretic approach
Background: One of main aims of Molecular Biology is the gain of knowledge about how molecular components interact each other and to understand gene function regulations. Using mi...
Pietro Zoppoli, Sandro Morganella, Michele Ceccare...