Вы здесь

Главная

вычисление

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

Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в полиморфной системе типов с подтипами и предикатами
Статистические вычисления в программах
Структурированные модели для эффективных параллельных вычислений
Сходимость метода недоопределенных вычислений при решении линейных уравнений
Сходимость метода недоопределенных вычислений при решении линейных уравнений
Табличные инварианты на графах и их применение
Теория вычислений с оракулами и рекурсивных иерархий
Технология тиражирования данных в распределенных системах
Формальные методы, языковые и инструментальные средства синтеза клеточных алгоритмов и архитектур
Частичные вычисления и декомпозиция программ
Чистка остаточной программы как метод оптимизации вычислений на реляционном языке
Эквивалентность моделей локальных вычислений
Эквивалентность моделей локальных вычислений
Эффективная генерация кодов векторных вычислений в вычислительных системах типа ОКМД
Язык STAR для ассоциативных и параллельных вычислений с вертикальной обработкой
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях