Sciweavers

FPL
2007
Springer

Formal Modeling of Process Migration

13 years 9 months ago
Formal Modeling of Process Migration
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a group of processors modeled as finite state machines. The model is motivated by a migration application between software and Field Programmable Gate Array (FPGA) hardware, and the theorems of the model guide the use of FPGA resources while guaranteeing complete and correct execution of a process. By defining different types of migration realms this paper also develops a migration realm taxonomy.
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where FPL
Authors Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson
Comments (0)