Deakin University
Browse

Efficient WCRT analysis of synchronous programs using reachability

conference contribution
posted on 2024-09-09, 05:08 authored by M Kuo, Roopak SinhaRoopak Sinha, P Roop
Efficient WCRT analysis of synchronous programs using reachability

History

Pagination

480-485

Location

CA, San Diego

Publisher DOI

Start date

2011-06-05

End date

2011-06-09

ISSN

0738-100X

Language

English

Publication classification

E1.1 Full written paper - refereed

Title of proceedings

Proceedings - Design Automation Conference

Event

48th ACM/IEEE/EDAC Design Automation Conference (DAC)

Publisher

ASSOC COMPUTING MACHINERY

Series

Design Automation Conference DAC

Publication URL

Usage metrics

    Research Publications

    Categories

    Keywords

    Science & TechnologyTechnologyEngineering, Electrical & ElectronicEngineeringSynchronousReachabilityWorst Case Analysis

    Licence

    All Rights Reserved

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC