Электронная библиотека Попечительского совета . ... Utting M., Legeard B. - Practical Model-Based Testing: A Tools Approach . ... Название: Practical Model-Based Testing: A Tools Approach . Авторы: Utting M., Legeard B. Аннотация: . This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Nguyen H.Q. - Testing Applications on the Web: Test Planning for Internet-Based
• Chaudron M.R.V. - Component-Based Software Engineering: 11th International
• Tyugu E. (Ed), Yamaguchi T. - Knowledge-Based Software Engineering: Proceedings

... TTDock: a docking method based on tensor train decompositions" . Zheltkov D.A., Oferkin I.V., Katkova E.V., Sulimov A.V., Sulimov V.B., Tyrtyshnikov E.E. A new docking method based on tensor train decomposition is proposed. ... Zheltkov D.A., e-mail: dmitry.zheltkov@gmail.com тАУ Moscow State University, Faculty of Computational Mathematics and Cybernetics; Leninskiye Gory 1-52, Moscow, 119991, Russia; . ...

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

• "High-performance scalable multiprocessor systems based on reconfigurable gate
• "Comparison of the T-system and MPI based on the EP-problem from the test
• A reconfigurable computer system based on FPGAs with liquid cooling

... 100% . ... Intel Quad-core Core 2 Quadro QX-6700 (Kentsfield) 2.67 GHz, 1067 MHz FSB, Asus P5B (Vanilla) board, 4x 1GB DDR-2 800 5-5-5 DIMMs, 2x Seagate Barracuda-10 320 GB SATA HDDs configured as software RAID-0, Opensuse 10.2 64-bit. Test 1 , single-point direct DFT (B3LYP) energy plus gradient for medium-size system (623 basis functions). ... Note that test 2 does not scale well mainly due to limitations of the PC GAMESS' semiempirical code, while test 4 would scale much better for larger job. ...

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

• Preliminary PC GAMESS benchmarks on Quad-core Xeon (Clovertown)-based system
• Just kidding: PC GAMESS/Firefly v. 7.1.C benchmarks on Atom-based system
• PC GAMESS benchmarks on Intel Netburst Xeons-based system

... Development of a candidate secondary reference procedure (immunoassay based measurement procedure of higher metrological order) for cardiac troponin I: I. Antibody characterization and preliminary validation. ... In this study, the first steps in the development of a secondary reference measurement procedure (RMP) 'higher metrological order measurement procedure' to support the cardiac troponin I (cTnI) standardization initiative is described. ...

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

• Protein interactomics based on direct molecular fishing on paramagnetic

... joint multiview video encoding in consideration of inter view information redundancy (e.g. H.264 MVC amendment) . encoding of 2D and depth with further multiview generation . ... H.264 Reference software for Multiview Video Coding (JMVC 8.5) was used for single-view and multiview compression . JPEG2000, x264, Xvid for depth key frames compression . ... Keyframe-based Depth Compression (Update) . Keyframe-based Depth Compression with Depth Propagation for Multiview Video Coding . ...

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

• Generic regularization of boosting-based algorithms for the discovery of
• Generic Regularization of Boosting-Based Optimization for the Discovery of
• Keyframe-based Depth Compression | Лаборатория компьютерной графики и

... Полная версия этой страницы: Работа в Samsung . Студенческий форум Физфака МГУ > Общий > Работа . ... Telecommunication Network . ... Job Summary: The Optical Engineer will be involved in the design, fabrication and testing of optical/digital imaging system for mobile devices. ... Required Skills: Must have proven optical design and algorithm skills, lens design experience using code-V or equivalent lens design software. ... Company: Samsung Electronics Telecommunication Network Business . ...

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

• Работа в Samsung - Студенческий форум Физфака МГУ

Running Apache on a heavily loaded web server, one often encounters problems related to the machine and OS configuration. ... Quick and detailed performance tuning hints for BSD-derived systems. ... Depending on the syntactic form of the TZ environment variable, these systems have several different algorithms to determine the local time zone (presumably compatible with something). ... This form delegates the knowledge of the time zone information to an external compiled zoneinfo file ( la BSD). ...

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

• Apache IP-based Virtual Host Support
• Name-based Virtual Hosts
• Apache module mod_setenvif

MetaFast : fast reference-free graph-based comparison of shotgun metagenomic data Sergey V. Kazakov1, Vladimir I. Ulyantsev1, Veronika B. Dubinkina2,3, Alexander V. Tyakht2, Dmitry G. Alexeev 1 2 3 2 ,3 ITMO University ... (State Un iversity), Dolgoprudny, Russia Since the emergence of high-throughput genomic sequencing technologies, a huge volume of data has been accumulated describing complex microbial communities ( microbiota ) ... Example of MetaFast output on a set of real data. ...

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

• http://mccmb.belozersky.msu.ru/2013/abstracts/abstracts/120.pdf
• http://mccmb.belozersky.msu.ru/2013/abstracts/abstracts/143.pdf
• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/33.pdf

Running Apache on a heavily loaded web server, one often encounters problems related to the machine and OS configuration. ... Quick and detailed performance tuning hints for BSD-derived systems. ... DIGITAL UNIX Tuning Parameters for Web Servers . ... Depending on the syntactic form of the TZ environment variable, these systems have several different algorithms to determine the local time zone (presumably compatible with something). ... If you have tips to contribute, send mail to apache@apache.org . ...

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

• base_convert
• Apache name-based Virtual Hosts
• Apache module mod_setenvif

... Conference Venue . ... The conference will take place at the Lenin Hill campus of the Lomonosov Moscow State University one of the most prestigious higher education institutions of Russia. ... The conference meetings will take place in the building of the Department of Chemistry of the Lomonosov MSU . ... The catering of conference participants (three meals) and coffee-breaks will take place in the canteen of the Department of Chemistry. ...

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

