Sciweavers

4930 search results - page 331 / 986
» Testing a Safety-Critical Application
Sort
View
IJCNLP
2004
Springer
16 years 3 days ago
Spoken Versus Written Queries for Mobile Information Access: An Experiment on Mandarin Chinese
As Chinese is not alphabetic and the input of Chinese characters into computer is still a difficult and unsolved problem, voice retrieval of information becomes apparently an imp...
Heather Du, Fabio Crestani
DATE
2002
IEEE
99views Hardware» more  DATE 2002»
15 years 11 months ago
Gate Level Fault Diagnosis in Scan-Based BIST
A gate level, automated fault diagnosis scheme is proposed for scan-based BIST designs. The proposed scheme utilizes both fault capturing scan chain information and failing test v...
Ismet Bayraktaroglu, Alex Orailoglu
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 11 months ago
Stiffness matrix and quantitative measure of formation rigidity
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
Guangwei Zhu, Jianghai Hu
ICSM
1998
IEEE
15 years 11 months ago
Analysis of Programs with Exception-Handling Constructs
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
Saurabh Sinha, Mary Jean Harrold
WSC
2008
15 years 9 months ago
Offline commissioning of a PLC-based control system using arena
In this paper, we address a generalized method of mapping a control system simulation model to the PLC emulator being tested using model variables and PLC tags under the offline c...
Jeffery S. Smith, Younchol Cho