Parallel Systems
1 – 10 of 496
- 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
-
Mark
Lower Bounds for CSP Hierarchies Through Ideal Reduction
Conneryd, Jonas LU
; Ghannane, Yassine
and Pang, Shuo
(2026)
37th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026
In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
2026-January.
p.6436-6463
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Lower Bound on the Trace Norm of Boolean Matrices and its Applications
Cheung, Tsun Ming ; Hatami, Hamed ; Hosseini, Kaave ; Nikolov, Aleksandar ; Pitassi, Toniann and Shirley, Morgan LU
(2026)
In Algorithmica
88(4).
- Contribution to journal › Article
- 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