Formal Timing Analysis for Distributed Real-Time Programs.
Horst F. WeddeBogdan KorelDorota M. HuizingaPublished in: Real Time Syst. (1994)
Keyphrases
- real time
- distributed environment
- distributed systems
- multimedia communication
- low cost
- data acquisition
- loosely coupled
- real time systems
- fault tolerant
- cloud computing
- vision system
- high speed
- multi agent
- case study
- genetic algorithm
- database
- event processing
- autonomous mobile
- computer programs
- distributed data
- formal model
- quality of service
- mobile agents