Sciweavers

1144 search results - page 44 / 229
» Feasibility Studies
Sort
View
ICCD
2007
IEEE
98views Hardware» more  ICCD 2007»
14 years 5 months ago
Priority-monotonic energy management for real-time systems with reliability requirements
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
Dakai Zhu, Xuan Qi, Hakan Aydin
CEC
2007
IEEE
14 years 3 months ago
An efficient Genetic Algorithm with uniform crossover for the multi-objective Airport Gate Assignment Problem
—Genetic Algorithms (GAs) have a good potential of solving the Gate Assignment Problem (GAP) at airport terminals, and the design of feasible and efficient evolutionary operators...
Xiao-Bing Hu, Ezequiel A. Di Paolo
WSC
2007
13 years 11 months ago
The range of predictions for calibrated agent-based simulation models
Agent-based simulation is increasingly used to study systems in many areas of business and science. Using agentbased simulation for prediction could be very valuable. However, the...
DongFang Shi, Roger J. Brooks
ALENEX
2007
126views Algorithms» more  ALENEX 2007»
13 years 10 months ago
0/1 Vertex and Facet Enumeration with BDDs
In polyhedral studies of 0/1 polytopes two prominent problems exist. One is the vertex enumeration problem: Given a system of inequalities, enumerate its feasible 0/1 points. Anot...
Markus Behle, Friedrich Eisenbrand
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
13 years 6 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...