Hardware-accelerated execution of Pi-calculus reconfiguration schedules.

André Seffrin Sorin A. Huss

Published in: FPT (2011)

Keyphrases

deadlock free
scheduling problem
dynamic reconfiguration
execution model
formal language
automated deduction
manufacturing systems
active databases
plan execution