УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Исследования – Разное (версия для печати)


Исследования – Разное



Каждый, кто программирует, думает, что он умеет, или где стоило применять автоматное программирование (внешняя ссылка: ko.com.ua)

EiffelState

Надя Поликарпова в одном из лучших университетов мира (внешняя ссылка: se.inf.ethz.ch)

Проект EiffelState (внешняя ссылка: code.google.com)

Электрические Джунгли

Конкурс алгоритмов "Электрические Джунгли" (внешняя ссылка: sun.udsu.ru)

Электроджунгли. Новый конкурс по программированию на Java (PDF)

Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle

Калугин Е.В. Система управления существом Yeti для игры Electric Jungle

Вотинов И.А. Система управления существами ConquerorBeing для игры Электрические Джунгли

Хасянзянов Б.З. Система управления существом QBeing для проекта Электрические Джунгли

Тестирование

Веденеев В. В. Автоматизация тестирования использования программных интерфейсов приложений на основе моделирования конечными автоматами

Статья Бертрана Мейра "Семь принципов тестирования программ" (внешняя ссылка: www.osp.ru)

Малинин С.Н. Тестирование объектно-ориентированных программ моделированием конечными автоматами (внешняя ссылка: izvuz.pnzgu.ru)

Крупные компании не любят тестирование (внешняя ссылка: www.osp.ru)

Обработка изображений

Zhai Y., Rasheed Z., Shah M. A Framework for Semantic Classification of Using Finite State Machines (PDF)

Yu Z., Zhou X., Zhang D., Lugmayr A., Yu Zh. A Ubiquitous Personalized Multimedia Service Model Based on FSM (PDF)

Balk A., Maggiorini D., Gerla M., Sanadidi M.Y. Adaptive MPEG-4 Video Streaming with Bandwidth Estimation (PDF)

Ravotto D., Sanchez E., Schillaci M., Squillero G. An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction (PDF)

Kim D., Ha S. Asynchronous Interaction between FSM and Dataflow Models (PDF)

Ranjan K., Aziz A., Brayton K.R., Plessier B., Pixley C. Efficient BDD Algorithms for FSM Synthesis and Verification (PDF)

Cesario W.O., Sugar Z., Moussa I., Jerraya A.A. Efficient Integration of Behavioral Synthesis within Existing Design Flows (PDF)

Thorton M.A., Drechsler R. Evolutionary Algorithm Approach for Symbolic FSM Traversals (PDF)

Seinstra F.J., Koelma D., Bagdanov A.D. Finite State Machine Based Optimization of Data Parallel Regular Domain Problems Applied in Low Level Image Processing (PDF)

Sutter G., Todorovich E., Lopez-Buedo S., Boemo E. FSM Decomposition for Low Power in FPGA (PDF)

Chien S., Hsieh B., Huang Y., Ma S., Chen L. Hybrid Morpholology Processing Unit Architecture for Moving Object Segmentation Systems (PDF)

Swamy M.G., Brayton R.K., Singhal V. Incremental Methods for FSM Traversal (PDF)

Seinstra F.J., Koelma D. Lazy Parallelization: A Finite State Machine Based Optimization Approach for Data Parallel Image Processing Applications (PDF)

Evans B.L., Arslan G. Raising the Level of Abstraction: a Signal Processing System Design Course (PDF)

CEG 5010: Reconfigurable Computing Finite State Machines (PDF)

Park S., Choi K. Sequential Circuit Optimization by FSM Transformation (PDF)

Yan L., Du J., Huang Q., Jiang Sh. Story Unit Segmentation with Friendly Acoustic Perception (PDF)

Benini L., De Micheli G. System-Level Power Optimization: Techniques and Tools (PDF)

Seinstra F.J., Koelma D. User Transparency: A Fully Sequential Programming Model for Efficient Data Parallel Image Processing (PDF)

Yue G., Yong J., Cheng F. Video Shot Boundary Detection Using Frame-Skipping Technique (PDF)

Uhl A. Workshop on Parallel and Distributed Image Processing, Video Processing, and Multimedia (PDF)

Автоматы и параллельные вычисления

Автоматное программирование и многоядерные процессоры (внешняя ссылка: www.osp.ru)

Клепиков В.И. Подчиненные сети Петри в задачах логического управления (внешняя ссылка: www.ipmce.ru)

Программная инженерия

Стив Меллор - модели должны работать (внешняя ссылка: www.osp.ru)

"Проблемы "Булавы" не в пиропатронах, а в качестве программирования" (внешняя ссылка: www.expert.ru)

Чем интересен SCRUM-менежмент? (PCWEEK, “В определенном смысле ничего нового в методологии разработки ПО нет”) (внешняя ссылка: www.pcweek.ru)

Программная кибернетика

Автоматное программирование как составляющая Software Cybernetics (внешняя ссылка: www.osp.ru)

Towards Research on Software Cybernetics (внешняя ссылка: www.cs.hku.hk)

The Third IEEE International Workshop on Software Cybernetics IWSC 2006 in conjunction with COMPSAC 2006. Chicago, September 18-21, 2006 (внешняя ссылка: paris.utdallas.edu)

The Fourth IEEE International Workshop on Software Cybernetics IWSC 2007 Beijing, China, July 24, 2007 (in conjunction with COMPSAC 2007) (внешняя ссылка: paris.utdallas.edu)




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com