Computer Architecture/Software Engineering

Babe examines the writings of ten major thinkers in the context of their physical and cultural environments and finds that there is indeed a mode of theorizing that is quintessentially Canadian.

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.

The book teaches the basic programming concepts in C and illustrates various effective programming techniques by examples. It introduces different concepts such as binding time, process address space, call-by-value and recursion and attempts to rewrite programs using these concepts. The book explains the role of pointers in developing programs and compares arrays with pointe Besides, it also discusses structures and unions as well as various types of file operations with the help of several application programs.

Microsoft’s Dynamic Language Runtime (DLR) is a platform for running dynamic languages such as Ruby and Python on an equal footing with compiled languages such as C#. Furthermore, the runtime is the foundation for many useful software design and architecture techniques you can apply as you develop your .NET applications. Pro DLR in .NET 4 introduces you to the DLR, showing how you can use it to write software that combines dynamic and static languages, letting you choose the right tool for the job. You will learn the core DLR components such as LINQ expressions, call sites, binders, and dynamic objects—and how they work together to achieve language interoperability. You’ll see how to mix and match objects and functions from compiled and dynamic languages, so you can write code in the language of your choice while taking advantage of libraries written in other languages. And you'll discover how the various languages interoperate behind the scenes. With the basics out of the way, the book then details the various ways you can leverage the DLR in the design and architecture of your software applications. You’ll learn about runtime code generation, which lets you avoid much of the boilerplate code typical in layered business applications. You’ll see practical examples of using the DLR to build domain-specific languages, and you’ll learn how the DLR helps enable aspect-oriented programming.

This is a revised edition of the eight years old popular book on operating System Concepts. In Addition to its previous contents, the book details about operating system foe handheld devices like mobile platforms. It also explains about upcoming operating systems with have interface in various Indian language. In addition to solved exercises of individual chapters, the revised version also presents a question bank of most frequently asked questions and their solutions. Value addition has been done in almost all the 14 chapters of the book.