Showing 141 - 160 results of 868 for search '"Труды Института системного программирования РАН"', query time: 0.63s Refine Results
  1. 141
    Approach to detecting types inconsistency errors in a program code in dynamic languages

    Approach to detecting types inconsistency errors in a program code in dynamic languages by I. E. Bronshteyn

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  2. 142
    An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of "Elbrus"

    An Exploration of Approaches to Instruction Pipeline Implementation for Cycle-Accurate Simulators of "Elbrus" by Pavel Alexeyevich Poroshin, Alexey Nikolaevich Meshkov

    Published 2019-09-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  3. 143
    Генератор сложных данных Pinery: реализация новых возможностей UniTESK

    Генератор сложных данных Pinery: реализация новых возможностей UniTESK by А.В. Демаков, С.В. Зеленов, С.А. Зеленова

    Published 2008-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  4. 144
    Variants of Chinese Postman Problems and a Way of Solving through Transformation into Vehicle Routing Problems

    Variants of Chinese Postman Problems and a Way of Solving through Transformation into Vehicle Routing Problems by M. K. Gordenko, S. M. Avdoshin

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  5. 145
    Обучение передовым технологиям разработки ПО: проблемы и методы их решения.

    Обучение передовым технологиям разработки ПО: проблемы и методы их решения. by В.В. Кулямин, В. А. Омельченко, О. Л. Петренко

    Published 2004-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  6. 146
    Integration Points of Operating System Verification Techniques

    Integration Points of Operating System Verification Techniques by A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  7. 147
    A note on the concept of obfuscation.

    A note on the concept of obfuscation. by N.P. Varnovsky

    Published 2004-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  8. 148
    The problem-oriented library SOWFA for solving the applied tasks of wind energy

    The problem-oriented library SOWFA for solving the applied tasks of wind energy by M. V. Kraposhin, S. V. Strijhak

    Published 2019-02-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  9. 149
    Verifying functional properties of smart contracts using symbolic model-checking

    Verifying functional properties of smart contracts using symbolic model-checking by E. S. Shishkin

    Published 2018-12-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  10. 150
    Предисловие

    Предисловие

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  11. 151
    Fault detection in combinational circuits based on self-dual complement to constant-weight code

    Fault detection in combinational circuits based on self-dual complement to constant-weight code by Dmitry Victorovitch Efanov, Valery Vladimirovitch Sapozhnikov, Vladimir Vladimirovitch Sapozhnikov, Dmitry Vyatcheslavovitch Pivovarov

    Published 2019-04-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  12. 152
    The numerical solution of the problem of stratified fluid flow around a wedge using OpenFOAM

    The numerical solution of the problem of stratified fluid flow around a wedge using OpenFOAM by N. F. Dimitrieva

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  13. 153
    Свойства схем данных XML.

    Свойства схем данных XML. by Л.Г. Новак, С.Д. Кузнецов

    Published 2003-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  14. 154
    Проблемы экономики производства крупных программных продуктов

    Проблемы экономики производства крупных программных продуктов by В.В. Липаев

    Published 2008-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  15. 155
    Applying Java bytecode static instrumentation for software dynamic analysis

    Applying Java bytecode static instrumentation for software dynamic analysis by S. P. Vartanov, M. K. Ermakov

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  16. 156
    To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement

    To sort or not to sort: the evaluation of R-Tree and B+-Tree in transactional environment with ordered result requirement by P. V. Fedotovsky, G. A. Erokhin, K. E. Cherednik, K. K. Smirnov, G. A. Chernishev

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  17. 157
    Conformance testing based on a state relation

    Conformance testing based on a state relation by Igor B. Burdonov, Alexander S. Kosachev

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  18. 158
    Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос.

    Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. by С.Н. Жук

    Published 2004-01-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  19. 159
    On application of spatial decomposition method for large data sets indexing

    On application of spatial decomposition method for large data sets indexing by V. A. Zolotov, V. A. Semenov

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article
  20. 160
    Linguistic Approach to Suicide Detection

    Linguistic Approach to Suicide Detection by L. Ermakova, S. Ermakov

    Published 2018-10-01
    “…Труды Института системного программирования РАН…”
    Get full text
    Article

Search Tools: