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 条
  • [1] Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP
    Pedersen, Jan Baekgaard
    Chalmers, Kevin
    2019 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2019), 2019, : 65 - 74
  • [2] Toward Verifying Cooperatively Scheduled Runtimes Using CSP
    Pedersen, Jan Baekgaard
    Chalmers, Kevin
    FORMAL ASPECTS OF COMPUTING, 2023, 35 (04)
  • [3] Modeling and Verifying Multi-core Programs
    Zhang, Nan
    Duan, Zhenhua
    Tian, Cong
    Du, Hongwei
    Yang, Kai
    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, COCOA 2017, PT II, 2017, 10628 : 492 - 500
  • [4] Modeling and Verifying OpenFlow Scheduled Bundle Mechanism using CSP
    Wang, Huiwen
    Zhu, Huibiao
    Xiao, Lili
    Xie, Wanling
    Lu, Gang
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2018), VOL 2, 2018, : 376 - 381
  • [5] A Unified Runtime System for Heterogeneous Multi-core Architectures
    Augonnet, Cedric
    Namyst, Raymond
    EURO-PAR 2008 WORKSHOPS - PARALLEL PROCESSING, 2009, 5415 : 174 - 183
  • [6] Verifying Multi-core Schedulability with Data Decision Diagrams
    Racordon, Dimitri
    Buchs, Didier
    SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, (SERENE 2016), 2016, 9823 : 45 - 61
  • [7] Runtime Adaptive IoMT Node on Multi-Core Processor Platform
    Scrugli, Matteo Antonio
    Meloni, Paolo
    Sau, Carlo
    Raffo, Luigi
    ELECTRONICS, 2021, 10 (21)
  • [8] Runtime Adaptive Cache Checkpointing for RISC Multi-Core Processors
    Kempf, Fabian
    Hoefer, Julian
    Kress, Fabian
    Hotfilter, Tim
    Harbaum, Tanja
    Becker, Juergen
    2022 IEEE 35TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE (IEEE SOCC 2022), 2022, : 160 - 165
  • [9] Runtime Resource Allocation in Multi-Core Packet Processing Systems
    Wu, Qiang
    Wolf, Tilman
    HPSR: 2009 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE SWITCHING AND ROUTING, 2009, : 62 - 69
  • [10] Runtime resource management for lifetime extension in multi-core systems
    Bolchini, Cristiana
    2016 IEEE 34TH VLSI TEST SYMPOSIUM (VTS), 2016,
12345