2366 search results - page 313 / 474 » Pfaffian Hybrid Systems |
168
click to vote
SRDS
2006
IEEE
16 years 15 days ago
2006
IEEE
In a recent paper, we presented proactive resilience as a new approach to proactive recovery, based on architectural hybridization. We showed that, with appropriate assumptions ab...
142
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
180
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
Though plenty of research has been conducted to improve Internet P2P streaming quality perceived by endusers, little has been known about the upper bounds of achievable performanc...
148
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...
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...