Image de couverture de livre

BEC: Bit-Level Static Analysis for Reliability against Soft Errors

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ko, Yousun, Burgstaller, Bernd
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering Cryptography and Security 03F60, 68M15, 68M20, 68N20 B.8.1; C.4; D.4.5; F.2.2; G.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Free inverse monoids are co-context-free
par: Brough, Tara Macalister, et autres
Publié: (2025)

Tamper-Proofing with Self-Modifying Code
par: Morse, Gregory, et autres
Publié: (2026)

Solutions of Word Equations over Partially Commutative Structures
par: Diekert, Volker, et autres
Publié: (2016)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

Language-Based Protocol Testing
par: Liggesmeyer, Alexander, et autres
Publié: (2025)

Locality, Consistency, and the Tractability Frontier
par: Simas, Tristan
Publié: (2026)

The Word Problem for Finitary Automaton Groups
par: Kotowsky, Maximilian, et autres
Publié: (2023)

A formalization of Borel determinacy in Lean
par: Manthe, Sven
Publié: (2025)

AI for software engineering: from probable to provable
par: Meyer, Bertrand
Publié: (2025)

Pure Data Spaces
par: Youssef, Saul
Publié: (2025)

The Freeness Problem for Automaton Semigroups
par: D'Angeli, Daniele, et autres
Publié: (2024)

Replication in Graph Partitioning and Scheduling Problems
par: Papp, Pál András, et autres
Publié: (2026)

Computational Complexity of Determining the Assembly Index
par: Masierak, Piotr
Publié: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
par: Bruse, Florian, et autres
Publié: (2026)

BoostTrack++: using tracklet information to detect more objects in multiple object tracking
par: Stanojević, Vukašin, et autres
Publié: (2024)

Quantum-Resistant Quantum Teleportation
par: Jin, Xin, et autres
Publié: (2026)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
par: Cojocaru, Liliana
Publié: (2015)

Combining Mechanical and Agentic Specification Inference for Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Separate Before You Compress: The WWHO Tokenization Architecture
par: Darshana, Kusal
Publié: (2026)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

QuIC: A Training-Free Quantum Graph Embedding from Ideal Analysis to Practical Hardware Evaluation
par: Miller, Luke, et autres
Publié: (2026)

A theoretical model of dynamical grammatical gender shifting based on set-valued set function
par: Idrissi, Mohamed El
Publié: (2026)

NP-hard problems are not in BQP
par: Czerwinski, Reiner
Publié: (2023)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
par: Gabbay, Murdoch J.
Publié: (2025)

Detecting Corporate AI-Washing via Cross-Modal Semantic Inconsistency Learning
par: Wen, Zhanjie, et autres
Publié: (2026)

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation
par: Wright, Craig S
Publié: (2025)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
par: Klouda, Karel, et autres
Publié: (2021)

On Graph Grammars and Games
par: Vijayakumar, Jayakrishna, et autres
Publié: (2024)

Jump Complexity of Deterministic Finite Automata with Translucent Letters
par: Fazekas, Szilárd Zsolt, et autres
Publié: (2025)

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
par: Xia, Gus G.
Publié: (2025)

The Word Problem for $(ω- 1)$-Terms over $\mathrm{DAb}$
par: Almeida, Jorge, et autres
Publié: (2024)

Multi-Metric Algorithmic Complexity: Beyond Asymptotic Analysis
par: Kavun, Sergii
Publié: (2025)

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
par: Oliveria, Mateus de Oliveira, et autres
Publié: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
par: Nakano, Keisuke, et autres
Publié: (2024)

Languages of Words of Low Automatic Complexity Are Hard to Compute
par: Chen, Joey, et autres
Publié: (2025)

Open Source Evolutionary Computation with Chips-n-Salsa
par: Cicirello, Vincent A.
Publié: (2024)

Enhancing Privacy in Federated Learning through Quantum Teleportation Integration
par: Khan, Koffka
Publié: (2024)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
par: Camlin, Jeffrey
Publié: (2025)

A Formal Analysis of Algorithms for Matroids and Greedoids
par: Abdulaziz, Mohammad, et autres
Publié: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
par: Weiß, Matthias, et autres
Publié: (2026)