2 papers
physics.comp-ph2026
Scalable Domain-decomposed Monte Carlo Neutral Transport for Nuclear Fusion
Oskar Lappi, Huw Leggate, Yannick Marandet +3
EIRENE [1] is a Monte Carlo neutral transport solver heavily used in the fusion community. EIRENE does not implement domain decomposition, making it impossible to use for simulatio…
cs.SC2024
Certifying Phase Abstraction
Nils Froleyks, Emily Yu, Armin Biere +1
Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used form…