Все о внутреннем устройстве современного компьютера и периферийного оборудования, исчерпывающие источники информации о «железе» для энтузиастов и профессионалов – в этом разделе. Здесь представлена самая актуальная литература по ремонту, модернизации, работе с аппаратными прерываниями - от классической энциклопедии Модернизация и ремонт ПК, выдержавшей уже 19-е переиздание, до руководства Железо 2011, а также детальному описанию архитектуры микропроцессоров , BIOS, современных шинных протоколов.
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! Seamless3d is open source 3D modeling software free and available for all under the MIT license. The models for the virtual reality world, Techuelife Island were created using Seamless3d technology. Techuelife Island is showcased by Blaxxun as an example of what is possible when using the interactive multi-user Blaxxun platform. Many Seamless3d tutorials have been translated to French. In 2001 Seamless3d was made freely available online as a C++ library. The library centered around the creation of animated single mesh avatars for the Blaxxun 3d multi-user platform. Данное издание не является оригинальным. Книга печатается по...
ISBN: 978-6-1305-0146-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. Search-based software engineering (SBSE) is an approach to apply metaheuristic search techniques like genetic algorithms, simulated annealing and tabu search to software engineering problems. It is inspired by the observation that many activities in software engineering can be formulated as optimization problems. Due to the computational complexity of these problems, exact optimization techniques of operations research like linear programming or dynamic programming are mostly impractical for large scale software engineering problems. Because of this, researchers and practitioners have used metaheuristic search...
ISBN: 978-6-1332-0109-5
Издательство:
Книга по требованию
Дата выхода: июль 2011
Frederic P. Miller, Agnes F. Vandome, John McBrewster
High Quality Content by WIKIPEDIA articles! SecuROM is a CD/DVD copy protection product, most often used for commercial computer games running under Microsoft Windows, developed by Sony DADC. SecuROM aims to resist home media duplication devices, professional duplicators, and attempts at reverse engineering the game. The use of SecuROM has generated controversy due to the fact that it is not uninstalled upon removal of the game. In 2008, consumers filed a class-action lawsuit against Electronic Arts for its use of SecuROM in the video game Spore. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения...
ISBN: 978-6-1307-7362-5
Издательство:
Книга по требованию
Дата выхода: июль 2011
We examine and model open networks enforcing the control of safe and authorised communication, i.e. data and resources usage. By an open network we mean an Internet-like global network, where each subject only partially knows and trusts other subjects and their resources. Our goal is to obtain an abstract model that describes faithfully such networks, where computational units communicate one to another exchanging code, and aim at each others resources. Moreover we want to provide a model with efficient abstract mechanisms that enforce correct resource usage, at least for the portion of the open network one is interested in. For the underlying language we choose the ?-calculus and its distributed variant the D?-calculus. We divide our...
ISBN: 978-3-8383-9087-1
Издательство:
Книга по требованию
Дата выхода: июль 2011
Frederic P. Miller, Agnes F. Vandome, John McBrewster
High Quality Content by WIKIPEDIA articles! En securite des systemes d'information, la securite des donnees est la branche qui s'interesse principalement aux donnees, en complement des aspects de traitement de l'information. Depuis le debut de l'Histoire (apparition de l'ecriture), l'homme manipule des informations, qui se traduisent par des donnees, plus ou moins structurees. L'avenement de l'informatique depuis la fin des annees 1940 aux Etats-Unis a introduit une forme numerique donnees, enregistrees sur des supports electroniques. Cette evolution est comparable a l'avenement de l'imprimerie au XV siecle dans les annees 1450. Данное издание не является оригинальным. Книга печатается...
ISBN: 978-6-1307-1533-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. The Secure Operations Language (SOL) was developed jointly by the United States Naval Research Laboratory and Utah State University in the USA. SOL is a domain-specific synchronous programming language for developing distributed applications and is based on software engineering principles developed in the Software Cost Reduction project at the Naval Research Laboratory in the late 1970s and early 1980s. SOL is intended to be a domain-specific language for developing service-based systems. Concurrently, a domain-specific extension of Java (SOLj) is being developed (FTDCS 2007) Application domains include sensor...
ISBN: 978-6-1332-5869-3
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! Self is an object-oriented programming language based on the concept of prototypes. It was used mainly as an experimental test system for language design in the 1980s and 1990s. In 2006, Self was still being developed as part of the Klein project, which was a Self virtual machine written fully in Self. The latest major version is 4.3, which was released in July 2006. As of 2007, the Klein project is no longer active.Several just-in-time compilation techniques were pioneered and improved in Self research as they were required to allow a very high level object oriented language to perform at up to half the speed of optimized C. These techniques were later deployed for Java's HotSpot VM....
ISBN: 978-6-1309-2730-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. In computer programming, self-documenting (or self-describing) is a common descriptor for source code that follows certain loosely-defined conventions for naming and structure. These conventions are intended to enable developers, users and maintainers of a system to use it effectively without requiring previous knowledge of its specification, design, or behavior.The concept of self-description is not exclusively a property of certain kinds of source code. This concept has application to several areas in computer science, notably in computational linguistics and formal language theory. Additionally,...
ISBN: 978-6-1332-0131-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. SEMAT (Software Engineering Method and Theory) is an initiative to reshape software engineering such that software engineering qualifies as a rigorous discipline. The initiative was launched in December 2009 by Ivar Jacobson, Bertrand Meyer, and Richard Soley.A significant number of world-class experts in the field of software engineering endorse the initiative's Call for Action. The signatories include Scott Ambler, Barry Boehm, Erich Gamma, Watts Humphrey, Ken Schwaber etc. The initiative is also supported by corporations such as IBM, Microsoft, Ericsson, ABB and Samsung. Some of the signatories are known in...
ISBN: 978-6-1332-0137-8
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In theoretical computer science, a semiautomaton is an automaton having only an input, and no output. It consists of a set Q of states, a set ? called the input alphabet, and a function T: Q x ? ? Q called the transition function. Associated to any semiautomaton is a monoid called the characteristic monoid, input monoid, transition monoid or transition system of the semiautomaton, which acts on the set of states Q. This may be viewed either as an action of the free monoid of strings in the input alphabet ?, or as the induced transformation semigroup of Q. In older books like Clifford and Preston (1967) S-acts are called "operands". Данное...
ISBN: 978-6-1311-5984-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. In computer programming, a semipredicate problem occurs when a subroutine intended to return a useful value can fail, but the signalling of failure uses an otherwise valid return value. The problem is that the caller of the subroutine cannot tell what the result means in this case. The division operation yields a real number, but fails when the denominator is zero. If we were to write a function that performs division, we might choose to return 0 on this invalid input. However, if the numerator is 0, the result is 0 too. Also, even if a nonzero numerator is required, dividing a small number by a very large one...
ISBN: 978-6-1332-0149-1
Издательство:
Книга по требованию
Дата выхода: июль 2011
Multithreading is becoming ubiquitous to build high-performance software. Multithreaded programs, however, are both harder to write and harder to debug. The random occurrence of tricky bugs make them highly time-consuming to find. In this context, program verification is a powerful tool to build safe multithreaded programs. This book adapts separation logic - a novel and successful technique to reason about imperative programs - to multithreaded object-oriented programs a la Java. First it shows how to finely reason about the start and join primitives for multithreading. Second, this book shows to reason about reentrant locks i.e. Java's locks. Then, the book describes two novel applications of separation logic : debugging of...
ISBN: 978-3-8383-6316-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. Sequential function chart (SFC) is a graphical programming language used for PLCs. It is one of the five languages defined by IEC 61131-3 standard. The SFC standard is defined in IEC 848, "Preparation of function charts for control systems", and was based on GRAFCET (itself based on binary petri nets).Steps are activated when all steps above it are active and the connecting transition is superable (i.e. its associated condition is true). When a transition is passed, all steps above are deactivated at once and after all steps below are activated at once. Данное издание не является...
ISBN: 978-6-1332-0153-8
Издательство:
Книга по требованию
Дата выхода: июль 2011
Die Transformation von XML-Daten ist eine Voraussetzung fur den einfachen Datenaustausch zwischen verschiedenen Anwendungen. Unter den derzeit verfugbaren Transformationsmethoden fur XML hat die Sprache XSLT als W3C-Standard die grosste Verbreitung gefunden. Allerdings skaliert XSLT nicht fur grosse Datenmengen, da hier eine Gesamtsicht auf das XML-Dokument vorausgesetzt wird. In diesem Buch wird mit STX eine erganzende Transformationssprache fur XML entwickelt. STX orientiert sich sehr stark an XSLT, verarbeitet jedoch ein XML-Dokument als Datenstrom. STX kann so beliebig grosse Dokumente transformieren. Die aus der Sprache XPath 2.0 des W3C abgeleitete STX-Pfadsprache (STXPath) tragt dabei der eingeschrankten Sicht auf die zu...
ISBN: 978-3-6390-1847-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. Server-side JavaScript (SSJS) refers to JavaScript that runs on the server-side. This term was coined because the language is predominantly used on the client-side, i.e. client-side JavaScript (CSJS). The first implementation of SSJS was Netscape's LiveWire, included in their Enterprise Server 2.0 product, released in 1996. CommonJS is a project to provide common specifications for SSJS development. Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
ISBN: 978-6-1332-0158-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. Session Initiation Protocol (SIP) is an IETF standard protocol (RFC 3261 and several others for extensions, originated by 3GPP (3rd Generation Partnership Project; a mobile network standardisation body)) for IP-communication, enabling IP-Telephony gateways, client endpoints, PBXs and other communication systems or devices to communicate with each other. SIP mainly addresses the call setup and tear down mechanisms of sessions and is independent of the transmission of media streams between caller and callee. There are several Java platform APIs developed under the Java Community Process that support Java SIP...
ISBN: 978-6-1332-0168-2
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! SETL (SET Language) is a very-high level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s.SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (i.e., tuples of length 2) and can have arbitrary domain and range types. Primitive operations in SETL include set membership, union, intersection, and power set construction, among others. Данное издание не...
ISBN: 978-6-1309-2818-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. A shading language is a special programming language adapted to map on shader programming. Those kind of languages usually have special data types like color and normal. Because of the various target markets of 3D graphics, different shading languages have been developed: a brief overview is given below.Shading languages used in offline rendering are geared towards maximum image quality. Material properties are totally abstracted, little programming skill and no hardware knowledge is required. These kind of shaders are often developed by artists to get the right "look", just as texture mapping, lighting and...
ISBN: 978-6-1332-0172-9
Издательство:
Книга по требованию
Дата выхода: июль 2011
Shape analysis is a static code analysis technique for discovering properties of heap-allocated data structures. Such information is crucial to find software bugs at compile-time or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as analyses cannot be compared directly due to different representations of analysis results. The aim of our work is to compare the precision of shape analyses by extracting alias information from shape analysis results. We propose a significant improvement in precision over an existing 3-valued logic-based algorithm for computing alias sets from shape graphs. Using this algorithm we are able to compare the...
ISBN: 978-3-6392-4965-1
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! SharpDevelop is a free and open source IDE for the C#, Visual Basic .NET (VB.NET), Boo, and (starting from version 3.0) F# and IronPython programming languages.It is typically used as an alternative to Microsoft's Visual Studio .NET. Early in its development there was a fork to Mono/Gtk# called MonoDevelop which includes multi-platform support.SharpDevelop uses its own parsers for C# and VB.NET code completion. The parsers were generated using a grammar description and a modified version of the Coco/R compiler generator of the University of Linz, which is included in the source code. For Boo, the parser from the Boo compiler is used but resolving the type of expressions and type inference is...
ISBN: 978-6-1309-2881-0
Издательство:
Книга по требованию
Дата выхода: июль 2011
Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
High Quality Content by WIKIPEDIA articles! A shell script is a script written for the shell, or command line interpreter, of an operating system. It is often considered a simple domain-specific programming language. Typical operations performed by shell scripts include file manipulation, program execution, and printing text. Many shell script interpreters double as command line interface, such as the various Unix shells, Windows PowerShell or the MS-DOS COMMAND.COM. Others, such as AppleScript or the graphical Windows Script Host, add scripting capability to computing environments without requiring a command line interface. Other examples of programming languages primarily intended for shell scripting include DCL and JCL. Данное...
ISBN: 978-6-1304-5173-8
Издательство:
Книга по требованию
Дата выхода: июль 2011