Sciweavers

1939 search results - page 41 / 388
» Dynamic Lex Constraints
Sort
View
DAC
2011
ACM
12 years 7 months ago
Throughput maximization for periodic real-time systems under the maximal temperature constraint
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
Huang Huang, Gang Quan, Jeffrey Fan, Meikang Qiu
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
14 years 2 months ago
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...
Diego Puschini, Fabien Clermidy, Pascal Benoit, Gi...
CDC
2010
IEEE
135views Control Systems» more  CDC 2010»
13 years 2 months ago
L2 gain verification for interconnections of locally stable systems using integral quadratic constraints
The paper establishes conditions which certify a local L2 gain for interconnections of locally stable systems. The approach involves improvements to local L2 gain estimation using ...
Erin Summers, Andrew K. Packard
BPM
2007
Springer
152views Business» more  BPM 2007»
14 years 1 months ago
Towards Dynamic Matching of Business-Level Protocols in Adaptive Service Compositions
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...
Alan W. Colman, Linh Duy Pham, Jun Han, Jean-Guy S...
CP
2006
Springer
13 years 11 months ago
An Extension of Complexity Bounds and Dynamic Heuristics for Tree-Decompositions of CSP
This paper deals with methods exploiting tree-decomposition approaches for solving constraint networks. We consider here the practical efficiency of these approaches by defining fi...
Philippe Jégou, Samba Ndiaye, Cyril Terriou...