On variations of the suspension-based multiprocessor priority ceiling syncronization protocol.

Andreu Carminati Rômulo Silva de Oliveira

Published in: ETFA (2012)

Keyphrases

lightweight
database machines
multiprocessor systems
database
neural network
formal analysis
communication protocol
key distribution
cryptographic protocols
hybrid intelligent
network protocols
mobile robot
application layer
single processor
priority queue