In this paper, we present a thorough analysis of thread-level parallelism available in production High Performance Computing (HPC) codes. We survey a number of techniques that are...
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations vide the necessary abstractions. An example of this lack of prov...
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
There has long been a competition between simulation and optimization in the modeling of problems in transportation and logistics, machine scheduling and similar highdimensional p...