1287 search results - page 136 / 258 » Reduction of Timed Hybrid Systems |
132
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
136
click to vote
ERSA
2004
15 years 5 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
136
click to vote
JCM
2008
15 years 4 months ago
2008
We compare four open-loop transmit diversity schemes in a coded Orthogonal Frequency Division Multiplexing (OFDM) system with four transmit antennas, namely cyclic shift diversity ...
127
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Lithium-ion batteries are the core of new plug-in hybrid-electrical vehicles (PHEV) as well as considered in many 2nd generation hybrid electric vehicles (HEV). In most cases t...
129
click to vote
ESANN
2001
15 years 5 months ago
2001
Over the years the amount and range of electronic text stored on the WWW has expanded rapidly, overwhelming both users and tools designed to index and search the information. It is...