Sciweavers

4930 search results - page 168 / 986
» Testing a Safety-Critical Application
Sort
View
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 6 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
TII
2008
109views more  TII 2008»
15 years 6 months ago
Analysis and Simulation of Jitter Sequences for Testing Serial Data Channels
This paper presents a novel modeling analysis of jitter as applicable to testing of serial data channels. Jitter is analyzed by considering separate and combined components. The pr...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
SEMWEB
2010
Springer
15 years 4 months ago
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurr...
ICECCS
2002
IEEE
106views Hardware» more  ICECCS 2002»
15 years 11 months ago
Validating Run-time Interactions in Distributed Java Applications
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Re...
ICPR
2002
IEEE
16 years 7 months ago
Implementing Image Applications on FPGAs
The Cameron project has developed a language and compiler for mapping image-based applications to field programmable gate arrays (FPGAs). This paper tests this technology on sever...
A. P. Wim Böhm, Bruce A. Draper, Charles Ross...