204 search results - page 2 / 41 » Computational Universality in Symbolic Dynamical Systems |
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
MCU
1998
13 years 6 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
IANDC
2010
13 years 2 months ago
2010
We consider the dynamical behavior of Martin-L
CONCUR
2005
Springer
13 years 10 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
DCC
2010
IEEE
14 years 2 days ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...