The function level evolvable hardware approach to synthesize the combinational multiple-valued and binary logic functions is proposed in first time. The new representation of logic gate in extrinsic EHW allows us to describe behaviour of any multi-input multi-output logic function. The circuit is represented in the form of connections and functionalities of a rectangular array of building blocks. Each building block can implement primitive logic function or any multi-input multi-output logic function defined in advance. The method has been tested on evolving logic circuits using half adder, full adder and multiplier. The effectiveness of this approach is investigated for multiple-valued and binary arithmetical functions. For these function...
To integrate CA*-systems with other applications in the world of CIM, one principal approach current...
AbstractLight linear logic [1] is a refinement of the propositions-as-types paradigm to polynomial-t...
We design new inference systems for total orderings by applying rewrite techniques to chaining calcu...
Electric circuits are present in a number of applications, e.g. in home computers, television, credi...
AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of ...
The development of integrated circuits requires powerful numerical simulation programs. Of course, ...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
This thesis presents a design style for implementing communicating sequential processes (CSP) as qua...
We present here GM-C, a Graph Categorical Multi-Combinator Machine, a new machine for the compilatio...
Ph.D.The derived category D(X) = Dᵇ(CohX) of coherent sheaves on an algebraic variety X, introduced ...
The Contribution deals with the Internet application of the program system for the synthesis and di...
This work demonstrates a use of the relational-functional language RelFun for specifying and impleme...
Girard worked with the category of coherence spaces and continuous stable maps and observed that the...
This paper contributes to the model theory of modal logic using bisimulations as the fundamental too...
MATLAB is one of the software that can create Graphical User Interface (GUI). The GUI will be design...
To integrate CA*-systems with other applications in the world of CIM, one principal approach current...
AbstractLight linear logic [1] is a refinement of the propositions-as-types paradigm to polynomial-t...
We design new inference systems for total orderings by applying rewrite techniques to chaining calcu...
Electric circuits are present in a number of applications, e.g. in home computers, television, credi...
AbstractLast works in linear logic mark a trend that can be summarized as: studying of fragments of ...
The development of integrated circuits requires powerful numerical simulation programs. Of course, ...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
This thesis presents a design style for implementing communicating sequential processes (CSP) as qua...
We present here GM-C, a Graph Categorical Multi-Combinator Machine, a new machine for the compilatio...
Ph.D.The derived category D(X) = Dᵇ(CohX) of coherent sheaves on an algebraic variety X, introduced ...
The Contribution deals with the Internet application of the program system for the synthesis and di...
This work demonstrates a use of the relational-functional language RelFun for specifying and impleme...
Girard worked with the category of coherence spaces and continuous stable maps and observed that the...
This paper contributes to the model theory of modal logic using bisimulations as the fundamental too...
MATLAB is one of the software that can create Graphical User Interface (GUI). The GUI will be design...
To integrate CA*-systems with other applications in the world of CIM, one principal approach current...
AbstractLight linear logic [1] is a refinement of the propositions-as-types paradigm to polynomial-t...
We design new inference systems for total orderings by applying rewrite techniques to chaining calcu...