• DocumentCode
    3627622
  • Title

    Formal Methods in System and MpSoC Performance Analysis and Optimisation

  • Author

    Rolf Ernst;Rolf Ernst;Marek Jersak;Hans Sarnowski;Marco Bekooij;Samarjit Chakraborty

  • Author_Institution
    TU Braunschweig, DE
  • fYear
    2008
  • fDate
    3/1/2008 12:00:00 AM
  • Keywords
    "Performance analysis","Optimization methods","Design for manufacture","Computer errors","Graphics","Manufacturing","Design optimization","Automotive engineering","Protection","Production"
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe, 2008. DATE ´08
  • ISSN
    1530-1591
  • Print_ISBN
    978-3-9810801-3-1
  • Electronic_ISBN
    1558-1101
  • Type

    conf

  • DOI
    10.1109/DATE.2008.4484645
  • Filename
    4484645
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3627622