gitlab.telecom-paris.fr
mbe-tools/utilities
This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
mbe-tools/RAMSES
RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems) is a model transformation and code generation tool that produces C code for ARINC653-compliant operating systems and OSEK-compliant operating systems.
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 3
griesner/geopfModeles
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
renaud.pacalet/sab4z
A simple example design for Zynq-based boards. VHDL design of custom HW mapped in Programmable Logic, Linux - Busybox - Buildroot SW stack, user SW applications interacting with custom hardware, Linux drivers, SW and HW debugging.
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
mbe-tools/ramses-2
RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mbe-tools/ADOSATE
Model synchronization between Adele and OSATE with MoTE TGG.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sen/dev-projects/cfglut5-sbox
16 nibbles (64 bits) parallel sboxes using Xilinx CFGLUT5 primitive
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sen/docs_template
Modèle pour la génération de supports de cours (poly+slides) au format html, pdf et même docx à partir d'une source unique (au format markdown/pandooc).
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 2 - forks: 0
dsi/pydesfire
API pour communication avec carte Mifare DESFire EV1
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 2 - forks: 0
sen/dev-projects/asciidoc-to-markdown
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
teralab/ai-experiment-hello-world
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mbe-tools/vafl
Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
ring/iadf-2023-sar-processing
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ring/multi-temporal-merlin
Multi-temporal speckle reduction with self-supervised deep neural networks
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mbe-tools/aadl-mt-bench
A Benchmark of Incremental Model Transformation Tools based on an Industrial Case Study with AADL
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ring/guided-river-detection
Python implementation of the narrow rivers extraction framework proposed by N.Gasnier, L.Denis, F.Liège, R.Fjørtoft, and F.Tupin in Narrow River Extraction from SAR ImagesUsing Exogenous Information (https://doi.org/10.1109/JSTARS.2021.3083413).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ring/geometric_mean_denoising
Matlab implementation associated with the article "On the use and denoising of the temporal geometric mean for SAR time series", submitted to IEEE Geoscience and Remote sensing Letters by N.Gasnier, L.Denis and F.Tupin.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ring/glrt_based_lines_detector
Python implementation of the GLRT based linear features detector proposed by N.Gasnier, L.Denis, and F.Tupin in Generalized Likelihood Ratio Tests for Linear Structure Detection in SAR Images (EUSAR 2021).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ring/SAR-CNN
SAR Image Despeckling by Deep Neural Networks: from a pre-trained model to an end-to-end training strategy - Notebook implementation usable on Google Colaboratory
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mbe-tools/AADL-to-SystemC
Generation of SystemC code from AADL models for functional simulation
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sen/dev-projects/tei0001-03-16-c8a
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
latex/beamer-tpt-ng
Nouveau thème Beamer aux couleur de Télécom Paris
dernière synchronisation: il y a environ un an - étoiles: 3 - forks: 1
sen/dev-projects/sv_sim_uart
SystemVerilog simulation environment for an UART
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mbe-tools/mpm4cps-private
This project contains the ontological framework developed during the MPM4CPS COST Action IC1404 () by working group 1 on foundations for MPM4CPS (http://mpm4cps.eu/).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
dsi/presentation-services-dsi
Présentation de l'offre de service de la DSI
dernière synchronisation: il y a environ un an - étoiles: 0
sen/dev-projects/rtl-ator
Example of Verilog/SystemVerilog + SystemC TB simulation using Verilator
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
mbe-tools/TTool
TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 7 - forks: 0
griesner/geopf
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
griesner/poissonReco
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0