HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling.
Qingling ZhaoZonghua GuHaibo ZengPublished in: IEEE Embed. Syst. Lett. (2014)
Keyphrases
- resource constraints
- resource allocation
- resource consumption
- interprocess communication
- scheduling problem
- scarce resources
- lightweight
- resource requirements
- deadlock free
- scheduling algorithm
- grid environment
- model selection
- tcp ip
- formal analysis
- resource availability
- grid resource
- distributed environment
- network protocols
- round robin
- tree models
- security protocols
- secure communication
- data dissemination
- authentication protocol
- machine learning
- combinatorial auctions
- information resources
- distributed databases
- model checking
- database systems