Sciweavers

2670 search results - page 404 / 534
» Modeling systems with internal state using evolino
Sort
View
ISSRE
2002
IEEE
15 years 11 months ago
Effect of Disturbances on the Convergence of Failure Intensity
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
João W. Cangussu, Aditya P. Mathur, Raymond...
INFOCOM
1991
IEEE
15 years 9 months ago
A Neural Network Approach to Routing in Multihop Radio Networks
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
Jeffrey E. Wieselthier, Craig M. Barnhart, Anthony...
CMSB
2009
Springer
16 years 27 days ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
RV
2007
Springer
130views Hardware» more  RV 2007»
16 years 13 days ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
WSC
1998
15 years 7 months ago
Implementations of Dispatch Rules in Parallel Manufacturing Simulation
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
Chu-Cheow Lim, Yoke-Hean Low, Boon-Ping Gan, Sanja...