論文の概要: 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とシンボリックプログラムの相補的な強みを活用することで、この視点は、効率的かつ信頼性の高いハイブリッドソフトウェアシステムの開発の基盤となる。

関連論文リスト

• Software Performance Engineering for Foundation Model-Powered Software (FMware) [6.283211168007636]
  大規模言語モデル(LLM)のようなファンデーションモデル(FM)はソフトウェア開発に革命をもたらしています。 本稿では,FMウェアにおけるソフトウェア性能工学(SPE)の重要性を明らかにする。 認知アーキテクチャ設計、通信プロトコル、チューニングと最適化、デプロイメントの4つの主要な課題を特定します。
  論文  参考訳（メタデータ） (2024-11-14T16:42:19Z)
• 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)
• Natural Language Processing for Requirements Traceability [47.93107382627423]
  トレーサビリティは、特に安全クリティカルなシステムにおいて、要件とソフトウェアエンジニアリングにおいて重要な役割を果たす。 自然言語処理(NLP)とその関連技術は、過去10年間に大きく進歩してきた。
  論文  参考訳（メタデータ） (2024-05-17T15:17:00Z)
• 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)
• Understanding the Challenges of Deploying Live-Traceability Solutions [45.235173351109374]
  SAFA.aiは、ほぼリアルタイムな環境で自動トレーサビリティを提供する、プロジェクト固有モデルを微調整するスタートアップである。 本稿では,ソフトウェアトレーサビリティを商業化する上での課題について述べる。
  論文  参考訳（メタデータ） (2023-06-19T14:34:16Z)
• Counterfactual Explanations as Interventions in Latent Space [62.997667081978825]
  反現実的な説明は、望ましい結果を達成するために変更が必要な機能のセットをエンドユーザに提供することを目的としています。 現在のアプローチでは、提案された説明を達成するために必要な行動の実現可能性を考慮することはめったにない。 本稿では,非現実的説明を生成する手法として,潜時空間における干渉としての対実的説明(CEILS)を提案する。
  論文  参考訳（メタデータ） (2021-06-14T20:48:48Z)
• Offline Model-Based Optimization via Normalized Maximum Likelihood Estimation [101.22379613810881]
  データ駆動最適化の問題を検討し、一定の点セットでクエリのみを与えられた関数を最大化する必要がある。 この問題は、関数評価が複雑で高価なプロセスである多くの領域に現れる。 我々は,提案手法を高容量ニューラルネットワークモデルに拡張可能なトラクタブル近似を提案する。
  論文  参考訳（メタデータ） (2021-02-16T06:04:27Z)
• Reconfigurable Intelligent Surface Assisted Mobile Edge Computing with Heterogeneous Learning Tasks [53.1636151439562]
  モバイルエッジコンピューティング(MEC)は、AIアプリケーションに自然なプラットフォームを提供します。 再構成可能なインテリジェントサーフェス(RIS)の助けを借りて、MECで機械学習タスクを実行するインフラストラクチャを提示します。 具体的には,モバイルユーザの送信パワー,基地局のビームフォーミングベクトル,risの位相シフト行列を共同で最適化することにより,参加ユーザの学習誤差を最小化する。
  論文  参考訳（メタデータ） (2020-12-25T07:08:50Z)
• Edge-assisted Democratized Learning Towards Federated Analytics [67.44078999945722]
  本稿では,エッジ支援型民主化学習機構であるEdge-DemLearnの階層的学習構造を示す。 また、Edge-DemLearnを柔軟なモデルトレーニングメカニズムとして検証し、リージョンに分散制御と集約の方法論を構築する。
  論文  参考訳（メタデータ） (2020-12-01T11:46:03Z)

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

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