Imagen de Portada

Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Garcia, Paulo
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Robotics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
por: Lin, Yuanfei, et al.
Publicado: (2024)

Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations
por: Xin, Jimmy, et al.
Publicado: (2023)

Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
por: Lin, Yu-An, et al.
Publicado: (2023)

KiloBot: A Programming Language for Deploying Perception-Guided Industrial Manipulators at Scale
por: Gao, Wei, et al.
Publicado: (2024)

An LLM-powered Natural-to-Robotic Language Translation Framework with Correctness Guarantees
por: Chen, ZhenDong, et al.
Publicado: (2025)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
por: Gamage, Thoshitha, et al.
Publicado: (2026)

SYNAPSE: SYmbolic Neural-Aided Preference Synthesis Engine
por: Modak, Sadanand, et al.
Publicado: (2024)

Optimizing High-Level Synthesis Designs with Retrieval-Augmented Large Language Models
por: Xu, Haocheng, et al.
Publicado: (2024)

Wavefront Threading Enables Effective High-Level Synthesis
por: Pelton, Blake, et al.
Publicado: (2024)

RustSFQ: A Domain-Specific Language for SFQ Circuit Design
por: Oishi, Mebuki, et al.
Publicado: (2025)

A Behavior Tree-inspired programming language for autonomous agents
por: Biggar, Oliver, et al.
Publicado: (2024)

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
por: Audrito, Giorgio, et al.
Publicado: (2026)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
por: Khan, M Zafir Sadik, et al.
Publicado: (2025)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
por: Tanaka, Izumi, et al.
Publicado: (2026)

Equality Saturation for Optimizing High-Level Julia IR
por: Merckx, Jules, et al.
Publicado: (2025)

Optimizing Quantum Circuits, Fast and Slow
por: Xu, Amanda, et al.
Publicado: (2024)

FASIONAD++ : Integrating High-Level Instruction and Information Bottleneck in FAt-Slow fusION Systems for Enhanced Safety in Autonomous Driving with Adaptive Feedback
por: Qian, Kangan, et al.
Publicado: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
por: Young, David, et al.
Publicado: (2024)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
por: Lin, Xuan, et al.
Publicado: (2024)

PerfCodeBench: Benchmarking LLMs for System-Level High-Performance Code Optimization
por: Jing, Huihao, et al.
Publicado: (2026)

Local Optimization of Quantum Circuits (Extended Version)
por: Arora, Jatin, et al.
Publicado: (2025)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
por: Takayama, Yoshinari, et al.
Publicado: (2023)

Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications
por: Graebener, Josefine B., et al.
Publicado: (2024)

Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous Silicon
por: Veit, Cooper
Publicado: (2026)

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
por: Voichick, Finn, et al.
Publicado: (2023)

Agentic Separation Logic Specification Synthesis
por: Suresh, Tarun, et al.
Publicado: (2026)

PhasePoly: An Optimization Framework forPhase Polynomials in Quantum Circuits
por: Chen, Zihan, et al.
Publicado: (2025)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
por: Hummelgren, Lars, et al.
Publicado: (2022)

Synthesizing Specifications
por: Park, Kanghee, et al.
Publicado: (2023)

SmallPlan: Leverage Small Language Models for Sequential Path Planning with Simulation-Powered, LLM-Guided Distillation
por: Pham, Quang P. M., et al.
Publicado: (2025)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
por: Yu, Pian, et al.
Publicado: (2025)

Towards No-Code Programming of Cobots: Experiments with Code Synthesis by Large Code Models for Conversational Programming
por: Kranti, Chalamalasetti, et al.
Publicado: (2024)

DeepCircuitX: A Comprehensive Repository-Level Dataset for RTL Code Understanding, Generation, and PPA Analysis
por: Li, Zeju, et al.
Publicado: (2025)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
por: Xiong, Jing, et al.
Publicado: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
por: Faro, Simone, et al.
Publicado: (2025)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
por: Xiao, Youwei, et al.
Publicado: (2025)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
por: Chen, Yanbin
Publicado: (2025)

Old is Gold: Optimizing Single-threaded Applications with Exgen-Malloc
por: Li, Ruihao, et al.
Publicado: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
por: Marron, Assaf, et al.
Publicado: (2025)