Sciweavers

4276 search results - page 495 / 856
» Computability of Probability Distributions and Distribution ...
Sort
View
ICFEM
2004
Springer
16 years 2 days ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
IJCNN
2000
IEEE
15 years 11 months ago
Neural Networks for Novelty Detection in Airframe Strain Data
The structural health of airframes is often monitored by analysis of the frequency of occurrence matrix (FOOM) produced after each flight. Each cell in the matrix records a stres...
Simon J. Hickinbotham, James Austin
158
Voted
INFOCOM
1999
IEEE
15 years 11 months ago
Performance Analysis on Path Rerouting Algorithms for Handoff Control in Mobile ATM Networks
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
Jun Li, Roy D. Yates, Dipankar Raychaudhuri
EUROMICRO
1997
IEEE
15 years 11 months ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov
GECCO
2006
Springer
155views Optimization» more  GECCO 2006»
15 years 10 months ago
Comparison of genetic representation schemes for scheduling soft real-time parallel applications
This paper presents a hybrid technique that combines List Scheduling (LS) with Genetic Algorithms (GA) for constructing non-preemptive schedules for soft real-time parallel applic...
Yoginder S. Dandass, Amit C. Bugde