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
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
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
(2022)
- Thesis › Doctoral thesis (compilation)
-
Mark
Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
(2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436
- 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
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
Quantum and Approximation Algorithms for Maximum Witnesses of Boolean Matrix Products
(2021) 7th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2021 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12601 LNCS. p.440-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Learn to relax : Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search
- Contribution to journal › Article