2364 search results - page 304 / 473 » On O-Minimal Hybrid Systems |
149
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
We would like to show that the collective production of knowledge and the individual creation of its organizational casting mould, which is therefore incapable of following the gr...
180
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...
134
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...
170
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...
269
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 ...