Daily Arxiv

世界中で発行される人工知能関連の論文をまとめるページです。
このページはGoogle Geminiを活用して要約し、非営利で運営しています。
論文の著作権は著者および関連機関にあり、共有する際は出典を明記してください。

Programming Distributed Collective Processes in the eXchange Calculus

Created by
  • Haebom

作者

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli

概要

本論文は、モノのインターネット(IoT)など、さまざまな環境に分散したコンピューティングデバイスの集合的で適応的な動作をプログラムする方法を提供します。複数のデバイスが近隣と対話し、ほぼ同期されたセンシング - 計算 - 相互作用ラウンドを実行する環境を想定し、単一のプログラムでセンシング値と受信メッセージを出力および送信メッセージにマッピングする計算を実行します。集約コンピューティングシステム全体をプログラムするために、集合形成ロジックと集約タスクを同時に定義することができる分散集約プロセス抽象化を提案する。この抽象化は、ネイバー値(ネイバーから値へのマッピング)に基づくコア関数型言語であるeXchange Calculus(XC)で定式化され、FCPP言語で実装されます。マルチホップメッセージ伝播と空間特性の分散モニタリング 2 つのケーススタディで分散集約プロセスを実験し,様々な分散コンピューティングアプリケーションの抽象化の特徴と適合性を議論する。

Takeaways、Limitations

Takeaways:
モノのインターネット環境における集合的かつ適応的なコンピューティングシステムプログラミングのための新しい抽象化モデルの提示
分散集約プロセスにより、集合形成と集合作業を効率的に定義および管理できる
EXchange Calculus(XC)とFCPP言語を使用した実装と実験的検証
様々な分散コンピューティングアプリケーションに適用可能性を提示
Limitations:
提案された抽象化のスケーラビリティと性能に関するさらなる研究が必要
実際の複雑な環境での適用性の追加検証が必要
さまざまなタイプの分散コンピューティングシステムの一般化の可能性に関するさらなる研究が必要
👍