Operating Systems eBooks Page 4

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; this holds for both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for quite a long time. However, their application to the development of large systems requires more emphasis on specification, modeling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 9th S...

This book presents a scientific theory of Networked information technology (NIT) systems and logically develops the fundamental principles to help synthesize control and coordination algorithms for these systems. The algorithms described are asynchronous, distributed decision-making (ADDM) algorithms, and their characteristics include correct operation, robustness, reliability, scalability, stability, survivability, and performance. The book explains through case studies the conception, development, experimental testing, validation, and rigorous performance analysis of practical ADDM algorithms for real-world systems from a number of diverse disciplines. Practitioners, professionals, and advanced students will find the book an authoritative resource ...

Tricks of the 3D Game Programming Gurus takes game programmers to the next level of programming, teaching them the latest techniques and tools: DirectX, 3D acceleration, Artificial Intelligence and explains, in detail, 3D algorithms including texture mapping and lighting....

UNIX is one of the major operating systems in use today. Need to get up and running quickly? This easy-to-follow guide is just the resource you need. Using detailed explanations and real-world examples, you will have the hands-on experience you need to build a solid understanding of this robust operating system....

Sams Teach Yourself Linux in 24 Hours is a tutorial aimed at making the Linux beginner a more effective and productive user of the operating system. Most books in this category are more of a general reference in nature and are designed to cover Linux in general. But every Linux distribution is different--file locations can change, commands can be a little different, etc., meaning the readers of those books may not find answers specific to their installation. This book uses the effective Sams Teach Yourself format to instruct you how to: install the operating system, configure hardware, and effectively use the tools that come with the Red Hat distribution included on the CD-ROM....