Author:
Natarajan Aravind,Chauhan Himanshu,Mittal Neeraj,Garg Vijay K.
Funder
NSF
Cullen Trust for Higher Education Endowed Professorship
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. Consistent detection of global predicates;Cooper,1991
2. In-memory communication mechanisms for many-cores—experiences with the Intel SCC;Rotta,2012
3. High-performance RMA-based Broadcast on the Intel SCC;Petrović,2012
4. Solving computation slicing using predicate detection;Mittal;IEEE Trans. Parallel Distrib. Syst.,2007
5. Techniques to tackle state explosion in global predicate detection;Alagar;IEEE Trans. Softw. Eng.,2001
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Decentralized Monitoring;Lecture Notes in Computer Science;2022
2. Decentralized LTL Enforcement;Electronic Proceedings in Theoretical Computer Science;2021-09-17
3. Particle Swarm Optimization Algorithm for Detecting Distributed Predicates;IEEE Access;2021
4. An Artificial Bee Colony Algorithm for Detecting Distributed Predicates;Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing;2021
5. Translating Xd-C programs to MSVL programs;Theoretical Computer Science;2020-02