Automated Reasoning for Bluespec Designs

Programmi correlati

• Remote for MPC PRO Prova gratuita

  Controllare media player classic home cinema con il dispositivo Android utilizzando MPC Remote. Questa app è un telecomando per il tuo lettore MPC-HC in rete.MPC Remote implementa un design traslucido da KitKat in poi.

• PXPerl Gratuito

  PXPerl è una distribuzione binaria Perl completa per Windows(R) 2000/XP. Viene fornito con i binari di Perl, Pugs e Parrot, così come molti moduli Perl aggiuntivi rispetto ad ActivePerl.

• myjug community project Gratuito

  L'idea di questo progetto è di fornire un modo di imparare il modo open source. Naturalmente, il progettosarà costruito su altri quadri giacarta esistenti progetti. Il progetto è più simile a un meta progettoche consi

• Cloud Hub Gratuito

  L'hub cloud è un'implementazione di rete mesh wireless a livello di collegamento. Con il firmware dell'hub cloud, i punti di accesso si trovano automaticamente, ottimizzano la topologia di connessione e consentono ad altri ut

• CAPE-OPEN Logging Tools Gratuito

  Gli strumenti di registrazione CAPE-OPEN consentono la registrazione della comunicazione tramite interfacce CAPE-OPEN tra un ambiente di modellazione dei processi e un componente di modellazione dei processi.. La versione 1.0

• SimplePOS Gratuito

  Una suite software pos (Point of Sale) e gestione dell'inventario di alta qualità scritta in C++ con back-end del database MySQL e interfaccia web basata su PHP con supporto per scanner di codici a barre e qualsiasi stampante

• upIRC Prova gratuita

  upIRC (precedentemente apIRC) è un client IRC (Internet Relay Chat) per Palm OS. È veloce, stabile e include una gamma completa di funzionalità. Questi includono il supporto della chat DCC, il supporto personalizzato dei tip

• AI::Categorizer Perl modules Gratuito

  Framework Perl open source per la categorizzazione automatica del testo con metodi di Machine Learning.

• Tuxbox-TV Gratuito

  Con questo programma sarai in grado di selezionare e ottenere il TV-Stream dal tuodbox e mostrarlo sul PC, incluso EPG-Data.linguaggio di programmazione: Java Plattform del sistema operativo: Linux/Unix, Windows, Mac

• X-NetAPI Gratuito

  un plugin per simulatore di volo X-Plane e librerie client per una robusta API di rete al simulatore X-Plane.