4520 search results - page 237 / 904 » Algebraic Techniques for Timed Systems |
174
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
172
click to vote
WSC
2004
15 years 8 months ago
2004
Cell-DEVS enables efficient execution of complex cellular models. The goal of Cell-DEVS is to build discrete-event cell spaces, improving their definition by making the timing spe...
175
click to vote
AAAI
1993
15 years 8 months ago
1993
The Rete and Treat algorithms are considered the most efficient implementation techniques for Forward Chaining rule systems. These algorithms support a language of limited express...
227
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
229
click to vote
FOCS
2002
IEEE
16 years 5 days ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...