... calg:archive07 ]] . THEP . ... archive07 . ... Computing in THEP (FAQ) . ... Grobner bases and related methods, 2006 . ... Specialization of functional programs by supercompilation . ... Wednesday, December 19, at 16.20 in 780 room of building VMK, Moscow State University. ... The simplest task of program specialization is to construct another program q_p(y) such that q_p(y) = p(x_0, y) on the domain of the program p and the program q_p(y) is more optimal than the p (with respect to run-time). ...

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

• тЬО intas:cern-intas03:task5 [THEP]
• intas:cern-intas03:task5 [THEP]
• calg:dubna07:program - Recent Changes [THEP]

... Major changes from the previous template system . ... TWiki master template . ... Attached is an example of an oops base template oopsbase.tmpl and a example oops dialog oopstest.tmpl which is based on the base template. ... Example: oopspreview.tmpl template %TMPL:INCLUDE{"twiki"}% %TMPL:DEF{"titleaction"}% (oops) %TMPL:END% %TMPL:DEF{"webaction"}% *Attention* %TMPL:END% %TMPL:DEF{"heading"}% Topic is not saved yet %TMPL:END% %TMPL:DEF{"message"}% Please go back in your browser and save the topic. ...

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

• FileAttachment - TWiki - TWiki

... Int , J. of Computer and Systems Sciences Intern , Journal of Computer and Systems Sciences International показать полностью.. Journal of Computer and Systems Science International . ... Dzhepe A. , Kozlov A.V. , Nikulin A.A. в журнале Journal of Computer and Systems Sciences International , издательство Maik Nauka/Interperiodica Publishing (Russian Federation) , том 54, ? ...

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

• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems -
• Future Generation Computer Systems - журнал | ИСТИНА - Интеллектуальная Система
• International journal of information systems and change management - журнал |

... This section describes some of the more important UNIX services, but without much detail. ... The single most important service in a UNIX system is provided by init . ... One of the more useful things that can be done with networking services is sharing files via a network file system . The one usually used is called the Network File System, or NFS, developed by Sun. With a network file system any file operations done by a program on one machine are sent over the network to another computer. ...

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

• The /var filesystem
• The Linux System Administrators' Guide
• System Security

The Chair of Mathematical Theory of Intelligent Systems and . ... Research . ... Computer Solver . ... Computer Teacher . development of computer teaching systems . ... Demos . ... Demo program (to setup it on your computer you should copy the setup file to some directory on your hard disk and then unzip it). Presentation (in Microsoft Power Point format) . Demo program (to setup it on your computer you should copy the setup file to some directory on your hard disk and then run it). ...

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

• Intelligent Systems :: Teaching :: Seminars :: Список специальных семинаров
• Intelligent Systems :: News
• Intelligent Systems :: Research :: :: Articles

... Software related to electrical engineering -- circuit layout/design tools, EDA (Electronic Design Automation), etc. ... Electrical Related Software ( Commercial, Shareware, GPL ) . ACS -- general purpose circuit simulator. ... APLAC -- nonlinear circuit, system, and electromagnetic FDTD simulation and design program. ... Open Design Circuits --- the chip design counterparts of Open Source Software . ... EDA- and Design-Related Software (Electronic Design Automation) . ... Other Scientific Fields . ...

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

• SAL- Computer Graphics, Images Signals - Modelers
• SAL- Computer Graphics, Images Signals - CAD, Drawing Painting Tools
• SAL- Parallel Computing - Programming Languages Systems

