Parallel Systems
41 – 50 of 479
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
- Thesis › Doctoral thesis (compilation)
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
Moreau, Pierre LU
and Doggett, Michael
LU
(2022)
17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022
1.
p.39-48
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Auto-Partitioning Heterogeneous Task-Parallel Programs with StreamBlocks
(2022) 31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022 p.398-411
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Analysing Dataflow Programs with Causation Traces
Boulasikis, Michail LU ; Gruian, Flavius LU
; Callanan, Gareth
LU
and Janneck, Jörn W.
LU
(2022)
31st International Conference on Parallel Architectures and Compilation Techniques, PACT 2022
p.534-535
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
Gocht, Stephan LU ; Martins, Ruben ; Nordström, Jakob LU and Oertel, Andy LU
(2022)
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
In Leibniz International Proceedings in Informatics (LIPIcs)
236.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Auditable Constraint Programming Solver
(2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Estimating Stream Application Performance in Early-Stage System Design
Callanan, Gareth LU
and Gruian, Flavius
LU
(2022)
2022 56th Asilomar Conference on Signals, Systems, and Computers
p.816-823
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2021
-
Mark
Foreword: Selected papers from the 22nd International Symposium on Fundamentals of Computation Theory (FCT 2019)
Gasieniec, Leszek ; Jansson, Jesper LU and Levcopoulos, Christos LU
(2021)
In Journal of Computer and System Sciences
120.
p.177-178
- Contribution to journal › Article
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Antithetic Sampling for Monte Carlo Differentiable Rendering
Zhang, Cheng ; Dong, Zhao ; Doggett, Michael LU
and Zhao, Shuang
(2021)
In ACM Transactions on Graphics
40(4).
p.1-1
- Contribution to journal › Article