Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. REDLIB
  5. Download

REDLIB 8

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

acerca de REDLIB

* Biblioteca de comprobación de modelos/comprobación de simulación para el sistema en tiempo real con modelos de tiempo denso en C con tecnología CRD (Clock-Restriction Diagrams). * Biblioteca de análisis paramétrico para sistemas híbridos lineales en C con tecnología HRD (Hybrid-Restriction Diagram)

Programas relacionados

  • Open Pandora's Box Gratis

    Pandora es un bot artificial inteligente basado en web. Pandora es una arquitectura de IA basada en componentes que incluye, memoria de base de datos, XML, voz, grabación de voz, chat, IRC, HTTP, Wiktionary, Freebase, concien

  • ActiveWizard Prueba gratuita

    ActiveWizard es un control ActiveX fácil de usar que le permite crear asistentes de 'estilo Windows 2000'. Simplemente coloque un control ActiveWizard en el formulario, agregue algunos controles ActivePane y el control Active

  • Tilem - TI Linux Emulator Gratis

    Un emulador para la serie Z80 de calculadoras gráficas de Texas Instruments. Emula todos los modelos de calculadora Z80 actuales excepto el TI-81, y cuenta con un depurador, carga de archivos externos y soporte flash completo

  • CUBRID Cluster Gratis

    Vea http://www.cubrid.org/cluster. CUBRID Cluster es un DBMS agrupado de código abierto para una alta escalabilidad, que incluye características de esquema global, partición distribuida y equilibrio de carga. Es un proyecto s

  • Resolution Changer FREE Gratis

    Esta aplicación requiere root #Resolution Changer es una aplicación que le permite cambiar la resolución de su dispositivo. ¿Alguna vez conectas tu dispositivo a tu TV o monitor y consigues barras negras? ¿No puede obtener sa

  • Looper Event / Alert System Gratis

    Looper Event / Alert System es una aplicación utilizada principalmente para la administración de red para realizar la supervisión y redirección de alertas. Está diseñado con extrema simplicidad en mente y está altamente modul

  • Keystone Parser Gratis

    Keystone Parser es un front-end de analizador para la definición de lenguaje ISO C++.Se incluye la API de Clouseau.

  • Easy Recovery Gratis

    • ... Se necesita Acces de Raíz ... Esta aplicación instala una recuperación personalizada, simplemente introduzca la ruta de acceso a ella y se parpadearáSo no soy responsable de nada!!! Dispositivos destacados (100 % de tra

  • Privacy Blocker Prueba gratuita

    ($1.99 por tiempo limitado, precio normal será $3.99)(Por favor, pruebe Inspector de privacidad antes de comprar Bloqueador de privacidad)☆ Los usuarios de AT&T necesitan "SideLoading" habilitado para usar la

  • RKFS - A new filesystem for Linux Gratis

    RKFS - Un nuevo sistema de archivos innovador para Linux. El objetivo es proporcionar un sistema de archivos simple, pero a la vez potente que tiene todas las características como Ext2 pero para dispositivos pequeños (disposi