Henning Mortveit

Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study (2008)

Anders ˚a. Hanson, Maya Gokhale, Henning Mortveit

Often reconfigurable systems are reported to have 10 × to 100 × speedup over that of a software system. However, the reconfigurable hardware must usually be combined with software to form an entire...

FORMAL MODELING OF PROCESS MIGRATION (2008)

Aric D. Blumer, Henning Mortveit, Cameron D. Patterson

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...

A mathematical formalism for agent-based modeling (2007)

Laubenbacher, Reinhard, Jarrah, Abdul S., Mortveit, Henning, Ravi, S. S.

Many complex systems can be modeled as multiagent systems in which the constituent entities (agents) interact with each other. The global dynamics of such a system is determined by the nature of the...

Science and engineering of large scale socio-technical simulations (2002)

Chris Barrett, Stephen Eubank, Madhav Marathe, Henning Mortveit, Christian Reidys

Abstract: Computer simulation is a computational approach whereby global system properties are produced as dynamics by direct computation of interactions among representations of local system...