Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 441 - 460 из 751.
Упорядочить по:
URL
|
дате изменения
441. http://sp.cs.msu.ru/courses/ooap/varwithansw.pdf
... IV a) b) c) d) e) f) g) V. a) b) c) VI a) b) c) d) , S1 : act1, act2, act3, act4, ev1, act5; entry / ac t1 act1, act3, ev2, act4, act6, act3, ev1, act4, act2, act5; ex it / ac t2 act1, act3, ev1, act5, act2, act4; S2 act1, act3, ev1, act4, act2, act5; entry / ac t3 act1, act3, ev1, act2, act4, act5; ex it / ac t4 act3, ev1, act4, act5; act1, act3, ev2, act4, act2, act6, act1, act3, ev1, act4, ev1 / act5 act2, act5. , ; d) ; e) f) ; / , ( ) ev2 / act6 . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/ooap/varwithansw.pdf -- 122.4 Кб -- 17.11.2013
[ Текст ] Ссылки http://sp.cs.msu.ru/ooap/varwithansw.pdf -- 122.4 Кб -- 17.11.2013
Похожие документы
[ Текст ] Ссылки http://sp.cs.msu.ru/ooap/varwithansw.pdf -- 122.4 Кб -- 17.11.2013
Похожие документы
442. Информация для аспирантов
Главная страница Информация . Аспирантура . ... Дополнительная часть программы вступительного экзамена в аспирантуру по специальности 05.13.11 ? ... Zip-архив WinWord 118 Кб) . Старая версия дополнительной части программы вступительного экзамена в аспирантуру по специальности 05.13.11 ? ... Программа дополнительного экзамена для аспирантов кафедр: матем. физики, вычисл. методов, общей математики, матем. статистики, исследования операций, оптимального управления, матем. кибернетики . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/info/asp/ -- 7.6 Кб -- 09.11.2013
Похожие документы
Похожие документы
443. http://sp.cs.msu.ru/info/asp/consasp2013.doc
... Понятие качества программного средства, критерии качества программного средства Конспект ответа: Определение 1: Отдельная программа или логически связанная совокупность программ, снабженная программной документацией, называется программным обеспечением. ... Программный модуль - это отдельная часть программы, описывающая решение некоторой задачи или подзадачи, оформленная в виде отдельного файла, предназначенная для повторного использования. ... Язык программирования базируется на системе типов...
[
Текст
]
Ссылки http://sp.cs.msu.ru/info/asp/consasp2013.doc -- 113.0 Кб -- 09.11.2013
Похожие документы
Похожие документы
444. http://sp.cs.msu.ru/proseminar/2013/serebr.2013.04.12.pdf
Linked Open Data World Wide Web , . ... 16.04.2013 Linked Open Data 53 Graph Patterns Basic Graph Pattern set of Triple Patterns Group Pattern - a set of graph patterns must all match Value Constraints - restrict RDF terms in a solution Optional Graph Patterns .- additional patterns may extend the solution Alternative Graph Pattern two or more possible patterns are tried Patterns on Named Graphs - patterns are matched against named graphs 16.04.2013 Linked Open ... Linked Open Data . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2013/serebr.2013.04.12.pdf -- 1514.7 Кб -- 16.04.2013
Похожие документы
Похожие документы
445. http://sp.cs.msu.ru/proseminar/2013/padaryan.2013.03.22.pdf
... 15 Push Down Systems (PDS) · « » · PDS 4 : , · 16 CFG PDS CFG PDS 17 · · · 18 00823 00823 00824 00823 FEF FF0 01D FF1 60 EB2B EBD2 2BD2 PUSHAD JMP JMP SUB 0082401Dh 00823FF1h EDX, EDX 00823FF3 00823FF5 700E EB1D JO JMP 00824003h 00824014h 19 Main: CALL FuncA MOV EAX, 0 Main FuncA FuncB FuncA FuncB FuncA: FuncB: JMP @FuncB MOV EAX, 1 RET Trace: CALL FuncA JMP @FuncB MOV EAX, 1 RET MOV EAX, 0 20 : · PDS, · 21 : · · ( ) · · , · : 22 : · () AMD SimNow, Bochs, Simics, .. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2013/padaryan.2013.03.22.pdf -- 1836.4 Кб -- 22.03.2013
Похожие документы
Похожие документы
446. http://sp.cs.msu.ru/proseminar/2013/korshunov.2013.03.15.pdf
... 16 Facebook Twitter, Name: Maria Zotova Age: 24 Gender: female ia Zotova Name: Mar Relationship: married Age: 24 Location: Moscow Gender: female Relationship: married Location: Moscow Name: Julia Stevens Age: [empty] Gender: female Relationship: [empty] Location: France Name: Rob Fee Age: 666 Gender: female Relationship: single Location: U.S. · · , , , ? Label: Gender MALE Label: Age 18 Label: Relationship NONSINGLE 1. ... Gender Age Relationship MALE <20 SINGLE ? Facebook? ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2013/korshunov.2013.03.15.pdf -- 2643.4 Кб -- 21.03.2013
Похожие документы
Похожие документы
447. http://sp.cs.msu.ru/courses/os/progDOS2013.doc
Программа курса Распределенные операционные системы Обязательный курс; Читается для 4 курса (3 поток); Часы по семестрам: 8 семестр - 32 часа (лекции); Экзамен в конце 8-го семестра ... Составитель программы: В.А.Крюков Лекторы последних лет: В.А.Крюков, В.А.Бахтин Аннотация В курсе рассматриваются проблемы создания распределенных операционных систем - операционных ... Излагаются принципы обеспечения надежности функционирования распределенных систем. ... Достоинства распределенных систем. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/os/progDOS2013.doc -- 59.5 Кб -- 07.02.2013
Похожие документы
Похожие документы
448. http://sp.cs.msu.ru/proseminar/2012/padaryan.2012.03.30.pdf
... 5 · / · · , · , · 6 · (IDA Pro) (IDA Pro/HexRays) (IDA Pro, CodeSurfer/x86) · (SoftICE, OllyDbg) · Bitblaze, CodeSurfer/x86, S2E .. ... 12 13 TrEx · · · , , , · 14 : AMD SimNOW 15 · : AMD SimNOW · : VMWare Workstation · : Xen · : AMD SVM (Secure Virtual Machine) Intel VT-x (Virtualization Extensions) : VMWare Workstation, Microsoft Hyper-V, Xen, KVM 16 17 · , · · 18 · : · : I/O, MSR' I/O, .. ... LOC; . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2012/padaryan.2012.03.30.pdf -- 1146.5 Кб -- 24.04.2012
Похожие документы
Похожие документы
449. http://sp.cs.msu.ru/proseminar/2012/bakhtin.2012.04.13.pdf
... 2012 . ... MPI- 13 , 2012 12 70 . ... MPI - int main( int argc, char **argv) { MPI _Request req [4]; int myrank , ranksize; int startrow,lastrow, nrow ; MPI _Status status[4]; double t1, t2, time; MPI _Init ( argc, argv); /* initialize MPI system */ MPI _Comm_rank( MPI_COMM_WORLD , myrank );/*my place in MPI system*/ MPI _Comm_size ( MPI_COMM_WORLD , ranksize); /* size of MPI system */ MPI _Barrier( ... MPI- if(myrank!= ... 13 , 2012 68 70 MPI_Type_vector MPI : · , · , . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2012/bakhtin.2012.04.13.pdf -- 1950.7 Кб -- 23.04.2012
Похожие документы
Похожие документы
450. http://sp.cs.msu.ru/courses/fmsp/rslbook99.pdf
... RSL RSL, . ... RSL , : if value_expr then value_expr1 else value_expr2 end, value_expr , value_expr1 value_expr2 , . ... 43 1 1.1. (a ) (b) (c) (d) (e) (f) (g) (h) (i) (j) (k) (1) 1.1.2.) a a a a then then then then ( a chaos ) else false end ( (3)) ( true chaos ) else false end true else false end ( (3)) a else a end a 1.2. (a) false ( (b) a : if if if if 1.3. (a) ( i j i) (b) ( , , i 0) (c) i : Int · j : Int · j i ( i : Int · j : Int · i j) 1.4. 1.5. is_even :...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/rslbook99.pdf -- 712.6 Кб -- 07.12.2011
Похожие документы
Похожие документы
451. http://sp.cs.msu.ru/courses/fmsp/dmzhukov.pdf
... С Ц ЧФЦ Ч?ЦЩ ШШФ ''ЫЫЫ? ... СЦ ЧФЦ Ч?ЦЩ? ... ВЗБЖ ? ... ИЧХЦШ е ?е Ю? е Ю Э? ? ... ИЧУЦШ е Л ? ... ч? ЛТе Т? ?? е ? ... Л Рче ? ... ИЧУЦШ ИЧУЦШ Ж ?ч ? ... ТЛТ ч ч ???ч ???ч Ф Ф Ф Л ЧУЦ Ш ? ... Ш УТ У ФЦУ Ц СЧ? Р Ш УЦЭ У ? ... Ц Ы?А РРе ? ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/dmzhukov.pdf -- 298.8 Кб -- 02.12.2011
Похожие документы
Похожие документы
452. http://sp.cs.msu.ru/courses/fmsp/meth2008.pdf
... true. RSL RSL : Bool , Int , Nat , Real , Char , Text , 5 Unit (). ... Int Real RSL . ... type Elem , Collection value empty : Collection, atom : Elem - Collection, list : Collection - Collection, head : Collection -~- Collection, head : Collection -~- Elem axiom [disjoint] all c ; Collection, e ; Elem :empty ~= atom(e) /\ empty~=list(c) /\ atom ( e ) ~= list ( c) [induction] all Elem , isCollection ; Collection - Bool :isCollection(empty) /\ (all c : Collection, e ; ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/meth2008.pdf -- 533.5 Кб -- 06.09.2011
Похожие документы
Похожие документы
453. http://sp.cs.msu.ru/courses/match/biblography.doc
... Rete 1. Forgy, Charles L. "Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Matching Problem." Artificial Intelligence, Vol. 19, ? ... Proceedings of the Fifth National Conference on Artificial Intelligence, AAAI, Philadelphia, 1986, pp. ... Scales, D. "Efficient matching algorithms for the SOAR/OPS5 production system." ... Proceedings of the Sixth IEEE Conference on Artificial Intelligence Applications, 1990, pp. ... TREAT: a better match algorithm for AI production system." ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/match/biblography.doc -- 35.0 Кб -- 02.09.2011
Похожие документы
Похожие документы
454. http://sp.cs.msu.ru/proseminar/2011/taranov.2011.04.15.pdf
Sedna · · · · · XML XQuery RDBMS 1 2 .. 1 2 1 2 1 XML Data Model SQL SELECT TOC.NAME FROM BOOKS, TOC W H E RE TOC.BOOK = BOOKS.BOOK AND BOOK.AUTHOR like «» AND TOC.LEVEL = «»; XQuery (XPath) doc("library") /book[@author=""] /chapter[@level=""] Features · · · · · Xquery. ... ACID . Linux · Windows · MaxOS X · Solaris · GCC · CL (Visual Studio) · · · · Apache. ... BaseX EMC xDB eXist MonetDB/XQuery Apache CouchDB Neo4j Java Java Java C++ Erlang Java · · · · · · · · · · . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2011/taranov.2011.04.15.pdf -- 482.8 Кб -- 18.04.2011
Похожие документы
Похожие документы
455. http://sp.cs.msu.ru/proseminar/2011/bakhtin.2011.04.08.pdf
... 2011 . ... MPI- 8 , 2011 14 70 . ... MPI - int main( int argc, char **argv) { MPI _Request req [4]; int myrank , ranksize; int startrow,lastrow, nrow ; MPI _Status status[4]; double t1, t2, time; MPI _Init ( argc, argv); /* initialize MPI system */ MPI _Comm_rank( MPI_COMM_WORLD , myrank );/*my place in MPI system*/ MPI _Comm_size ( MPI_COMM_WORLD , ranksize); /* size of MPI system */ MPI _Barrier( ... MPI- if(myrank!= ... 8 , 2011 68 70 MPI_Type_vector MPI : · , · , . ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/proseminar/2011/bakhtin.2011.04.08.pdf -- 1755.5 Кб -- 11.04.2011
Похожие документы
Похожие документы
456. http://sp.cs.msu.ru/courses/course.html
... Спецкурс посвящен методам формального описания и анализа программных и аппаратных систем. При использовании этих методов исследуемая система представляется в виде некоторого математического объекта: например, графа. ... В курсе рассматриваются задачи эквивалентных преобразований систем, проверки эквивалентности двух систем, минимизации систем и доказательства их правильности. ... Описание поведения распределенных систем и их анализ при помощи процессных графов. ... Процессные графы. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/course.html -- 6.3 Кб -- 23.03.2011
Похожие документы
Похожие документы
457. http://sp.cs.msu.ru/courses/prak1/vvedalg.pdf
I ) 2010 519.6+510.6 - .. ... 05899 24.09.2001 .) 2010, - 26 . ... N 05899 24.09.01 . 119992, -2, , , .. ... I n-1 ==> I n , I 1 - , I n - , I j, j = 2, 3, ..., n-1 , . ... D(w)=C(B(w)) B C, , , , D, D. { q0B, q 1B, ..., q r B, q sB } - B {q 0C, q 1C, ..., qtC, qsC} C. D { q0B, q1B, ..., qrB, q0C, q1C, ..., qtC, qsC }, .. B C B (qsB). D B C, qsB q0C, , , , q sB . q sB q0C qsB D . ... P, , , , , (,R, q0C), "" (,R, q0B). ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/prak1/vvedalg.pdf -- 304.5 Кб -- 28.09.2010
[ Текст ] Ссылки http://sp.cs.msu.ru/info/1/vvedalg.pdf -- 304.5 Кб -- 28.09.2010
Похожие документы
[ Текст ] Ссылки http://sp.cs.msu.ru/info/1/vvedalg.pdf -- 304.5 Кб -- 28.09.2010
Похожие документы
458. http://sp.cs.msu.ru/courses/ooap/sampletasks.doc
... I. Какой вариант верно описывает зависимость класса A от класса B: a) ( в методе класса A используется локальный объект класса B; a) ( в методе класса B используется локальный объект класса A; b) ( методы класса A могут переопределять реализацию операций класса B; c) ( методы класса B могут переопределять реализацию операций класса A; d) ( экземпляры класса A являются частями экземпляров ... Атрибут класса Head (Голова) - colorOfEyes (цвет глаз). ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/ooap/sampletasks.doc -- 83.5 Кб -- 23.12.2009
Похожие документы
Похожие документы
459. http://sp.cs.msu.ru/courses/db/q2009aut.doc
Вопросы к экзамену по курсу С.Д.Кузнецова "Базы данных", 2009 год 1. ... Основные функции СУБД, типовая организация СУБД. ... Дореляционные модели данных 6. Основные черты модели данных SQL 7. ... Функциональные зависимости, замыкание множества функциональных зависимостей, аксиомы Армстронга, замыкание множества атрибутов. ... Проектирование реляционных баз данных с использованием нормализации: первая, вторая и третья нормальные формы. ... Основные цели System R и их связь с архитектурой системы. ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/db/q2009aut.doc -- 34.0 Кб -- 21.12.2009
Похожие документы
Похожие документы
460. http://sp.cs.msu.ru/courses/ooap/exercise.doc
... Создание диаграммы вариантов использования 3 Постановка задачи 3 Создание диаграммы Вариантов Использования 3 Этапы выполнения упражнения 3 Упражнение 2. ... Создание диаграмм классов 12 Постановка задачи 13 Создание диаграммы Классов 13 Этапы выполнения упражнения 13 Упражнение 4. ... Создайте диаграмму Классов для отображения пакетов, диаграммы Классов для представления классов в каждом пакете и диаграмму Классов для представления всех классов варианта использования "Ввести новый заказ". ...
[
Текст
]
Ссылки http://sp.cs.msu.ru/courses/ooap/exercise.doc -- 355.5 Кб -- 26.09.2009
Похожие документы
Похожие документы