4520 search results - page 10 / 904 » Algebraic Techniques for Timed Systems |
129
click to vote
FOCS
1990
IEEE
15 years 5 months ago
1990
IEEE
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
152
Voted
TCOS
2008
15 years 1 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
116
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
115
click to vote
ISSAC
2001
Springer
15 years 6 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...