Sciweavers

1179 search results - page 156 / 236
» Event Model Interfaces for Heterogeneous System Analysis
Sort
View
ISOLA
2004
Springer
15 years 9 months ago
Designing Safe, Reliable Systems using Scade
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
Parosh Aziz Abdulla, Johan Deneaux, Gunnar St&arin...
130
Voted
MIE
2008
141views Healthcare» more  MIE 2008»
15 years 5 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
134
Voted
WSC
2001
15 years 5 months ago
A practical bottleneck detection method
This paper describes a novel method for detecting the bottleneck in a discrete event system by examining the average duration of a machine being active for all machines. The machi...
Christoph Roser, Masaru Nakano, Minoru Tanaka
DAC
2008
ACM
16 years 4 months ago
Study of the effects of MBUs on the reliability of a 150 nm SRAM device
1 Soft errors induced by radiation are an increasing problem in the microelectronic field. Although traditional models estimate the reliability of memories suffering Single Event U...
Juan Antonio Maestro, Pedro Reviriego
ETFA
2008
IEEE
15 years 10 months ago
Evaluation of Sequential Function Charts execution techniques. The Active Steps Algorithm
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
Ramon Piedrafita Moreno, José Luis Villarro...