Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

At last this work can appear in the form it was intended to take when I started on it nearly twenty years ago. Half...

An important aspect of teaching a course in compiler writing is to illustrate the key theoretical concepts normally taught in such a course. A frequently used strategy for achieving this goal is to have a student design a simple programming language and implement a compiler for this language. Many texts in compiler writing do not,...

The field of machine perception concerns the building of machines that sense and interpret their environments. This book is about visual perception. Potential applications for such systems include tasks such as automation of industrial processes of inspection and assembly, automated medical x-ray diagnosis, vehicle guidance and...

In the chapters that follow, you'll find illustrated plans for a wide assortment of semiconductor circuits and projects that will pay for themselves many times over through useful service. If you're like most of my colleagues in the field, you'll discover just the kind of clear instructions and practical circuits you're after. Each circuit...

• trellis and block coded modulation to achieve...

Why get into furniture restoration? One reason is that there probably is no greater feeling of satisfaction than the one you get when you bring that newly restored chair to its place of honor in the living room. You put it in exactly the right place, stand back - and feel good. A few months ago, that chair was battered and bruised, an...