1813 search results - page 259 / 363 » Constraint Based Methods for Biological Sequence Analysis |
140
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
? In this paper we propose an adaptive scheduling and voltage/frequency selection algorithm which targets at energy harvesting systems. The proposed algorithm adjusts the processor...
148
Voted
ISLPED
2006
ACM
15 years 10 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
142
click to vote
COLT
2006
Springer
15 years 7 months ago
2006
Springer
In an online convex optimization problem a decision-maker makes a sequence of decisions, i.e., chooses a sequence of points in Euclidean space, from a fixed feasible set. After ea...
119
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
116
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...