Астронет > Статистика сайта:lvk.cs.msu.su

	Поиск по информационным ресурсам МГУ

	Точная форма слов О проекте Сайты Помощь

Поиск по:lvk.cs.msu.su - Поискать по всем серверам

На этой странице приведены все страницы сервера lvk.cs.msu.su ,которые мы индексируем. Показаны документы 41 - 60 из 62.

Пред. | 1 | 2 | 3 | 4 | След.

Упорядочить по: URL | дате изменения

41. http://lvk.cs.msu.su/~sveta/lecture1_formal_methods.pdf

... 2 Ї ґ , , Ї ґ Ї ґ , 03.12.2015 . ... 14 03.12.2015 Ї Ї Ї 03.12.2015 . ... Verifier Uni ve rsi ty of Te x as 2013 Anteater Uni ve rsi ty of Il l i noi s 2011 FlowChecker Uni ve rsi ty of North Carol i na 2010 VERMONT Network disjoint Port #02 Port #03 h2 h3 s1 Port #01 h1 Port #04 h4 main: disjoint() := Forall[x, out_x, y, out_y: !R(x, out_x) or !R(y, out_y) or x[p] == out_y[p] and out_x[p] == y[p] or x VERMONT proxy CLI Packets are delivered through the control plane We can block them! ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~sveta/lecture1_formal_methods.pdf -- 2814.2 Кб -- 03.12.2015
Похожие документы

42. http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/adv_networks_openflow_tasks15.pdf

... NAT) .. ... OpenFlow Runos. ... 2:{1;3,4;2} , ( 2), MAC ( 1), Telnet UDP ( 3 4), 2. , . o Runos, o c Mininet , . ... Runos 0.5: o Github https://github.com/ARCCN/runos. Runos http://groups.google.com/d/forum/runos-ofc. - , github issues https://github.com/ARCCN/runos/issues. ... VM http://bit.ly/runos-vm-latest. Ї Ї Ї Ї : Ї iperf, ping, ssh, scp, HTTP server Mininet, udp echo "hello" > dev/udp/192.168.2.101/58549. ... TCP (https://tools.ietf.org/html/rfc5382) ( http://bit.ly/1MrsIll) 1. ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/adv_networks_openflow_tasks15.pdf -- 1037.0 Кб -- 26.11.2015
Похожие документы

43. http://lvk.cs.msu.su/~sveta/SDN_OpenFlow_controllers_lecture2.pdf

... 8 OpenFlow , , , , , , NAT, ARP, DNS, DHCP, BGP , , web Ї ґ Ї events per second Ї >10M Ї "" ґ Ї us Ї ґ 24/7 Ї ґ : ґ (2013) Ї Ї Ї Ї Ї Ї Ї Ї Ї NOX-Classic NOX Beacon Floodlight SNAC Ryu POX Maestro Trema Ї Ї Ї Ї Ї Ї Ї Ї Ї Helios FlowER MUL McNettle NodeFlow Onix SOX Kandoo Jaxon Ї Cisco ONE controller Ї Nicira NVP Controller Ї Big Network Controller Ї IBM Programmable Network Controller Ї HP SDN Controller Ї NEC Programmable Flow 11 Ї ґ ґ Ї ґ Ї ґ Ї ґ OpenFlow 12 5/30/2013 13 (2013) Ї 7 000 000 . ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~sveta/SDN_OpenFlow_controllers_lecture2.pdf -- 2715.8 Кб -- 13.10.2015
Похожие документы

44. http://lvk.cs.msu.su/~bahmurov/course_simulation/2015/tut_ipm_01_gpss.pdf

... GPSS. ... 2: 3. : ; my0.gps GENERATE 60 TERMINATE 1 ; ; ; 100 START 100 4. ... 1 GPSS ґ 9 / 80 1 1 1 FEC XN 101 PRI 0 BDT 6060.000 ASSEM 101 CURRENT 0 NEXT 1 PARAMETER VALUE LABEL LOC 1 2 BLOCK TYPE GENERATE TERMINATE ENTRY COUNT CURRENT COUNT RETRY 100 0 0 100 0 0 START TIME 0.000 END TIME 6000.000 BLOCKS 2 FACILITIES 0 STORAGES 0 Friday, February 19, 2010 03:48:20 GPSS World Simulation Report - Untitled Model 7.1.1 1 GPSS ґ 10 / 80 1 1 1 START TIME END TIME . BLOCKS , ( GENERATE TERMINATE). ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_simulation/2015/tut_ipm_01_gpss.pdf -- 1209.8 Кб -- 29.09.2015
Похожие документы

