5493 search results - page 229 / 1099 » Effectively Polynomial Simulations |
144
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
160
click to vote
MICRO
2008
IEEE
16 years 28 days ago
2008
IEEE
Uniprocessor simulators track resource utilization cycle by cycle to estimate performance. Multiprocessor simulators, however, must account for synchronization events that increas...
168
click to vote
DATE
2006
IEEE
16 years 18 days ago
2006
IEEE
Enhancing productivity for designing complex embedded systems requires system level design methodology and language support for capturing complex design in high level models. For ...
187
click to vote
CSB
2005
IEEE
16 years 5 days ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
180
click to vote
NA
2010
15 years 5 months ago
2010
In the numerical solution of ODEs, it is now possible to develop efficient techniques that will deliver approximate solutions that are piecewise polynomials. The resulting methods...