Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ko, Yousun, Burgstaller, Bernd
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering Cryptography and Security 03F60, 68M15, 68M20, 68N20 B.8.1; C.4; D.4.5; F.2.2; G.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Free inverse monoids are co-context-free
por: Brough, Tara Macalister, et al.
Publicado: (2025)

Tamper-Proofing with Self-Modifying Code
por: Morse, Gregory, et al.
Publicado: (2026)

Solutions of Word Equations over Partially Commutative Structures
por: Diekert, Volker, et al.
Publicado: (2016)

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

Language-Based Protocol Testing
por: Liggesmeyer, Alexander, et al.
Publicado: (2025)

Locality, Consistency, and the Tractability Frontier
por: Simas, Tristan
Publicado: (2026)

The Word Problem for Finitary Automaton Groups
por: Kotowsky, Maximilian, et al.
Publicado: (2023)

A formalization of Borel determinacy in Lean
por: Manthe, Sven
Publicado: (2025)

AI for software engineering: from probable to provable
por: Meyer, Bertrand
Publicado: (2025)

Pure Data Spaces
por: Youssef, Saul
Publicado: (2025)

The Freeness Problem for Automaton Semigroups
por: D'Angeli, Daniele, et al.
Publicado: (2024)

Replication in Graph Partitioning and Scheduling Problems
por: Papp, Pál András, et al.
Publicado: (2026)

Computational Complexity of Determining the Assembly Index
por: Masierak, Piotr
Publicado: (2026)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
por: Bruse, Florian, et al.
Publicado: (2026)

BoostTrack++: using tracklet information to detect more objects in multiple object tracking
por: Stanojević, Vukašin, et al.
Publicado: (2024)

Quantum-Resistant Quantum Teleportation
por: Jin, Xin, et al.
Publicado: (2026)

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

Combining Mechanical and Agentic Specification Inference for Move
por: Grieskamp, Wolfgang, et al.
Publicado: (2026)

Separate Before You Compress: The WWHO Tokenization Architecture
por: Darshana, Kusal
Publicado: (2026)

Normative Conditional Reasoning as a Fragment of HOL
por: Parent, Xavier, et al.
Publicado: (2023)

QuIC: A Training-Free Quantum Graph Embedding from Ideal Analysis to Practical Hardware Evaluation
por: Miller, Luke, et al.
Publicado: (2026)

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

NP-hard problems are not in BQP
por: Czerwinski, Reiner
Publicado: (2023)

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

Detecting Corporate AI-Washing via Cross-Modal Semantic Inconsistency Learning
por: Wen, Zhanjie, et al.
Publicado: (2026)

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation
por: Wright, Craig S
Publicado: (2025)

The number of primitive words of unbounded exponent in the language of an HD0L-system is finite
por: Klouda, Karel, et al.
Publicado: (2021)

On Graph Grammars and Games
por: Vijayakumar, Jayakrishna, et al.
Publicado: (2024)

Jump Complexity of Deterministic Finite Automata with Translucent Letters
por: Fazekas, Szilárd Zsolt, et al.
Publicado: (2025)

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

The Word Problem for $(ω- 1)$-Terms over $\mathrm{DAb}$
por: Almeida, Jorge, et al.
Publicado: (2024)

Multi-Metric Algorithmic Complexity: Beyond Asymptotic Analysis
por: Kavun, Sergii
Publicado: (2025)

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
por: Oliveria, Mateus de Oliveira, et al.
Publicado: (2026)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
por: Nakano, Keisuke, et al.
Publicado: (2024)

Languages of Words of Low Automatic Complexity Are Hard to Compute
por: Chen, Joey, et al.
Publicado: (2025)

Open Source Evolutionary Computation with Chips-n-Salsa
por: Cicirello, Vincent A.
Publicado: (2024)

Enhancing Privacy in Federated Learning through Quantum Teleportation Integration
por: Khan, Koffka
Publicado: (2024)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
por: Camlin, Jeffrey
Publicado: (2025)

A Formal Analysis of Algorithms for Matroids and Greedoids
por: Abdulaziz, Mohammad, et al.
Publicado: (2025)

SDVDiag: Using Context-Aware Causality Mining for the Diagnosis of Connected Vehicle Functions
por: Weiß, Matthias, et al.
Publicado: (2026)