Электронная библиотека . ... Журнал ACM transactions on design automation of electronic systems . ACM Transactions on Design Automation of Electronic Systems (TODAES) is a new CAD publication emphasizing a computer science/engineering orientation. ... ACM Transactions on Design Automation of Electronic Systems (Vol. ... ACM transactions on design automation of electronic systems (Vol. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Becker K.H., D?rfler M. - Dynamical Systems and Fractals : Computer Graphics
• Yaghmour K. - Building Embedded Linux Systems :: Электронная библиотека
• Yazdani M., Gelling R. (eds.) - Computer Assisted Language Learning ::

... A reconfigurable computer system based on FPGAs with liquid cooling" . Levin I.I., Dordopulo A.I., Doronchenko Yu.I., Raskladkin M.K., and Fedorov A.M. The paper deals with problems of design of promising reconfigurable computer systems with liquid cooling for Xilinx Virtex UltraScale FPGAs. ... Keywords: reconfigurable computer systems, FPGAs, liquid cooling, computational module, high-performance computer systems, real and specific performance, power efficiency. ...

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

• "On optimization of computing applications for multiprocessor systems with
• "A family of reconfigurable computer systems with high real performance"
• "High-performance reconfigurable computer systems of new generation"

... About lab . ... Online Journal "Computer graphics and multimedia" (in russian) . ... The documentation in Russian. ... These systems contain millions lines of code, thousands - tens of thousands classes. Visualization could help programmer to better comprehend these large systems, to orientate between lot of objects of these systems, to analyze intricate structure of code and find required information. ... Doc3D: Система трехмерной визуализации архитектуры программных систем . ...

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

• A system of photorealistic rendering: Ray Tracing Engine (RTE) | Graphics and
• System for automatic detection of distorted scenes in stereo video | Graphics
• Advanced Concepts for Intelligent Vision Systems: 15th International

... RPM gives you the tools you need to build a package on different types of computers. ... Before we get into RPM's capabilities, let's do a quick review of what is involved in developing software for different types of computer systems. ... The system software running on the computer. ... As far as package building is concerned, two systems with the same architecture running two different operating systems, are as different as two systems with different architectures running the same operating system...

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

• Free Software and Free Manuals - GNU Project - Free Software Foundation (FSF)
• Chapter€а2.€а Fire up the GIMP
• The Philosophy Behind RPM

... The main principles of ARGENT, a new software package for multistage reaction design on the basis of the Formal-Logical Approach, are presented. ... The second paper describes the mathematical models (based on the theory of permutation groups) that form the foundations of the generation algorithm in ARGENT-1. ... In the third paper of the series, the actual generation algorithm used in ARGENT-1 is described. ...

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

• Liquid Systems Supramolecular Organization: Modelling of Properties, Phenomena,
• Moscow University Chemistry Bulletin Vol. 52, No. 4, P. 313 (2011)

PRESS RELEASE 16 July, 1992 CONTACT: Synetik Systems 2210 Highway 6 & 50, Suite 204 Grand Junction CO, 81505-9406 (303) 241-1718 FOR IMMEDIATE RELEASE: In today's personal computer marketplace, performance claims are abundant. ... IBM OS/2 Version 2.0, the industry's most advanced operating system, requires considerable computer resources to take advantage of its power. ... There are three separate disk tests, and you control whether the program uses the OS/2 system disk cache. ...

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

• Software on Silden
• SunSoft
• NAG's Fortran 90

You are here: Foswiki > System Web > Skins > SkinTemplateTokens (revision 1) E dit A ttach . Placeholders expanded by Foswiki scripts when generating output . ... Template Tokens are written exactly like Foswiki macros , but they are local to the script / template expansion process and can not be used elswhere in Foswiki topics. ... Sent to new user to validate the email address. registerfailednotremoved.tmpl . ... Email address of the new user . ... User password - not used in current templates. ...

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

• PatternSkinCssCookbook < System < Foswiki
• HistoryPlugin < System < Foswiki

... The main research topics of the Department include the study of computer architectures and computer systems , computer networking problems, investigations in the field of behavior analysis of distributed computing systems and their modeling, research and development of architectures and software components of high-performance computing ... Konushin Anton, Associate Professor, PhD, Acting Head of the Laboratory of Computer Graphics and Multimedia . ... Computer systems by Prof. Tomilin ...

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

• Department of Computing Systems and Automation | CMC MSU
• Information for foreigners who wish to study at our Faculty
• Information for foreigners who wish to study at our Faculty | CMC MSU

Network Working Group A. Berggreen Request for Comments: 600 COMPUTER SYSTEMS LABORATORY--UCSB NIC: 20884 November 1973 INTERFACING AN ILLINOIS PLASMA TERMINAL TO THE ARPANET INTRODUCTION The PLATO IV System based at the University of Illinois at Urbana is a highly sophisticated and very powerful approach to Computer Aided Instruction. The PLATO IV system makes use of a plasma display terminal that is a unique device with capabilities not presently found on computer terminals. ... Terminal | ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc600.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc320.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc230.txt

You are here: Foswiki > System Web > Skins > PatternSkin > PatternSkinCssCookbook (revision 1) E dit A ttach . ... Attach 3 new style sheets to the topic . Point the CSS preference settings in System.DefaultPreferences or Main.SitePreferences to your new files: * Set FOSWIKI_LAYOUT_URL = %PUBURLPATH%/%SYSTEMWEB%/YourNewTopic/layout.css * Set FOSWIKI_STYLE_URL = %PUBURLPATH%/%SYSTEMWEB%/YourNewTopic/style.css * Set FOSWIKI_COLORS_URL = %PUBURLPATH%/%SYSTEMWEB%/YourNewTopic/colors.css . ... System . ...

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

• HistoryPlugin < System < Foswiki

... Special features of different systems . ... MPI makes it relatively easy to write portable parallel programs. ... There are two basic types of parallel environments: parallel computers and clusters of workstations. ... The MPICH implementation is designed to hide these differences behind the mpirun script; however, if you need special features or options or if you are having problems running your programs, you will need to understand the differences between these systems. ... Центры . ...

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

• Bibliography | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Overview and Goals | PARALLEL.RU - Информационно-аналитический центр по

DVM-system of parallel program development . Goals and structure . ... 2.1 C-DVM and Fortran DVM parallel program development . ... Using C-DVM and Fortran-DVM languages a programmer deals with the only version of the program both for sequential and parallel execution. ... These rules are syntactically organized in such a manner that they are "transparent" for standard C and Fortran compilers and doesn't prevent DVM-program execution and debugging on workstations as usual sequential program. ...

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

• DVM system - in English
• Lib-DVM. Preliminary design
• DVM system. Documentation

... Master Education . ... Master programs . ... The objective of the Management Information Systems Master?s programme is to prepare IT-professionals for development, implementation and maintenance of enterprise resource planning (ERP) systems. ... exam . ERP-Systems ? ... test, exam . ... Enterprise Information Infrastructure . ... master thesis . ... Магистратура: master@cmc.msu.ru, 3-й этаж, комната 360, тел. ... Второе высшее образование: second_edu@cs.msu.ru, 6-й этаж, комната 640, тел. ...

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

• Master program "Open Information Systems" | Магистерское и послевузовское
• Master program "Software for Computer Networks" | Магистерское и послевузовское
• Master program "Mathematical Models of Complex Systems" | Магистерское и

... Second-year students classes . Introduction to Linux . ... 32-bit Microcontroller Programming . ... In the given practical special course we address user techniques for working with Linux OS; we study the interface of the command line in great detail, methods of automation and batch processing, composition of scientific articles as well as the specifics of software design by using in-built toolkit. ... Use of console interface of the command line, automation (bash scripts) . ...

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

• Parallel Programming
• FPGA Design