論文の概要: An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models

• arxiv url: http://arxiv.org/abs/2501.02829v1
• Date: Mon, 06 Jan 2025 08:02:28 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-07 17:08:32.677164
• Title: An Infrastructure Software Perspective Toward Computation Offloading between Executable Specifications and Foundation Models
• Title（参考訳）: 実行可能仕様と基礎モデル間の計算負荷化に向けたインフラストラクチャソフトウェア
• Authors: Dezhi Ran, Mengzhou Wu, Yuan Cao, Assaf Marron, David Harel, Tao Xie,
• Abstract要約: ファンデーションモデル(FM)は、パターン認識や非構造化データ処理といった計算処理に優れ、現代のソフトウェアシステムにおいて不可欠なコンポーネントとなっている。 それらの能力は、記号プログラムのような実行可能な仕様の精度、検証可能性、決定論的性質によって補完される。 本稿では,それぞれの強みに基づいて,FMと実行可能な仕様との間で,計算タスクを戦略的に分散するフレームワークを提案する。
• 参考スコア（独自算出の注目度）: 11.035290353039079
• License:
• Abstract: Foundation Models (FMs) have become essential components in modern software systems, excelling in tasks such as pattern recognition and unstructured data processing. However, their capabilities are complemented by the precision, verifiability, and deterministic nature of executable specifications, such as symbolic programs. This paper explores a new perspective on computation offloading, proposing a framework that strategically distributes computational tasks between FMs and executable specifications based on their respective strengths. We discuss the potential design of an infrastructure software framework to enable this offloading, focusing on key mechanisms such as task decomposition, resource allocation, and adaptive optimization. Furthermore, we identify critical technical challenges, including semantic-gap resolution, reliability, and scalability, that must be addressed to realize this approach. By leveraging the complementary strengths of FMs and symbolic programs, this perspective lays the groundwork for advancing hybrid software systems that are both efficient and reliable.
• Abstract（参考訳）: ファンデーションモデル(FM)は、パターン認識や非構造化データ処理といったタスクに優れ、現代のソフトウェアシステムにおいて不可欠なコンポーネントとなっている。 しかし、それらの能力はシンボリックプログラムのような実行可能な仕様の精度、妥当性、決定論的性質によって補完される。 本稿では,計算タスクをFMと実行可能仕様間で戦略的に分散するフレームワークを提案する。 本稿では、このオフロードを可能にするインフラストラクチャソフトウェアフレームワークの設計の可能性について論じ、タスクの分解、リソース割り当て、適応最適化といった重要なメカニズムに焦点を当てる。 さらに,本手法を実現するためには,セマンティックギャップの解決,信頼性,スケーラビリティといった重要な技術的課題に対処する必要がある。 FMとシンボリックプログラムの相補的な強みを活用することで、この視点は、効率的かつ信頼性の高いハイブリッドソフトウェアシステムの開発の基盤となる。

関連論文リスト

• Ten Challenging Problems in Federated Foundation Models [55.343738234307544]
  フェデレーション・ファンデーション・モデル(Federated Foundation Models、FedFM)は、フェデレーション・モデルの一般的な能力とフェデレーション・ラーニングのプライバシー保護能力を融合させる分散学習パラダイムである。 本稿では,FedFMに固有の10の課題について,基礎理論,プライベートデータの利用,継続学習,非学習,非IIDおよびグラフデータ,双方向知識伝達,インセンティブ機構設計,ゲーム機構設計,モデル透かし,効率を包括的に要約する。
  論文  参考訳（メタデータ） (2025-02-14T04:01:15Z)
• Take What You Need: Flexible Multi-Task Semantic Communications with Channel Adaptation [51.53221300103261]
  本稿では,マスク付きオートエンコーダアーキテクチャに基づく,チャネル適応型・マルチタスク対応のセマンティックコミュニケーションフレームワークについて紹介する。 チャネル認識抽出器を用いて、リアルタイムのチャネル条件に応じて、関連情報を動的に選択する。 画像再構成や物体検出などのタスクにおける従来の手法と比較して,本手法の優れた性能を示す実験結果が得られた。
  論文  参考訳（メタデータ） (2025-02-12T09:01:25Z)
