Информационно-коммуникационные технологии в преподавании математики

Θεματικοί όροι: преобразование программ, система дистанционного обучения, электронное обучение, дистанционное обучение, методика преподавания, преподавание математики, электронные учебно-методические комплексы, ЭУМК, математические дисциплины

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://elib.belstu.by/handle/123456789/56992

An Interactive Specializer Based on Partial Evaluation for a Java Subset

Συγγραφείς: And.V. Klimov, Psi, Pereslavl-Zalessky, Russia, I.A. Adamovich, Kiam, Moscow, Russia

Πηγή: Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 29-44 (2018)

Θεματικοί όροι: преобразование программ, 0209 industrial biotechnology, объектно-ориентированный язык, Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, анализ программ, интерактивная специализация программ, QA75.5-76.95, 02 engineering and technology, частичные вычисления, среда разработки программ

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/4/isp_30_2018_4_29.pdf
https://doaj.org/article/d6b3764c22e145c0ad87c4d2b5336f5d
https://ispranproceedings.elpub.ru/jour/article/view/553
https://ispranproceedings.elpub.ru/jour/article/download/553/299

Tail recursion transformation in functional dataflow parallel programs

Συγγραφείς: O. V. Nepomnyaschy, Mariya S. Kropacheva, Alexander I. Legalov, Ivan Vasilievich Matkovsky

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2015)
Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)

Θεματικοί όροι: преобразование программ, функционально-потоковое параллельное программирование, tail recursion, хвостовая рекурсия, язык программирования Пифагор, programs transformation, functional dataflow parallel programming, 0202 electrical engineering, electronic engineering, information engineering, Information technology, 02 engineering and technology, pifagor programming language, T58.5-58.64

Σύνδεσμος πρόσβασης: https://www.mais-journal.ru/jour/article/download/40/36
https://doaj.org/article/6e8abfe29f5141be87e4db9e79276fba
https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569
https://link.springer.com/content/pdf/10.3103/S0146411613070237.pdf
https://dblp.uni-trier.de/db/journals/accs/accs47.html#LegalovNMK13
https://link.springer.com/article/10.3103/S0146411613070237
https://rd.springer.com/article/10.3103%2FS0146411613070237

Tail Recursion Transformation in Functional Dataflow Parallel Programs

Συγγραφείς: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

Πηγή: Моделирование и анализ информационных систем, Vol 19, Iss 4, Pp 48-58 (2012)

Θεματικοί όροι: функционально-потоковое параллельное программирование, хвостовая рекурсия, преобразование программ, язык программирования Пифагор, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

Relation: http://mais-journal.ru/jour/article/view/40; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

Σύνδεσμος πρόσβασης: https://doaj.org/article/b53193689f7443fbaf86adbb5b3bf569

Tail Recursion Transformation in Functional Dataflow Parallel Programs ; Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах

Συγγραφείς: A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva, Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева

Συνεισφορές: грант в рамках ФЦП «Научные и научно-педагогические кадры инновационной России»

Πηγή: Modeling and Analysis of Information Systems; Том 19, № 4 (2012); 48-58 ; Моделирование и анализ информационных систем; Том 19, № 4 (2012); 48-58 ; 2313-5417 ; 1818-1015

Θεματικοί όροι: язык программирования Пифагор, tail recursion, programs transformation, Pifagor programming language, хвостовая рекурсия, преобразование программ

Περιγραφή αρχείου: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/40/36; Легалов А.И. Функциональный язык для создания архитектурно-независимых параллельных программ // Вычислительные технологии. 2005. № 1 (10). С. 71–89.; Удалова Ю.В., Легалов А.И., Сиротинина Н.Ю. Методы отладки и верификации функционально-потоковых параллельных программ // Журнал Сибирского федерального университета. Серия «Техника и технологии». 2011. Том 4, №2. С. 213–224.; Редькин А.В., Легалов А.И. Событийное управление выполнением функционально-потоковых параллельных программ // Научный вестник НГТУ. 2008. №3 (32). С. 111–120.; Легалов А.И., Редькин А.В. Расширение асинхронного управления по готовности данных // Труды III Международной конференции «Параллельные вычисления и задачи управления» PACO’2006. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2006. С. 1272–1281. (Электронное издание)

