Исследования – Разное
Каждый, кто программирует, думает, что он умеет, или где стоило применять автоматное программирование (внешняя ссылка: ko.com.ua)
![](/images/spacer.gif)
EiffelState
Надя Поликарпова в одном из лучших университетов мира (внешняя ссылка: se.inf.ethz.ch)
![](/images/spacer.gif)
Проект EiffelState (внешняя ссылка: code.google.com)
![](/images/spacer.gif)
Электрические Джунгли
Конкурс алгоритмов "Электрические Джунгли" (внешняя ссылка: sun.udsu.ru)
![](/images/spacer.gif)
Электроджунгли. Новый конкурс по программированию на Java (PDF)
![](/images/spacer.gif)
Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle
![](/images/spacer.gif)
Калугин Е.В. Система управления существом Yeti для игры Electric Jungle
![](/images/spacer.gif)
Вотинов И.А. Система управления существами ConquerorBeing для игры Электрические Джунгли
![](/images/spacer.gif)
Хасянзянов Б.З. Система управления существом QBeing для проекта Электрические Джунгли
![](/images/spacer.gif)
Тестирование
Веденеев В. В. Автоматизация тестирования использования программных интерфейсов приложений на основе моделирования конечными автоматами
![](/images/spacer.gif)
Статья Бертрана Мейра "Семь принципов тестирования программ" (внешняя ссылка: www.osp.ru)
![](/images/spacer.gif)
Малинин С.Н. Тестирование объектно-ориентированных программ моделированием конечными автоматами (внешняя ссылка: izvuz.pnzgu.ru)
![](/images/spacer.gif)
Крупные компании не любят тестирование (внешняя ссылка: www.osp.ru)
![](/images/spacer.gif)
Обработка изображений
Zhai Y., Rasheed Z., Shah M. A Framework for Semantic Classification of Using Finite State Machines (PDF)
![](/images/spacer.gif)
Yu Z., Zhou X., Zhang D., Lugmayr A., Yu Zh. A Ubiquitous Personalized Multimedia Service Model Based on FSM (PDF)
![](/images/spacer.gif)
Balk A., Maggiorini D., Gerla M., Sanadidi M.Y. Adaptive MPEG-4 Video Streaming with Bandwidth Estimation (PDF)
![](/images/spacer.gif)
Ravotto D., Sanchez E., Schillaci M., Squillero G. An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction (PDF)
![](/images/spacer.gif)
Kim D., Ha S. Asynchronous Interaction between FSM and Dataflow Models (PDF)
![](/images/spacer.gif)
Ranjan K., Aziz A., Brayton K.R., Plessier B., Pixley C. Efficient BDD Algorithms for FSM Synthesis and Verification (PDF)
![](/images/spacer.gif)
Cesario W.O., Sugar Z., Moussa I., Jerraya A.A. Efficient Integration of Behavioral Synthesis within Existing Design Flows (PDF)
![](/images/spacer.gif)
Thorton M.A., Drechsler R. Evolutionary Algorithm Approach for Symbolic FSM Traversals (PDF)
![](/images/spacer.gif)
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)
![](/images/spacer.gif)
Sutter G., Todorovich E., Lopez-Buedo S., Boemo E. FSM Decomposition for Low Power in FPGA (PDF)
![](/images/spacer.gif)
Chien S., Hsieh B., Huang Y., Ma S., Chen L. Hybrid Morpholology Processing Unit Architecture for Moving Object Segmentation Systems (PDF)
![](/images/spacer.gif)
Swamy M.G., Brayton R.K., Singhal V. Incremental Methods for FSM Traversal (PDF)
![](/images/spacer.gif)
Seinstra F.J., Koelma D. Lazy Parallelization: A Finite State Machine Based Optimization Approach for Data Parallel Image Processing Applications (PDF)
![](/images/spacer.gif)
Evans B.L., Arslan G. Raising the Level of Abstraction: a Signal Processing System Design Course (PDF)
![](/images/spacer.gif)
CEG 5010: Reconfigurable Computing Finite State Machines (PDF)
![](/images/spacer.gif)
Park S., Choi K. Sequential Circuit Optimization by FSM Transformation (PDF)
![](/images/spacer.gif)
Yan L., Du J., Huang Q., Jiang Sh. Story Unit Segmentation with Friendly Acoustic Perception (PDF)
![](/images/spacer.gif)
Benini L., De Micheli G. System-Level Power Optimization: Techniques and Tools (PDF)
![](/images/spacer.gif)
Seinstra F.J., Koelma D. User Transparency: A Fully Sequential Programming Model for Efficient Data Parallel Image Processing (PDF)
![](/images/spacer.gif)
Yue G., Yong J., Cheng F. Video Shot Boundary Detection Using Frame-Skipping Technique (PDF)
![](/images/spacer.gif)
Uhl A. Workshop on Parallel and Distributed Image Processing, Video Processing, and Multimedia (PDF)
![](/images/spacer.gif)
Автоматы и параллельные вычисления
Автоматное программирование и многоядерные процессоры (внешняя ссылка: www.osp.ru)
![](/images/spacer.gif)
Клепиков В.И. Подчиненные сети Петри в задачах логического управления (внешняя ссылка: www.ipmce.ru)
![](/images/spacer.gif)
Программная инженерия
Стив Меллор - модели должны работать (внешняя ссылка: www.osp.ru)
![](/images/spacer.gif)
"Проблемы "Булавы" не в пиропатронах, а в качестве программирования" (внешняя ссылка: www.expert.ru)
![](/images/spacer.gif)
Чем интересен SCRUM-менежмент? (PCWEEK, “В определенном смысле ничего нового в методологии разработки ПО нет”) (внешняя ссылка: www.pcweek.ru)
![](/images/spacer.gif)
Программная кибернетика
Автоматное программирование как составляющая Software Cybernetics (внешняя ссылка: www.osp.ru)
![](/images/spacer.gif)
Towards Research on Software Cybernetics (внешняя ссылка: www.cs.hku.hk)
![](/images/spacer.gif)
The Third IEEE International Workshop on Software Cybernetics IWSC 2006 in conjunction with COMPSAC 2006. Chicago, September 18-21, 2006 (внешняя ссылка: paris.utdallas.edu)
![](/images/spacer.gif)
The Fourth IEEE International Workshop on Software Cybernetics IWSC 2007 Beijing, China, July 24, 2007 (in conjunction with COMPSAC 2007) (внешняя ссылка: paris.utdallas.edu)
![](/images/spacer.gif)