894 search results - page 59 / 179 » Optimizations for LTL Synthesis |
100
Voted
GECCO
2004
Springer
15 years 6 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 ...
96
Voted
ICSE
2004
IEEE-ACM
16 years 21 days 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...
96
Voted
ICMCS
2008
IEEE
15 years 7 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 ...
ASYNC
1997
IEEE
15 years 4 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...
TCAD
2008
15 years 15 days 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...