Cited By
View all- Czejdo DDaszczuk WGrześkowiak W(2023)Practical Approach to Introducing Parallelism in Sequential ProgramsDependable Computer Systems and Networks10.1007/978-3-031-37720-4_2(13-27)Online publication date: 11-Aug-2023
- Demeyer SHähnle RMantel H(2020)Automating Software Re-engineeringLeveraging Applications of Formal Methods, Verification and Validation: Engineering Principles10.1007/978-3-030-61470-6_1(3-8)Online publication date: 27-Oct-2020
- Atre RUl‐Huda ZWolf FJannesari A(2018)Dissecting sequential programs for parallelization—An approach based on computational unitsConcurrency and Computation: Practice and Experience10.1002/cpe.477031:5Online publication date: 29-Jun-2018