Search Results for "bdd" - Page 2
Sort By:
Showing 40 open source projects for "bdd"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
Java Decision Diagram Libraries (BDD)
Java Decision Diagrams (BDD) libraries: JDD and JBDD
This project has been moved to bitbucket.org: - https://bitbucket.org/vahidi/jbdd/wiki/Home - https://bitbucket.org/vahidi/jdd/wiki/Home It includes two libraries for working with decision diagrams: - JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy - JDD: a native Java library supporting BDD, Z-BDD -
2
OOP PHP class for MySQL access and management. Clase PHP orientada a objetos para el acceso y gestión de datos MySQL. Documentación en línea en http://www.jorgefm.com/dBdd.php English documentation will be available soon!
-
3
bdd is a unix/linux command that handles bit streams (non byte-aligned). The name comes from binary-dd. bdd is written in Python and it tries to be extremely flexible but not very efficient.
-
4
Servidor de IRC basado en el servidor de Undernet con encriptacion de IPs, IPv6 y otras caracterísicas como una base de datos distribuida (BDD) para la gestión integral de un portal de chat, así como otros proyectos y programas relacionados.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
Dibycia est un outil de gestion de bases de données créé à l’origine pour le projet Ambycia. Il permet, en outre, le versionnage de la structure de votre BDD, facilitant les projets multi-développeurs.
-
6
An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.
-
7
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
-
8
Specter is an object-behaviour specification framework for .NET and Mono. It enables behavior driven development (BDD) by allowing developers to write executable specifications for their objects, before actually implementing them.
-
9
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
-
11
-
12
produce full software package using the binary decision diagram (BDD) representation to manipulate logic maps for design optimization objectives multiplyer{like(A+B)(C)(D)}In C++ Core.C++ GUI.VB6 Verilog Modules Quin McCluskey Multi Functions Operations
-
13
JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd). There is a GUI for small bdd's where you can see how bdd's work (for teaching purposes).
-
14
IBEN is the interactive BDD environment. It allows you to declare, manipulate and visualize reduced ordered binary decision diagrams (ROBDDs). It was designed as a learning tool, although it is useful whenever you need to manipulate BDD interactively and
-
15
Servicios de Red en Perl. Desarrollado para ircd IRcuHispano (P10) y para el protocolo DBH. Contienen control intensivo de la Red, registro de nicks en BDD y vhost, servicio para preoperadores, encuestas y pre registro de canales.
