5718 search results - page 922 / 1144 » Modeling Rule Precision |
197
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Monte Carlo simulation is one of the most widely used techniques for computationally intensive simulations in mathematical analysis and modeling. A multivariate Gaussian ...
241
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
190
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
177
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
As the number of cores continues to grow in both digital signal and general purpose processors, tools which perform automatic scheduling from model-based designs are of increasing...
174
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Designing a computer-supported learning scenario involving a constructivist approach of learning lays on a paradox. On the one hand, learning flows must be precisely described –...