Search Results for "asn.1 c#"

Stantor is a SCADA for home automation/domotic project. It drives : k8061-K8055(USB), K8000(I2C), Arduino Mega and Uno, X10, 1-Wire, electricity meters, Webcam (motion), infrared remote controls. It uses WEB browser, smartphone, xHTML, SOAP, Websocket, HTML5 Apache, mySQL, PHP, javascript and Ajax. Stantor allows control of electrical equipments like boilers, shutters, lamps, pumps, etc...connected to the 220V/110 VAC. Gathering information of various kinds such as temperature, light...

Evolvable Circuits

An Electronic Definition Interchange Format (EDIF) parser which allows exports from one EDA schematic capture system (such as OrCad) for import into another (such as KiCad)

..., insulators, surge arresters, non-linear grounds, and lightning strokes. It efficiently calculates energy and charge duty on surge arresters, and iterates to find the critical lightning current causing flashover on one or more phases. It is also suitable for use in substation insulation coordination. Capacitor switching, TRV, and other applicaitons may be added. EPRI originally had permission to use code from the Numerical Recipes book in LPDW. These routines have been removed in favor of GSL.

This is a Traffic Light with capability of controlling 4 sets of Lamps and Passengers light with one Counter and LCD for displaying the Time for every set of red light.

All design related files for a general purpose PCB, hosting a Microchip dsPIC33FJ256MC710 part. Includes gEDA schematic and layout files, BOM, etc... The card will include power regulation, SD memory card, in-circuit programming support, etc...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

XML is one way to transfer a Printed Circuit Board (PCB) data base between Software Applications. This projects starts with an export from PCB123 and creates a Kicad brd file.

An easy to use spice interface with GTK. This project allows to start and view the simultions with one or two click. It uses gschem for the schematics and ngspice as simulator.

SECU86 is Standard Engine Control Unit x86. The project goal is to develop a standard computer and OS (opensource) that would work on any car. It'll be based on the x86 processor and will try to replace the poor standard ECU that comes with any car.

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms. Silicis is a new formal framework for designing [verification] algorithms.

IVI is a graphical, interactive user-interface to various Open-Source HDL simulators. IVI is transitioning to using the Eclipse application framework.

This project is aimed to develop an Hardware Monitor & Protection System for PCs using PICmicros. This project is divided into two branches: the first one involves microcontroller's firmware, the second one software used to manage the PIC via COM po

Extensions to the circuit simulator Ngspice. One extension is the integration of the next generation build system SCons.

decida is [de]vice & [ci]rcuit [d]ata [a]nalysis. It is used for electron device characterization, procedural simulation/analysis of electronic circuits, or more general data analysis tasks.

PPort is a simple yet handy automation program and its documented counterpart for interfacing a PC with external devices. With this bundle, one can control any household appliance or electronic device with minimal hassle and practically no changes

Call for the specifications of (next generation of spice) spice4. The concept of spice kernel is proposed. The main function of spice kernel is to provide a communication between "application layer" and "low-level Algorithm layer".

GNU PIC LIBRARY PROJECT The interest of this project is to develop a set of Libraries that are released in LGPL License to use to PIC microcontroler programming. Then any program resulted by this use would be a proprietary or free softwares.

"DSO" is a Digital Signal Oscilloscope. My DSO will be connected via the USB to the PC. All software to operate the DSO is developed within this project.

Virtual electronic circuit simulation with JAVA based schematic entry and wave viewer, based on (Berkeley) SPICE, for any OS/Server/Browser configuration. Due to missing public feedback for over one year its status is set to INACTIVE (1/2004) - sorry.

This is an IEEE 1532 compliant JTAG programmer for CPLDs, FPGAs and similar programmable logic devices. It is only starting; developers are welcome!

MammCAD is a tool suite for performing rapid computer aided diagnosis of radiographic mammogram images. It is intended to be used for rapid development and deployment of low-cost CAD machines.

VMW is a software for students of Engineering/Science/Mathematics that can be used for solving mathematical problems in their field.

8051lib is a collection of easy-to-use C Functions and Assemble Languages Sets for the 8051 microcontroller. The Final Goal is to make the microcontroller developer focus on the Algorithms not the Hardware Drivers.