1
Veröffentlicht 2007
Inhaltsangabe: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2008
Inhaltsangabe: ... for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model...
Volltext
Elektronisch E-Book