「cs.SE」カテゴリーアーカイブ

Open Challenges in the Formal Verification of Autonomous Driving

投稿日: 2024年11月25日 作成者: jarxiv

要約 自動運転の分野では、非常に複雑で異種システムの開発と統合が標準的な手法です … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.RO, cs.SE | コメントする

Model Checking and Verification of Synchronisation Properties of Cobot Welding

投稿日: 2024年11月22日 作成者: jarxiv

要約 このペーパーでは、コボット アームと外部ターンテーブルで構成される工業用溶 … 続きを読む →

カテゴリー: cs.MA, cs.RO, cs.SE | コメントする

Linguacodus: A Synergistic Framework for Transformative Code Generation in Machine Learning Pipelines

投稿日: 2024年11月22日 作成者: jarxiv

要約 進化し続ける機械学習の状況において、自然言語記述を実行可能コードにシームレ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.PL, cs.SE | コメントする

Automated Generation of Code Debugging Exercises

投稿日: 2024年11月22日 作成者: jarxiv

要約 デバッグはプログラミングを学習する際に不可欠なスキルですが、その指導と重点 … 続きを読む →

カテゴリー: cs.AI, cs.SE | コメントする

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics

投稿日: 2024年11月22日 作成者: jarxiv

要約 ロボット アプリケーションの正式な検証には、そのハイブリッドな性質と分散ア … 続きを読む →

カテゴリー: cs.AI, cs.RO, cs.SE | コメントする

RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?

投稿日: 2024年11月22日 作成者: jarxiv

要約 チャットボットは、安全性が重要な考慮事項を含むさまざまなアプリケーション … 続きを読む →

カテゴリー: cs.AI, cs.HC, cs.SE | コメントする

Breaking the Cycle of Recurring Failures: Applying Generative AI to Root Cause Analysis in Legacy Banking Systems

投稿日: 2024年11月21日 作成者: jarxiv

要約 従来の銀行は、主にレガシー システムの制約と所有権の断片化により、デジタル … 続きを読む →

カテゴリー: cs.CL, cs.SE | コメントする

Neuron Patching: Semantic-based Neuron-level Language Model Repair for Code Generation

投稿日: 2024年11月21日 作成者: jarxiv

要約 言語モデル (LM) は、ソフトウェア エンジニアリング、特にコード生成な … 続きを読む →

カテゴリー: cs.CL, cs.LG, cs.SE | コメントする

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software

投稿日: 2024年11月21日 作成者: jarxiv

要約 この論文では、LLM によるコード生成を形式的検証と組み合わせて、重要な組 … 続きを読む →

カテゴリー: cs.AI, cs.SE | コメントする

Dividable Configuration Performance Learning

投稿日: 2024年11月21日 作成者: jarxiv

要約 機械/深層学習モデルは、ソフトウェア システムの構成パフォーマンスを予測す … 続きを読む →

カテゴリー: cs.AI, cs.SE | コメントする