894 search results - page 7 / 179 » Optimizations for LTL Synthesis |
ICCD
1994
IEEE
15 years 2 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
DAC
2000
ACM
15 years 3 months ago
2000
ACM
In many modern designs, timing is either a key optimization goal and/or a mandatory constraint. We propose the first intellectual property protection technique using watermarking ...
157
click to vote
TOG
2012
13 years 1 months ago
2012
We introduce tensor displays: a family of compressive light field displays comprising all architectures employing a stack of timemultiplexed, light-attenuating layers illuminated...
GECCO
2004
Springer
15 years 4 months ago
2004
Springer
We combine interactive evolutionary computation (IEC) with existing evolutionary synthesis software for the design of micromachined resonators and evaluate its effectiveness using...
ISSS
1999
IEEE
15 years 3 months ago
1999
IEEE
ended tutorial abstract appeared in the Proceedings of the 12th International Symposium On System Synthesis, IEEE, San Jose, CA, USA November, 11, 1999.