The Ada Connection 2011

Design and Implementation of a Ravenscar Extension for Multiprocessors