894 search results - page 35 / 179 » Optimizations for LTL Synthesis |
79
Voted
VLSID
1999
IEEE
15 years 4 months ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
223
Voted
ICANNGA
2011
Springer
14 years 4 days ago
2011
Springer
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...
80
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
: Common sub-expression elimination (CSE) serves as a useful optimization technique in the synthesis of arithmetic datapaths described at RTL. However, CSE has a limited potential ...
108
Voted
EON
2008
15 years 2 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
86
Voted
IJACTAICIT
2010
14 years 9 months ago
2010
In this article, a hybrid optimization method has been proposed consisting of modified ant colony systems (ACSs) and constrained nonlinear programming (NLP) to solve the problems ...