323 search results - page 16 / 65 » Synthesis for Structure Rewriting Systems |
DATE
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified sy...
108
click to vote
FSTTCS
2010
Springer
14 years 9 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
APN
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
77
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper provides a reformulation of closed-loop systems that have negative imaginary frequency response to closed-loop systems that have bounded gain, so that theory and res...
CODES
1997
IEEE
15 years 4 months ago
1997
IEEE
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...