:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Mirrlees-Black, Alexandra
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Online Access:	https://doi.org/10.5281/zenodo.17429520
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Real-Time Execution of Action Chunking Flow Policies
by: Black, Kevin, et al.
Published: (2025)

Self-Programmed Execution for Language-Model Agents
by: O'Connor, Luke J.
Published: (2026)

"Lasers in the Jungle" Programming Tips, Techniques and Ideas for Young Adults.
by: Black, Nancy
Published: (1992)

SGLang: Efficient Execution of Structured Language Model Programs
by: Zheng, Lianmin, et al.
Published: (2023)

May the Source Be with You!
by: Griffith, Cary
Published: (1987)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

Connecting Best Practices: An Examination of Public School Principals' Knowledge and Perceptions of Their School Library Media Programs
by: Blakeney, Allison Black
Published: (2014)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

Program: (Scientific Program as of May 5, 2009)
by:
Published: (2010)

GenerationPrograms: Fine-grained Attribution with Executable Programs
by: Wan, David, et al.
Published: (2025)

SID 2025 Executive and Program Committee
Published: (2025)

SID 2025 Executive and Program Committee
Published: (2025)

SID 2025 Executive and Program Committee
Published: (2025)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

SID 2024 Executive and Program Committee
Published: (2024)

SID 2024 Executive and Program Committee
Published: (2024)

Xiaomi-Robotics-0: An Open-Sourced Vision-Language-Action Model with Real-Time Execution
by: Cai, Rui, et al.
Published: (2026)

Trade Execution Flow as the Underlying Source of Market Dynamics
by: Belov, Mikhail Gennadievich, et al.
Published: (2025)

ONDA: A High-Level Quantum Programming Language with Sequential Execution and Conditional Branching
by: De Gregorio, Francesco Junior
Published: (2024)

Monte Carlo Tree Search for Execution-Guided Program Repair with Large Language Models
by: Liang, Yixuan
Published: (2026)

Paper V: The Execution Mechanism — How the Unique Executable Program Unfolds on the FCC Lattice
by: Kapitanov, Fedor
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Life at the Boundary of Chemical Kinetics and Program Execution
by: Fischbacher, Thomas
Published: (2025)

The Influence of Incentive Programs on Executives’ Risk Perception
by: Edson Lopes Cedraz Filho
Published: (2020)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

Perception and Use of Information Sources by Chief Executives in Environmental Scanning.
by: Choo, Chun Wei
Published: (1994)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
by: Li, Zhening, et al.
Published: (2025)

Integrating Technology in Program Development for Children and Youth with Emotional or Behavioral Disorders. Fourth CCBD Mini-Library Series: Addressing the Diverse Needs of Children and Youth with Emotional/Behavioral Disorders--Programs That Work.
by: Wilder, Lynn K., Ed., et al.
Published: (2002)

On LLM-generated Logic Programs and their Inference Execution Methods
by: Tarau, Paul
Published: (2025)

The Path Not Taken: Duality in Reasoning about Program Execution
by: Hasanov, Eshgin, et al.
Published: (2026)

Anteater: Interactive Visualization of Program Execution Values in Context
by: Faust, Rebecca, et al.
Published: (2019)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
by: Shinde, Swapnil, et al.
Published: (2026)

VDebugger: Harnessing Execution Feedback for Debugging Visual Programs
by: Wu, Xueqing, et al.
Published: (2024)

VDCores: Resource Decoupled Programming and Execution for Asynchronous GPU
by: He, Zijian, et al.
Published: (2026)

AWOL: Analysis WithOut synthesis using Language
by: Zuffi, Silvia, et al.
Published: (2024)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
by: Sun, Simeng, et al.
Published: (2025)

The Federal Executive Departments as Sources of Information for Libraries. Bulletin, 1919, No. 74
by: Guerrier, Edith, Comp.
Published: (1919)

Generative Monoculture in Large Language Models
by: Wu, Fan, et al.
Published: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)