Все о внутреннем устройстве современного компьютера и периферийного оборудования, исчерпывающие источники информации о «железе» для энтузиастов и профессионалов – в этом разделе. Здесь представлена самая актуальная литература по ремонту, модернизации, работе с аппаратными прерываниями - от классической энциклопедии Модернизация и ремонт ПК, выдержавшей уже 19-е переиздание, до руководства Железо 2011, а также детальному описанию архитектуры микропроцессоров , BIOS, современных шинных протоколов.
The Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a set of autonomous agents, with non uniform interfaces and communicating by the use of labeled messages. The CAP process calculus, proposed by Colaco, is based on this model and allows to describe non trivial realistic systems, without the need of complex encodings. CAP is a higher-order calculus: messages can carry actor behaviors. Multiple works address the analysis of CAP properties, mainly by the use of inference-based type systems using behavioral types and sub-typing. We propose here the use of another approach, based on the abstract interpretation methodlogy to address principal CAP issues such as the linearity of terms...
ISBN: 978-3-8433-8954-9
Издательство:
Книга по требованию
Дата выхода: июль 2011
In der Softwareentwicklung werden Komponenten, die haufig wiederverwendet werden, in Bibliotheken ausgelagert. Statische Programmanalyse beschaftigt sich mit der Methodik Programme automatisch und ohne ihre Ausfuhrung zu analysieren. Software-Reengineering benutzt statische Programmanalyse, um Wissen aus dem Quellcode zu gewinnen. Leider gehen viele Analysen davon aus, dass das zu analysierende Programm samt den benutzten Bibliotheken vorliegt. Diese Annahme ist oft falsch. Benutzerprogramme konnen nicht mit Bibliotheken analysiert werden, da die Skalierbarkeit die Analyse in der Regel nicht zulasst oder Bibliotheken nur ohne Quellcode existieren. Diese Arbeit betrachtet modulare Ansatze und gliedert sich in drei Teilen. Theoretisch...
ISBN: 978-3-6391-4029-3
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! Steve Andreas, born John O. Stevens, is an American psychotherapist and author specializing in Neuro-linguistic programming. Since 1979, Steve and his partner Connirae Andreas have edited and published a number of titles on the subject. They are best known in the field for their annotated transcripts of a variety of early NLP seminars. Steve is the son of Barry Stevens, a writer and well-known gestalt therapist. Steve Andreas founded Real People Press, a publisher of works on psychology and personal change in 1967, in order to publish a book by Carl Rogers and Barry Stevens entitled "Person to Person". Данное издание не...
ISBN: 978-6-1314-0449-8
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Strongtalk is a Smalltalk environment with optional static typing support. Strongtalk can make some compile time checks, and offer "stronger" type-safety guarantees; this is the source of its name. It is non-commercial, though it was originally a commercial project developed by a small start-up company called Animorphic.Dave Griswold wanted to use Smalltalk more extensively, but the existing implementations weren't sufficient for his needs. He wanted to improve the performance, add type-checking, and use native UI widgets. His efforts resulted in the 1993 paper he co-authored with Gilad Bracha. This version was...
ISBN: 978-6-1332-0399-0
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Structured Audio Orchestra Language (SAOL) is an imperative, MUSIC-N programming language designed for describing virtual instruments, processing digital audio, and applying sound effects. It was published as subpart 5 of MPEG-4 Part 3 (ISO/IEC 14496-3:1999) in 1999. A programming language is an artificial language designed to express computations that can be performed by a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine, to express algorithms precisely, or as a mode of human communication. Данное издание не...
ISBN: 978-6-1332-0402-7
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A style sheet language or style language, is a computer language used to describe the presentation of structured documents. A structured document which doesn't break the schema it is designed to conform to is "well-formed". A program processing the document must model the schema, and can present it in different formats, fonts, and order, as well as with other effects, by using different sets of style rules contained in different style sheets. One modern style sheet language with widespread use is Cascading Style Sheets, which is used to style documents written in HTML, XHTML, SVG, XUL, and other markup...
ISBN: 978-6-1332-0409-6
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Subset-equational language (SEL) is a declarative programming language for set processing, written by Bharat Jayaraman. Computer programming (often shortened to programming or coding) is the process of designing, writing, testing, debugging / troubleshooting, and maintaining the source code of computer programs. This source code is written in a programming language. The code may be a modification of an existing source or something completely new. The purpose of programming is to create a program that exhibits a certain desired behaviour (customization). The process of writing source code often requires...
ISBN: 978-6-1332-0426-3
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! Subtext is a moderately visual programming language and environment, for writing application software. It is an experimental, research attempt to develop a new programming model, called Example Centric Programming, by treating copied blocks as first class prototypes, for program structure. It uses live text, similar to what occurs in spreadsheets as users update cells, for frequent feedback. It is intended to eventually be developed enough to become a practical language for daily use. It is planned to be open software; the license is not yet determined. Subtext was created by Jonathan Edwards who submitted a paper on the language to OOPSLA. It was...
ISBN: 978-6-1304-7985-5
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Suneido is an interpreted, interactive programming language for Microsoft Windows first released in 2000. It is fully dynamically typed and uses automatic memory management; it is thus similar to Python, Tcl, Perl, Scheme, and Ruby. Suneido is developed as an open source project. The Suneido system includes the language, an integrated client–server relational database, and an integrated development environment. The latest release was made on October 21, 2007. Данное издание не является оригинальным. Книга печатается по технологии...
ISBN: 978-6-1332-0529-1
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SuperBASIC was an advanced variant of the BASIC programming language with many structured programming additions. It was developed at Sinclair Research by Jan Jones during the early 1980s. Originally SuperBASIC was intended for a home computer, code-named SuperSpectrum, then under development. This project was later cancelled, however, SuperBASIC was subsequently included in the ROM firmware of the Sinclair QL personal computer (launched in January 1984), also serving as the command interpreter for the QL's Qdos operating system. Данное издание не является оригинальным....
ISBN: 978-6-1332-0530-7
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The SWLPC programming language, "Shattered World LPC", is a variant of LPC developed and maintained by the staff of the MUD Shattered World. It is a fork of the LPMud 2.4.5 server. The SWLPC server software was originally distributed privately, but was later made publicly available. Its primary maintainer is Geoff "Dredd" Wong. A MUD (originally Multi-User Dungeon, with later variants Multi-User Dimension and Multi-User Domain), pronounced /'m d/, is a multiplayer real-time virtual world described primarily in text. MUDs combine elements of role-playing games, hack and slash, player versus player, interactive...
ISBN: 978-6-1332-0531-4
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SYMPL was a programming language developed by the Control Data Corporation for use on the CDC 6000 series computer systems in the 1970s and 1980s. It was based on a subset of CDCs version of JOVIAL, as an alternative to assembly language. A number of important CDC software products were implemented in SYMPL, including compilers, libraries, a full-screen editor, and major subsystems.Simplifications compared to JOVIAL included: fewer built-in data types, no recursive calls to procedures, and no COMPOOL concept. Данное издание не является оригинальным. Книга...
ISBN: 978-6-1332-0533-8
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. SyncCharts is a graphical formalism dedicated to reactive system modeling. It allows specifying the reactive behavior, and the synchronous programming, of applications. SyncCharts is the name of the model. A syncChart is an instance. This language was created by Prof. Charles Andre. SyncCharts inherits many features from StateCharts, and Argos. An academic distribution is available on Sports Project. A commercial distribution is in Esterel Studio, from Synfora. Any syncChart can be automatically translated into an Esterel program, so users can use the Esterel software environment developed for synchronous...
ISBN: 978-6-1332-0535-2
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. A synchronous programming language is a computer programming language optimized for programming reactive systems, systems that are often interrupted and must respond quickly. Many such systems are also called realtime systems, and are found often in embedded uses. The term 'reactive' is chosen to avoid ambiguities that occur sometimes when using the term 'realtime'. They are of growing importance. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
ISBN: 978-6-1332-0536-9
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, the syntax of a programming language is the set of rules that define the combinations of symbols that are considered to be correctly structured programs in that language. The syntax of a language defines its surface form. Text-based programming languages are based on sequences of characters, while visual programming languages are based on the spatial layout and connections between symbols (which may be textual or graphical). Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд...
ISBN: 978-6-1332-0538-3
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Synthesis Toolkit (STK) is an open source API for real time audio synthesis with an emphasis on classes to facilitate the development of physical modelling synthesizers. It is written in C++ and is written and maintained by Perry Cook at Princeton University and Gary Scavone at CCRMA. It contains both low-level synthesis and signal processing classes (oscillators, filters, etc.) and higher-level instrument classes which contain examples of most of the currently available physical modelling algorithms in use today. The STK is used widely in creating software synthesis applications, many of the hardware...
ISBN: 978-6-1332-0542-0
Издательство:
Книга по требованию
Дата выхода: июль 2011
Frederic P. Miller, Agnes F. Vandome, John McBrewster
High Quality Content by WIKIPEDIA articles! Le systeme binaire est un systeme de numeration utilisant la base 2. On nomme couramment bit (de l'anglais binary digit, soit « chiffre binaire ») les chiffres de la numeration binaire. Ceux-ci ne peuvent prendre que deux valeurs, notees par convention 0 et 1. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
ISBN: 978-6-1328-0962-9
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Systems modeling or systems modelling is the interdisciplinary study of the use of models to conceptualize and construct systems in business and IT development. A common type of systems modeling is function modelling, with specific techniques such as the Functional Flow Block Diagram and IDEF0. These models can be extended using functional decomposition, and can be linked to requirements models for further systems partition. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после...
ISBN: 978-6-1332-0551-2
Издательство:
Книга по требованию
Дата выхода: июль 2011
Frederic P. Miller, Agnes F. Vandome, John McBrewster
High Quality Content by WIKIPEDIA articles! Le systeme d'exploitation, abrege SE (en anglais operating system, abrege OS), est l'ensemble de programmes central d'un appareil informatique qui se place a l'interface entre le materiel et les logiciels applicatifs. Intermediaire entre les logiciels applicatifs et le materiel, le systeme d'exploitation sert trois intentions distinctes : le systeme d'exploitation prend en charge la programmation des peripheriques materiels, il en coordonne et optimise l'utilisation ; Il propose aux logiciels applicatifs des interfaces de programmation standardisees qui simplifient l'utilisation des materiels et realise enfin differentes fonctions visant a assurer la fiabilite (tolerance aux pannes, isolation...
ISBN: 978-6-1307-3679-8
Издательство:
Книга по требованию
Дата выхода: июль 2011
System Performance Tuning answers one of the most fundamental questions you can ask about your computer: How can I get it to do more work without buying more hardware? In the current economic downturn, performance tuning takes on a new importance. It allows system administrators to make the best use of existing systems and minimize the purchase of new equipment. Well-tuned systems save money and time that would otherwise be wasted dealing with slowdowns and errors. Performance tuning always involves compromises; unless system administrators know what the compromises are, they can\'t make intelligent decisions. Tuning is an essential skill for system administrators who face the problem of adapting the speed of a computer system to the...
ISBN: 0-596-00284-x
Издательство:
O'Reilly & Associates
Дата выхода: май 2002
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. System programming languages (otherwise known as applications languages) are programming languages that are statically typed, allow arbitrarily complex data structures, are compiled, and are meant to operate largely independently of other programs. Prototypical system programming languages are C and Modula-2. This term derives from John Ousterhout's division of high-level languages into "system programming languages" and "scripting languages". This distinction is sometimes referred to as Ousterhout's dichotomy; it underlies the design of his language Tcl. Данное издание не является...
ISBN: 978-6-1332-0545-1
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. To be used efficiently, all computer software needs certain hardware components or other software resources to be present on a computer. These pre-requisites are known as (computer) system requirements and are often used as a guideline as opposed to an absolute rule. Most software defines two sets of system requirements: minimum and recommended. With increasing demand for higher processing power and resources in newer versions of software, system requirements tend to increase over time. Industry analysts suggest that this trend plays a bigger part in driving upgrades to existing computer systems than...
ISBN: 978-6-1332-0548-2
Издательство:
Книга по требованию
Дата выхода: июль 2011