176 search results - page 28 / 36 » Interval Methods for Kinetic Simulations |
115
Voted
CCE
2007
15 years 2 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
129
Voted
MMNS
2003
15 years 4 months ago
2003
Abstract. We introduce a new measurement algorithm for the available bandwidth in a network path between two endhosts. This algorithm is an adaptation from existing active measurem...
162
Voted
SMA
2008
ACM
15 years 2 months ago
2008
ACM
The Least Trimmed Squares (LTS) estimator is a frequently used robust estimator of regression. When it comes to inference for the parameters of the regression model, the asymptoti...
117
Voted
SIAMSC
2010
15 years 1 months ago
2010
In this work we discuss a class of defect correction methods which is easily adapted to create parallel time integrators for multi-core architectures and is ideally suited for deve...
128
Voted
ICCAD
2009
IEEE
15 years 15 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...