• DocumentCode
    1666456
  • Title

    International Symposium on System Synthesis (IEEE Cat. No.01EX526)

  • fYear
    2001
  • Keywords
    distributed processing; embedded systems; formal verification; hardware-software codesign; optimisation; reconfigurable architectures; storage management; architectural synthesis; distributed systems; embedded systems; hardware-software codesign; memory management; multiprocessor architectures; optimisation; real-time system; reconfigurable architectures; testability; verifiability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Synthesis, 2001. Proceedings. The 14th International Symposium on
  • Conference_Location
    Montreal, Quebec, Canada
  • Print_ISBN
    1-58113-418-5
  • Type

    conf

  • DOI
    10.1109/ISSS.2001.156522
  • Filename
    957903