168 search results - page 18 / 34 » Model-Based Testing of Automotive Systems |
181
click to vote
PARA
2004
Springer
15 years 5 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...
109
click to vote
SEFM
2007
IEEE
15 years 6 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...
101
click to vote
EMSOFT
2005
Springer
15 years 5 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
15 years 5 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...
108
click to vote
ICIP
1999
IEEE
16 years 1 months 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...