1287 search results - page 98 / 258 » Reduction of Timed Hybrid Systems |
172
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
112
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
This work discusses the impact of power consumption on the test time of core-based systems, when an available on-chip network is reused as test access mechanism. A previously prop...
221
click to vote
ARTDB
1997
Springer
15 years 8 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
107
click to vote
DEBS
2009
ACM
15 years 11 months ago
2009
ACM
Event processing systems are a promising technology for enterprise-scale applications. However, achieving scalability yet maintaining high performance is a challenging problem. Th...
128
click to vote
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
In this work we present an Eclipse plug-in for the VInTiMe (Verifier of INtegrated TImed ModEls)1 suite of tools that combines high-level expressive power, unassisted propertypres...