Explore projects

View SDA project

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
View FT-CATS project

Daniel Torres / FT-CATS

Fault-Tolerant Communication-Avoiding and Tall-and-Skinny matrix factorizations (LU, QR, Cholesky)

0

Updated Apr 06, 2022

0 0 0 0

Updated Apr 06, 2022
View Hybrid-SOG project

PMC-SOG / Hybrid-SOG
GNU General Public License v3.0 only

0

Updated Nov 28, 2019

0 0 0 0

Updated Nov 28, 2019
View sylvan project

PMC-SOG / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

0

Updated Apr 13, 2022

0 0 0

Updated Apr 13, 2022
View STCTL project

MOSART / publications / STCTL
GNU General Public License v3.0 or later

Strategic (Timed) Computation Tree Logic

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
View FT-CALU project

Daniel Torres / FT-CALU

0

Updated Feb 22, 2021

0 0 0 0

Updated Feb 22, 2021
View TensorJoseph project

Camille Coti / TensorJoseph

0

Updated Apr 23, 2020

0 0

Updated Apr 23, 2020
View SDA project

Nadi Tomeh / SDA

0

Updated Oct 15, 2023

0 0 0 0

Updated Oct 15, 2023
View pompet project

Sami Evangelista / pompet
GNU General Public License v3.0 or later

Partial Order Model checker for PETri nets

0

Updated Jan 08, 2026

0 0 0 0

Updated Jan 08, 2026
View Profiling for StarPU project

Camille Coti / Profiling for StarPU
GNU Lesser General Public License v2.1 only

0

Updated Sep 30, 2022

0 0 0 0

Updated Sep 30, 2022