論文の概要: A non-sequential hierarchy of message-passing models
- arxiv url: http://arxiv.org/abs/2210.13062v1
- Date: Mon, 24 Oct 2022 09:31:25 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-25 18:48:49.218043
- Title: A non-sequential hierarchy of message-passing models
- Title（参考訳）: メッセージパッシングモデルの非逐次階層
- Authors: Cinzia Di Giusto (C&A), Davide Ferr\'e, Laetitia Laversa, Etienne
Lozes
- Abstract要約: 本稿では,大規模モデルと局所モデルの両方を含む通信モデルの統一階層について述べる。
私たちが考慮しているすべての通信モデルは、モナディック二階述語論理において公理化することができる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: There is a wide variety of message-passing communication models, ranging from
synchronous ''rendez-vous'' communications to fully asynchronous/out-of-order
communications. For large-scale distributed systems, the communication model is
determined by the transport layer of the network, and a few classes of orders
of message delivery (FIFO, causally ordered) have been identified in the early
days of distributed computing. For local-scale message-passing applications,
e.g., running on a single machine, the communication model may be determined by
the actual implementation of message buffers and by how FIFO queues are used.
While large-scale communication models, such as causal ordering, are defined by
logical axioms, local-scale models are often defined by an operational
semantics. In this work, we connect these two approaches, and we present a
unified hierarchy of communication models encompassing both large-scale and
local-scale models, based on their non-sequential behaviors. We also show that
all the communication models we consider can be axiomatised in the monadic
second order logic, and may therefore benefit from several bounded verification
techniques based on bounded special treewidth. CCS Concepts: $\bullet$ Theory
of computation $\rightarrow$ Verification by model checking; Modal and temporal
logics; Distributed computing models.
- Abstract（参考訳）: 同期''レンデブー'通信から完全な非同期/アウトオブオーダ通信まで、さまざまなメッセージパッシング通信モデルが存在する。
大規模分散システムの場合、通信モデルはネットワークのトランスポート層によって決定され、分散コンピューティングの初期においてメッセージ配信の順序(FIFO、因果順序)がいくつか特定されている。
単一のマシンで動作するようなローカルスケールのメッセージパッシングアプリケーションの場合、通信モデルは実際のメッセージバッファの実装とFIFOキューの使用方法によって決定される。
因果順序付けのような大規模通信モデルは論理公理によって定義されるが、局所的モデルはしばしば操作的意味論によって定義される。
本研究では,これらの2つの手法を結合し,その非順序的挙動に基づいて,大規模モデルと局所モデルの両方を含む通信モデルの統一階層を示す。
また,モナディック二階述語論理では,すべての通信モデルを公理化することができ,従って有界木幅に基づく有界検証手法の恩恵を受けることができることを示す。
ccs の概念: $\bullet$ 計算理論 $\rightarrow$ モデルチェックによる検証; モード論理および時間論理; 分散コンピューティングモデル。
関連論文リスト
- Towards Auto-Modeling of Formal Verification for NextG Protocols: A
Multimodal cross- and self-attention Large Language Model Approach [3.9155346446573502]
本稿では,5GおよびNextGプロトコル(AVRE)のための実世界プロンプトを用いた形式検証の自動モデリングを提案する。
AVREは次世代通信プロトコル(NextG)の正式な検証のために設計された新しいシステムである。
論文 参考訳（メタデータ） (2023-12-28T20:41:24Z) - Dior-CVAE: Pre-trained Language Models and Diffusion Priors for
Variational Dialog Generation [70.2283756542824]
Dior-CVAEは階層型条件変分オートエンコーダ(CVAE)である。
拡散モデルを用いて、従来の分布の複雑さを増大させ、PLMが生成した分布との整合性を高める。
2つのオープンドメインダイアログデータセットを対象とした実験により,大規模ダイアログ事前学習を必要とせずに,より多様な応答を生成できることが判明した。
論文 参考訳（メタデータ） (2023-05-24T11:06:52Z) - On Optimizing the Communication of Model Parallelism [74.15423270435949]
大規模モデル並列ディープラーニング(DL)における新しい重要なコミュニケーションパターンについて検討する。
クロスメッシュリシャーディングでは、シャードテンソルをソースデバイスメッシュから宛先デバイスメッシュに送信する必要がある。
本稿では、効率的な放送ベースの通信システムと「重複しやすい」パイプラインスケジュールという、クロスメシュ・リシャーディングに対処するための2つのコントリビューションを提案する。
論文 参考訳（メタデータ） (2022-11-10T03:56:48Z) - Training and Inference on Any-Order Autoregressive Models the Right Way [97.39464776373902]
Any-Order Autoregressive Models (AO-ARMs) のファミリは、任意の条件付きタスクにおいてブレークスルーのパフォーマンスを示している。
我々は、AO-ARMの以前の定式化に対して行うべき重要な改善について確認する。
本手法はトラクタビリティを損なうことなく性能を向上する。
論文 参考訳（メタデータ） (2022-05-26T18:00:02Z) - Semantic Information Recovery in Wireless Networks [8.508198765617195]
MLに基づく意味コミュニケーションシステムであるSINFONYを提案する。
SINFONYは、複数のメッセージの背後にある意味を単一の受信機に伝達し、セマンティックリカバリを行う。
数値計算の結果,従来の通信システムと比較して,最大20dBの速度正規化SNRシフトが見られた。
論文 参考訳（メタデータ） (2022-04-28T09:17:50Z) - TMS: A Temporal Multi-scale Backbone Design for Speaker Embedding [60.292702363839716]
話者埋め込みのための現在のSOTAバックボーンネットワークは、話者表現のためのマルチブランチネットワークアーキテクチャを用いた発話からマルチスケール特徴を集約するように設計されている。
本稿では, 話者埋め込みネットワークにおいて, 計算コストの増大を伴わずに, マルチスケール分岐を効率的に設計できる効果的な時間的マルチスケール(TMS)モデルを提案する。
論文 参考訳（メタデータ） (2022-03-17T05:49:35Z) - A Decentralized Communication Framework based on Dual-Level Recurrence
for Multi-Agent Reinforcement Learning [5.220940151628735]
マルチエージェントシステムのためのデュアルレベルリカレント通信フレームワークを提案する。
第1の再発は通信シーケンスで発生し、エージェント間の通信データを送信するために使用される。
第2の再発は、時系列に基づいて、各エージェントの履歴観測を組み合わせる。
論文 参考訳（メタデータ） (2022-02-22T01:36:59Z) - Low-Rank Constraints for Fast Inference in Structured Models [110.38427965904266]
この研究は、大規模構造化モデルの計算とメモリの複雑さを低減するための単純なアプローチを示す。
言語モデリング,ポリフォニック・ミュージック・モデリング,教師なし文法帰納法,ビデオ・モデリングのためのニューラルパラメータ構造モデルを用いた実験により,我々の手法は大規模状態空間における標準モデルの精度と一致することを示した。
論文 参考訳（メタデータ） (2022-01-08T00:47:50Z) - Predicting Influential Higher-Order Patterns in Temporal Network Data [2.5782420501870287]
最大距離までの全経路を考慮に入れながら,より高い距離での経路を無視する多階生成モデルMOGenに基づく8つの集中度尺度を提案する。
我々はMOGenがネットワークモデルとパスベースの予測の両方を一貫して上回ることを示す。
論文 参考訳（メタデータ） (2021-07-26T10:44:46Z) - Unsupervised Paraphrasing with Pretrained Language Models [85.03373221588707]
教師なし環境で,事前学習した言語モデルを用いて高品質なパラフレーズを生成する訓練パイプラインを提案する。
提案手法は,タスク適応,自己スーパービジョン,動的ブロッキング(Dynamic Blocking)という新しい復号アルゴリズムから構成される。
提案手法は,Quora Question PairとParaNMTの両方のデータセット上で,最先端の性能を達成できることを示す。
論文 参考訳（メタデータ） (2020-10-24T11:55:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。