Imagen de Portada

Idempotent Slices with Applications to Code-Size Reduction

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de Azevedo, Rafael Alvarenga, de Sa, Daniel Augusto Costa, Rocha, Rodrigo Caetano, Pereira, Fernando Magno Quintão
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages 68N15 D.3.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
por: Canesche, Michael, et al.
Publicado: (2024)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
por: Sumitani, Rafael, et al.
Publicado: (2024)

Multi-Language Benchmark Generation via L-Systems
por: da Silva, Vinícius Francisco, et al.
Publicado: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
por: Guimarães, Maria Fernanda Oliveira, et al.
Publicado: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
por: Vieira, João Victor Amorim, et al.
Publicado: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
por: Niketan, Nripesh, et al.
Publicado: (2025)

Erlang Binary and Source Code Obfuscation
por: Morse, Gregory, et al.
Publicado: (2026)

Emulation-Completeness of Programming Languages
por: Morse, Gregory, et al.
Publicado: (2026)

High-Performance Generation of Constrained Inputs
por: Crump, Addison, et al.
Publicado: (2025)

Mathematical Modeling in the Textile Industry
por: Yordzhev, Krasimir, et al.
Publicado: (2026)

Approximate Synchronization of Memristive Hopfield Neural Networks
por: You, Yuncheng
Publicado: (2025)

Quest Complete: the Holy Grail of Gradual Security
por: Chen, Tianyu, et al.
Publicado: (2023)

Optimal Software Pipelining using an SMT-Solver
por: Roorda, Jan-Willem
Publicado: (2026)

Dynamics of singularly perturbed sliding flow in Filippov systems
por: Kowalczyk, Piotr, et al.
Publicado: (2025)

Learning time-scales in two-layers neural networks
por: Berthier, Raphaël, et al.
Publicado: (2023)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
por: Potanin, Alex
Publicado: (2026)

Dispersal-induced growth or decay in a time-periodic environment. The case of reducible migration matrices
por: Benaim, Michel, et al.
Publicado: (2024)

Mathematical Models of Evolution and Replicator Systems Dynamics. Chapter 1: Introduction to Replicator Systems
por: Bratus, A. S., et al.
Publicado: (2026)

Building Whitespace-Sensitive Languages Using Whitespace-Insensitive Components
por: Hellwig, Alexander, et al.
Publicado: (2025)

Neural Networks for Singular Perturbations -- Finite Regularity
por: Rohner, F., et al.
Publicado: (2026)

Equilibrium and Competition in Evolutionary Dynamics
por: Diaz, J. Medina, et al.
Publicado: (2026)

Persistence of hyperbolic solutions of ODE's under functional perturbations: Applications to the motion of relativistic charged particles
por: Gimeno, Joan, et al.
Publicado: (2025)

A geometric analysis of the SIRS compartmental model with fast information and misinformation spreading
por: Bulai, Iulia Martina, et al.
Publicado: (2023)

The Semantics of Metapropramming in Prolog
por: Warren, David S.
Publicado: (2024)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
por: Xu, Zhihao, et al.
Publicado: (2025)

The Legacy of the Cartwright-Littlewood Collaboration
por: Guckenheimer, John
Publicado: (2025)

A model for mosquito-borne epidemic outbreaks with information-dependent protective behaviour
por: De Reggi, Simone, et al.
Publicado: (2025)

Free extensivity via distributivity
por: Nunes, Fernando Lucatelli, et al.
Publicado: (2024)

Phase Reduction of Limit Cycle Oscillators: A Tutorial Review with New Perspectives on Isochrons and an Outlook to Higher-Order Reductions
por: Gebrezabher, Zeray Hagos
Publicado: (2025)

The calculation of air filtration efficiency through the visual basic programming language
por: Kouropoulos, Giorgos
Publicado: (2014)

Understanding broad-spike oscillations in a model of intracellular calcium dynamics
por: Rahmani, Behnaz, et al.
Publicado: (2024)

Spike-Adding Mechanisms in a Three-Timescale System: Insights from the FitzHugh-Nagumo Model with Periodic Forcing
por: Melland, Pake, et al.
Publicado: (2024)

Universal Approximation of Dynamical Systems by Semi-Autonomous Neural ODEs and Applications
por: Li, Ziqian, et al.
Publicado: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
por: Zhong, Zhiyao, et al.
Publicado: (2025)

A Unified Framework for Quantitative Cache Analysis
por: Kahlen, Sophie, et al.
Publicado: (2025)

Synchronization of second-order Kuramoto model with frustration on strongly connected digraph
por: Zhu, Tingting, et al.
Publicado: (2025)

On the exponential synchronization for the asymmetric second-order Kuramoto model
por: Zhu, Tingting, et al.
Publicado: (2025)

Stability analysis of the $(1+1)$-dimensional Nambu-Goto action gas models
por: Grundland, Alfred M., et al.
Publicado: (2025)

When can a population spreading across sink habitats persist ?
por: Benaim, Michel, et al.
Publicado: (2023)

A neuron-wise subspace correction method for the finite neuron method
por: Park, Jongho, et al.
Publicado: (2022)