| Title | Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Walter, Dominik, Witterauf, Michael, Teich, Jürgen |
| Conference Name | 2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) |
| Date Published | Dec. 2020 |
| Publisher | IEEE |
| ISBN Number | 978-1-7281-9148-5 |
| Keywords | Arrays, data transfer, i-o systems security, indexing, parallel processing, Processor scheduling, pubcrawl, Real-time Systems, Scalability, Schedules |
| Abstract | The following topics are dealt with: formal verification; formal specification; cyber-physical systems; program verification; mobile robots; control engineering computing; temporal logic; security of data; Internet of Things; traffic engineering computing. |
| URL | https://ieeexplore.ieee.org/document/9315179/ |
| DOI | 10.1109/MEMOCODE51338.2020.9315179 |
| Citation Key | walter_real-time_2020 |
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays