• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automatic software synthesis of dataflow program: An MPEG-4 simple profile decoder case study.

Ghislain RoquierMatthieu WipliezMickaël RauletJörn W. JanneckIan D. MillerDavid B. Parlour
Published in: SiPS (2008)
Keyphrases
  • case study
  • control flow
  • software development
  • program synthesis
  • multimedia
  • computer systems
  • test cases
  • static analysis
  • software testing
  • software systems
  • software maintenance
  • data flow
  • mpeg avc
  • table lookup