Explore projects

M

Antoine Rozenknop / mariotel
Other

0

Updated Sep 21, 2022

0 1 0 0

Updated Sep 21, 2022
M

PARTIES / publications / Minimal Scheduling

Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
A

PARTIES / tools / adt2maude
GNU General Public License v3.0 only

1

Updated May 02, 2022

1 0 0 0

Updated May 02, 2022
F

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
B

GoSup / BuDDy

This is a copy of the BuDDy library.

0

Updated Dec 09, 2021

0 0 0 0

Updated Dec 09, 2021
S

Jaime Arias / sbench
GNU General Public License v3.0 or later

repository of the sbench python package

0

Updated Nov 04, 2021

0 0 0 0

Updated Nov 04, 2021
F

Daniel Torres / FT-CALU

0

Updated Feb 22, 2021

0 0 0 0

Updated Feb 22, 2021
S

Stella ZEVIO / ScholarMap
GNU General Public License v3.0 or later

0

Updated Feb 04, 2021

0 0 0 0

Updated Feb 04, 2021
T

imitator / papers / TACAS21
GNU General Public License v3.0 only

scripts for the TACAS 21 paper experiments

0

Updated Dec 22, 2020

0 0 0 0

Updated Dec 22, 2020
S

Jawher Jerray / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
S

Mehdi Naima / SDA

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020