CLOVER: A Timing Constraints Verification System.
Dimitris DoukasAndrea S. LaPaughPublished in: DAC (1991)
Keyphrases
- timing constraints
- real time databases
- real time systems
- embedded devices
- real time database systems
- active databases
- execution model
- concurrency control
- real time
- resource constraints
- model checking
- data sources
- transaction processing
- concurrency control protocols
- security requirements
- embedded systems
- data warehouse