Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...
During the 1980's the flat relational model (relational model), which was initiated by
Codd in 1970, gained immense popularity and acceptance in the market place. One of
the main reasons for this success is that the relational model provides physical data
independences i.e. changing the physical organization of the database does not...
This book is intended as an introduction to the design of digital processors that are dedicated to
performing a particular task. It presents a number of general methods and also covers general
purpose architectures such as programmable processors and configurable logic. In fact, the
dedicated digital system might be based on a standard...
This book is complete: my checklists and FileMaker databases have cross-indexed features, preferences, and the applications that ship with Mac OS X, to make certain that everything shows up somewhere in the book. It has been revised against the second update—Mac OS X 10.0.2. We have tried to include screen shots of almost every feature,...
Cooperative network supercomputing is becoming increasingly popular for harnessing the power of the global Internet computing platform. A typical Internet supercomputer consists of a master computer or server and a large number of computers called workers, performing computation on behalf of the master. Despite the simplicity and benefits of...
The Shelly Cashman Series® offers the finest textbooks in computer education. This
Microsoft Visual Basic 2008 book utilizes an innovative step-by-step pedagogy, which
integrates demonstrations of professional-quality programs with in-depth discussions
of programming concepts and techniques and opportunities for hands-on practice...
The objective of this book is to present a substantial introduction to the ideas, phenomena and methods of the problems that are frequently observed in mathematics, mathematical physics and engineering technology. The book can be appreciated at a considerable number of levels and is designed for everyone from amateurs to research workmen.
Redis is a data structure server with an in-memory dataset for speed. It is called a data structure server and not simply a key value store because Redis implements data structures allowing keys to contain binary safe strings, hashes, sets and sorted sets, as well as lists. This combination of flexibility and speed makes Redis the ideal tool...
GeoComputation (GC) is a follow-on revolution that is occurring after the
introduction of geographical information systems (GIS). It is expected to gather
speed and momentum in the first decade of the 21st century. The rationale
behind this latest revolution is quite simple. When we have finished creating our
GIS databases, set up our...
MATLAB is a powerful language for technical computing. The name MATLAB
stands for MATrix LABoratory, because its basic data element is a matrix (array).
MATLAB can be used for math computations, modeling and simulations, data
analysis and processing, visualization and graphics, and algorithm development.
For a long time computer scientists have distinguished between fast and slow algorithms. Fast (or good) algorithms are the algorithms that run in polynomial time, which means that the number of steps required for the algorithm to solve a problem is bounded by some polynomial in the length of the input. All other algorithms are slow (or bad)....
C# Programming: From Problem Analysis to Program Design requires no previous introduction
to programming and only a mathematical background of high school algebra. The
book uses C# as the programming language for software development; however, the basic
programming concepts presented can be applied to a number of other languages....
