TPAP: an Algebra of Preemptive Processes for Verifying Real-Time Systems with Shared Resources.
Jérôme ErmontFrédéric BoniolPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- real time systems
- real time
- distributed systems
- mission critical
- embedded systems
- sharing information
- sharing knowledge
- resource allocation
- real time database systems
- timing constraints
- object oriented programming language
- data model
- process model
- resource constraints
- anytime algorithms
- scheduling problem
- real time embedded
- lower bound
- database
- single machine
- query language
- artificial neural networks
- resource management