Parallel Systems
1 – 10 of 492
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2026
-
Mark
Specifying and Compiling Scalable Networks of Actors for Software and Hardware Platforms
Callanan, Gareth LU
and Gruian, Flavius
LU
(2026)
In ACM Transactions on Embedded Computing Systems
25(1).
- Contribution to journal › Article
-
Mark
Rendering Small Things : Hardware Micromaps and Particles
- Thesis › Doctoral thesis (compilation)
-
Mark
Color and attribute micromaps
Waldemarson, Gustaf LU
and Doggett, Michael
LU
(2026)
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Dataflow Actor Networks: Representations, Compilation and MLIR Integration
Callanan, Gareth LU
(2026)
- Thesis › Doctoral thesis (compilation)
-
Mark
Certifying Combinatorial Optimization : A Unified Approach Using Pseudo-Boolean Reasoning
Oertel, Andy LU
(2026)
- Thesis › Doctoral thesis (compilation)
-
Mark
Sensitivity Lower Bounds for Approximation Algorithms
Fleming, Noah LU
and Yoshida, Yuichi
(2026)
37th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026
p.4043-4076
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
Anders, Markus ; Bogaerts, Bart ; Bogø, Benjamin ; Gontier, Arthur ; Koops, Wietze LU
; McCreesh, Ciaran
; Myreen, Magnus O.
; Nordström, Jakob
LU
; Oertel, Andy
LU
and Rebola-Pardo, Adrian
, et al.
(2026)
40th AAAI Conference on Artificial Intelligence, AAAI 2026
p.14140-14148
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2025
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
Boulasikis, Michail LU ; Gruian, Flavius LU
and Szász, Robert-Zoltán
LU
(2025)
In International Journal of Parallel Programming
53(2).
- Contribution to journal › Article
-
Mark
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
Ali, Hazem Ismail ; Kurunathan, Harrison ; Eldefrawy, Mohamed Hamdy ; Gruian, Flavius LU
and Jonsson, Magnus
(2025)
In IEEE Access
13.
p.24207-24222
- Contribution to journal › Article
-
Mark
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. LU
; Fleming, Noah
LU
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(2025)
57th Annual ACM Symposium on Theory of Computing, STOC 2025
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding