1445 search results - page 153 / 289 » Properties of state spaces and their applications |
232
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
301
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Traditional duplicate elimination techniques are not applicable to many data stream applications. In general, precisely eliminating duplicates in an unbounded data stream is not f...
199
click to vote
ARC
2007
Springer
15 years 7 months ago
2007
Springer
: The parity space approach to fault detection and isolation (FDI) has been developed during the last twenty years, and the focus here is to describe its application to stochastic ...
202
click to vote
SIAMCOMP
2008
15 years 7 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
202
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...