Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. REDLIB
  5. Download

REDLIB 8

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎1 ‎Votes

Sur REDLIB

* Bibliothèque de vérification des modèles/simulation-vérification pour le système en temps réel avec des modèles en temps dense en C avec la technologie CRD (Clock-Restriction Diagrams). * Bibliothèque d’analyse paramétrique pour les systèmes linéaires hybrides en C avec HRD (Hybrid-Restriction Diagram) technol

Programmes connexes

  • Open Pandora's Box Gratuit

    Pandora est un bot intelligent artificiel basé sur le Web. Pandora est une architecture d’IA basée sur des composants comprenant, mémoire de base de données, XML, voix, rec de voix, chat, IRC, HTTP, Wiktionary, Freebase, cons

  • ActiveWizard Essai gratuit

    ActiveWizard est un contrôle ActiveX facile à utiliser qui vous permet de créer des assistants de style Windows 2000. Il suffit de mettre un contrôle ActiveWizard sur votre formulaire, d’ajouter des contrôles ActivePane et le

  • Tilem - TI Linux Emulator Gratuit

    Un émulateur pour la série Z80 de calculatrices graphiques Texas Instruments. Il émule tous les modèles actuels de calculatrice Z80 à l’exception du TI-81, et dispose d’un débugger, chargement de fichiers externes, et le sout

  • CUBRID Cluster Gratuit

    Voyez http://www.cubrid.org/cluster. CUBRID Cluster est un DBMS groupé open source pour une évolutivité élevée, y compris des schémas mondiaux, des partitions distribuées et des fonctionnalités d’équilibrage de la charge. Il

  • Resolution Changer FREE Gratuit

    ####### CETTE APPLICATION NÉCESSITE ROOT ####Resolution Changer est une application qui vous permet de modifier la résolution de votre appareil. Avez-vous déjà connecté votre appareil à votre téléviseur ou moniteur et obtenir

  • Looper Event / Alert System Gratuit

    Le looper Event / Alert System est une application principalement utilisée pour la gestion du réseau pour effectuer la surveillance des alertes et la redirection. Il est conçu avec une extrême simplicité à l’esprit et est hau

  • Keystone Parser Gratuit

    Keystone Parser est un parser front-end pour la définition de la langue ISO C++.L’API Clouseau est incluse.

  • Easy Recovery Gratuit

     ¢  ~  ... Root Acces avait besoin de à ¢  ~  ... Cette application installe une récupération personnalisée, il suffit d’entrer le chemin vers elle et il sera flashéI ne suis pas responsable de quoi que ce soit!!! Appare

  • Privacy Blocker Essai gratuit

    (1,99 $ pour une durée limitée, le prix normal sera de 3,99 $)(S’il vous plaît essayer inspecteur de la vie privée avant d’acheter Privacy Blocker)☆ et AT&T Les utilisateurs ont besoin de « SideLoading » activé

  • RKFS - A new filesystem for Linux Gratuit

    RKFS - Un nouveau système de fichiers innovant pour Linux. L’objectif est de fournir un système de fichiers simple, mais pourtant puissant qui a toutes les fonctionnalités comme Ext2, mais pour les petits appareils (appareils