Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications

A. E. Abdallah, J. Hawkins

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    18 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003
    EditorsRalph H. Sprague
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    ISBN (Electronic)0769518745, 9780769518749
    DOIs
    Publication statusPublished (VoR) - 2003
    Event36th Annual Hawaii International Conference on System Sciences, HICSS 2003 - Big Island, United States
    Duration: 6 Jan 20039 Jan 2003

    Publication series

    NameProceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003

    Conference

    Conference36th Annual Hawaii International Conference on System Sciences, HICSS 2003
    Country/TerritoryUnited States
    CityBig Island
    Period6/01/039/01/03

    Fingerprint

    Dive into the research topics of 'Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications'. Together they form a unique fingerprint.

    Cite this