46 search results - page 8 / 10 » Test Coverage for Continuous and Hybrid Systems |
138
click to vote
JSS
2008
15 years 4 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
108
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The paper proposes two automatic voltage controllers for the South Korean power system. Simulation results from detailed Korean power-flow models show that the controllers can pro...
146
click to vote
VLSID
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
140
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents an approach for a multi-cue based two-dimensional gesture recognition that combines two different forms of cues, namely shape cues and motion cues, in a suppor...
136
Voted
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...