Διαθεσιμότητα: https://www.mais-journal.ru/jour/article/view/40
https://doi.org/10.18255/1818-1015-2012-4-48-58

Информационно-коммуникационные технологии в преподавании математики

Συγγραφείς: Асмыкович, Иван Кузьмич, Борковская, Инна Мечиславовна, Пыжкова, Ольга Николаевна

Θεματικοί όροι: математические дисциплины, преподавание математики, методика преподавания, преобразование программ, электронное обучение, электронные учебно-методические комплексы, ЭУМК, система дистанционного обучения, дистанционное обучение

Περιγραφή αρχείου: application/pdf

Relation: https://elib.belstu.by/handle/123456789/56992; 37.016:51

Διαθεσιμότητα: https://elib.belstu.by/handle/123456789/56992

ОСОБЕННОСТИ РЕАЛИЗАЦИИ РАСПАРАЛЛЕЛИВАЮЩИХ ПРЕОБРАЗОВАНИЙ ПРОГРАММ В CИСТЕМЕ ДВОР

Συγγραφείς: ШТЕЙНБЕРГ Б.Я., КРАВЧЕНКО Е. Н, МОРЫЛЕВ Р.И., НИС З.Я., ПЕТРЕНКО В.В., СКИБА И. С. СКИБА, ШАПОВАЛОВ В.Н., ШТЕЙНБЕРГ О.Б., ШТЕЙНБЕРГ Р.Б.

Θεματικοί όροι: РАСПАРАЛЛЕЛИВАНИЕ,ПРЕОБРАЗОВАНИЕ ПРОГРАММ,ОПТИМИЗАЦИЯ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/osobennosti-realizatsii-rasparallelivayuschih-preobrazovaniy-programm-v-cisteme-dvor
http://cyberleninka.ru/article_covers/16470274.png

TECHNIQUE AND TOOLS FOR REWRITING THE RULES OF SOFTWARE ENGINEERING GRAPHICS ACCELERATORS ; ТЕХНИКА И ИНСТРУМЕНТАРИЙ ПЕРЕПИСЫВАЮЩИХ ПРАВИЛ ДЛЯ ИНЖЕНЕРИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ГРАФИЧЕСКИХ УСКОРИТЕЛЕЙ ; ТЕХНІКА ТА ІНСТРУМЕНТАРІЙ ПЕРЕПИСУЮЧИХ ПРАВИЛ ДЛЯ ІНЖЕНЕРІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ГРАФІЧНИХ ПРИСКОРЮВАЧІВ

Συγγραφείς: Дорошенко, Анатолій Юхимович, Жереб, Костянтин Анатолійович

Πηγή: Engineering Software; Vol. 4 No. 4 (2010); 35 ; Инженерия программного обеспечения; Том 4 № 4 (2010); 35 ; Інженерія програмного забезпечення; Том 4 № 4 (2010); 35

Θεματικοί όροι: Graphical processing units, rewriting rules technique, automated program transformations, formal design methods, development tools, Microsoft .NET framework, 681.3, Графические процессоры, переписывание правил техники, автоматизированные преобразование программ, формальные методы проектирования, средства разработки, Графічні процесори, переписування правил техніки, автоматизовані перетворення програм, формальні методи проектування, засоби розробки

Περιγραφή αρχείου: application/pdf

Relation: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019/2956; https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019

Διαθεσιμότητα: https://jrnl.nau.edu.ua/index.php/IPZ/article/view/3019

High-Level Design Flows for VLSI Circuit

