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 条
  • [21] Runtime scheduling of dynamic parallelism on accelerator-based multi-core systems
    Blagojevic, Filip
    Nikolopoulos, Dimitrios S.
    Stamatakis, Alexandros
    Antonopoulos, Christos D.
    Curtis-Maury, Matthew
    PARALLEL COMPUTING, 2007, 33 (10-11) : 700 - 719
  • [22] Research on dynamic optimization method of embedded multi-core performance based on runtime
    Huang Y.
    Fang X.
    Zeng Y.
    Huang Z.
    Guo H.
    Recent Patents on Engineering, 2021, 15 (03) : 356 - 365
  • [23] The Layer Disruption Model: a Runtime Approach to Multi-core Processors and Serial Code
    Iparraguirre, Javier
    Theys, Mitchell D.
    PDCAT 2008: NINTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2008, : 497 - +
  • [24] Influence of Multi-core CSP-LED Chip Spacing on Thermal Congestion
    Liu Q.
    Xiong C.-B.
    Tang Y.-W.
    Li X.-Z.
    Wang S.-L.
    Faguang Xuebao/Chinese Journal of Luminescence, 2020, 41 (03): : 308 - 315
  • [25] Time-Triggered Runtime Verification of Component-Based Multi-core Systems
    Navabpour, Samaneh
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 153 - 168
  • [26] Compa backend: a Dynamic Runtime for the execution of dataflow programs onto multi-core platforms
    Martin, Kevin J. M.
    Eustache, Yvan
    Diguet, Jean-Philippe
    Thanh Dinh Ngo
    Casseau, Emmanuel
    Oliva, Yaset
    PROCEEDINGS OF THE 2015 CONFERENCE ON DESIGN & ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, 2015, : 52 - 53
  • [27] Channel model and optimal core scrambling for multi-core fiber transmission system
    Abouseif, Akram
    Rekaya-Ben Othman, Ghaya
    Jaouen, Yves
    OPTICS COMMUNICATIONS, 2020, 454
  • [28] Task Assignments based on Shared Memory Multi-core Communication
    Xu, Xiaojie
    Wang, Lisheng
    2014 2ND INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2014, : 324 - 328
  • [29] A multi-core compound droplet passing through a diffuser channel
    Dang T. Bui
    Hung V. Vu
    Quang D. Nguyen
    Truong V. Vu
    Journal of Mechanical Science and Technology, 2021, 35 : 5049 - 5060
  • [30] A multi-core compound droplet passing through a diffuser channel
    Bui, Dang T.
    Vu, Hung V.
    Nguyen, Quang D.
    Vu, Truong V.
    JOURNAL OF MECHANICAL SCIENCE AND TECHNOLOGY, 2021, 35 (11) : 5049 - 5060
12345