Sciweavers

4880 search results - page 55 / 976
» Manuals as Structured Programs
Sort
View
IOR
2002
32views more  IOR 2002»
13 years 10 months ago
Structural Properties of Stochastic Dynamic Programs
James E. Smith, Kevin F. McCardle
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
13 years 9 months ago
Automatic Verification of Determinism for Structured Parallel Programs
Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...