Collecting Statistics over Runtime Executions1 1This research was supported in part by NSF(ITR) grant CCR-01-21403, by NSF grant CCR-99-00984-001, by ARO grant DAAD19-01-1-0723, and by ARPA/AF contracts F33615-00-C-1693 and F33615-99-C-3014. Journal Article uri icon


publication date

  • December 1, 2002

Full Author List

  • Finkbeiner B; Sankaranarayanan S; Sipma H

Other Profiles

Additional Document Info

start page

  • 36

end page

  • 54


  • 70


  • 4