- Full text PDF available (3)
- This year (0)
- Last 5 years (2)
- Last 10 years (8)
Journals and Conferences
Current paper presents a special case of BDDs called Structurally Synthesized BDDs. Different from BDDs, which are generated by Shannon's expansion, SSBDDs are generated by a superposition procedure. The paper investigates the mathematical properties of such kind of BDDs, in order to separate the properties of the underlying " skeleton " graphs from the… (More)
In this paper we present two methods for synthesis of High-Level Decision Diagrams (HLDD) for representing digital systems at higher behavior, functional or register-transfer levels. The first method is based on symbolic execution of procedural descriptions, which corresponds to functional representation of systems on the behavioral level. The second one is… (More)
Based on the cost computations for automatic and manual processes of the film development the conditions for useful operations of automatic developing machines are derived. The analysis is given to the problem of an adequate supply of X-ray photolaboratories with necessary equipment and staff.