1 |
Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
2 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
4 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
|
|
|
|
Abstract:
As customized accelerator design has become increasingly popular to keep up with the demand for high performance computing, it poses challenges for modern simulator design to adapt to such a large variety of accelerators. Existing simulators tend to two extremes: low-level and general approaches, such as RTL simulation, that can model any hardware but require substantial effort and long execution times; and higher-level application-specific models that can be much faster and easier to use but require one-off engineering effort. This work proposes a compiler-driven simulation workflow that can model configurable hardware accelerator. The key idea is to separate structure representation from simulation by developing an intermediate language that can flexibly represent a wide variety of hardware constructs. We design the Event Queue (EQueue) dialect of MLIR, a dialect that can model arbitrary hardware accelerators with explicit data movement and distributed event-based control; we also implement a generic ...
|
|
Keyword:
FOS Computer and information sciences; Hardware Architecture cs.AR; Machine Learning cs.LG; Programming Languages cs.PL
|
|
URL: https://dx.doi.org/10.48550/arxiv.2202.00739 https://arxiv.org/abs/2202.00739
|
|
BASE
|
|
Hide details
|
|
7 |
How ISO C became unusable for operating systems development ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
A Systematic Evaluation of Large Language Models of Code ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Compilable Neural Code Generation with Compiler Feedback ...
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Active Learning Activities in a Collaborative Teacher Setting in Colours, Design and Visualisation
|
|
|
|
In: Computers; Volume 11; Issue 5; Pages: 68 (2022)
|
|
BASE
|
|
Show details
|
|
15 |
Are You Robert or RoBERTa? Deceiving Online Authorship Attribution Models Using Neural Text Generators
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Eine agentenbasierte Architektur für Programmierung mit gesprochener Sprache
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
20 |
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
|