Algorithmic-level Specification and Characterization of Embedded Multimedia Applications with Design Trotter.
Yannick Le MoullecJean-Philippe DiguetNader Ben AmorThierry GourdeauxJean Luc PhilippePublished in: J. VLSI Signal Process. (2006)
Keyphrases
- multimedia
- formal verification
- embedded systems
- artificial intelligence
- software design
- engineering design
- low cost
- case study
- knowledge base
- information systems
- multi agent
- high level
- design process
- computer aided
- design decisions
- design methodology
- levels of abstraction
- knowledge level
- formal methods
- specification language
- real time