Parallel Systems

31 – 40 of 474

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/organization/v1001417?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
3
4
5
6
…
48
next »

2023
Mark Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)
Gocht, Stephan ^LU ; Martins, Ruben ; Nordström, Jakob ^LU and Oertel, Andy ^LU (2023) 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023 p.6436-6441
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
Bogaerts, Bart ; Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (2023) In Journal of Artificial Intelligence Research 77. p.1539-1589
- Contribution to journal › Article
2022
Mark An Auditable Constraint Programming Solver
Gocht, Stephan ^LU ; McCreesh, Ciaran and Nordström, Jakob ^LU (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
Gocht, Stephan ^LU (2022)
- Thesis › Doctoral thesis (compilation)
Mark Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Kaufmann, Daniela ; Beame, Paul ; Biere, Armin and Nordstrom, Jakob ^LU (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 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
Moreau, Pierre ^LU (2022) In Dissertation 67.
- 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
Emami, Mahyar ; Bezati, Endri ; Janneck, Jörn W. ^LU and Larus, James R. (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

« previous
1
…
3
4
5
6
…
48
next »