235 search results - page 20 / 47 » A Symbolic Symbolic State Space Representation |
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
106
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ICHIT
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we provide an adaptive modulation approach that uses adaptive pilot symbols which both pilot spacing and power allocation on pilot symbols are optimized in single in...
SIAMREV
2011
14 years 2 months ago
2011
This paper deals with efficient numerical representation and manipulation of differential and integral operators as symbols in phase-space, i.e., functions of space x and frequen...