incubos's ru [7 articles] Export Sort

Recent papers added to incubos's library classified by the tag ru. You can also see everyone's ru.

Hide details

	Разработка технологии генерации шаблонов распределённых приложений на основе формального описания прикладных протоколов [My Copy] (2007) by Вадим Цесько posted to uml thesis spbstu ru research protocol phd model-driven model methodology mdd mda design by incubos on 2009-09-21 17:32:37 as
	Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ [My Copy] Информационные и управляющие системы, Vol. 2, No. 39. (2009), pp. 34-41. by Владимир Ицыксон, Михаил Моисеев, Вадим Цесько, Алексей Захаров, Марат Ахин posted to static source russian ru interval detection defect code analysis by incubos on 2009-09-01 10:39:06 as
	Исследование средств автоматизации обнаружения дефектов в исходном коде программ [My Copy] Научно-технические ведомости СПбГПУ, Vol. 2 (2008), pp. 91-102. by Владимир Ицыксон, Михаил Моисеев, Вадим Цесько, Анатолий Карпенко posted to verification static source russian ru detection defect code analysis by incubos on 2009-09-01 10:36:36 as
	Исследование и разработка метода автоматизации контроля безопасности кода программных систем [My Copy] Материалы XII Всероссийской конференции по проблемам науки и высшей школы In Фундаментальные исследования в технических университетах (14 May 2008), pp. 148-149. by Вадим Цесько, Владимир Ицыксон posted to source safety russian ru code by incubos on 2009-09-01 10:30:33 as
	Генерация шаблонов распределённых приложений на основе формального описания прикладных протоколов [My Copy] Вычислительные, измерительные и управляющие системы: Сборник научных трудов (2007), pp. 91-102. by Вадим Цесько, Владимир Ицыксон edited by Сениченков posted to russian ru protocol programming hpc distributed application by incubos on 2009-09-01 10:27:25 as
	Подходы к представлению и хранению метаинформации о медиаобъектах [My Copy] In XXXIV Неделя науки СПбГПУ: Материалы Всероссийской межвузовской научно-технической конференции студентов и аспирантов, Vol. V (2006), pp. 46-48. by Андрей Власовских, Вадим Цесько, Владимир Ицыксон posted to semantic russian ru media by incubos on 2009-09-01 10:24:09 as along with 1 person vlasovskikh
	Разработка подхода и создание платформы для организации разнородных высокопроизводительных серверных вычислений на базе открытых кластерных технологий [My Copy] Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых учёных Северо-Запада In Технологии Microsoft в теории и практике программирования (2006), pp. 80-82. by Вадим Цесько, Владимир Ицыксон posted to russian ru hpc cluster by incubos on 2009-09-01 10:18:30 as

Note: You may cite this page as: http://www.citeulike.org/user/incubos/tag/ru

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

ru	7
research	7
russian	6
verification	4
source	4
code	4
model	4
formal	3
analysis	3
method	3
model-checking	3
static	3
programming	3
bdd	2
language	2
phd	2
reliability	2
hpc	2
defect	2
detection	2
robdd	2
protocol	2
thesis	2
safety	1
machine	1
deductive	1
application	1
interval	1
automata	1
testing	1
model-driven	1
cluster	1
master	1
automaton	1
general	1
fsm	1
generic	1
checking	1
spbstu	1
fun	1
mda	1
comparison	1
design	1
datalog	1
openmosix	1
finite	1
media	1
methodology	1
mdd	1
uml	1
mine	1
distributed	1
state	1
semantic	1

incubos's ru [7 articles] Export Sort

incubos's tags