Cover Image

Timetide to Esterel Source-to-Source Compiler

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	University of Auckland
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Coq-verified Chain of Esterel Semantics
by: Berry, Gérard, et al.
Published: (2019)

Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)

Book Ordering and Processing System Study.
by: Pritchard, Alan, et al.
Published: (1973)

Library Effectiveness 1974.
by: Pritchard, A., et al.
Published: (1974)

OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation
by: Kadosh, Tal, et al.
Published: (2024)

Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)

Inside VOLT: Designing an Open-Source GPU Compiler
by: Jeong, Shinnung, et al.
Published: (2025)

NPUEval: Optimizing NPU Kernels with LLMs and Open Source Compilers
by: Kalade, Sarunas, et al.
Published: (2025)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

From PyTorch to Calyx: An Open-Source Compiler Toolchain for ML Accelerators
by: Xie, Jiahan, et al.
Published: (2025)

PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
by: Fu, Han, et al.
Published: (2026)

OpenACM: An Open-Source SRAM-Based Approximate CiM Compiler
by: Zhou, Yiqi, et al.
Published: (2026)

Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
by: Anonymous
Published: (2026)

Sources: A Compilation of Useful Information for Teachers & Teacher-Librarians. Canadian Edition.
Published: (2002)

BuildBench: Benchmarking LLM Agents on Compiling Real-World Open-Source Software
by: Zhang, Zehua, et al.
Published: (2025)

OpenGCRAM: An Open-Source Gain Cell Compiler Enabling Design-Space Exploration for AI Workloads
by: Wang, Xinxin, et al.
Published: (2025)

Source code for: Per-channel autoregressive linear prediction padding in tiled CNN processing of 2D spatial data, hamk-uas/linear-prediction-padding-paper: v1
by: Rosenberg, Otto, et al.
Published: (2025)

Sources of Underproduction in Open Source Software
by: Champion, Kaylea, et al.
Published: (2024)

Sources
Published: (2025)

The Community's Role in Rural Youth Suicide Prevention: Perspectives From the Field
by: Laura Grattidge, et al.
Published: (2025)

Source-to-Source Transformations for GPU Code Generation
by: de Castelnau, Julien, et al.
Published: (2026)

SourceSplice: Source Selection for Machine Learning Tasks
by: Singh, Ambarish, et al.
Published: (2025)

Dispersion of Gaussian Sources with Memory and an Extension to Abstract Sources
by: Tasci, Eyyup, et al.
Published: (2026)

Same Question, Different Source, Different Answer: Auditing Source-Dependence in Medical Multi-Source RAG
by: Li, Yubo, et al.
Published: (2026)

Source data
by: Saha, Chayan Kumar
Published: (2025)

The Sources of Innovation
by: von Hippel, Eric
Published: (2021)

Sources and Resources.
Published: (1983)

Source Matters
by: Henry, Robin
Published: (2010)

Censoring the Sources.
by: Cohen, Barbara
Published: (1986)

The Sole Source.
Published: (1994)

Selection Sources.
by: Kerby, Ramona
Published: (2002)

On the Nonasymptotic Bounds of Joint Source-Channel Coding with Hierarchical Sources
by: Shao, Shuo, et al.
Published: (2026)

Determined Multichannel Blind Source Separation with Clustered Source Model
by: Wang, Jianyu, et al.
Published: (2024)

EphemerisSources.jl: Idiomatic Ephemeris Sourcing and Parsing in Julia
by: Carpinelli, Joseph D.
Published: (2024)

SourceP: Detecting Ponzi Schemes on Ethereum with Source Code
by: Lu, Pengcheng, et al.
Published: (2023)

Comorbidity patterns and the risk of injurious falls in older people with atrial fibrillation: Findings from a Swedish nation-wide population-based study
by: Trevisan, Caterina, et al.
Published: (2024)

NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND DATA SCIENCE TECHNOLOGIES (NCRPAIDST 2K26)
by: Anna University, Chennai, et al.
Published: (2026)

Open Sourcing GPTs: Economics of Open Sourcing Advanced AI Models
by: Habibi, Mahyar
Published: (2025)

Smell of Source: Learning-Based Odor Source Localization with Molecular Communication
by: Okcu, Ayse Sila, et al.
Published: (2025)

Source-Free Domain Adaptation with Diffusion-Guided Source Data Generation
by: Chopra, Shivang, et al.
Published: (2024)