Sciweavers

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