TEJADA Muñoz, Guillermo. Programa computacional para síntesis de circuitos lógicos combinacionales. Electrónica - UNMSM [en línea]. 2010, no.26, p. 5-12. ISSN 1561-0853.Este trabajo presenta los resultados de un programa para minimizar funciones lógicas de hasta seis variables basado en el algoritmo de Quine-McCluskey, el programa ha sido codificado en lenguaje C++. Se muestran algunos de los resultados los cuales han sido validados al compararlos con los resultados obtenidos con los mapas de Karnaugh
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
A la par del desarrollo de las computadoras electrónicas ha habido otros paradigmas para adquirir, p...
Se elabora un paquete de programas de computación capaz de analizar y diseñar la mayoria de los pro...
This paper presents the results of a program to minimize logic functions of up to six variables base...
La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problema...
Orientador: Ivanil Sebastião BonattiDissertação (mestrado) - Universidade Estadual de Campinas, Facu...
Tesis de Maestría presentada a la Facultad de Física e Inteligencia Artificial de la Universidad Ver...
Includes bibliographical references (leaf [73])A logic synthesis tool called LST is developed. This ...
Resumo: No desenvolvimento de projetos de circuitos lógicos Multi-valores, é necessário obter o resu...
This master thesis is concerned about the resynthesis of combinational circuits with the help of evo...
1 Introduction Program synthesis is concerned with deriving programs from their specifications. Suc...
Utilizando un sencillo modelo físico propuesto por Swanepoel en 1983 sobre la transmisión de la luz ...
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un...
Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo prop...
El objetivo de esta comunicación es la presentación del sistema de rpogramación PROLNOU. Dicho siste...
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
A la par del desarrollo de las computadoras electrónicas ha habido otros paradigmas para adquirir, p...
Se elabora un paquete de programas de computación capaz de analizar y diseñar la mayoria de los pro...
This paper presents the results of a program to minimize logic functions of up to six variables base...
La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problema...
Orientador: Ivanil Sebastião BonattiDissertação (mestrado) - Universidade Estadual de Campinas, Facu...
Tesis de Maestría presentada a la Facultad de Física e Inteligencia Artificial de la Universidad Ver...
Includes bibliographical references (leaf [73])A logic synthesis tool called LST is developed. This ...
Resumo: No desenvolvimento de projetos de circuitos lógicos Multi-valores, é necessário obter o resu...
This master thesis is concerned about the resynthesis of combinational circuits with the help of evo...
1 Introduction Program synthesis is concerned with deriving programs from their specifications. Suc...
Utilizando un sencillo modelo físico propuesto por Swanepoel en 1983 sobre la transmisión de la luz ...
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un...
Programa para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo prop...
El objetivo de esta comunicación es la presentación del sistema de rpogramación PROLNOU. Dicho siste...
This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is ...
A la par del desarrollo de las computadoras electrónicas ha habido otros paradigmas para adquirir, p...
Se elabora un paquete de programas de computación capaz de analizar y diseñar la mayoria de los pro...