Buchumschlag

Unconventional Universal Computation in Babbage's Analytical Engine

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rojas, Raul
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Hardware Architecture 68U01 K.2; B.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SPEC CPU: The Next Generation
von: Madhav, Mahesh, et al.
Veröffentlicht: (2026)

CGRA4ML: A Hardware/Software Framework to Implement Neural Networks for Scientific Edge Computing
von: Abarajithan, G, et al.
Veröffentlicht: (2024)

Towards Automated Verification of Logarithmic Arithmetic
von: Arnold, Mark G., et al.
Veröffentlicht: (2024)

Computing with Clocks
von: Edwards, Jonathan, et al.
Veröffentlicht: (2024)

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
von: Drechsler, Rolf
Veröffentlicht: (2025)

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
von: Daly, Ross, et al.
Veröffentlicht: (2024)

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
von: Srinivasan, Pranav, et al.
Veröffentlicht: (2026)

Certificate-Aware Property-Directed Reachability
von: Ferdowsi, Arman, et al.
Veröffentlicht: (2026)

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
von: Li, Yufeng, et al.
Veröffentlicht: (2024)

Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
von: Sergeev, Nikolai
Veröffentlicht: (2025)

Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
von: Strauch, Tobias
Veröffentlicht: (2025)

Design and Implementation of a Takum Arithmetic Hardware Codec
von: Hunhold, Laslo
Veröffentlicht: (2024)

Socially Beneficial Metaverse: Framework, Technologies, Applications, and Challenges
von: Xu, Xiaolong, et al.
Veröffentlicht: (2023)

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
von: Litterick, Mark, et al.
Veröffentlicht: (2024)

Four Formal Models of IEEE 1394 Link Layer
von: Garavel, Hubert, et al.
Veröffentlicht: (2024)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
von: Sahoo, Siva Satyendra, et al.
Veröffentlicht: (2025)

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
von: Tian, Enyuan, et al.
Veröffentlicht: (2025)

Design for Trust utilizing Rareness Reduction
von: Jayasena, Aruna, et al.
Veröffentlicht: (2023)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
von: Chattopadhyay, Anupam, et al.
Veröffentlicht: (2025)

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation
von: Mashnoor, Nowfel, et al.
Veröffentlicht: (2026)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

RISCBench: Benchmarking RISC-V Orchestration Efficiency in FPGA and FPGA-Like Computing Engines
von: Ojika, Dave, et al.
Veröffentlicht: (2025)

Differentiable Logic Synthesis: Spectral Coefficient Selection via Sinkhorn-Constrained Composition
von: Pavlov, Gorgi
Veröffentlicht: (2026)

NL2GDS: LLM-aided interface for Open Source Chip Design
von: Eland, Max, et al.
Veröffentlicht: (2026)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
von: Salvadori, Daniel Augusto Rizzi
Veröffentlicht: (2025)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
von: Chen, Shaoshi, et al.
Veröffentlicht: (2026)

Complete Reduction for Derivatives in a Primitive Tower
von: Du, Hao, et al.
Veröffentlicht: (2025)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
von: Li, Nanbing, et al.
Veröffentlicht: (2026)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
von: Li, Chao
Veröffentlicht: (2026)

Finite-Time Lyapunov Exponent Calculation on FPGA using High-Level Synthesis Tools
von: de Castro, Manuel, et al.
Veröffentlicht: (2024)

Static Communication Analysis for Hardware Design
von: Rosendahl, Mads, et al.
Veröffentlicht: (2025)

Refutability as Recursive as Provability
von: Cattabriga, Paola
Veröffentlicht: (2024)

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
von: Bowen, Jonathan P., et al.
Veröffentlicht: (2026)

Keyformer: KV Cache Reduction through Key Tokens Selection for Efficient Generative Inference
von: Adnan, Muhammad, et al.
Veröffentlicht: (2024)

Modeling Membrane Degradation in PEM Electrolyzers with Physics-Informed Neural Networks
von: Polo-Molina, Alejandro, et al.
Veröffentlicht: (2025)

AI Governance in Higher Education: A course design exploring regulatory, ethical and practical considerations
von: Weuts, Raphaël, et al.
Veröffentlicht: (2025)

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
von: Wright, Craig S
Veröffentlicht: (2025)

Recent Advances in Data-Driven Business Process Management
von: Ackermann, Lars, et al.
Veröffentlicht: (2024)

FREESS: An Educational Simulator of a RISC-V-Inspired Superscalar Processor Based on Tomasulo's Algorithm
von: Giorgi, Roberto
Veröffentlicht: (2025)

Authenticated Delegation and Authorized AI Agents
von: South, Tobin, et al.
Veröffentlicht: (2025)