Buchumschlag

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zheng, Xi, Mok, Aloysius K., Piskac, Ruzica, Lee, Yong Jae, Krishnamachari, Bhaskar, Zhu, Dakai, Sokolsky, Oleg, Lee, Insup
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Software Engineering Artificial Intelligence Distributed, Parallel, and Cluster Computing Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PISA: An Adversarial Approach To Comparing Task Graph Scheduling Algorithms
von: Coleman, Jared, et al.
Veröffentlicht: (2024)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
von: Kulik, Tomas, et al.
Veröffentlicht: (2024)

Parameterized Task Graph Scheduling Algorithm for Comparing Algorithmic Components
von: Coleman, Jared, et al.
Veröffentlicht: (2024)

TS-Verkle: A TypeScript Native Verkle Library With On-chain Verifier
von: Li, Zhikai, et al.
Veröffentlicht: (2026)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
von: Malekabbasi, Mohammadreza, et al.
Veröffentlicht: (2025)

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
von: Sandås, Petter, et al.
Veröffentlicht: (2026)

SPES: Towards Optimizing Performance-Resource Trade-Off for Serverless Functions
von: Lee, Cheryl, et al.
Veröffentlicht: (2024)

UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
von: Ebrahimi, Amir M., et al.
Veröffentlicht: (2024)

ncsim: A Lightweight Simulator for Networked Edge Computing with Wireless Interference Modeling
von: Krishnamachari, Bhaskar, et al.
Veröffentlicht: (2026)

Cost-Effective Big Data Orchestration Using Dagster: A Multi-Platform Approach
von: Picatto, Hernan, et al.
Veröffentlicht: (2024)

HPCAgentTester: A Multi-Agent LLM Approach for Enhanced HPC Unit Test Generation
von: Karanjai, Rabimba, et al.
Veröffentlicht: (2025)

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
von: Cheng, Qian, et al.
Veröffentlicht: (2025)

Computing the Saturation Throughput for Heterogeneous p-CSMA in a General Wireless Network
von: Tarzjani, Faezeh Dehghan, et al.
Veröffentlicht: (2025)

Open Challenges in the Formal Verification of Autonomous Driving
von: Burgio, Paolo, et al.
Veröffentlicht: (2024)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
von: Diehl, Patrick, et al.
Veröffentlicht: (2025)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
von: Schmid, Larissa, et al.
Veröffentlicht: (2024)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
von: Domke, Jens, et al.
Veröffentlicht: (2025)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
von: Sohana, Sarah, et al.
Veröffentlicht: (2024)

Integrating Odeint Time Stepping into OpenFPM for Distributed and GPU Accelerated Numerical Solvers
von: Singh, Abhinav, et al.
Veröffentlicht: (2023)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
von: Japke, Nils, et al.
Veröffentlicht: (2025)

Adaptable TeaStore
von: Bliudze, Simon, et al.
Veröffentlicht: (2024)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
von: Gundla, Naresh Kumar
Veröffentlicht: (2024)

Histrio: a Serverless Actor System
von: Buttiglieri, Giorgio Natale, et al.
Veröffentlicht: (2024)

Enabling mixed-precision in spectral element codes
von: Chen, Yanxiang, et al.
Veröffentlicht: (2025)

GitFarm: Git as a Service for Large-Scale Monorepos
von: Dwivedi, Preetam, et al.
Veröffentlicht: (2026)

Ocean: Fast Estimation-Based Sparse General Matrix-Matrix Multiplication on GPU
von: Li, Yifan, et al.
Veröffentlicht: (2026)

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
von: Tymoshenko, Ivan, et al.
Veröffentlicht: (2026)

High-Performance Star-M SVD for Big Data Compression
von: Hussain, Md Taufique, et al.
Veröffentlicht: (2026)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
von: Azaz, Talha, et al.
Veröffentlicht: (2026)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
von: Ndadji, Brice Arléon Zemtsop, et al.
Veröffentlicht: (2025)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
von: Yu, Guangba, et al.
Veröffentlicht: (2026)

Carbon-aware Software Services
von: Forti, Stefano, et al.
Veröffentlicht: (2024)

CARISMA: CAR-Integrated Service Mesh Architecture
von: Klein, Kevin, et al.
Veröffentlicht: (2024)

Do Large Language Models Understand Performance Optimization?
von: Cui, Bowen, et al.
Veröffentlicht: (2025)

A shared compilation stack for distributed-memory parallelism in stencil DSLs
von: Bisbas, George, et al.
Veröffentlicht: (2024)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
von: Cardosi, Paul, et al.
Veröffentlicht: (2023)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
von: Wu, Xiaofeng, et al.
Veröffentlicht: (2024)

Container-level Energy Observability in Kubernetes Clusters
von: Pijnacker, Bjorn, et al.
Veröffentlicht: (2025)

FlowUnits: Extending Dataflow for the Edge-to-Cloud Computing Continuum
von: Chini, Fabio, et al.
Veröffentlicht: (2025)

Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
von: Sanabria, Mateo, et al.
Veröffentlicht: (2024)