Search w/in this Title for Titles All Reviews
	Programming and Computing Software Plenum Press         Options: Date Reviewed Title Author Publisher Published Date Descending Order Ascending Order     1-10 of 13 reviews Date Reviewed      Baget real-time operating system family (features, comparison, and future development) Godunov A., Soldatov V. Programming and Computing Software 40(5): 259-264, 2014.  Type: Article Two versions of Baget, the Russian real-time operating system (RTOS), are presented in this paper. It provides some elements of history that led to the development of the initial versions, and then the fork to two separate tracks. It c... Mar 24 2015    Texterra: a framework for text analysis Turdakov D., Astrakhantsev N., Nedumov Y., Sysoev A., Andrianov I., Mayorov V., Fedorenko D., Korshunov A., Kuznetsov S. Programming and Computing Software 40(5): 288-295, 2014.  Type: Article Turdakov et al. describe the Texterra framework developed at the Institute for System Programming (ISP) of the Russian Academy of Sciences (RAS). Texterra’s intended use is for multi-language text analysis using knowledge ext... Jan 8 2015   Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology Drozdov A., Novikov S., Vladislavlev V., Kochetkov E., Il’in P. Programming and Computing Software 40(3): 128-138, 2014.  Type: Article New kinds of computer hardware demand new compilers to make effective use of their specific architectural features. However, the rapid pace of architecture development challenges the authors of compiler back-ends, whose code generators... Jul 14 2014   A model of dynamical concurrent program execution Vasenin V., Krivchikov M. Programming and Computing Software 39(1): 1-9, 2013.  Type: Article Suppose we have a class of objects that represent the state of a computer, and a function that takes one of these objects as an argument and returns another one of these objects. If we have a way to translate a program into such a func... Jan 15 2014   Investigation of center manifolds of three-dimensional systems using computer algebra Romanovski V., Mencinger M., Ferčec B. Programming and Computing Software 39(2): 67-73, 2013.  Type: Article A computational approach to center manifolds is presented in this paper. The theory of center manifolds offers a way to reduce the dimension of a system of ordinary differential equations. In a series of theorems, the authors describe ... Dec 16 2013   Ontology-based data access systems Kogalovsky M. Programming and Computing Software 38(4): 167-182, 2012.  Type: Article Intended as a survey, this paper presents a historical glance at database management systems and their design going back to the 1960s.... Mar 5 2013   On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol Ganzha E. Programming and Computing Software 38(3): 150-155, 2012.  Type: Article Partial differential equations (PDEs) are an important tool for studying, analyzing, and modeling the behavior of dynamic phenomena such as sound waves and their diffusion mechanisms, the heating and cooling rates of substances, and th... Feb 26 2013   ECMA-335 static formal semantics Vasenin V., Krivchikov M. Programming and Computing Software 38(4): 183-188, 2012.  Type: Article Formal semantics are becoming increasingly important as a prerequisite for creating trusted software. This is especially useful when a standard such as ECMA-335 exists for defining a language, in this case, the common language infrastr... Jan 24 2013   On a universal model for the organization of database access Klepinin A. Programming and Computing Software 33(1): 34-43, 2007.  Type: Article Klepinin has given much thought to universalizing a model for database access. In this paper, he proposes a software model that has the required functionality for any database management system (DBMS). His premise is that, with natural... Aug 7 2008    Standardization and testing of implementations of mathematical functions in floating point numbers Kuliamin V. Programming and Computing Software 33(3): 154-173, 2007.  Type: Article Standards are important in all areas of computing. They provide consistency, and allow implementations to be verified for conformance. The IEEE Standard for Binary Floating-Point Arithmetic (IEEE 754) was responsible for ensuring that ... Oct 26 2007       Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy