Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.
Lovleen BhatiaJayesh GaurPraveen TiwariRaj S. MitraSunil H. MatangePublished in: DAC (2007)
Keyphrases
- multimedia
- multimedia content
- multimedia data
- multimedia information retrieval
- digital libraries
- embedded systems
- multimedia systems
- cultural heritage
- formal model
- multimedia databases
- multimedia objects
- interactive multimedia
- metadata
- content description
- multimedia presentations
- databases
- content delivery
- digital multimedia
- multimedia information
- multimedia documents
- digital media
- hardware and software
- website
- artificial intelligence