Публикации
References
Articles: |
|---|
|
Efficient Interpolation in the Guruswami-Sudan Algorithm
IEEE Transactions on Information Theory,
56(9):4341-4349
September
2010
|
|
Обработка экспериментальных данных энергетических объектов как начальный этап их моделирования
Научно-технические ведомости СПбГПУ,
11(2):106-112
February
2010
|
|
Применение агентного подхода к имитационному моделированию процесса распространения заболевания.
Научно-технические ведомости СПбГПУ,
11(2):126-132
February
2010
|
|
Верификация алгоритма транзакционной памяти
НТВ СПбГПУ,
(101):107-111
2010
|
|
Инновационные возможности проекта RAND MODEL DESIGNER.
Компьютерные инструменты в образовании,,
5:стр.-29-34
2010
|
|
Абитуриент, что ты знаешь о факультете технической кибернетики?
Компьютерные инструменты в школе,
5:стр.-25-29
2010
|
|
Modeling hybrid systems in MvStudium.
SNE,
20,(№ 1):р 31-34
2010
|
|
Проектирование программных бортовых систем управления с поддержкой верификации
Модел. и анал. информ. систем,
17(4):125-136
2010
|
|
Grid-Technology for Chemical Reactions Calculation
Transactions on Computational Science,
7:154-162
2010
|
|
Повышение точности байесовского классификатора текстовых документов
Научно-технические ведомости СПбГПУ,
11(1):6-12
2010
|
Books: |
|
Введение в язык Promela и систему комплексной верификации Spin
Publisher: СПбГПУ, Санкт-Петербург
2010
|
|
Технология программирования. Верификация параллельных и распределенных программ
Publisher: Изд-во Политехнического университета,
2010
ISBN: 978-5-7422-2422-8
|
|
Адаптивное кодирование в многочастотных системах
Publisher: LAP Lambert Academic Publishing,
2010
ISBN: 978-3-8433-0035-3
|
|
Model Checking. Верификация параллельных и распределенных программных систем
Publisher: БХВ-Петербург,
2010
ISBN: 978-5-9775-0404-1
|
Contributions to collections: |
|
Среда визуального моделирования OpenMVL.
In Спб, изд. Политехнического университета., editor,
Вычислительные, измерительные и управляющие системы.
page стр. 84-89.
2010
|
Contributions to proceedings: |
|
On Multivariate Interpolation Decoding of Folded Reed-Solomon codes
Proceedings of International Workshop on Algebraic and Combinatorial Coding Theory
, page 274-279.
September
2010
|
|
Physics virtual experiments in Model Vision Studium.
GIREP-MPTL 2010: Teaching and learning physics today. Reims international conference.
, page 301.
Reims, France
2010
|
|
Обеспечение качества программных систем управления
Материалы XIV Всероссийской конференции "Фундаментальные исследования и инновации в национальных исследовательских университетах". Пленарные доклады
, page 88-92.
СПб.
2010
|
|
Методика конкретизации процессов предоставления государственных услуг
"Интернет и современное общество": Труды XIII Всероссийской объединенной конференции
, page 232-234.
СПб.
2010
ISBN: 978-5-903811-06-9
|
|
Технология проектирования и верификации распределенных бортовых систем
Материалы международного семинара PSSV
Казань
2010
|
|
Методика конкретизации процессов исполнения государственных услуг и бизнес-процессов
Региональная информатика РИ-2010: Труды международной конференции
СПб
2010
|
|
Fast interpolation in algebraic soft decision decoding of Reed-Solomon codes
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering
, page 65-69.
2010
|
|
Another Derivation of Wu List Decoding Algorithm and Interpolation in Rational Curve Fitting
Proceedings of IEEE R8 International Conference on Computational Technologies in Electrical and Electronics Engineering
, page 59-64.
2010
|
mailto: webmaster@dcn.ftk.spbstu.ru