Fugu-MT 論文翻訳(概要): Designing Software with Complex Configurations

論文の概要: Designing Software with Complex Configurations

arxiv url: http://arxiv.org/abs/2407.13633v1
Date: Thu, 18 Jul 2024 16:06:38 GMT
ステータス: 処理完了
システム内更新日: 2024-07-19 14:41:26.069434
Title: Designing Software with Complex Configurations
Title（参考訳）: 複雑な構成でソフトウェアを設計する
Authors: Alcino Cunha,
Abstract要約: 本稿では,ソフトウェアを複雑な構成で特定・検証するために,軽量な形式的手法をいかに利用できるかについて議論する。 TLA+ と Alloy の2つの一般的な形式的手法を簡潔に提示し、この文脈で両方の長所と短所について論じる。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper I discuss how can lightweight formal methods be used to specify and verify software with complex configurations (for example, distributed protocols that work on specific network configurations). More specifically, I briefly present two popular formal methods - TLA+ and Alloy - and discuss the pros and cons of both in this particular context.
Abstract（参考訳）: 本稿では,ソフトウェアを複雑な構成(例えば,特定のネットワーク構成で動作する分散プロトコル)で特定し,検証するために,軽量な形式的メソッドをどのように利用できるかについて議論する。より具体的には、TLA+ と Alloy という2つの一般的な形式的手法を簡潔に紹介し、この文脈で両方の長所と短所について論じます。

関連論文リスト

An Agile Formal Specification Language Design Based on K Framework [11.042686307366818]
本稿では,アジャイル形式仕様言語(ASL)を紹介する。 ASLの設計にはアジャイル設計の原則が組み込まれており、形式仕様の記述をシンプルに、より効率的に、スケーラブルにする。 ASLを検証のために実行可能なK形式仕様言語に変換することのできる仕様翻訳アルゴリズムが開発された。
論文参考訳（メタデータ） (2024-04-29T09:00:50Z)
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions [2.038893829552158]
本稿では,Large Language Models (LLM) を用いて RFC (Request for Comments) プロトコル仕様を,CPSA (Cryptographic Protocol Shapes Analyzer) と互換性のあるフォーマットに変換することを提案する。本手法は,プロトコル仕様をCPSAに適した構造化モデルに自動変換する手法を提供することにより,プロトコル解析に関わる複雑さと労力を削減することを目的としている。
論文参考訳（メタデータ） (2024-01-30T16:50:14Z)
Extreme Compression of Large Language Models via Additive Quantization [59.3122859349777]
我々のアルゴリズムは、AQLMと呼ばれ、情報検索のための古典的な加算量子化(AQ)アプローチを一般化する。トークン生成のためのAQLMの高速GPUおよびCPU実装を提供しており、最適化されたFP16実装を高速にマッチングまたは性能良くすることができる。
論文参考訳（メタデータ） (2024-01-11T18:54:44Z)
ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesis [54.18659323181771]
プログラム合成において望ましいいくつかの異なる構成一般化形式を特徴付ける。本稿では,ExeDecを提案する。ExeDecは,実行サブゴールを予測し,各ステップでプログラム実行によって段階的に通知される問題を解くための,新しい分解ベースの戦略である。
論文参考訳（メタデータ） (2023-07-26T01:07:52Z)
Learning Logic Specifications for Soft Policy Guidance in POMCP [71.69251176275638]
部分観測可能なモンテカルロ計画(POMCP)は部分観測可能なマルコフ決定過程(POMDP)の効率的な解法である POMCPはスパース報酬機能、すなわち最終ゴールに達するときのみ得られる報酬に悩まされる。本稿では,POMCP実行のトレースから論理仕様を学習するために帰納的論理プログラミングを用いる。
論文参考訳（メタデータ） (2023-03-16T09:37:10Z)
Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents [25.871916915930996]
RFC文書から有限状態マシン(FSM)を抽出するためのデータ駆動型アプローチを提案する。市販のNLPツールとは異なり、RFC文書からFSMを抽出するためのデータ駆動型アプローチを提案する。 BGPv4, DCCP, RFCを用いたFSM抽出の一般化可能性を示す。 SCTPとTCP。
論文参考訳（メタデータ） (2022-02-18T23:27:29Z)
Configuring Multiple Instances with Multi-Configuration [48.98522706358725]
我々は、構成プロセスの結果が構成の集合であるシナリオに焦点を当てた、新しい構成アプローチ、マルチ構成を導入する。その応用例としては、個別の学生向けの個別試験の設定、プロジェクトチームの構成、レビュアー・ツー・ペーパーの割り当て、ホテルの部屋の割り当てがある。マルチコンフィグレーションシナリオでは,テスト設定のコンテキストにおける制約満足度問題表現を例示する。
論文参考訳（メタデータ） (2021-09-20T17:04:56Z)
Procedures as Programs: Hierarchical Control of Situated Agents through Natural Language [81.73820295186727]
エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。 NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
論文参考訳（メタデータ） (2021-09-16T20:36:21Z)
Towards a Semantics for Hybrid ASP systems [9.143661393612927]
我々は抽象理論と構造化理論の概念を導入し、ASP.NETと統合することを正式に詳細化します。次に、この概念を用いて、Clingoの理論推論フレームワークのセマンティックキャラクタリゼーションを正確に評価し、制約付きHere-and-thereの論理と対応性を確立する。
論文参考訳（メタデータ） (2021-08-06T11:21:50Z)
A Data-Centric Framework for Composable NLP Workflows [109.51144493023533]
アプリケーションドメインにおける経験的自然言語処理システム(例えば、ヘルスケア、ファイナンス、教育)は、複数のコンポーネント間の相互運用を伴う。我々は,このような高度なNLPの高速な開発を支援するために,統一的なオープンソースフレームワークを構築した。
論文参考訳（メタデータ） (2021-03-02T16:19:44Z)
YANG2UML: Bijective Transformation and Simplification of YANG to UML [0.0]
本稿では,YANGデータモデルを最適化し,単純化するための新しいアプローチを提案する。我々は、YANGの双方向マッピングを定義し、作成した図をレンダリングするツールを開発しました。
論文参考訳（メタデータ） (2020-05-07T07:29:49Z)

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