15073 search results - page 2748 / 3015 » Probabilistic algorithms for computing resultants |
154
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
For many large-scale combinatorial search/optimization problems, meta-heuristic algorithms face noisy objective functions, coupled with computationally expensive evaluation times....
150
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
114
Voted
DAC
2009
ACM
15 years 8 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
133
click to vote
ISLPED
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we propose a proactive dynamic thermal management scheme for chip multiprocessors that run multi-threaded workloads. We introduce a new predictor that utilizes the ...
141
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
This paper addresses the issue of how to meet the strict timing constraints of (soft) real-time virtualized applications while the Virtual Machine (VM) hosting them is undergoing a...