Demand-Driven Specification Partitioning.

Roland T. Mittermeir Andreas Bollin

Published in: JMLC (2003)

Keyphrases

limited resources
demand driven
load balance
computing resources
high level
formal specification
partitioning algorithm
load balancing
specification language