Приложение
для AndroidПолное описание
Романенко, С. А. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления / С. А. Романенко. - Москва : ИПМ им. М. В. Келдыша РАН, 2018. - 32 с. - (Препринт / Институт прикладной математики имени М. В. Келдыша (Москва), ISSN 2071-2898 ; 209 за 2018 г.). - Библиогр.: с. 29-31 (26 назв.). - 59 экз. - 20 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41.25 | 004.422.8'422(04) |
Рубрики:
Компиляторы программ
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
Попов И.В. Об одном подходе к построению поверхностных и объемных сеток / И. В. Попов, Е. В. Вихров, 2017. - 14 с.Фролов В.А. Избирательное применение Metropolis Light Transport для трудновычислимых феноменов освещённости / В. А. Фролов, 2017. - 34 с.Ким Д.А. Моделирование деформации жидкой оловянной капли в результате воздействия лазерного импульса / Д. А. Ким, И. Ю. Вичев, 2017. - 19 с.Шестопёров А.И. Линейно-квадратичные методы гашения низкочастотных колебаний в нежестком элементе конструкции макета / А. И. Шестопёров, С. С. Ткачев, 2017. - 29 с.Давыдов О.И. Робот и Искусственный Интеллект. Технократический подход / О. И. Давыдов, А. К. Платонов, 2017. - 24 с.Семёнов И.В. Математическое моделирование осесимметричных внутрибаллистических процессов / И. В. Семёнов, И. С. Меньшов, М. Ю. Немцев, 2017. - 20 с.Козлов А.Н. Исследование процесса ионизации азота и образования многозарядных ионов в канале плазменного ускорителя / А. Н. Козлов, В. С. Коновалов, 2017. - 32 с.Численное исследование обтекания модели космического аппарата / В. Е. Борисов [и др.], 2017. - 18 с.Козлов А.Н. МГД модель взаимодействия потока плазмы из КСПУ с магнитным полем кольцевых проводников с током / А. Н. Козлов, 2017. - 36 с. - Текст : непосредственный.Зипунова Е.В. Две новые численные схемы для моделирования магнетиков / Е. В. Зипунова, А. В. Иванов, 2017. - 18 с.Попков К.А. Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов / К. А. Попков, 2017. - 16 с.Назаров В.И. Графовое представление сценариев сборки последовательностей иммунных рецепторов / В. И. Назаров, Э. С. Клышинский, 2017. - 29 с.Брюно А.Д. Сложные и экзотические разложения решений пятого уравнения Пенлеве / А. Д. Брюно, 2017. - 18 с.Махов С.А. Динамическая макромодель стран БРИКС с учетом торговли / С. А. Махов, 2017. - 20 с.Антипов В.И. Макроэкономическая имитационная модель развития России / В. И. Антипов, Н. А. Митин, Ф. Ф. Пащенко, 2017. - 48 с. - Текст : непосредственный.Чечина А.А. Новые алгоритмы перестроения автомобилей для микроскопической модели транспортных потоков на основе теории клеточных автоматов / А. А. Чечина, 2017. - 14 с. - Текст : непосредственный.Бахвалов П.А. О точности разрывного метода Галёркина для одномерного уравнения переноса при длительном счете / П. А. Бахвалов, 2017. - 24 с.Батхин А.Б. Вычисление обобщённого дискриминанта вещественного многочлена / А. Б. Батхин, 2017. - 40 с.Попков К.А. Полные диагностические тесты длины два для схем при инверсных неисправностях функциональных элементов / К. А. Попков, 2017. - 10 с.Козлов А.Н. Модель неравновесного процесса ионизации с учетом поуровневой кинетики и переноса излучения в канале плазменного ускорителя / А. Н. Козлов, В. С. Коновалов, 2017. - 28 с.
Показать все результатыПроизводственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Устройство автоматизации SIMATIC S5-115U : Руководство по работе и программированию / ВЦП. - 334 с. - Текст : непосредственный.Руководство по программному обеспечению EGA 480. Дополнение к руководству по EGA 480 Card / ВЦП. - 27 c. - Текст : непосредственный.Программное обеспечение Dr. Halo III : Инструкция пользователя / ВЦП. - 103 c. - Текст : непосредственный.Руководство по программному обеспечению FFT / ВЦП. - 30 c. - Текст : непосредственный.Исследование вопроса проверки программ защиты для системы / ВЦП. - 41 c. - Текст : непосредственный.Анализатор "ЭЛАН" / ВЦП. - 273 c. - Текст : непосредственный.Руководство-приложение к пакету программ DAMAGE BOUNDARY / ВЦП. - 19 c. - Текст : непосредственный.LSN.Команда прослушивания Listen / ВЦП. - 132 с. - Текст : непосредственный.Команда Анализ остатка RAN / ВЦП. - 101 с. - Текст : непосредственный.TLA-команда пересылки меток / ВЦП. - 108 с. - Текст : непосредственный.Атомно-абсорбционный спектрофотометр модель - 5100 : Справочное руководство. Гл.10. Использование функций / ВЦП. - 345 с. - Текст : непосредственный.Программирование тестов. Рабочие станции тестирования печатных плат 227Х / ВЦП. - 150 c. - Текст : непосредственный.Программируемые рабочие станции для проверок с платой 227Х фирмы ГенРэд. Описания языка испытания (версия 8.2). Гл.6 / ВЦП. - 162 c. - Текст : непосредственный.Программируемые рабочие станции для проведения проверок с платой 227Х фирмы ГенРад: Описание языка испытаний. Версия 8.2 / ВЦП. - 118 c. - Текст : непосредственный.Джокер. Система классификации и упорядочения по рангу. Версия 2.0 : Руководство пользователя / ВЦП. - 69 c. - Текст : непосредственный.Руководство для пользователей по программному обеспечению системы САТ / ВЦП. - 46 c. - Текст : непосредственный.
Показать все результатыЗонд системы ТРИО : Инструкция по эксплуатации / ВЦП. - 18 c. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Breslauer D. Fast parallel string prefix-matching / D.Breslauer, 1992. - 8 p. - Текст : непосредственный.Breslauer D. Tight comparison bounds for the string prefix-matching problem / D.Breslauer,L.Colussi,L.Toniolo, 1992. - 7 p. - Текст : непосредственный.Pemberton S. The ergonomics of software porting automatically configuring software to the runtime environment -or- everything you wanted to know about your C compiler, but didn't know who to ask / S.Pemberton, 1992. - 20 p. - Текст : непосредственный.Igarashi J. ЕП expressions of sentential aspects in a contextual language processing model / J.Igarashi, 1993. - 93 p. - Текст : непосредственный.Залогова Л.А. Разработка Паскаль-компилятора : Учеб.пособие по спецкурсу / Л.А.Залогова, 1993. - 119 c. - Текст : непосредственный.Fokkink W.J. A complete equational axiomatisation for prefix iteration / W.J.Fokkink, 1994. - 6 p. - Текст : непосредственный.Eker S.M. A comparison of OBJ3 and ASF+SDF / S.M.Eker, 1992. - 24 p. - Текст : непосредственный.Предкомпиляторы ORACLE : Руководство для языка Pro*CВерсия 1.5Учетный номер 5452-15-1292Пер.с англ., 1994. - Разд.паг. с. - Текст : непосредственный.Ashton K. Pattern matching, conceptualisation, seminatics and logic / K.Ashton, 1994. - 14 p. - Текст : непосредственный.Серебряков В.А. Лекции по конструированию компиляторов / В.А.Серебряков, 1994. - 175 c. - Текст : непосредственный.Бондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Очков В.Ф. Этюды на языках QBasic QuckBasic Basic Compiler / В.Ф.Очков,М.А.Рахаев, 1995. - 367 c. - Текст : непосредственный.complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 46 p. - Текст : непосредственный.Kamperman J.F.Th. Simulating TRSs by minimal TRSs:a simple,efficient, and correct compilation technique / J.F.Th.Kamperman,H.R.Walters, 1996. - 15 p. - Текст : непосредственный.Naidich D. Implicit induction techniques for the verification of Piм - a transformational toolkit for compilers / D.Naidich,T.B.Dinesh, 1996. - 34 p. - Текст : непосредственный.Towards a complete transformational toolkit for compilers / J.A.Bergstra,T.B.Dinesh,J.Field,J.Heering, 1996. - 53 p. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.
Показать все результатыБондарь Я.С. Учет контекстных условий в алгоритме генерации тестов для компиляторов / Я.С.Бондарь, 1995. - 20 c. - Текст : непосредственный.Затуливетер Ю.С. ПАРСЕК - язык компьютерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования : Препринт / Ю.С.Затуливетер,Т.Г.Халатян, 1997. - 71 с. - Текст : непосредственный.Пономарев Ю.В. Графор. Возможность работы с компилляром MS Fortran for Power Station 4.0 / Ю.В.Пономарев, 1997. - 18 с. - Текст : непосредственный.Kotulski L. The separate complllation of the Colnet language / L. Kotulski, W. Kaczorowski, J. Rosek, 1991. - 12 p. - Текст : непосредственный.Зевина С.Г. Использование средств логического программирования в системах построения компиляторов : Препринт / С.Г.Зевина, 1991. - 30 с. - Текст : непосредственный.Бугеря А.Б. Компиляция и запуск программ на языке НОРМА / А.Б.Бугеря, 2001. - 12 с. - Текст : непосредственный.Проект верифицирующего компилятора. Ч.1. Общее описание проекта F BOOL , его место в компонентном подходе к программированию. Язык Mini-NIL - прототип языка виртуальной машины проекта / Е. В. Бодин, Н. А. Калинина, Н. В. Шилов, 2005. - 22 с. - Текст : непосредственный.Бодин Е.В. Проект верифицирующего компилятора fbool. Ч. 2: Логические аннотации в языке Mini-Nil, их статическая семантика и семантика времени исполнения / Е.В. Бодин, Н.А.Калинина, Н.В.Шилов, 2006. - 31 с. - Текст : непосредственный.Модульная архитектура компилятора языка Норма+ / А. Н. Андрианов [и др.], 2011. - 16 с. - Текст : непосредственный.Климов А.В. Суперкомпиляция: основные принципы и базовые понятия / А. В. Климов, С. А. Романенко, 2018. - 36 с.Романенко С.А. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления / С. А. Романенко, 2018. - 32 с.Кучик, Игорь Евгеньевич. Компиляции и запуск программ для выполнения на сервере Intel XeonPhi : препринт / И. Е. Кучик, В. А. Трофимов, 2017. - 76, [2] с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Заказ фрагмента документа ₽