Please enter the lightcurve file name and period search parameters: . Lightcurve file: . ... Apply the Heliocentric correction and convert all dates to Terrestrial Time (TT)? ... Also, the Heliocentric correction cannot be applied to such lightcurves. ... This period search service is also available at the mirror sites: Mirror 1 , Mirror 2 , Mirror 3 , Mirror 4 . You may download the latest source code distribution and install the period search service at your own web server. ...

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

• The NMW survey homepage

Running Apache on a heavily loaded web server, one often encounters problems related to the machine and OS configuration. ... Quick and detailed performance tuning hints for BSD-derived systems. DIGITAL UNIX Tuning Parameters for Web Servers . ... Depending on the syntactic form of the TZ environment variable, these systems have several different algorithms to determine the local time zone (presumably compatible with something). ... If you have tips to contribute, send mail to apache@apache.org . ...

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

• Apache name-based Virtual Hosts
• Qt-based LiveConnect Plugins
• A CGI-Based Perl Server

... Several high quality software that might be useful in the office. Search SAL: . ... BRU[tm] -- full featured backup software for home and commercial use. cfengine -- a very high level language for administrating and configuring unix-like systems. ... EasyFAX -- a easy to use and full-featured Fax program. eXode -- a project to create a set of integrated tools to manage a UNIX/X system. ... Kivio -- a flowcharting software for KDE. maXimum cde -- an integrated common desktop environment for Linux. ...

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

• SAL -- Scientific Applications on Linux -- New Items Added in 2001/05 and
• SAL- Mathematics - Misc - Java based calculator
• SAL- Computer Graphics, Images Signals - CAD, Drawing Painting Tools

... Journal of Chromatography A, 2000, 884(1-2), 31-39 . ... Aliphatic ionene with hydroxyl group (2HP-8 ionene), mixed aliphatic-aromatic ionenes (3-у and 6-у-ionenes), aromatic ionene (Ph-у ionene), and viologen (Dp-у ionene) -polymers with quaternary nitrogen atoms in the main chain - served as modifiers in synthesising polyelectrolyte sorbents for ion chromatography. The selectivity these anion-exchangers was compared with those for aliphatic ionenes. ... Laboratory of Chromatography ...

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

• Molecular mechanics of coordination compounds: force field based on
• Polyelectrolyte Sorbents for Ion Chromatography based on of Aliphatic Ionenes.
• Polyelectrolyte sorbents based on aliphatic ionenes for ion chromatography

Internet Engineering Task Force (IETF) S. Josefsson Request for Comments: 6070 SJD AB Category: Informational January 2011 ISSN: 2070-1721 PKCS #5: Password-Based Key Derivation Function 2 (PBKDF2) Test Vectors Abstract This document contains test vectors for the Public-Key Cryptography Standards (PKCS) #5 Password-Based Key Derivation Function 2 (PBKDF2) with the Hash-based Message Authentication Code (HMAC) Secure Hash Algorithm (SHA-1) pseudorandom function. ... PBKDF2 HMAC-SHA1 Test Vectors .. ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc6070.txt.pdf
• http://mirror.msu.net/pub/gentoo-portage/eclass/oasis.eclass
• http://mirror.msu.net/pub/gentoo-portage/www-servers/lighttpd/lighttpd-1.4.37-r1.ebuild

VRAM-based Windows and CAD Accelerator . ... 5 Year Warranty Diamond's Stealth 64 VRAM is the latest addition to the award winning Stealth family of graphics accelerators for compute-intensive Windows and DOS applications. Designed for PC/ and VESA local bus architectures,. the VRAM based Stealth 64 sets a new standard in 64-bit graphics performance. With 4MB of VRAM, the Stealth 64 displays 24-bit true color up to 1152x864 resolution and provides 65,536 colors at 1280x1024 resolution. ...

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

Russian Journal of Coordination Chemistry, Vol. ... The Molecular Mechanic Approach to Coordination Compounds: Force Field Based on the Gillespie-Kepert Model . ... Abstract - The set of parameters for calculating the geometry of coordination compounds is suggested on the basis of the molecular mechanic approach complemented by the Gillespie-Kepert model. ...

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

• Laboratory of Electrochemical Methods

... TWiki ? NatEditContrib . ... NatEdit is implemented as a jquery plugin, called jquery.natedit , and thus heavily depends on javascript. ... You will need to install the TWiki:Plugins/JQueryPlugin to use NatEdit. ... 2007-2008 Michael Daum http://michaeldaumconsulting.com . ... 29 Apr 2008 . ... made all button output configurable; standardized their defaults; fixed javascript in preview mode; added support for TWiki:Plugins/RevCommentPlugin ; added monospace button; reworked some of the icons . ...

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

• NatEditContrib - TWiki - TWiki - (printable)

.

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

• NATO Scientific & Environmental Affairs
• LCOptimizer Software

Выберите категорию обращения: Общие вопросы Отчеты Рейтинги Диссертационные советы Конкурсы Ввод данных Структура организаций Пользователи Проблемы с регистрацией\входом в систему . ... 1997 A 3 bit single flux quantum shift register based on high-T-c bicrystal Josephson junctions operating at 50 K . Oelze B. , Ruck B. , Sodtke E. , Kirichenko A.F. , Kupriyanov M.Y. , Prusseit W. в журнале Applied Physics Letters , издательство American Institute of Physics (United States) , том 70, ? ...

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

• Kidiyarova-Shevchenko A.Y. - сотрудник | ИСТИНА - Интеллектуальная Система
• Prusseit W. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического
• Ruck B. - сотрудник | ИСТИНА - Интеллектуальная Система Тематического