423 search results - page 46 / 85 » The Generalization of Generalized Automata: Expression Autom... |
126
click to vote
GLVLSI
2006
IEEE
15 years 10 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 ...
127
click to vote
DATE
2005
IEEE
15 years 9 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...
145
click to vote
CONCUR
2005
Springer
15 years 9 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...
143
click to vote
GECCO
2004
Springer
15 years 9 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...
123
Voted
FOSSACS
2009
Springer
15 years 8 months 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 ...