arrow
返回

An Enhanced Exchange Operator for XC

delete2024-06-11
delete0
PRE
AI
G
Giorgio Audrito *
D
Daniele Bortoluzzi
F
Ferruccio Damiani
G
Giordano Scarso
G
Gianluca Torta
DOI:10.1007/978-3-031-62697-5_8delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Recent work in the area of coordination models and collective adaptive systems promotes a view of distributed computations as functions manipulating computational fields (data structures spread over space and evolving over time) and introduces the eXchange Calculus (XC) as a novel formal foundation for field computations. In XC, evolution (time) and neighbor interaction (space) are handled by a single communication primitive called exchange, working on the neighbouring value data structure to represent both received values and values to share. However, the exchange primitive does not allow to directly retain information about neighbours across subsequent rounds of computation. This hampers the convenient expression of useful algorithms in XC, such as the computation of a neighbour reliability score. In this paper, we introduce a new generalised version of the exchange primitive, also implementing it into the FCPP DSL. This primitive allows for neighbour data retention across rounds, strictly expanding the expressiveness of the exchange primitive in XC. The contribution is then evaluated through a case study on distributed sensing in a wireless sensor network of battery-powered devices, exploiting the reliability scores to improve robustness.
Keyword:
Core calculus
Aggregate computing
C plus plus DSL

期刊

C
Coordination Models and Languages and Coordination
IF:
0
论文数:
1
被引数:
0

机构

U
University of Turin
学者数:
3.7W
论文数: 2.8W
被引数: 3.2W
引用论文

引用论文

Power Aware Simulation Framework for Wireless Sensor Networks and Nodes
err2008-01-01
err0
PREAI
errJohann Glaser; Daniel Weber; SajjadA Madani; Stefan Mahlknecht
err分享
err收藏
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
err2024-04-01
err7
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Salvaneschi, Guido; Viroli, Mirko
err分享
err收藏
Nitrogen and phosphorus Co-doped non stoichiometric cobalt selenides (Co0.85Se) ultrathin nanosheets as highly efficient electrocatalysts for the hydrogen evolution reaction
err2022-02-01
err0
PREAI
errWenjing Liang; Jiajia Gao; Xinyi Wang; Xiuyan Meng; Shuangsheng Xiong; Kexin Ji; Xuan Wang; Li Hou; Rongna Chen; Faming Gao
err分享
err收藏
How many testers are needed to assure the usability of medical devices?
err2014-07-18
err0
errOAAI
errSimone Borsci; Robert D Macredie; Jennifer L Martin; Terry Young
err分享
err收藏
On Minimizing the Maximum Sensor Movement for Barrier Coverage of a Line Segment
err2009-01-01
err0
errOAAI
errJ. Czyzowicz; E. Kranakis; D. Krizanc; I. Lambadaris; L. Narayanan; J. Opatrny; L. Stacho; J. Urrutia; M. Yazdani
err分享
err收藏
学者 查看更多内容