Export Citations
1 Results for: Keyword: PALS
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,834,857 records)|Limit your search to The ACM Full-Text Collection (773,110 records)
Select All
- research-articleSeptember 2021
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
ACM Transactions on Embedded Computing Systems (TECS), Volume 20, Issue 5sArticle No.: 105, Pages 1–26https://doi.org/10.1145/3477036TTA and PALS are two prominent formal design patterns—with different strengths and weaknesses—for virtually synchronous distributed cyber-physical systems (CPSs). They greatly simplify the design and verification of such systems by allowing us to design ...
