3482 search results - page 302 / 697 » In Praise of Numerical Computation |
184
click to vote
PASTE
2004
ACM
16 years 2 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
153
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...
189
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
A proposed system for real-time modeling of wildfires is described. The system involves numerical weather and fire prediction, automated data acquisition from Internet sources, and...
166
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...
162
click to vote
IMR
2004
Springer
16 years 1 days ago
2004
Springer
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...