1968 search results - page 110 / 394 » The Complexity of Valued Constraint Models |
WCET
2008
15 years 2 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
127
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The problem of optimal allocation of monitoring resources for tracking transactions progressing through a distributed system, modeled as a queueing network, is considered. Two for...
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
132
click to vote
WSC
2007
15 years 3 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
104
click to vote
ISMVL
2007
IEEE
15 years 7 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...