281 search results - page 12 / 57 » A formal framework for compositional compilation |
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
MASCOTS
2003
13 years 9 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
IFL
2003
Springer
14 years 25 days ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...