867 search results - page 113 / 174 » Optimizing synthesis with metasketches |
92
Voted
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
102
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
102
click to vote
IJCAI
2001
15 years 2 months ago
2001
Software design is the hardest part of creating intelligent agents. Therefore agent architectures should be optimized as design tools. This paper presents an architectural synthes...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We describe a time-domain procedure for designing the synthesis filters of perfect-reconstruction oversampled filter banks. A condition matrix is derived from the basic magnitud...
93
Voted
CASES
2008
ACM
15 years 2 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...