logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回

Deterministic Coordination across Multiple Timelines

delete2024-08-14
delete0
delete
OA
AI
M
Marten Lohstroh
S
Soroush Bateni
C
Christian Menard
A
Alexander Schulz-Rosengarten
J
Jerónimo Castrillón
E
Edward A. Lee
DOI：10.1145/3615357delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
我们讨论了一种构建确定性反应式系统的新方法，该方法围绕一个包含多条时间线的时序模型展开。该模型是Lingua Franca（LF）的核心，LF是我们正在开发的一种多语言协调语言和编译器工具链，用于定义和组合称为reactors的并发组件，这些组件是能够对离散事件做出反应并发送离散事件的reactors。我们的时序模型与现有的逻辑执行时间（LET）范式和同步语言不同，因为它反映了反应式系统中始终涉及至少两条不同的时间线：一条逻辑时间线和一条物理时间线——每种类型可能有多条。本文解释了跨时间线的事件关系如何促进对网络物理系统（CPSs）中跨组件的一致性和可用性进行推理。
Keyword:
Time
coordination
concurrency
determinism

期刊

ACM Transactions on Embedded Computing Systems 封面图
ACM Transactions on Embedded Computing Systems
IF:
2.6
论文数:
238
被引数:
2.3K

机构

U
Univ Calif Berkeley
学者数:
2.4K
论文数: 1.4K
被引数: 708
U
Univ Kiel
学者数:
380
论文数: 205
被引数: 89
U
Univ Texas Dallas
学者数:
468
论文数: 214
被引数: 122
学者 查看更多机构
引用论文

引用论文

The solution structure of the homeodomain of the rat insulin-gene enhancer protein Isl-1. Comparison with other homeodomains 1 1Edited by A. R. Fersht
errJournal of Molecular Biology
IF0
err1999-05-01
err0
PREAI
errHans Ippel; Göran Larsson; Gity Behravan; Janusz Zdunek; Martin Lundqvist; Jürgen Schleucher; Per-Olof Lycksell; Sybren Wijmenga
err分享
err收藏
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation多时钟实时系统调度：从需求到实现
err2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
IF0
err2011-03-01
err0
errOAAI
errMarie-Agnes Peraldi-Frati; Julien DeAntoni
err分享
err收藏
Structure and properties of ethylene—methacrylic acid copolymers and their sodium salts: Dielectric and proton magnetic relaxation studies
errBritish Polymer Journal
IF0
err2006-12-04
err0
PREAI
errB. E. Read; E. A. Carter; T. M. Connor; W. J. Macknight
err分享
err收藏
An Axiomatization of the Theory of Generalized Ultrametric Semilattices of Linear Signals广义线性信号广义超metric半格的理论公理化
errLecture Notes in Computer Science
IF0
err2013-01-01
err0
PREAI
errEleftherios Matsikoudis; Edward A. Lee
err分享
err收藏
TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM
errCOMMUNICATIONS OF THE ACM
IF12.2
err1978-07-01
err4.9K
errOAAI
errLAMPORT, L
err分享
err收藏
CLINICAL HEART DISEASE
errThe American Journal of the Medical Sciences
IF0
err1958-08-01
err0
PREAI
errSAMUEL A. LEVINE
err分享
err收藏
Phorbol ester inhibits arginine vasopressin activation of phospholipase C and promotes contraction of, and prostaglandin production by, cultured mesangial cells
errBiochemical Journal
IF0
err1988-05-01
err0
errOAAI
errD A Troyer; O F Gonzalez; J G Douglas; J I Kreisberg
err分享
err收藏
Embodied Intelligence in Soft Robotics Through Hardware Multifunctionality
errFrontiers in Robotics and AI
IF0
err2021-11-17
err0
errOAAI
errMatteo Cianchetti
err分享
err收藏
Just model! — Putting automatic synthesis of node-link-diagrams into practice模型化！——将节点链接图的自动合成付诸实践
err2013 IEEE Symposium on Visual Languages and Human Centric Computing
IF0
err2013-09-01
err0
PREAI
errChristian Schneider; Miro Sponemann; Reinhard von Hanxleden
err分享
err收藏
Ensuring Quality Experiential Education确保质量体验式教育
errPharmacotherapy: The Journal of Human Pharmacology and Drug Therapy
IF0
err2012-01-12
err0
errOAAI
errKrystal K. Haase; Maureen A. Smythe; Patricia L. Orlando; Beth H. Resman‐Targoff; Lisa S. Smith
err分享
err收藏
学者 查看更多内容