Sciweavers

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