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

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases

投稿日: 2024年7月19日 作成者: jarxiv

要約 保証ケースの構築は、セーフティ クリティカルなシステムが計画された環境で安 … 続きを読む →

カテゴリー: cs.AI, cs.SE | CoDefeater: Using LLMs To Find Defeaters in Assurance Cases はコメントを受け付けていません

Scaling Granite Code Models to 128K Context

投稿日: 2024年7月19日 作成者: jarxiv

要約 このペーパーでは、最大 128K トークンの効果的なコンテキスト ウィンド … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.SE | Scaling Granite Code Models to 128K Context はコメントを受け付けていません

Qiskit-Torch-Module: Fast Prototyping of Quantum Neural Networks

投稿日: 2024年7月18日 作成者: jarxiv

要約 量子コンピューター シミュレーション ソフトウェアは、量子コンピューター … 続きを読む →

カテゴリー: cs.LG, cs.SE, quant-ph | Qiskit-Torch-Module: Fast Prototyping of Quantum Neural Networks はコメントを受け付けていません

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum

投稿日: 2024年7月18日 作成者: jarxiv

要約 クラウド エッジ コンピューティングでは、アプリケーションがさまざまなイン … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, cs.SE | Continuous reasoning for adaptive container image distribution in the cloud-edge continuum はコメントを受け付けていません

A Reference Architecture for Designing Foundation Model based Systems

投稿日: 2024年7月17日 作成者: jarxiv

要約 ChatGPT、Gemini、その他の大規模な言語モデルのリリースにより、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.SE | A Reference Architecture for Designing Foundation Model based Systems はコメントを受け付けていません

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation

投稿日: 2024年7月16日 作成者: jarxiv

要約 脆弱性の検出は、ソフトウェア システムのセキュリティと信頼性を確保するため … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.SE | Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation はコメントを受け付けていません

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems

投稿日: 2024年7月15日 作成者: jarxiv

要約 ディープ ニューラル ネットワーク (DNN) とセンサー テクノロジーの … 続きを読む →

カテゴリー: cs.AI, cs.RO, cs.SE | Boundary State Generation for Testing and Improvement of Autonomous Driving Systems はコメントを受け付けていません

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases

投稿日: 2024年7月15日 作成者: jarxiv

要約 デバッグは、ソフトウェア開発において最も時間と費用がかかるタスクの 1 つ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases はコメントを受け付けていません

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis

投稿日: 2024年7月15日 作成者: jarxiv

要約 リアクティブ合成は、時相論理仕様から正しいコントローラーを生成するプロセス … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis はコメントを受け付けていません

Instruction Tuning for Secure Code Generation

投稿日: 2024年7月15日 作成者: jarxiv

要約 現代言語モデル (LM) は、特にプログラミングにおいて、日常および専門的 … 続きを読む →

カテゴリー: cs.AI, cs.CR, cs.LG, cs.SE | Instruction Tuning for Secure Code Generation はコメントを受け付けていません