This paper presents EarthMover, a discrete-event special-purpose simulation modeling tool for earthwork planning geared towards practitioners. The paper explores the capabilities ...
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
This study uses a similarity-based elastography method to reconstruct elastic modulus values in a simulation of cancerous tumors in the breast. Four similarity metrics were compar...
Michael I. Miga, Megan Rothney, Chad W. Washington