Timing verification of cyclic systems based on temporal constraint analysis.
Ahmed AzzabiEl Mostapha AboulhamidGabriela NicolescuPublished in: ICECS (2010)
Keyphrases
- asynchronous circuits
- temporal constraints
- statistical analysis
- lower bound
- management system
- intelligent systems
- formal analysis
- image analysis
- learning systems
- complex systems
- wordnet
- resource constraints
- temporal reasoning
- temporal information
- constraint satisfaction
- databases
- computer systems
- distributed systems
- data analysis
- image sequences