Formal Modeling of Process Migration

Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson. Formal Modeling of Process Migration. In Koen Bertels, Walid A. Najjar, Arjan J. van Genderen, Stamatis Vassiliadis, editors, FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007. pages 104-110, IEEE, 2007. [doi]

Authors

Aric D. Blumer

This author has not been identified. Look up 'Aric D. Blumer' in Google

Henning S. Mortveit

This author has not been identified. Look up 'Henning S. Mortveit' in Google

Cameron D. Patterson

This author has not been identified. Look up 'Cameron D. Patterson' in Google