894 search results - page 117 / 179 » Optimizations for LTL Synthesis |
92
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
110
click to vote
VLSISP
2008
15 years 15 days ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
181
click to vote
GECCO
2011
Springer
14 years 4 months ago
2011
Springer
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper deals with convex relaxations for quadratic distance problems, a class of optimization problems relevant to several important topics in the analysis and synthesis of ro...
93
Voted
ISVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
Multimedia applications are often characterized by a large number of data accesses with regular and periodic access patterns. In these cases, optimized pipelined memory access con...