Sciweavers

3134 search results - page 5 / 627
» simulation 2010
Sort
View
82
Voted
SPRINGSIM
2010
15 years 21 days ago
Development and acceleration of parallel chemical transport models
Paul Eller, Kumaresh Singh, Adrian Sandu
99
Voted
QEST
2010
IEEE
15 years 6 days ago
p-Automata: New Foundations for Discrete-Time Probabilistic Verification
Michael Huth, Nir Piterman, Daniel Wagner