462 search results - page 87 / 93 » Symbolic Bounded Synthesis |
150
click to vote
MFCS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
132
Voted
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
156
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
145
Voted
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...
147
Voted
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...