Not finding it? Sign in to also search OpenAlex live.
-
Harnessing Manycore Processors with Distributed Memory for Accelerated Training of Sparse and Recurrent Models2023 arXiv (Cornell University) preprint Computer Science Parallel Computing and Optimization Techniques Open access
Jan Finkbeiner, Thomas Gmeinder, Mark Pupilli, Alexander Titterton, Emre Neftci
0citations -
Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees2024 arXiv (Cornell University) preprint Engineering Underwater Vehicles and Communication Systems Open access
Martin Aubard, Olaya Álvarez-Tuñón, László Antal, María João Costa, Yury Brodskiy
0citations -
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more
0citations