• Toward Neurosymbolic Program Comprehension [46.874490406174644]
  我々は,既存のDL技術の強みと従来の象徴的手法を組み合わせたニューロシンボリック研究の方向性を提唱する。 第1回ニューロシンボリック・プログラム・フレームワークの確立をめざして,提案するアプローチの予備的結果を示す。
  論文  参考訳（メタデータ） (2025-02-03T20:38:58Z)
• Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software [0.0]
  大規模言語モデル(LLM)対応システムは、ソフトウェア工学において重要な課題である。 本稿では,これらのシステムを体系的に解析し,改善するための確率的枠組みを提案する。 本稿では,自然言語文書を形式的プログラム仕様に変換する自動形式化問題に適用する。
  論文  参考訳（メタデータ） (2025-01-10T22:42:06Z)
• A Survey on Inference Optimization Techniques for Mixture of Experts Models [50.40325411764262]
  大規模Mixture of Experts(MoE)モデルは、条件計算によるモデル容量と計算効率の向上を提供する。 これらのモデル上で推論をデプロイし実行することは、計算資源、レイテンシ、エネルギー効率において大きな課題を示す。 本調査では,システムスタック全体にわたるMoEモデルの最適化手法について分析する。
  論文  参考訳（メタデータ） (2024-12-18T14:11:15Z)
• Towards Quantifying Requirements Technical Debt for Software Requirements concerning Veracity: A Perspective and Research Roadmap [3.763215468259125]
  我々はRTDのレンズを精度に関するソフトウェア要件に適用するための視点とビジョンを提示する。 我々のゴールは、重要な関心事としての妥当性の認識を育成し、最終的に、正確性に関するソフトウェア要件に対するRTDの管理を支援することである。
  論文  参考訳（メタデータ） (2024-06-29T10:10:03Z)
• Fault-tolerant resource estimation using graph-state compilation on a modular superconducting architecture [30.01663013636363]
  フォールトトレラント量子コンピュータ(FTQC)の開発は、量子コンピューティングコミュニティ内で注目を集めている。 本稿では、特定の量子アルゴリズムの実行に必要な物理リソースを推定するリソース推定フレームワークとソフトウェアツールを提案する。 このツールは、ユーティリティスケールに近づくと、これらのアルゴリズムのサイズ、消費電力、実行時間を予測できる。
  論文  参考訳（メタデータ） (2024-06-10T04:30:48Z)
• Stability prediction of the software requirements specification [0.0]
  本研究は,要求仕様書を改訂する必要があるかどうかを予測するベイズネットワーク要件を提示する。 大規模な複雑なソフトウェアプロジェクトから得られたメトリクスを用いて、Requisitesの検証方法を示す。
  論文  参考訳（メタデータ） (2024-01-23T10:40:29Z)
• Requirements Analysis of Variability Constraints in a Configurable Flight Software System [0.0]
  複数の宇宙ミッションで使用される飛行ソフトウェアフレームワークの変動性に関する要件制約について報告する。 本研究では,フライトソフトウェアフレームワークにおいて,製品ライン機能モデルに似た新しいソフトウェア変数モデルを提案する。
  論文  参考訳（メタデータ） (2023-09-06T22:56:39Z)
• Counterfactual Explanations as Interventions in Latent Space [62.997667081978825]
  反現実的な説明は、望ましい結果を達成するために変更が必要な機能のセットをエンドユーザに提供することを目的としています。 現在のアプローチでは、提案された説明を達成するために必要な行動の実現可能性を考慮することはめったにない。 本稿では,非現実的説明を生成する手法として,潜時空間における干渉としての対実的説明(CEILS)を提案する。
  論文  参考訳（メタデータ） (2021-06-14T20:48:48Z)
• Edge-assisted Democratized Learning Towards Federated Analytics [67.44078999945722]
  本稿では,エッジ支援型民主化学習機構であるEdge-DemLearnの階層的学習構造を示す。 また、Edge-DemLearnを柔軟なモデルトレーニングメカニズムとして検証し、リージョンに分散制御と集約の方法論を構築する。
  論文  参考訳（メタデータ） (2020-12-01T11:46:03Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。