894 search results - page 23 / 179 » Optimizations for LTL Synthesis |
105
Voted
CCE
2008
14 years 11 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
81
Voted
SASP
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
TCAD
2010
14 years 5 months ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...
87
Voted
DAC
2000
ACM
15 years 12 months ago
2000
ACM
A main advantage of control composition with modal processes [4] is the enhanced retargetability of the composed behavior over a wide variety of target architectures. Unlike previ...
83
Voted
DAC
2002
ACM
15 years 12 months ago
2002
ACM
This paper presents an optimal voltage synthesis technique for a satellite application to maximize system performance subject to energy budget. A period of a satellite's orbi...