Modern graphics processing units (GPUs) have complex architectures that admit
exceptional performance and energy efficiency for high-throughput applications. Although …

In the operation of biorefineries, performing a quantitative, economic, and environmental
assessment of process equipment design without the use of related software, is time …

We present Barra, a simulator of Graphics Processing Units (GPU) tuned for general
purpose processing (GPGPU). It is based on the UNISIM framework and it simulates the …

This practical experience report presents the results of an experiment aimed at building a
profile of attacker behavior following a remote compromise. For this experiment, we utilized …

Virtual Prototy** has been widely adopted as a cost-effective solution for early hardware
and software co-validation. However, as systems grow in complexity and scale, both the time …

SoCRocket is a design framework for rapid SoC development. Emerged from an industrial
case study for the European Space Agency (ESA) it enables design, verification and …

In this paper, we investigate the use of instruction set simulators (ISS) based on binary
translation to accelerate full timed multiprocessor system simulation at transaction level. To …

Instruction set simulators (ISS) are vital tools for compiler and processor architecture design
space exploration and verification. State-of-the-art simulators using just-in-time (JIT) …

This paper demonstrates the combined use of three simulation tools in support of a co-
design methodology for an HPC-focused System-on-a-Chip (SoC) design. The simulation …

This paper describes a formal high-level synthesis design framework which is used to
automatically generate provably-correct coprocessor, implementable hardware descriptions …