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     

Conceptual document modelling and retrieval

This paper presents the main current theoretical issues in Information Retrieval. The principles of conceptual modelling, as they have emerged in the database area, are presented and their application to document modelling in order to enhance document retrieval is discussed. Finally, the main features of the MULTOS project are presented and critically reviewed confronting them with the requirements which have been identified during the general discussion on document conceptual modelling for information retrieval.     

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.     

FMR and EXAFS modeling of heat-treated Fe-rich and Co-rich TM-M thin films

Ion-beam sputter-deposited alloy films of Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ and Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ were examined for their magnetic and structural properties. Films were characterized by ferromagnetic resonance, vibrating sample magnetometry, and extended X-ray absorption fine structure (EXAFS) analysis. Using atomic parameters deduced from EXAFS modeling and fitting procedures, magnetic properties were calculated with no adjustable parameters. Correlation between perpendicular FMR measurements and EXAFS first-shell modeling suggests a low-temperature formation of cobalt-borides in the Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ alloy. Annealed Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ samples did not display evidence of structural and/or magnetic instabilities until the onset of long-range crystallization near T/sub ann/=400 degrees C.<>     

Mobile positioning using wireless networks: possibilities and fundamental limitations based on available wireless network measurements

Positioning in wireless networks is mainly used for safety, gaming, and commercial services. It is expected to increase in popularity when emergency call services become mandatory as well as with the advent of more advanced location-based services and mobile gaming. In this article, we discuss and illustrate the possibilities and fundamental limitations associated with mobile positioning based on available wireless network measurements. The possibilities include a sensor fusion approach and model-based filtering, while the fundamental limitations provide hard bounds on the accuracy of position estimates, given the information in the measurements in the most favorable situation. The focus of this article is to illustrate the relation between performance requirements, such as those stated by the Federal Communications Commission (FCC), and the available measurements. Specific issues on accuracy limitation in each measurement, such as synchronization and multipath problems, are briefly commented upon. A geometrical example, as well as a realistic example adopted from a cell planning tool, are used for illustration.     

Calculation of the molar volume of liquid hydrocarbons

Equations are proposed for calculating the molar volume of liquid hydrocarbons used in production of surfactants. With such data, it will be possible to calculate most of the physicochemical properties of these hydrocarbons to solve many process problems. __________ Translated from Khimiya i Tekhnologiya Topliv i Masel, No. 6, pp. 39–41, Novemmber–December, 2006.