17967 search results - page 371 / 3594 » Functional timing optimization |
182
click to vote
COLT
2005
Springer
16 years 9 days ago
2005
Springer
We present a general decomposition algorithm that is uniformly applicable to every (suitably normalized) instance of Convex Quadratic Optimization and efficiently approaches an o...
180
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...
185
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present minimization methodologies and an algorithm for simultaneous scheduling, binding, and allocation for the reduction of total power and power fluctuation during behaviora...
189
Voted
WWW
2007
ACM
16 years 7 months ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...
179
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...