867 search results - page 83 / 174 » Optimizing synthesis with metasketches |
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
104
click to vote
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
A technique for computing the switching activity of synchronous Finite State Machine (FSM) implementations including the influence of temporal correlation among the next state si...
86
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...
91
Voted
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
101
click to vote
SIGGRAPH
1990
ACM
15 years 4 months ago
1990
ACM
The use of physically-based techniques for computer animation can result in realistic object motion. The price paid for physically-based motion synthesis lies in increased computa...