894 search results - page 95 / 179 » Optimizations for LTL Synthesis |
87
Voted
ISLPED
2005
ACM
15 years 6 months ago
2005
ACM
This paper addresses the problem of low-power fanout optimization with multiple threshold voltage inverters. Introducing splitting and merging conversions that preserve delay, pow...
90
Voted
EMO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we propose an approach for solving hierarchical multi-objective optimization problems (MOPs). In realistic MOPs, two main challenges have to be considered:...
113
Voted
ECBS
2002
IEEE
15 years 5 months ago
2002
IEEE
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...
107
click to vote
EURODAC
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
SIAMJO
2008
15 years 19 days ago
2008
We present a nonsmooth optimization technique for nonconvex maximum eigenvalue functions and for nonsmooth functions which are infinite maxima of eigenvalue functions. We prove glo...