3171 search results - page 155 / 635 » Application of Reduce Order Modeling to Time Parallelization |
122
click to vote
SERP
2008
15 years 4 months ago
2008
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
123
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
125
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
125
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
102
click to vote
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
Accurate system modeling in tomographic image reconstruction has been shown to reduce the spatial variance of resolution and improve quantitative accuracy. System modeling can be ...