প্রদর্শন 1 - 20 ফলাফল এর 209 অনুসন্ধানের জন্য '"Труды Института системного программирования РАН"', জিজ্ঞাসা করার সময়: 0.22সেকেন্ড ফলাফল পরিমার্জন করুন
An Overwiew of Evolution of Lexical Query Optimization Techniques
Search method for format string vulnerabilities

Preface
Creating Test Data for Market Surveillance Systems with Embedded Machine Learning Algorithms

Memristor-based Hardware Neural Networks Modelling Review and Framework Concept
Visual Parallel Programming as PaaS cloud service with Graph-Symbolic Programming Technology

Multiagent methods and tools of management in a service-oriented distributed computing environment
Towards Deductive Verification of C Programs with Shared Data

Linux Driver Verification Architecture
К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.

О распознавании сложности аппроксимации булевых функций.
Система классификации химических проб.

Обучение передовым технологиям разработки ПО: проблемы и методы их решения.
Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов.

Debugger for Real-Time OS: Challenges of Multiplatform Support
Mathematical modeling of polymeric cover outgassing process in open space conditions

Using unreachable code analysis in static analysis tool for finding defects in source code
Instrumentation and optimization of transactional sections execution in multithreaded programs

Use of Multiple Features for Extracting Topics from News Clusters
Mechanisms for functional testing of hardware models at different levels of abstraction

অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য — এই ই-মেইলটি অনুসন্ধান করুন — অনুসন্ধান সংরক্ষণ করুন