168 search results - page 18 / 34 » Model-Based Testing of Automotive Systems |
PARA
2004
Springer
14 years 4 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
SEFM
2007
IEEE
14 years 5 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
ICIP
1999
IEEE
15 years 14 days ago
1999
IEEE
Robust, fast object detection systems are critical to the success of next-generation automotive vision systems. An important criteria is that the detection system be easily config...