2377 search results - page 316 / 476 » Hybrid Systems in TLA |
179
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
130
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Numerous recent reports have assessed the adequacy of current generating capacity to meet the growing electricity demand from Plug-in Hybrid Electric Vehicles (PHEVs) and the pote...
168
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present a methodology for profiling parallel applications executing on the IBM PowerXCell 8i (commonly referred to as the “Cell” processor). Specifically, we...
267
click to vote
ISICA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...
168
click to vote
ICARCV
2006
IEEE
16 years 14 days ago
2006
IEEE
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...