Вы здесь

Главная

Программирование

Связанные издания:

ACM SIGGRAPH и обучение машинной графике в Соединенных Штатах
Artificial Neural Networks and Machine Learning - ICANN 2018, Part III: Proc./27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 2018
Assessment of a Flexible Architecture for Distributed Control
ASYS: пакет для исследования систем нелинейных алгебраических уравнений
BARSIC: программный комплекс, ориентированный на физика-исследователя
CASE-технология программирования четвертого поколения
CCSP - формальная система для отладки распределенных программ
C-DVM - язык разработки мобильных параллельных программ
CGM - международный стандарт на графический метафайл
ChiWriter - настольная издательская система?
CHIWRITER - настольная издательская система?
Datalog: a self-contained tutorial. Part one
Datalog: a self-contained tutorial. Part two
Design and Implementation of a Hybrid Agent Platform
DocLine: Метод разработки документации семейств программных продуктов
DVM-подход к автоматизации разработки параллельных программ для кластеров
Fortran DVM - язык для разработки мобильных параллельных программ
Information Systems Development as Knowledge Engineering: A Review of the DAIDA Project
LOGICALC: интеграция методов программирования в ограничениях и недоопределенных моделей
LP-структуры на решетках типов и некоторые задачи рефакторинга
LP-функции как средство представления знаний
Maple-пакет символьного построения решений линейных обыкновенных дифференциальных уравнений в виде степенных рядов
Multi-Party Coordination in the Context of Mows
Nobrainer: Инструмент преобразования C/C++ кода на основе примеров
PosDB: Обзор архтьектуры
REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени
Real: Методология и CASE-средство разработки информационных систем и программного обеспечения систем реального времени
SEMAT - взгляд на три года вперед
SLS: нумерую ая схема для больших XML-документов
SWITCH-технология - автоматный подход к созданию программного обепечения "реактивных" систем
The Third Annual Video Review of Computational Geometry
UQL: Язык запросов к интегрированным данным в терминах UML
Абстрактная модель компилятора как результат алгебраической семантики языка программирования
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
Автоматизация массового создания тестов работоспособности
Автоматизация процесса нормализации информации при внедрении систем управления основными данными
Автоматизация создания таблицы конфигурации программного обеспечения для систем реального времени в авионике
Автоматизированное конструирование процедур идентификации объектов, принадлежа их нескольким классам
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования
Автоматическая классификация документов на основе латентно-семантического анализа
Автоматический синтез программ действий интеллектуальных роботов
Автоматическое восстановление типов в задаче декомпиляции
Автоматическое построение систем распределенных компонентов по моделям вложенных сетей Петри
Автоматическое разрешение лексической многозначности терминов на основе сетей документов
Автоматное распознавание двусвязный лабиринтов с конечным циклическим диаметром
Автоматно-полугрупповые модели программ
Авто-распараллеливатель и векторизатор программ, реализованный на основе универсальной библиотека трансляции и технологии LLVM
Авто-распараллеливатель программ, реализованный на основе компонентной технологии построения оптимизирую их компиляторов
Адаптация общих концепций тестирования программного обеспечения к нейронным сетям
Аксиоматизация эволюции схемы XML-баз данных