This updated textbook introduces readers to assembly and its evolving role in computer programming and design. The author concentrates the revised edition on protected-mode Pentium programming, MIPS assembly language programming, and use of the NASM and SPIM assemblers for a Linux orientation. The focus is on providing students with a firm grasp of the main features of assembly programming, and how it can be used to improve a computer's performance. All of the main features are covered in depth, and the book is equally viable for DOS or Linux, MIPS (RISC) or CISC (Pentium). The book is based...
This updated textbook introduces readers to assembly and its evolving role in computer programming and design. The author concentrates the revised edi...
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better...
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and prese...
This advanced textbook provides a comprehensive survey of hardware and software architectural principles and methods of computer systems organization and design. It covers both CISC and RISC processors in detail, presenting Pentium, PowerPC, MIPS, SPARC and Itanium. In addition, assembly language programming for both CISC (Pentium) and RISC (MIPS) processors is covered in detail. Numerous assembly language code examples are included to give hands-on experience to students. These examples are not code fragments, but completely working programs that the students can run when they download the...
This advanced textbook provides a comprehensive survey of hardware and software architectural principles and methods of computer systems organization ...
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
Differing from other books on the subject, this one uses the framework of constraint databases to provide a natural and powerful generalization of relational databases. An important theme running through the text is showing how relational databases can smoothly develop into constraint databases, without sacrificing any of the benefits of relational databases whilst gaining new advantages. Peter Revesz begins by discussing data models and how queries may be addressed to them. From here, he develops the theory of relational and constraint databases, including Datalog and the relational...
Differing from other books on the subject, this one uses the framework of constraint databases to provide a natural and powerful generalization of rel...
This textbook is uniquely written with dual purpose. It cover cores material in the foundations of computing for graduate students in computer science and also provides an introduction to some more advanced topics for those intending further study in the area. This innovative text focuses primarily on computational complexity theory: the classification of computational problems in terms of their inherent complexity. The book contains an invaluable collection of lectures for first-year graduates on the theory of computation. Topics and features include more than 40 lectures for first year...
This textbook is uniquely written with dual purpose. It cover cores material in the foundations of computing for graduate students in computer scie...
This book was originally titled "Fundamentals of the New Artificial Intelligence: Beyond Traditional Paradigms." I have changed the subtitle to better represent the contents of the book. The basic philosophy of the original version has been kept in the new edition. That is, the book covers the most essential and widely employed material in each area, particularly the material important for real-world applications. Our goal is not to cover every latest progress in the fields, nor to discuss every detail of various techniques that have been developed. New sections/subsections added in this...
This book was originally titled "Fundamentals of the New Artificial Intelligence: Beyond Traditional Paradigms." I have changed the subtitle to better...
By the year 2020, the basic memory components of a computer will be the size of individual atoms. At such scales, the current theory of computation will become invalid. A new field called "quantum computing" is emerging that is reinventing the foundations of computer science and information theory in a way that is consistent with quantum physics - the most accurate model of reality that is currently known. Remarkably, this new theory predicts that quantum computers can perform certain tasks breathtakingly faster than classical computers, and, better yet, can accomplish mind-boggling feats...
By the year 2020, the basic memory components of a computer will be the size of individual atoms. At such scales, the current theory of computation wi...
Image processing is concerned with the analysis and manipulation of images by computer. Providing a thorough treatment of image processing with an emphasis on those aspects most used in computer graphics, the authors concentrate on describing and analyzing the underlying concepts rather than on presenting algorithms or pseudocode. As befits a modern introduction to this topic, a good balance is struck between discussing the underlying mathematics and the main topics: signal processing, data discretization, the theory of colour and different colour systems, operations in images, dithering...
Image processing is concerned with the analysis and manipulation of images by computer. Providing a thorough treatment of image processing with an ...
Algorithms are central to all areas of computer science, from compiler construction to numerical analysis to artificial intelligence. Throughout your academic and professional careers, you may be required to construct new algorithms, analyze existing algorithms, or modify algorithms to suit new purposes.
How do we know that such algorithms are correct? One method involves making claims about how we expect our programs to operate, and then constructing code that carries out these tasks. The key component of such reasoning is the invariant, and is the topic of this book.
In these pages, you...
Algorithms are central to all areas of computer science, from compiler construction to numerical analysis to artificial intelligence. Throughout your ...
