Starting point = an algorithm
+ a distributed architecture
+ some distribution constraints
+ some timing constraints
+ a list of failures to be tolerated
Goal: To
produce a static distributed scheduling of the
algorithm onto the architecture according to the distribution
constraints, satisfying the timing constraints, and tolerant to the specified failures
