3823 search results - page 514 / 765 » Stability of Hybrid Systems |
230
click to vote
TOPNOC
2010
15 years 1 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
153
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...
185
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...
136
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...
175
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...