4930 search results - page 247 / 986 » Testing a Safety-Critical Application |
153
click to vote
IEEEARES
2006
IEEE
16 years 19 days ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
140
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
— Fast QR decomposition RLS (FQRD-RLS) algorithms are well known for their good numerical properties and low computational complexity. The FQRD-RLS algorithms do not provide acce...
110
Voted
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
Given a multichannel loudspeaker system, the selection of the crossover frequency between the sub-woofer and the satellite speakers is important for accurate (i.e., distortionfree...
199
click to vote
WETICE
2005
IEEE
16 years 5 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
178
click to vote
ADAEUROPE
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...