Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hückelheim, Jan
67  Ergebnisse:
Personensuche X
?
1

Parametric Sensitivities of a Wind-driven Baroclinic Ocean ..:

, In: Proceedings of the Platform for Advanced Scientific Computing Conference,
Sun, Yixuan ; Cucuzzella, Elizabeth ; Brus, Steven... - p. 1-10 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

High Frequency Induction Heating of Non-magnetic Metals wit..:

, In: 2023 IEEE Wireless Power Technology Conference and Expo (WPTCE),
Dell, Daniel ; Huckelheim, Jan ; Manoliu, Laura. - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Model Checking Race-Freedom When "Sequential Consistency fo..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Wu, Wenhao ; Hückelheim, Jan ; Hovland, Paul D... - p. 265-287 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Source-to-Source Automatic Differentiation of OpenMP Parall..:

Hückelheim, Jan ; Hascoët, Laurent
ACM Transactions on Mathematical Software (TOMS).  48 (2022)  1 - p. 1-32 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Automatic differentiation of parallel loops with formal met..:

, In: Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
Hückelheim, Jan ; Hascoët, Laurent - p. 463-464 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Reducing Memory Requirements of Quantum Optimal Control:

, In: Computational Science – ICCS 2022; Lecture Notes in Computer Science,
Narayanan, Sri Hari Krishna ; Propson, Thomas ; Bongarti, Marcelo.. - p. 129-142 , 2022
Link: https://doi.org/10.1007/..
 
?
7

TROPHY: Trust Region Optimization Using a Precision Hierarc..:

, In: Computational Science – ICCS 2022; Lecture Notes in Computer Science,
Clancy, Richard J. ; Menickelly, Matt ; Hückelheim, Jan... - p. 445-459 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Memory-Efficient Differentiable Programming for Quantum Opt..:

, In: 2022 IEEE/ACM Third International Workshop on Quantum Computing Software (QCS),
Wang, Xian ; Kairys, Paul ; Narayanan, Sri Hari Krishna.. - p. 94-99 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Scalable Automatic Differentiation of Multiple Parallel Par..:

, In: SC22: International Conference for High Performance Computing, Networking, Storage and Analysis,
Moses, William S. ; Narayanan, Sri Hari Krishna ; Paehler, Ludger... - p. 1-18 , 2022
Link: https://doi.org/10.1109/..
 
?
10

Lossy checkpoint compression in full waveform inversion: a ..:

Kukreja, Navjot ; Hückelheim, Jan ; Louboutin, Mathias...
Geoscientific Model Development.  15 (2022)  9 - p. 3815-3829 , 2022
Link: https://doi.org/10.5194/..
 
?
11

Automatic Differentiation of Parallel Loops with Formal Met..:

, In: Proceedings of the 51st International Conference on Parallel Processing,
Hückelheim, Jan ; Hascoët, Laurent - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Verifying Fortran Programs with CIVL:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Wu, Wenhao ; Hückelheim, Jan ; Hovland, Paul D.. - p. 106-124 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Source-to-Source Automatic Differentiation of OpenMP Parall..:

Hückelheim, Jan ; Hascoët, Laurent
ACM Transactions on Mathematical Software.  48 (2022)  1 - p. 1-32 , 2022
Link: https://doi.org/10.1145/..
 
?
14

Reverse-mode automatic differentiation and optimization of ..:

, In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis,
Moses, William S. ; Churavy, Valentin ; Paehler, Ludger... - p. 1-16 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Error Estimation and Correction Using the Forward CENA Meth..:

, In: Computational Science – ICCS 2021; Lecture Notes in Computer Science,
Hovland, Paul D. ; Hückelheim, Jan - p. 765-778 , 2021
Link: https://doi.org/10.1007/..
 
1-15