A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
[article]
2018
arXiv
pre-print
Preserved Fulltext
We present CANAL, a framework that models the cache behaviors of a program by transforming its intermediate representation in the LLVM compiler. ...
A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual researchers to implement ...
CANAL: A Cache Timing Analysis Framework via LLVM Transformation , , Figure 4 shows a program where we check if read of buffer [2] is a Must-hit. ...
arXiv:1807.03329v1
fatcat:n5y3s2aybzhwxi6wmyohyyawii
SyRA: Early System Reliability Analysis for Cross-Layer Soft Errors Resilience in Memory Arrays of Microprocessor Systems
2019
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper proposes SyRA, a system-level cross-layer early reliability analysis framework for radiation induced soft errors in memory arrays of microprocessor-based systems. ...
analysis. ...
cache (L1D) and level-2 cache (L2). ...
doi:10.1109/tc.2018.2887225
fatcat:dwukqo5iwnejjge6nhy3ihaaha
Celeritas: GPU-accelerated particle transport for detector simulation in High Energy Physics experiments
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Within the next decade, experimental High Energy Physics (HEP) will enter a new era of scientific discovery through a set of targeted programs recommended by the Particle Physics Project Prioritization ...
The ECP is a collaborative effort of two DOE organizations, the Office of Science and the National Nuclear Security Administration, that are responsible for the planning and preparation of a capable exascale ...
This is also a time of significant change in the C++ language itself, particularly with respect to concurrency support via Standard Library algorithms. ...
arXiv:2203.09467v2
fatcat:psq4sv2mhfaelann4je6pvtgza
A Monitoring Framework for Side-Channel Information Leaks
2020
2020 IEEE International Conference on Consumer Electronics (ICCE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Abstract A Monitoring Framework for Side-Channel Information Leaks Security and privacy in computer systems is becoming an ever important field of study as the information available on these systems is ...
This thesis introduces a framework based on interoperable components for the purpose of modelling an adversary and generating feedback on what the adversary is capable of learning through the monitoring ...
The authors of CANAL define a program, P (k), to have a timing side-channel leak if there exists any value of k such that τ (P,
CANAL: A Cache Timing Analysis Framework via LLVM Transformation k 1 ) ...
doi:10.1109/icce46568.2020.9042987
dblp:conf/iccel/LescisinM20
fatcat:tedyne4qavhgvletmjhlapo7c4
History of the ROOT system: conception, evolution and experience
2011
Proceedings of 13th International Workshop on Advanced Computing and Analysis Techniques in Physics Research — PoS(ACAT2010)
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The ROOT system started in 1995, at a time when future software directions were unclear. ...
Initially started as a successor of the PAW system, ROOT has considerably evolved since its initial conception. ...
EVE can serve as a framework for object management offering hierarchical data organization, object interaction and visualization via GUI and OpenGL representations and automatic creation of 2D projected ...
doi:10.22323/1.093.0002
fatcat:qwpz5szzdbcilfk2opttsijtva
PIConGPU: Predictive Simulations of Laser-Particle Accelerators with Manycore Hardware
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The open source particle-in-cell code PIConGPU, which is developed in the framework of this thesis, answers these demands, providing speed and scalability to run on the world's largest supercomputers. ...
generating a highly directed proton beam. ...
"ROOT -A C++ Framework for PetaByte Data Storage, Statistical Analysis and Visualization". In: Comput. Phys. Commun. . DOI: 10.1016/j.cpc.2009.08.005. ] V Vasilev, P Canal, A Naumann, et al. ...
doi:10.5281/zenodo.3266819
fatcat:b73a3zvxvjecjplcsks7gf52cu
Cross layer reliability estimation for digital systems
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements The experimental results presented in this thesis have demonstrated that the proposed work constitutes a valuable alternatives to state-of-the-art solutions. ...
LIFILL is a softwarelevel fault injector based on a virtual ISA, LLVM. In detail, software injections are performed by mutating the LLVM code according to the injected SFM. ...
Framework implementation We implemented a complete automatic framework able to perform the reliability analysis described in Section 5.2. ...
doi:10.6092/polito/porto/2673865
fatcat:hlz7fcyi4fg6beesy46nz2mifm
PhD Thesis: Quarantine-mode based Live Patching for Zero Downtime Safety-critical Systems
2019
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
CIL [113] and LLVM [126] compilation, source analysis and transformation tools are commonly utilized [82] . ...
A DSU is applied for each application thread. For this purpose, their code cache is flushed. ...
doi:10.13140/rg.2.2.10662.68160
fatcat:qoewi7hgkzh6tjkfw2my6dbxoe
ON BINAURAL SPATIALIZATION AND THE USE OF GPGPU FOR AUDIO PROCESSING
[article]
2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We take note of the time spent on task and this is used during the analysis. ...
process via CPU. ...
Appendix A Convolution Implementations We present here different code snippets for the different implementations of the convolution engine. ...
doi:10.13130/mauro-davide-andrea_phd2012-03-06
fatcat:c256h6m2jjcvlnkbs5r4obdduq