Συγγραφείς: Nepomnyashchy, Oleg V., Legalov, Alexander I., Sirotinina, Natalia J.

Θεματικοί όροι: program transformation, algorithm, интегральная схема, integrated circuit, высокоуровневое проектирование, верификация, преобразование программ, функционально-потоковое параллельное программирование, functional data-flow programming, параллельные потоки данных, high-level design, parallel data flows, алгоритм, verification

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=429967

Особенности реализации распараллеливающих преобразований программ в cистеме двор

Πηγή: Известия высших учебных заведений. Приборостроение.

Θεματικοί όροι: РАСПАРАЛЛЕЛИВАНИЕ,ПРЕОБРАЗОВАНИЕ ПРОГРАММ,ОПТИМИЗАЦИЯ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/16470274.png
http://cyberleninka.ru/article/n/osobennosti-realizatsii-rasparallelivayuschih-preobrazovaniy-programm-v-cisteme-dvor

Проект системы рефакторинга, ориентированной на программы обработки разреженных матриц

Πηγή: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления.

Θεματικοί όροι: ПРЕОБРАЗОВАНИЕ ПРОГРАММ, РЕФАКТОРИНГ, РАЗРЕЖЕННЫЕ МАТРИЦЫ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14524716.png
http://cyberleninka.ru/article/n/proekt-sistemy-refaktoringa-orientirovannoy-na-programmy-obrabotki-razrezhennyh-matrits

О преобразовании программ, созданных некоторыми МS DOS приложениями, для работы в среде WINDOWS

Θεματικοί όροι: преобразование программ, программы, среда MS DOS, среда WINDOWS

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://rep.bsatu.by/handle/doc/9255

High-Level Design Flows for VLSI Circuit ; Маршруты высокоуровневого синтеза сверхбольших интегральных схем

Συγγραφείς: Nepomnyashchy, Oleg V., Legalov, Alexander I., Sirotinina, Natalia J., Непомнящий, О.В., Легалов, А.И., Сиротинина, Н.Ю.

Θεματικοί όροι: integrated circuit, high-level design, verification, algorithm, parallel data flows, program transformation, functional data-flow programming, интегральная схема, высокоуровневое проектирование, верификация, алгоритм, параллельные потоки данных, преобразование программ, функционально-потоковое параллельное программирование

Relation: Журнал Сибирского федерального университета. Техника и технологии. Journal of Siberian Federal University. Engineering & Technologies;2014 7 (6)

Διαθεσιμότητα: https://elib.sfu-kras.ru/handle/2311/13372

Investigating effectiveness of specialisation application in developing algorithms based on linear algebra methods ; Исследование эффективности применения специализации при разработке алгоритмов, основанных на методах линейной алгебры

Συγγραφείς: Балашов Илья Вадимович, Balasov Ila Vadimovic

Συνεισφορές: Ахин Марат Халимович, Ahin Marat Halimovic, Березун Даниил Андреевич, Berezun Daniil Andreevic

Θεματικοί όροι: специализация, компиляторы, оптимизация программ, частичные вычисления, автоматическое преобразование программ, алгоритмы линейной алгебры, partial evaluation, compilers, program optimization, automatic program transformation, linear algebra-based algorithms

Relation: 062090; http://hdl.handle.net/11701/32360

Διαθεσιμότητα: http://hdl.handle.net/11701/32360

О преобразовании программ, созданных некоторыми МS DOS приложениями, для работы в среде WINDOWS

Συγγραφείς: Песляк, В. И.

Θεματικοί όροι: среда MS DOS, программы, преобразование программ, среда WINDOWS

Περιγραφή αρχείου: application/pdf

Relation: Моделирование сельскохозяйственных процессов и машин: тезисы второй республиканской научно-технической конференции, Минск, 21-23 мая 1996 г.; https://rep.bsatu.by/handle/doc/9255; 621

Διαθεσιμότητα: https://rep.bsatu.by/handle/doc/9255