Verifying Channel Communication Correctness for a Multi-core Cooperatively Scheduled Runtime Using CSP

被引：0
|
作者：
Pedersen, Jan Bakgaard [1 ]
Chalmers, Kevin [2 ]
机构：
[1] University of Nevada Las Vegas, Las Vegas,NV,89154, United States
[2] Edinburgh Napier University, School of Computing, Edinburgh, United Kingdom
来源：
Proceedings - 2019 IEEE/ACM 7th International Workshop on Formal Methods in Software Engineering, FormaliSE 2019 | 2019年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
8807540
中图分类号：
学科分类号：
摘要：
Codes (symbols) - Java programming language
引用
收藏
页码：65 / 74
相关论文
共 50 条
  • [41] Implementation of a Multi-Core Data Link Layer Processor for THz communication
    Lopacinski, L.
    Eissa, M. H.
    Panic, G.
    Brzozowski, M.
    Hasani, A.
    Kraemer, R.
    2018 IEEE 87TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), 2018,
  • [42] Redesigning MPI shared memory communication for large multi-core architecture
    Luo, Miao
    Wang, Hao
    Vienne, Jerome
    Panda, Dhabaleswar K.
    COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2013, 28 (2-3): : 137 - 146
  • [43] Design of Scalable Java']Java Communication Middleware for Multi-Core Systems
    Ramos, Sabela
    Taboada, Guillermo L.
    Exposito, Roberto R.
    Tourino, Juan
    Doallo, Ramon
    COMPUTER JOURNAL, 2013, 56 (02): : 214 - 228
  • [44] Secure On-Chip Communication Architecture for Reconfigurable Multi-Core Systems
    Saeed, Ahmed
    Ahmadinia, Ali
    Just, Mike
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2016, 25 (08)
  • [45] Heterogeneous Multi-core Architectures with Dynamically Reconfigurable Processors for Wireless Communication
    Han, Wei
    Yi, Ying
    Zhao, Xin
    Muir, Mark
    Arslan, Tughrul
    Erdogan, Ahmet T.
    2009 IEEE 7TH SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS (SASP 2009), 2009, : 1 - 6
  • [46] Power Channel Design and Verification for Automotive Chipset with Multi-Core Processor
    Chen, Nansen
    2019 IEEE CPMT SYMPOSIUM JAPAN (ICSJ), 2019, : 227 - 232
  • [47] Mode coupling dynamics and communication strategies for multi-core fiber systems
    Chan, Florence Y. M.
    Lau, Alan Pak Tao
    Tam, Hwa-Yaw
    OPTICS EXPRESS, 2012, 20 (04): : 4548 - 4563
  • [48] Towards a Load Balancer Architecture for Multi-Core Mobile Communication Systems
    Tudor, D.
    Macariu, G.
    Jebelean, C.
    Cretu, V.
    SACI: 2009 5TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, 2009, : 381 - 386
  • [49] Decision tree building on multi-core using FastFlow
    Aldinucci, Marco
    Ruggieri, Salvatore
    Torquati, Massimo
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2014, 26 (03): : 800 - 820
  • [50] Accelerating the MMD algorithm using Multi-core Environments
    Schloesser, Michael
    Herpers, Rainer
    Kent, Kenneth B.
    2011 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2011, : 340 - 345
12345