Tag cloud | Project Tree | Project List

2A A Posteriori Error Estimation Arithmetic B Method Boost C++ CUDA Calcul Parallele CamiTK Computational Geometry Computer Vision Courses Cryptology Domain Specific Embedded Language Education FFI FST Feel++ Finite Fields Finite element method Finite fields Functional Designation GPGPU GPU Galerkin methods Graph ICD Loader IPv6 Integer Internet JS LJK LaTex Lemon Life Linguistic Programming MPI MT MaiMoSiNE Mesh Adaptation NLP Numerical Methods Numerical methods OpenCL Python ReSICLED Rheolef Ruby STEP Scientific computing SimGrid Software tools SpMV Systemes embarques TD TEL Traces Visualisation WSD analyse asymptotique c++ cmake data analysis ecoulemenents sanguins education formal verification front-end high order methods high performance computing human computer interface immersive teleoperation interaction linux midi milieux poreux monitoring multi-core multimodality networking numerical methods pattern mining pebble game pervasive computing programming environments protocols robot scilab security sensor service oriented architecture socket software engineering systemc systemes critiques testbed traffic analysis traffic generator visualization wiktionary wireless

3 projects in result set.
Course Scientific Computing and Tools - This project holds two Master courses: one in scientific computing and one regarding the software tools useful in visualisation and scientific computing
Tags: Courses, Scientific computing, Software tools, Visualisation, Finite element method, Numerical methods

Activity Percentile: 0
Activity Ranking: 0
Registered: 2008-12-01 13:40

M2P INFO-2 - Projet pour le cours m2p info-2 afin que les étudiants de M2P puissent s'exercer avec la forge. Lors de l'année ils auront à utiliser LJKFORGE pour leurs projets
Tags: Outils informatiques, Software tools, programming environments, Python, C++, Boost

Activity Percentile: 0
Activity Ranking: 0
Registered: 2009-10-07 13:34

MODMED Tools - Tools for MODel-based verification of MEDical cyber-physical systems: - C++ structured traces library - DSL to express required/assumed/usage properties of execution traces - Monitor generation tool to verify properties on actual traces - ...
Tags: C++, Python, monitoring, Software tools, Domain Specific Embedded Language, Requirements, Traces, formal verification

Activity Percentile: 99
Activity Ranking: 2
Registered: 2016-12-02 15:44

Powered By FusionForge