Parallel Systems

31 – 40 of 469

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
…
47
next »

2022
Mark Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Gocht, Stephan ^LU (2022)
- Thesis › Doctoral thesis (compilation)
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
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 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 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 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
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
2021
Mark The power of negative reasoning
de Rezende, Susanna F. ^LU ; Lauria, Massimo ; Nordström, Jakob ^LU and Sokolov, Dmitry ^LU (2021) 36th Computational Complexity Conference, CCC 2021 In Leibniz International Proceedings in Informatics, LIPIcs 200.
- 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
Devriendt, Jo ^LU ; Gleixner, Ambros and Nordström, Jakob ^LU (2021) In Constraints 26(44565). p.26-55
- Contribution to journal › Article
Mark Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
Gasieniec, Leszek ; Jansson, Jesper ^LU ; Levcopoulos, Christos ^LU ; Lingas, Andrzej ^LU and Persson, Mia ^LU (2021) In Journal of Computer and System Sciences 118. p.108-118
- Contribution to journal › Article

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