894 search results - page 66 / 179 » Optimizations for LTL Synthesis |
179
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Algorithmic Chemistries are Artificial Chemistries that aim at algorithms. In this contribution we present a new algorithm to execute Algorithmic Chemistries during evolution. Th...
104
click to vote
FPL
2004
Springer
15 years 6 months ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
97
Voted
DATE
1997
IEEE
15 years 4 months ago
1997
IEEE
A design methodology for the synthesis of digital circuits used in high throughput digital modems is presented. The methodology spans digital modem design from the link level to t...
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...
65
Voted
IFIP
1992
Springer
15 years 4 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...