В заключение отметим, что в данной главе мы рассмотрели назначение, классификацию, состав и таксономию профилей POSIX, а также метод профилирования в системе стандартов POSIX на примере построения профилей систем реального времени. ... Особенно следует подчеркнуть важность требований конформности, которые, как правило, являются методологической основой для построения технологий и средств тестирования системы (реализации или приложения). ...

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

• Часть XV - Нормативно-методическая база OSI-конформности
• Часть III - Основные свойства профиля
• Часть III - Семантика тестирования конформности

previous next contents elements attributes . Contents . ... This document has been written with two types of readers in mind: HTML authors and HTML implementors. ... This is reflected in the specification's main table of contents, which presents topical information, and the indexes, which present lower level information in alphabetical order. ... Every reference to an element or attribute is linked to its definition in the specification. ... Sections 2-3: Introduction to HTML 4.0 . ...

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

• Translations of the HTML 4.0 Specification
• HTML 4.0 Specification References
• Definitions and Conventions

... This function can also be used for particular types of subtypes or kinds: KIND (0) integer KIND (0.0) floating point number KIND (.FALSE.) logical variable KIND ("A") string of characters There is an intrinsic function SELECTED_REAL_KIND , which returns the kind of the type REAL that has a representation with (at least) the precision and the exponential range requested. ... With the choice SELECTED_INT_KIND (5) all integers between (but not including the limits) -100 000 and +100 000 are permitted. ...

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

• Media types
• HTML Design Notebook
• About the HTML 4.0 Specification

Электронная библиотека Попечительского совета . ... Middelburg C.A. - Logic and specification: extending VDM-SL for advanced formal specification . ... Название: Logic and specification: extending VDM-SL for advanced formal specification . Автор: Middelburg C.A. Аннотация: . ... An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Loomis D. - The TINI Specification and Developer's Guide :: Электронная
• Peter M. - Modular Specification and Verification of Object-Oriented Programs
• Waldo J., Arnold K. - The Jini Specifications :: Электронная библиотека

... 2016-Jan-25 18:14:06 . ... application/octet-stream . ... text/xml . ... 2015-Aug-09 03:38:18 . ... text/plain . ...

Еще в разделе: (Показать все результаты (>17201) - mirror.msu.net/ )

... Cell border width (pixels). unspecified . ... Column to sort initially ( "1" to number of columns). unspecified . ... Data cell alignment, one value for all columns, or a comma separated list for different alignment of individual columns. ... Data cell background colour of a sorted column; see databg . ... Data cell text colour, a comma separated list. unspecified . ... Header cell alignment, one value for all columns, or a comma separated list for different alignment of individual columns. ...

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

• TimeSpecifications - TWiki - TWiki - (printable)
• VarTABLE - TWiki - TWiki
• %TOPICTITLE% ( vs. 1) - TWiki

... How to participate in refining HTML 3.0 . HTML 3.0 Overview . ... Design Guidelines for HTML 3.0 . ... The Structure of HTML 3.0 Documents . The HEAD Element and Related Elements . The BODY Elements . ... Heading Elements . ... Hypertext Links . Overview of Character-Level Elements . Information Type Elements . Font Style Elements . The IMG (Image) Element . ... The ADDRESS Element . ... HTML 3.0 Document Type Definition . ... The Latin-1 Character Entities -- needs work . ...

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

• Font Style Elements
• Changing the field delimiter
• Figure Overlays

Пакет программ СИМВОЛ-2001 . ... Редактор В.В.Филаретов . ... CIRSYM и CIRSYMS (SYMbolic CIRcuit processor) - символьный схемный процессор для формирования единых и последовательных выражений схемных функций в ASCII-файле *.out, пригодного для обработки программой CALCSYM. MATSYM и MATSYMS (SYMbolic MATrix processor) - символьный матричный процессор для формирования единых и последовательных выражений определителей и их отношений в ASCII-файле *.out, пригодного для обработки программой CALCSYM. ...

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

... help . find changesets by author, revision, files, or words in the commit message . ... Specifying File Sets . ... show changeset information by line for each file . ... show revision history of entire repository or files . ... set or show the current phase name . ... output the current or given revision of files . ... search for a pattern in specified files and revisions . ... identify the working copy or specified revision . ... show the parents of the working directory or revision . ...

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

• Help: multirevs
• Help: push
• Help: log

... help . find changesets by author, revision, files, or words in the commit message . ... Specifying File Sets . ... show changeset information by line for each file . ... show revision history of entire repository or files . ... set or show the current phase name . ... output the current or given revision of files . ... search for a pattern in specified files and revisions . ... identify the working copy or specified revision . ... show the parents of the working directory or revision . ...

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

• Help: multirevs

