Self-stabilization Preserving Compiler.

Shlomi Dolev Yinnon A. Haviv Mooly Sagiv

Published in: Self-Stabilizing Systems (2005)

Keyphrases

general purpose
programming language
distributed memory machines
image sequences
software systems
information systems
website
case study
high level
search algorithm
code generation
video stabilization