Parallel Systems

1 – 10 of 484

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
2
3
4
…
48
49
next »

2026
Mark Specifying and Compiling Scalable Networks of Actors for Software and Hardware Platforms
Callanan, Gareth ^LU and Gruian, Flavius ^LU (2026) In ACM Transactions on Embedded Computing Systems 25(1).
- Contribution to journal › Article
2025
Mark ON BOUNDED DEPTH PROOFS FOR TSEITIN FORMULAS ON THE GRID; REVISITED
Hastad, Johan and Risse, Kilian ^LU (2025) In SIAM Journal on Computing 54(5). p.22288-22339
- Contribution to journal › Article
Mark Tighter Value-Function Approximations for POMDPs
Krale, Merlijn ; Koops, Wietze ^LU ; Junges, Sebastian ; Simão, Thiago D. and Jansen, Nils (2025) 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS p.1200-1208
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark ASaP : Automatic Software Prefetching for Sparse Tensor Computations in MLIR
Sotiropoulos, Konstantinos ; Skeppstedt, Jonas ^LU and Stenström, Per ^LU (2025) 2025 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC 2025 Workshops In Proceedings of 2025 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC 2025 Workshops p.1017-1027
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Towards an Understanding of Polynomial Calculus : New Separations and Lower Bounds
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2025) In Theory of Computing 21.
- Contribution to journal › Article
Mark Pseudo-Boolean Proof Logging for Optimal Classical Planning
Dold, Simon ; Helmert, Malte ; Nordström, Jakob ^LU ; Röger, Gabriele and Schindler, Tanja (2025) 35th International Conference on Automated Planning and Scheduling, ICAPS 2025 35. p.54-63
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Quantum Automating TC⁰-Frege Is LWE-Hard
Arteche, Noel ^LU ; Carenini, Gaia and Gray, Matthew (2025) In Computational Complexity 34(2).
- Contribution to journal › Article
Mark Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze ^LU ; Junges, Sebastian and Jansen, Nils (2025) 37th International Conference on Computer Aided Verification, CAV 2025 In Lecture Notes in Computer Science 15932 LNCS. p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis
Mark Thalassa : Transforming Symbolic PDEs into Tensor-Based Solvers Running on ML Accelerators
Boulasikis, Michail ^LU ; Gruian, Flavius ^LU and Szász, Robert Zoltán ^LU (2025) 2025 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2025 p.463-472
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
2
3
4
…
48
49
next »