... NetCDF User's Guide for C . This appendix specifies the netCDF file format version 1. ... NC_VARIABLE nelems [var .. ... 4344 4601 0000 0000 0000 0000 0000 0000 C D F 001 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 17220 17921 00000 00000 00000 00000 00000 00000 [magic number ] [ 0 records ] [ 0 dimensions (ABSENT) ] 0000 0000 0000 0000 0000 0000 0000 0000 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 00000 00000 00000 00000 00000 00000 00000 00000 [ 0 global atts (ABSENT) ] [ 0 variables (ABSENT) ] . ...

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

• : Class AbstractNetcdf
• BackgroundTableModel
• DataTableModel

When Apache starts, it connects to some port and address on the local machine and waits for incoming requests. By default, it listens to all addresses on the machine, and to the port as specified by the Port directive in the server configuration. ... There are two directives used to restrict or specify which addresses and ports Apache listens to. ... Listen can be used to make a single Apache server listen to more than one address and/or port. ... Syntax: Listen [ port | IP-address:port ] . ...

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

• Server Pool Management
• Apache module mod_expires
• Apache module mod_auth_digest

All Firefly versions can take optional command line arguments. ... firefly [optional command line options in any order] [optional list of working directories] . ... The list of most widely used command line options is given below: . ... Disables validity check of the command line arguments (e.g., check for valid names of files and directories, etc...) passed to Firefly. ... However, if this option is not given, one must provide the list of working directories when running Firefly in parallel mode. ...

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

• PC GAMESS/Firefly DOCUMENTATION - two-electron integrals precision
• PC GAMESS/Firefly DOCUMENTATION - Potential Energy Surface (PES) scan features
• Marek Checinski

Lomonosov project . ... Mikhail Lomonosov . Scientific goals . ... Gamma-bursts . ... Scientific equipment . ... BDRG . UFFO . ShOK . ... Three complexes of the equipment onboard the ?Lomonosov? satellite ( BDRG , ShOK and UFFO) will provide multiwave measurements of gamma-bursts necessary for the studies of their nature, i.e. measurements within the optic, gamma, X-ray and UV ranges of electromagnetic spectrum. According to: http://uffo.ewha.ac.kr/?mid=SpacecraftUFFO . ...

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

Кафедра Общей Физики и Волновых Процессов . физического факультета МГУ . Главная . ... О Кафедре . Наука и учеба . ... Публикации . Лаборатории . ... Наука . ... 18.03.2016 . Открыт прием заявок на участие студентов в Универсиаде "Ломоносов" . ... Главная Наука и учеба Публикации . ... Chesnokov S.S., Kaptsov L.N., Samarkin V.V., Kudryashov A.V. Лаборатории: Лаборатория вычислительного эксперимента в оптике . ... 2009 Кафедра ОФиВП, физический факультет МГУ . ...

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

• Publication

Международный учебно-научный лазерный центр МГУ им. М.В. Ломоносова . Главная . ... О МЛЦ МГУ . Наука . ... Публикации . ... 15.12.2015 . ... Заявки до 25 октября 2015г. Семинар МЛЦ и кафедры . ... Главная Публикации . ... Год: 2001 . ... 2008 МЛЦ МГУ . ...

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

• Publication

... Origination of Physical Structures . L.Petrova (Moscow State University, Faculty of Computing Mathematics and Cybernetics, Moscow, Russia) . ... A number of the balance conservation law equations is equal to a number of desired physical quantities that specify the material system. And as the physical quantities are related to each other (this connection is executed by the function that specifies the system state), then the set of the equations proved to be overdetermined one. ...

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

.

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

• М. И. Анохин, Н. П. Варновский, В. М. Сидельников, В. В. Ященко "КРИПТОГРАФИЯ В

... Loke's and Barker's "deconvolution" idea is to represent the cross-section under the VES observation line by a set of 2D blocks with fixed boundaries and certain initial values of blocks' resisitivity. ... The TRF_2D for Windows program processes the traverse of VES with current line along the observation line. Three arrays date can be processed: . ... Up to 100 sounding points on the observation line. Up to 20 arbitrary current electrode spasings per sounding point. ...

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

Image processing using the Main Control Language of the Base Technology for constructing systems of treatment and transformation of complex-organized information" . ... Some questions of treatment and storage of graphical information arising when developing visualization systems are considered. ... A number of techniques for image processing are given, depending on specification of coordinates of the source and addressee. ...

Еще в разделе: (Показать все результаты (>134) - num-meth.srcc.msu.ru/ )

• "Generation of semantic analyzer tests"
• Оценка минимальных требований к аппаратуре и топологии при построении
• "A geometric approach to solving the problem of tracking cyclones and