423 search results - page 46 / 85 » The Generalization of Generalized Automata: Expression Autom... |
GLVLSI
2006
IEEE
14 years 2 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
CONCUR
2005
Springer
14 years 2 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...
GECCO
2004
Springer
14 years 2 months ago
2004
Springer
The Bluenome Model of Development is introduced. The Bluenome model is a developmental model of Artificial Morphogenesis, inspired by biological development, instantiating a subset...
FOSSACS
2009
Springer
14 years 16 days ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...