Automates finis
Book Reviews
Computer science a jej vzťah k matematike
Expertní systémy
Introduction à la théorie des langages
Prehl'ad teórie výpočtovej složitosti
Quelques aspects du problème
Reduction in the number of LUT elements for control units with code sharing
Two methods are proposed targeted at reduction in the number of look-up table elements in logic circuits of compositional microprogram control units (CMCUs) with code sharing. The methods assume the application of field-programmable gate arrays for the implementation of the combinational part of the CMCU, whereas embedded-memory blocks are used for implementation of its control memory. Both methods are based on the existence of classes of pseudoequivalent operational linear chains in a microprogram...
Statistical approach to proof theory
Teoretické základy informatiky
О проведении выкладок в режиме ПРОРАБА