共 50 条
- [1] Modelling concurrency with tabular expressions SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 455 - 461
- [3] Simple Concurrency for Robotics with the Roboscoop Framework 2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 1563 - 1569
- [4] A Heuristic Framework to Detect Concurrency Vulnerabilities 34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018), 2018, : 529 - 541
- [5] A generic framework for representing and analyzing model concurrency SOFTWARE AND SYSTEMS MODELING, 2023, 22 (04): : 1319 - 1340
- [6] Evolution of the ATLAS Software Framework towards Concurrency 16TH INTERNATIONAL WORKSHOP ON ADVANCED COMPUTING AND ANALYSIS TECHNIQUES IN PHYSICS RESEARCH (ACAT2014), 2015, 608
- [7] Introducing concurrency in the Gaudi data processing framework 20TH INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP2013), PARTS 1-6, 2014, 513
- [8] Metafork: A framework for concurrency platforms targeting multicores Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8766 : 30 - 44
- [9] A generic framework for representing and analyzing model concurrency Software and Systems Modeling, 2023, 22 : 1319 - 1340
- [10] METAFORK: A Framework for Concurrency Platforms Targeting Multicores USING AND IMPROVING OPENMP FOR DEVICES, TASKS, AND MORE, 2014, 8766 : 30 - 44