45. http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/ITU_OTN_Tutorial.pdf

Optical Transport N etwork (OTN) Tutorial Disclaimer: This is a Tutorial. This is NOT a Recommendation! This tutorial has no standards significance. It is purely for educational purposes. In case of conflict between the material contained in the tutorial and the material of the relevant Recommendation the latter always prevails. This tutorial should NOT be used as a reference; only the relevant Recommendations can be referenced. Summary This document provides a tutorial for Optical Transport Network stand

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/ITU_OTN_Tutorial.pdf -- 583.5 Кб -- 21.09.2015
Похожие документы

46. http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/titul.doc

[pic] Московский государственный университет имени М.В. Ломоносова Факультет вычислительной математики и кибернетики Кафедра автоматизации систем вычислительных комплексов ФАМИЛИЯ Имя Отчество Тема реферата РЕФЕРАТ Москва 2015

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_advanced_networks/titul.doc -- 33.0 Кб -- 11.09.2015
Похожие документы

47. http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_et_al_eucass2011_monitoring.doc

Tools for monitoring of data exchange in real-time avionics systems V.V. Balashov, V.A. Balakhanov, A.G. Bakhmurov, M.V. Chistolinov, P.E. Shestov, R.L. Smeliansky, N.V. Youshchenko Lomonosov Moscow State University, Dept. of Computational Mathematics and Cybernetics, Laboratory of Computer Systems e-mail: {hbd,baldis,bahmurov,mike,osmin,smel,yoush}@lvk.cs.msu.su Abstract In this paper we present a toolset for monitoring of data exchange through onboard channels of real-time avionics (RTA) systems. ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_et_al_eucass2011_monitoring.doc -- 194.5 Кб -- 27.05.2015
Похожие документы

48. http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_TeorSist6_2007.pdf

... Ч ЬТЭгкгАi дг^ЫЭЮi ЯгЪТк ЬТ дЫвлквк,г,кИ ЬЫ гЬгШ ^Тдг~ЭЫ Згк. фгЯТ дЫ,ТТЬЬгШ ,А?Т вiТЯА йлЬЭ^ЫгЬЫг, ЬЫfl ЭгЬкгЮЮТ ,гСЯгЪЬА л,,ЫТ вiТЯА, ЭгкгАТ СТвИ ЬТ ввЯкЫ,квfl. шТЮгЪТЬЬАТ Ю,,гЫкЯА гдлвЭк гЗгЗТЬЫТ Ь ЬТЭгкгАТ ЫС кЫi вiТЯ, , кгЯ ~ЫвЮТ Ь вiТЯл в дТЫгЫ~ТвЭгШ ЗгкгШ ЭгЬкгЮЮТ ЭЬЮ ЫЮЫ вiТЯл ЗТС ,,лддЫг,ЭЫ Згк , ^Тдг~ЭЫ. 1.2. э ТЗг, ЬЫfl Э ЫЬйгЯ ^ЫгЬЬгЯл гЗЯТЬл дг ЭЬЮл. бЮfl вг,ТЯТЬЬАi ЧыъЧ iЭкТЬ ^ЫЭЮЫ~ТвЭfl г,,ЬЫС^Ыfl ,А~ЫвЮЫкТЮИЬг,,г дг^Твв, дЫ ЭгкггШ ЗгЬТЬк ЭЬЮ Ь ЭЪгШ ЫкТ ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_TeorSist6_2007.pdf -- 150.1 Кб -- 27.05.2015
Похожие документы

49. http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_programmir.doc

УДК 681.3 ТЕХНОЛОГИЯ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ТЕСТИРОВАНИЯ БОРТОВЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ РЕАЛЬНОГО ВРЕМЕНИ © 2012 г. Балашов В.В.1, Баранов А.С.2, Грибов Д.И.3, Чистолинов М.В.4 1 Факультет ... .org 4 Факультет вычислительной математики и кибернетики МГУ им. М.В.Ломоносова, mike@cs.msu.su В статье рассматриваются проблемы тестирования бортовых вычислительных комплексов реального времени ( БВК РВ) в рамках различных фаз жизненного цикла БВК ... отдельном блоке БВК). | ... тестов БВК РВ. ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_realtime/papers/balashov_programmir.doc -- 860.5 Кб -- 27.05.2015
Похожие документы

50. http://lvk.cs.msu.su/~bahmurov/course_simulation/2015/umk.doc

... роли имитационного моделирования в исследовании и разработке информационных систем. ... Компетенции обучающегося, формируемые в результате освоения дисциплины В результате освоения дисциплины студент должен: - знать основные проблемы, возникающие при разработке информационных систем , в том числе проблемы анализа производительности; - знать основные понятия, принципы построения имитационных моделей ; - уметь разрабатывать имитационные модели информационных ... Примеры систем имитационного ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/course_simulation/2015/umk.doc -- 134.5 Кб -- 19.05.2015
Похожие документы

51. http://lvk.cs.msu.su/~dimawolf/RTES/Lection05.pdf

, - Ї : ґ API ґ , Ї : ґ ґ ґ ґ ґ . APEX 1 1.1 1.2 1.3 2 2.1 2.2 2.3 3 3.1 3.2 3.3 APEX ARINC653 Ї Ї Ї Ї Ї 1 1 2 2-1 2-2 3-1 1-1 1-1 1-2 2 1 4-1 4-2 4-1 Ї Ї ґ ґ ґ Ї ґ ґ Ї ґ ґ Ї ґ ґ Ї Ї ґ ґ Ї Ї : M={mi} Ї : P={pi} Ї : W={wi} ґ : f(wi) ґ : dm(wi) ґ : pr(wi) Ї : T={trij} ґ (): tC(wi, wj) ґ (): tM(wi, wj) Ї : S={si} Ї : DS:P{SP|SPS} Ї : DM(pi) Ї : prS(wi) Ї Ї ( ) 2 1 1 2 1 2 (1) Ї Ї Ї : ґ (2) Ї Ї Ї Ї Ї Ї Ї Ї Ї Ї : 1. 2. 3. 4. 5. , .2 Ї Ї Ї Ї Ї : , , : Ї ґ ґ Ї Ї : i 0 n Ti Fi n 2 1 1 n ґ Ї ? ? Fail

[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/RTES/Lection05.pdf -- 299.0 Кб -- 19.05.2015
Похожие документы

52. http://lvk.cs.msu.su/~bahmurov/RTES/lect_os_rv_2015.pdf

... Tn Pi, i=1..n Di Ci i Di P i Ї : ґ ґ Rate Monotonic Ї ґ () Ї ґ Ї U n(21/n - 1) U =sum(Ui), Ui = Ci/Pi; EDF (Earliest Deadline First) Ї = Ї : U 1 : : 10 / 30 ; B: 15/40; C: 5/50 : (2) A: 15 / 40 EDF () Ї Ї Ї Ї mq_open() // const char* mq_close() mq_send() // , mq_receive() ґ ґ , Ї mq_notify() // Unix sem_open(), sem_close() sem ... URL: http://www.ispras.ru/preprints/docs/prep_14_2006.pdf . ... URL: http://www2.fisica.unlp.edu.ar/electro/temas/p7/POSIX4.pdf POSIX ( POSIX 1003.1 POSIX.4) .. ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/RTES/lect_os_rv_2015.pdf -- 184.4 Кб -- 05.05.2015
[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/RTES/Lection07.pdf -- 184.4 Кб -- 05.05.2015
Похожие документы

53. http://lvk.cs.msu.su/~dimawolf/RTES/Lection03.pdf

... AFDX ( 100 Ethernet ) FC-AE-ASM-RT ( Fibre Channel) AFDX Avionics Full-Duplex Ethernet ( AFDX ) ґ Ethernet Ethernet 100 / AFDX : ( , ) ґ AFDX (, ) , Ethernet IP ( ) UDP ґ ґ : BAG ґ Bandwidth Allocation Gap ґ (1-128 , ) Lmax ґ ( =1518) Jmax ґ BAG : BAG BAG : : , BAG : Bandwidth = Lmax / BAG BAG = 32 Aircraft Data Network. ... Avionics Full Duplex Switched Ethernet (AFDX) Network. ... AFDX : , . ... arrival curve FC-RT Ї (1 /) Ї Ї BAG ґ ( ) Ї ? ? 1. ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/RTES/Lection03.pdf -- 1298.0 Кб -- 06.04.2015
Похожие документы

54. http://lvk.cs.msu.su/~dimawolf/ArchEVM/Lection12.pdf

ARM . 12: Ї ARM 2 ARM Powered Products 3 ARM Ї 4 Ї ARM 32- . ARM : ґ Byte - 8 bits ґ Halfword - 16 bits ( ) ґ Word - 32 bits ( ) Ї ARM ґ 32-bit ARM Instruction Set ґ 16-bit Thumb Instruction Set 5 Ї ARM : ґ User : , ґ FIQ : , high priority (fast) ґ IRQ : , low priority (normal) ґ Supervisor : Software Interrupt instruction ґ Abort : ґ Undef : ґ System : , 6 User ARM Current Visible Registers Abo Und rtMod SVCMode IRQ ef Mode FIQ Mode e User ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/ArchEVM/Lection12.pdf -- 809.3 Кб -- 19.11.2014
Похожие документы

55. http://lvk.cs.msu.su/~dimawolf/SoftwareReliability/Lection05.pdf

LTL) 5: . ... pUq | ... qUp | ... http://patterns. projects.cis.ksu.edu (LTL/CTL/GIL) (occurence) (order, sequence) (absense) (universality) (precedence) chain precedence (response) (existence) bounded existence Ї ґ : r q r q r q "absense" LTL [](!p) http://patterns. projects.cis.ksu.edu ? r -> (!p U r) [](q -> [](!p)) []((r && !q && <>q) -> (!p U q)) []((r && !q) -> ((!p U q) || []!p)) Ї http://patterns. ґ : projects.cis.ksu.edu "absense" LTL r r r q q q r r q r q r r q r q r r q r Ї (p) , . ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/SoftwareReliability/Lection05.pdf -- 1558.5 Кб -- 24.09.2014
Похожие документы

56. http://lvk.cs.msu.su/~dimawolf/SoftwareReliability/Lection03.pdf

LTS). ... 15 int p; Process Prod(){ while(1) 1.1: if(p < 2) 1.2: p += 1; } process Cons() { Prod LTS Cons while(1) 2.1: if(p > 0) 2.2: p -= 1; } : ( Prod, Cons, p) ( . 16 Ї , Ї = Ї LTS 17 Ї - Ї , , , Ї , 18 Ї Prod Cond Ї , Ї ґ ґ 19 ґ ! Prod Cons ELF System board Processor 20 ґ ! ... 22 LTS Ї LTS , AP {a} a a a a 23 ґ LTS Ї LTS , ? ... P , : M P Ї , : tr Traces(TS(P))tr'Traces(TS(M )) : t r t r' , 46 Ї TS , ? ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~dimawolf/SoftwareReliability/Lection03.pdf -- 1531.7 Кб -- 22.09.2014
Похожие документы

57. http://lvk.cs.msu.su/~bahmurov/prosem2014/student_form_2014.pdf

ВТ РЬ ЫЖЬ ЫЬЫЖЖ Ж Ж Ь Ы Ж Р Ь ЫЫ Т У 2, УТ Ь Р Т УТ *************** *************** Ы

[ Текст ] Ссылки http://lvk.cs.msu.su/~bahmurov/prosem2014/student_form_2014.pdf -- 64.2 Кб -- 12.04.2014
Похожие документы

58. http://lvk.cs.msu.su/~ashalimov/doc/program_plenar_mco09.doc

... Приветственное слово от декана факультета ВМК МГУ академика РАН Моисеева Е.И. . ... 10-00 - 10-30 Иванников В.П. Тенденции развития системного программирования 10-30 - 11-00 Левин В.К. Суперкомпьютеры: состояния и перспективы развития 11-00 - 11-30 Кофе-брейк 11-30 - 12-00 Черверушкин Б.Н. Проблемы использования супер-ЭВМ 12-00 - 12-30 Бетелин В.Б. Массовые информационные технологии: состояния и перспективы развития 12-30 - 13-00 Эйсымонт Л.К. Прогнозные оценки ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~ashalimov/doc/program_plenar_mco09.doc -- 30.0 Кб -- 05.10.2009
Похожие документы

59. http://lvk.cs.msu.su/~ashalimov/doc/program_7-8_mco09.doc

... 9.30 - |Секция 1, засед.1 |Секция 4, засед.2 | 12.00 |( 609) |( ... 613) |( 612) | ... 12.00 - 12.30 Кофе-брейк - Южное крыло, 2 этаж (холл) | ... Секция 2, засед.2 | ... 14.00 - 15.00 Обед | 15.00 - |Секция 3, засед.3 |Секция 3, круглый | 16.00 |(612) |стол (612) | ... 18.00 |(612) (продолжение) |стол (612) | Секция 4, засед.1 |(продолжение) | ... продолжение) | ...

[ Текст ] Ссылки http://lvk.cs.msu.su/~ashalimov/doc/program_7-8_mco09.doc -- 32.0 Кб -- 05.10.2009
Похожие документы

60. http://lvk.cs.msu.su/~ashalimov/doc/table_meetings_mco09.doc

[ Текст ] Ссылки http://lvk.cs.msu.su/~ashalimov/doc/table_meetings_mco09.doc -- 34.5 Кб -- 04.10.2009
Похожие документы

Пред. | 1 | 2 | 3 | 4 | След.

Комментарии, вопросы? Пишите: info@astronet.ru или сюда