... Voronov, Vasiliy. Scalability and efficiency of parallel power grid simulations on massively-parallel platforms (submitted). ... 2009. ... Voronov, Vasiliy and Popova, Nina. ... Conference proceedings 2010. ... Abstract Book of SIAM Conference on Parallel Processing for Scientific Computing (SIAM PP10). ... Proceedings of the International Conference on Parallel Computing (ParCo-2009). ... IEEE Computer Press. ... Pozdneev, Alexander and Popova, Nina and Voronov, Vasiliy. ...

Еще в разделе: (Показать все результаты (>4) - angel.cmc.msu.ru/ )

• http://angel.cmc.msu.ru/~ifed/teraflops/Goritskaya_MPI2.pdf

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

... Xilinx: Virtex-5 FPGA , Virtex-4 FPGA , Virtex II Pro FPGA , Virtex II FPGA , Virtex/E/EM FPGA , Spartan-3E FPGA , Spartan-3 FPGA , CoolRunner-II CPLD . Altera: Cyclone III FPGA , Cyclone II FPGA , Cyclone FPGA , Stratix III FPGA , Stratix II FPGA , Stratix FPGA , Stratix II GX FPGA , Stratix GX FPGA , Arria GX FPGA , MAX II CPLD , MAX 3000A CPLD , MAX 7000 CPLD . ... FPGA микросхемы семейства Cyclone III выполнены по 65 нм SRAM технологии фирмы Taiwan Semiconductor Manufacturing Company. ...

Еще в разделе: (Показать все результаты (>4) - fpga.parallel.ru/ )

• Основные производители современных ПЛИС-компьютеров и комплектующих к ним

... Геология >> Геология океанов и морей | ... Богданов Ю. А., Гидротермальные рудопроявления рифтов Срединно-Атлантического хребта, 166 с., Научный Мир, Москва, 1997. ... Эволюция осадочного рудообразования в истории Земли, Ред. ... Деков В. М., Гидротермальное осадкообразование в Тихом океане, 208 с., Наука, Москва, 1994. ... Геологическая история океана, сер. ... Лисицын А. П., Богданов Ю. А., Гурвич Е. Г., Гидротермальные образования рифтовых зон океана, 256 с., Наука, Москва, 1990. ...

Еще в разделе: (Показать все результаты (>4) - phys.web.ru/ )

Published on Совет молодых ученых ВМК МГУ ( http://smu.cs.msu.ru ) . Главная > Мероприятия > Конференция ?Ломоносов? > 2013 . ... XX Международная конференция Ломоносов-2013 проходит с 9 по 12 апреля 2013 года. Официальный сайт конференции Ломоносов -љ http://lomonosov-msu.ru [1] . ... Руководители: Шевцова Ирина Геннадьевна, Нефедова Юлия Сергеевна . ... Ответственный секретарь љ? ассистент к.ф.-м.н. Шевцова Ирина Геннадьевна . ... Программа секции ВМК 9-11 апреля 2013г. [3] . ...

Еще в разделе: (Показать все результаты (>2) - smu.cs.msu.ru/ )

• XXI конференция Ломоносов (7-11 апреля 2014г.)

Published on Совет молодых ученых ВМК МГУ ( http://smu.cs.msu.su ) . Главная > Мероприятия > Конференция ?Ломоносов? > 2013 . ... XX Международная конференция Ломоносов-2013 проходит с 9 по 12 апреля 2013 года. Официальный сайт конференции Ломоносов -љ http://lomonosov-msu.ru [1] . ... Руководители: Шевцова Ирина Геннадьевна, Нефедова Юлия Сергеевна . ... Ответственный секретарь љ? ассистент к.ф.-м.н. Шевцова Ирина Геннадьевна . ... Программа секции ВМК 9-11 апреля 2013г. [3] . ...

Еще в разделе: (Показать все результаты (>2) - smu.cs.msu.su/ )

• XXI конференция Ломоносов (7-11 апреля 2014г.)

This domain may be for sale - этот домен возможно продается . ... The gathered information about your visits to this and other websites are used by these third party companies in order to provide advertisements about goods and services of interest to you. ... If you would like more information about this practice and to know your choices about not having this information used by these companies, click here . ...

348. Елкин Владимир Иванович | Кафедра НДСиПУ