Effect of Nontraditional Additives on the Processes of Silicate and Glass Formation

The results of studying the effect of nontraditional additives, namely, metallic aluminum and zinc powders on the process of silicate and glass formation using polythermal and thermogravimetric analysis, are described. The specifics of the glass-melting process for decorative glasses using the nontraditional additives are considered. __________ Translated from Steklo i Keramika, No. 5, pp. 7 – 10, May, 2005.     

Use of the Precipitation Method in the Synthesis of Ceramic Pigments

The results of the synthesis of ceramic pigments using coprecipitation of hydroxides and difficultly soluble salts of multivalent metal ions are described. The specifics of the coprecipitation process and the effect of various factors on the production of the initial precipitates for subsequent synthesis of ceramic pigments are analyzed. The technology of pigment production is described. __________ Translated from Steklo i Keramika, No. 6, pp. 37 – 39, June, 2005.     

The Metaflow architecture

The Metaflow architecture, a unified approach to maximizing the performance of superscalar microprocessors, is introduced. The Metaflow architecture exploits inherent instruction-level parallelism in conventional sequential programs by hardware means, without relying on optimizing compilers. It is based on a unified structure, the DRIS (deferred-scheduling, register-renaming instruction shelf), that manages out-of-order execution and most of the attendant problems. Coupling the DRIS with a speculative-execution mechanism that avoids conditional branch stalls results in performance limited only be inherent instruction-level parallelism and available execution resources. Although presented in the context of superscalar machines, the technique is equally applicable to a superpipelined implementation. Lightning, the first implementation of the Metaflow architecture, which executes the Sparc RISC instruction set is described     

Transformational approach to program concretization

This paper focuses on the problem of program concretization by applying correctness-preserving transformations of annotated programs. According to the approach presented, a general-purpose program can be annotated by known information about a specific context of its applications and correctly transformed into a specialized program which is equivalent to the original one on the context-defined ranges of inputs and outputs and is better than it by quality criteria given by the context. Tools for program concretizations via annotated program transformations are considered.