arXiv (All)
open access
Batch Before You Time: Decision-Scoped Proxy Execution for Timing-Aware Logic Rewriting
Standard Delay Format (SDF)-annotated switching simulation distinguishes delay-dependent activity among functionally equivalent rewrites, but evaluating every candidate repeats timing, compilation, and replay. A zero-delay proxy can remove timed evaluations, but generating that proxy candidate by ca
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Batch Before You Time: Decision-Scoped Proxy Execution for Timing-Aware Logic Rewriting#920119
- Transforming derivational complexity of term rewriting to runtime complexity#444556
- LEO-Aware DRL Meta-Scheduler for 5G Non-Terrestrial Network Slicing#423895
- Delay-Aware Large-Small Model Collaboration over LEO Satellite Networks#168284
- LLM Serving Optimization with Variable Prefill and Decode Lengths#1141433
Record · ID 924350
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive