Login / Signup

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