31 – 40 of 470
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2022
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
Van Der Byl, Andrew ; Smith, James A. ; Martens, Andrew ; Manley, Jason ; Van Balla, Tyrone ; Rust, Alec ; Patel, Amish ; Callanan, Gareth LU
; Isaacson, Adam
and New, Wesley
, et al.
(2022)
In Journal of Astronomical Telescopes, Instruments, and Systems
8(1).
- Contribution to journal › Article
-
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
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
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
(2022)
- Thesis › Doctoral thesis (compilation)
-
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
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
-
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
- 2021
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Path Verification for Dynamic Indirect Illumination
Moreau, Pierre LU
; Doggett, Michael
LU
and Sintorn, Erik
(2021)
- Book/Report › Report