894 search results - page 113 / 179 » Optimizations for LTL Synthesis |
89
Voted
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
CCE
2004
15 years 15 days ago
2004
Ever-changing production campaigns complicate the management of recovery and treatment options for unavoidable effluents at pharmaceutical plants. Each campaign produces large amo...
135
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Facial expression modeling is central to facial expression recognition and expression synthesis for facial animation. Previous works reported that modeling the facial expression wi...
110
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
118
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
As power consumption of the clock tree in modern VLSI designs tends to dominate, measures must be taken to keep it under control. This paper introduces an approach for reducing cl...