894 search results - page 47 / 179 » Optimizations for LTL Synthesis |
148
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Abstract—Interconnects (wires, buffers, clock distribution networks, multiplexers and busses) consume a significant fraction of total circuit power. In this work, we demonstrat...
135
click to vote
FPGA
2009
ACM
16 years 5 days ago
2009
ACM
Reconfigurable high-performance computing systems (RHPC) have been attracting more and more attention over the past few years. RHPC systems are a promising solution for accelerati...
174
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper addresses the problem of estimating lower bounds on the power consumption in scheduled data flow graphs with a fixed number of allocated resources prior to binding. T...
117
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes a new method for the synthesis of planar antenna arrays using fuzzy genetic algorithms (FGAs) by optimizing phase excitation coefficients to best meet a desir...
140
click to vote
DATE
2008
IEEE
15 years 12 months ago
2008
IEEE
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...