共 50 条
- [22] Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
- [23] Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 809 - 824
- [24] A Fine-grained Pipelined Implementation of the LINPACK Benchmark on FPGAs PROCEEDINGS OF THE 2009 17TH IEEE SYMPOSIUM ON FIELD PROGRAMMABLE CUSTOM COMPUTING MACHINES, 2009, : 183 - 190
- [25] Implementation of an Advanced Constitutive Models for Fine-Grained Soils Geotechnical and Geological Engineering, 2023, 41 : 3403 - 3425
- [27] Implementation of Fine-Grained Algorithms on Graphical Processing Unit PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2009, 5698 : 207 - 215
- [28] Conquering fine-grained blends of design patterns HIGH CONFIDENCE SOFTWARE REUSE IN LARGE SYSTEMS, PROCEEDINGS, 2008, 5030 : 294 - +