4693 search results - page 372 / 939 » Verifying Hybrid Systems |
187
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
201
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
137
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper presents a new double space-time transmit diversity-orthogonal frequency division multiplexing (DSTTD-OFDM) scheme using the zero-forcing decisionfeedback (ZF-DF) de...
176
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
147
click to vote
EDOC
2006
IEEE
16 years 25 days ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...