Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Djukic, Miodrag, Prokić, Ivan, Popovic, Miroslav, Ghilezan, Silvia, Popovic, Marko, Prokić, Simona
Published in International journal on software tools for technology transfer (01.02.2025)
Published in International journal on software tools for technology transfer (01.02.2025)
Get full text
Journal Article
Legate Sparse: Distributed Sparse Computing in Python
Yadav, Rohan, Lee, Wonchan, Elibol, Melih, Patti, Taylor Lee, Papadakis, Manolis, Garland, Michael, Aiken, Alex, Kjolstad, Fredrik, Bauer, Michael
Published in International Conference for High Performance Computing, Networking, Storage and Analysis (Online) (11.11.2023)
Published in International Conference for High Performance Computing, Networking, Storage and Analysis (Online) (11.11.2023)
Get full text
Conference Proceeding
Graceful Local Antimagic Labeling of Graphs: A Pattern Analysis Using Python
Alam, Luqman, Semaničová-Feňovčíková, Andrea, Popa, Ioan-Lucian
Published in Symmetry (Basel) (01.01.2025)
Published in Symmetry (Basel) (01.01.2025)
Get full text
Journal Article