Embedded System Synthesis by Timing Constraints Solving.

Krzysztof Kuchcinski

Published in: ISSS (1997)

Keyphrases

timing constraints
real time databases
real time systems
real time database systems
active databases
embedded devices
execution model
concurrency control
nearest neighbor
database systems
distributed databases
security requirements