Sciweavers

1890 search results - page 145 / 378
» Model-Based Testing in Practice
Sort
View
ISNN
2007
Springer
16 years 15 days ago
Fast Code Detection Using High Speed Time Delay Neural Networks
This paper presents a new approach to speed up the operation of time delay neural networks for fast code detection. The entire data are collected together in a long vector and then...
Hazem M. El-Bakry, Nikos E. Mastorakis
TSD
2007
Springer
16 years 14 days ago
Festival-si: A Sinhala Text-to-Speech System
Abstract. This paper brings together the development of the first Text-toSpeech (TTS) system for Sinhala using the Festival framework and practical applications of it. Construction...
Ruvan Weerasinghe, Asanka Wasala, Viraj Welgama, K...
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
16 years 13 days ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
HAPTICS
2006
IEEE
16 years 13 days ago
Dielectric Elastomer Spring Roll Actuators for a Portable Force Feedback Device
In this paper, we present a new portable force feedback device for surgery simulations. Dielectric elastomer spring roll linear actuators for this device were manufactured, and ch...
Rui Zhang, Patrick Lochmatter, Andreas M. Kunz, G&...
ASM
2005
ASM
15 years 12 months ago
State Exploration with Multiple State Groupings
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
Colin Campbell, Margus Veanes