-
The gem5 Simulator: Version 20.0+
The open-source and community-supported gem5 simulator is one of the mos...
07/07/2020 ∙ by Jason Lowe-Power, et al. ∙
0
∙
share
read it
-
Generalized Data Placement Strategies for Racetrack Memories
Ultra-dense non-volatile racetrack memories (RTMs) have been investigate...
12/07/2019 ∙ by Asif Ali Khan, et al. ∙
0
∙
share
read it
-
Achieving Determinism in Adaptive AUTOSAR
AUTOSAR Adaptive Platform is an emerging industry standard that tackles ...
12/03/2019 ∙ by Christian Menard, et al. ∙
0
∙
share
read it
-
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Various vulnerabilities have been found in message parsers of protocol i...
10/02/2019 ∙ by Tobias Reiher, et al. ∙
0
∙
share
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...
06/28/2019 ∙ by Sebastian Ertel, et al. ∙
0
∙
share
read it
-
ShiftsReduce: Minimizing Shifts in Racetrack Memory 4.0
Racetrack memories (RMs) have significantly evolved since their concepti...
03/08/2019 ∙ by Asif Ali Khan, et al. ∙
0
∙
share
read it
-
A Domain-Specific Language and Editor for Parallel Particle Methods
Domain-specific languages (DSLs) are of increasing importance in scienti...
03/31/2017 ∙ by Sven Karol, et al. ∙
0
∙
share
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...
08/28/2015 ∙ by Markus Vogt, et al. ∙
0
∙
share
read it
