Parallel Systems

1 – 10 of 483

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 »

2025
Mark Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
Ali, Hazem Ismail ; Kurunathan, Harrison ; Eldefrawy, Mohamed Hamdy ; Gruian, Flavius ^LU and Jonsson, Magnus (2025) In IEEE Access 13. p.24207-24222
- Contribution to journal › Article
Mark Using machine learning hardware to solve linear partial differential equations with finite difference methods
Boulasikis, Michail ^LU ; Gruian, Flavius ^LU and Szász, Robert-Zoltán ^LU (2025) In International Journal of Parallel Programming 53(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 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 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 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
Mark Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis

« previous
1
2
3
4
…
48
49
next »