| 2008 |
|---|
| 7 | EE | Reinhard C. Laubenbacher,
Abdul Salam Jarrah,
Henning S. Mortveit,
S. S. Ravi:
A mathematical formalism for agent-based modeling
CoRR abs/0801.0249: (2008) |
| 2007 |
|---|
| 6 | EE | Aric D. Blumer,
Henning S. Mortveit,
Cameron D. Patterson:
Formal Modeling of Process Migration.
FPL 2007: 104-110 |
| 2005 |
|---|
| 5 | EE | Justin L. Tripp,
Henning S. Mortveit,
Anders A. Hansson,
Maya Gokhale:
Metropolitan Road Traffic Simulation on FPGAs.
FCCM 2005: 117-126 |
| 4 | EE | Justin L. Tripp,
Anders A. Hansson,
Maya Gokhale,
Henning S. Mortveit:
Partitioning Hardware and Software for Reconfigurable Supercomputing Applications: A Case Study.
SC 2005: 27 |
| 2001 |
|---|
| 3 | EE | Henning S. Mortveit,
Christian M. Reidys:
Discrete, sequential dynamical systems.
Discrete Mathematics 226(1-3): 281-295 (2001) |
| 2000 |
|---|
| 2 | EE | Christopher L. Barrett,
B. W. Bush,
S. Kopp,
Henning S. Mortveit,
Christian M. Reidys:
Sequential Dynamical Systems and Applications to Simulations.
Annual Simulation Symposium 2000: 245-252 |
| 1 | EE | Christopher L. Barrett,
Henning S. Mortveit,
Christian M. Reidys:
Elements of a theory of simulation II: sequential dynamical systems.
Applied Mathematics and Computation 107(2-3): 121-136 (2000) |
