Image de couverture de livre

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Canesche, Michael, Verma, Gaurav, Pereira, Fernando Magno Quintao
Format:	Preprint
Publié:	2024
Sujets:	Machine Learning Programming Languages 68N20 D.3.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
par: Guimarães, Maria Fernanda Oliveira, et autres
Publié: (2026)

Idempotent Slices with Applications to Code-Size Reduction
par: de Azevedo, Rafael Alvarenga, et autres
Publié: (2026)

Optimal Software Pipelining using an SMT-Solver
par: Roorda, Jan-Willem
Publié: (2026)

Erlang Binary and Source Code Obfuscation
par: Morse, Gregory, et autres
Publié: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
par: Vieira, João Victor Amorim, et autres
Publié: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
par: Niketan, Nripesh, et autres
Publié: (2025)

High-Performance Generation of Constrained Inputs
par: Crump, Addison, et autres
Publié: (2025)

Approximate Synchronization of Memristive Hopfield Neural Networks
par: You, Yuncheng
Publié: (2025)

Multi-Language Benchmark Generation via L-Systems
par: da Silva, Vinícius Francisco, et autres
Publié: (2025)

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

A Unified Framework for Quantitative Cache Analysis
par: Kahlen, Sophie, et autres
Publié: (2025)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
par: Morse, Gregory, et autres
Publié: (2026)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
par: Sumitani, Rafael, et autres
Publié: (2024)

Emulation-Completeness of Programming Languages
par: Morse, Gregory, et autres
Publié: (2026)

Fat API bindings of C++ objects into scripting languages
par: Standish, Russell K.
Publié: (2024)

Global dynamics and bifurcation analysis of a chemostat model with obligate mutualism and mortality
par: Mtar, Tahani, et autres
Publié: (2026)

Analysis of anaerobic digestion model with two serial interconnected chemostats
par: Hmidhi, Thamer, et autres
Publié: (2024)

Mathematical Modeling in the Textile Industry
par: Yordzhev, Krasimir, et autres
Publié: (2026)

On the computational complexity of Data Flow Analysis
par: Sood, Gaurav, et autres
Publié: (2013)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
par: Xu, Zhihao, et autres
Publié: (2025)

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios
par: Zeng, Zhengran, et autres
Publié: (2024)

The Basic Reproduction Number for Petri Net Models: A Next-Generation Matrix Approach
par: Reckell, Trevor, et autres
Publié: (2025)

An innovative data collection method to eliminate the preprocessing phase in web usage mining
par: Canay, Ozkan, et autres
Publié: (2025)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
par: Qin, Qiaolin, et autres
Publié: (2024)

A Virtual Processor brings back the Free Lunch
par: Kutschbach, Haymo
Publié: (2026)

BEC: Bit-Level Static Analysis for Reliability against Soft Errors
par: Ko, Yousun, et autres
Publié: (2024)

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

Explainable Enrichment-Driven GrAph Reasoner (EDGAR) for Large Knowledge Graphs with Applications in Drug Repurposing
par: Olasunkanmi, Olawumi, et autres
Publié: (2024)

Prompting is not Enough: Exploring Knowledge Integration and Controllable Generation
par: Shen, Tingjia, et autres
Publié: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
par: Souza, Renan, et autres
Publié: (2025)

Compilation of Generalized Matrix Chains with Symbolic Sizes
par: López, Francisco, et autres
Publié: (2025)

Analysis and operating diagram of an interspecific density-dependent model
par: Mtar, Tahani, et autres
Publié: (2024)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
par: Huisman, Marieke, et autres
Publié: (2020)

Global Dynamics and Synchronization of Hodgkin-Huxley-Wilson Neural Networks
par: You, Yuncheng
Publié: (2026)

Optimal matching for sharing and linearity analysis
par: Amato, Gianluca, et autres
Publié: (2024)

Adjoint of Least Squares Shadowing: Existence, Uniqueness and Coarse Domain Discretization
par: Thakur, Pranshul, et autres
Publié: (2025)

A Low-complexity Structured Neural Network to Realize States of Dynamical Systems
par: Aluvihare, Hansaka, et autres
Publié: (2025)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
par: Helbling, Caleb, et autres
Publié: (2026)

A Social Dynamical System for Twitter Analysis
par: Xiao, Zhiping, et autres
Publié: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
par: Erhard, Julian, et autres
Publié: (2024)