Pinned Loading

1. Modeling-and-verification-of-a-multiprocessor-architecture-with-shared-memory Modeling-and-verification-of-a-multiprocessor-architecture-with-shared-memory Public

   Protocol study, Components Modeling and Verification of specifications using NuSMV

   1 1

2. CHORD-P2P-Protocol-Implementation CHORD-P2P-Protocol-Implementation Public

   C

3. Exact-Cover-Problem-Resolution Exact-Cover-Problem-Resolution Public

   Parallelizing exact cover problem code across multiple processors using OMP, and on multiple cluster nodes using Message Passing paradigm and conducting experimentations in a distributed fashion on…

   eC 1

4. aws-dataall aws-dataall Public

   Forked from data-dot-all/dataall

   A modern data marketplace that makes collaboration among diverse users (like business, analysts and engineers) easier, increasing efficiency and agility in data projects on AWS.

   Python

5. Housing-Rent-Price-Prediction Housing-Rent-Price-Prediction Public

   data analysis and feature engineering to design a strategy for dealing with missing values and outliers then, using Spark ML and decision trees to perform predictions over the rent prices of the ho…

   Jupyter Notebook 2

6. davidPinaud/diversus davidPinaud/diversus Public

   Projet de modélisation d'un livre "dont vous êtes le héros" dans le cadre d'un cour de M1 au sein de Sorbonne Université

   Java 1