
-
The gem5 Simulator: Version 20.0+
The open-source and community-supported gem5 simulator is one of the mos...
read it
-
Generalized Data Placement Strategies for Racetrack Memories
Ultra-dense non-volatile racetrack memories (RTMs) have been investigate...
read it
-
Achieving Determinism in Adaptive AUTOSAR
AUTOSAR Adaptive Platform is an emerging industry standard that tackles ...
read it
-
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Various vulnerabilities have been found in message parsers of protocol i...
read it
-
Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
This manuscript gives a category-theoretic foundation to the composition...
read it
-
ShiftsReduce: Minimizing Shifts in Racetrack Memory 4.0
Racetrack memories (RMs) have significantly evolved since their concepti...
read it
-
A Domain-Specific Language and Editor for Parallel Particle Methods
Domain-specific languages (DSLs) are of increasing importance in scienti...
read it
-
GCC-Plugin for Automated Accelerator Generation and Integration on Hybrid FPGA-SoCs
In recent years, architectures combining a reconfigurable fabric and a g...
read it