1287 search results - page 108 / 258 » Reduction of Timed Hybrid Systems |
149
click to vote
ECIR
2008
Springer
15 years 5 months ago
2008
Springer
As the world has shifted towards manipulation of information and its technology, we have been increasingly overwhelmed by the amount of available multimedia data while having highe...
117
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
129
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose an approach to flow-unaware admission control, which is combination with an aggregate packet forwarding scheme, improves scalability of networks while g...
134
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
173
Voted
ISADS
2003
IEEE
15 years 9 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...