| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems Christian Dietrich, Martin Hoffmann, Daniel Lohmann |
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis Zhenkai Zhang, Xenofon D. Koutsoukos |
Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Optimizing Transfers of Control in the Static Pipeline Architecture Ryan Baird, Peter Gavin, Magnus Själander, David B. Whalley, Gang-Ryung Uh |
Optimizing Transfers of Control in the Static Pipeline Architecture Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
TrilobiteG: A programming architecture for autonomous underwater vehicles Hans Christian Woithe, Ulrich Kremer |
TrilobiteG: A programming architecture for autonomous underwater vehicles Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Semantics Driven Hardware Design, Implementation, and Verification with ReWire Adam M. Procter, William L. Harrison, Ian Graves, Michela Becchi, Gerard Allwein |
Semantics Driven Hardware Design, Implementation, and Verification with ReWire Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Enabling Efficient Alias Speculation Soumyadeep Ghosh, Yongjun Park, Arun Raman |
Enabling Efficient Alias Speculation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Kamyar Mirzazad Barijough, Matin Hashemi, Volodymyr Khibin, Soheil Ghiasi |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Clover: Compiler Directed Lightweight Soft Error Resilience Qingrui Liu, Changhee Jung, Dongyoon Lee, Devesh Tiwari |
Clover: Compiler Directed Lightweight Soft Error Resilience Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Improving Data Access Efficiency by Using Context-Aware Loads and Stores Alen Bardizbanyan, Magnus Själander, David B. Whalley, Per Larsson-Edefors |
Improving Data Access Efficiency by Using Context-Aware Loads and Stores Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions Stanislav Manilov, Björn Franke, Anthony Magrath, Cedric Andrieu |
Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Chen Liu, Chengmo Yang |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems Isabella Stilkerich, Clemens Lang, Christoph Erhardt, Michael Stilkerich |
A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Yixiao Lin, Sayan Mitra |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
WCET-Aware Dynamic D-cache Locking for A Single Task Wenguang Zheng, Hui Wu |
WCET-Aware Dynamic D-cache Locking for A Single Task Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|