894 search results - page 59 / 179 » Optimizations for LTL Synthesis |
132
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the application of genetic programming to synthesize a small form factor, 2 dimensional wire antenna for a 5.2 GHz 802.11a wireless LAN application. Utilizing ...
128
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
139
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
A simple free viewpoint video system which is able not only to display user-specified views at arbitrary angle but also to efficiently stream the necessary video over a network ...
123
click to vote
ASYNC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
130
click to vote
TCAD
2008
15 years 3 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...