An Instructor Support FTP site is available from the Wiley editorial department.
WILLIAM CARLSON, PHD, is affiliated with the IDA Center for Computing Sciences. His research interests include performance evaluation of advanced computer architectures, operating systems, languages, and computers for parallel and distributed systems.
THOMAS STERLING, PHD, is a professor at Caltech and its Jet Propulsion Laboratory. His research interests include parallel computing architecture, cluster computing, petaflop computing, and systems software and evaluation.
KATHERINE YELICK, PHD, is Professor of Computer Science, University of California, Berkeley. Her research interests include parallel computing, memory hierarchy optimizations, programming languages, and compilers.
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.
Readers can turn to this book for complete coverage of the current and emerging IEEE 802 wireless standards/drafts, including:802.11 Wireless LANs 802.15.1 Bluetooth and 801.15.2 802.15.3 Wireless PANs 802.15.4 and 802.15.5 Wireless PANs 802.16 Wireless MANs
Emerging Wireless LANs, Wireless PANs, and Wireless MANs is a unique, convenient resource for engineers, scientists, and researchers in academia and industry. It also serves as a valuable textbook for related courses at the upper-undergraduate and graduate levels.
A classic text for accuracy and statistical precision.
Statistics for Business and Economics enables readers to conduct serious analysis of applied problems rather than running simple “canned” applications. This text is also at a mathematically higher level than most business statistics texts and provides readers with the knowledge they need to become stronger analysts for future managerial positions.
The eighth edition of this book has been revised and updated to provide readers with improved problem contexts for learning how statistical methods can improve their analysis and understanding of business and economics.
Those who maintain and administer commodity clusters will find this textbook provides essential coverage of not only what HPC systems do, but how they are used.Covers enabling technologies, system architectures and operating systems, parallel programming languages and algorithms, scientific visualization, correctness and performance debugging tools and methods, GPU accelerators and big data problemsProvides numerous examples that explore the basics of supercomputing, while also providing practical training in the real use of high-end computersHelps users with informative and practical examples that build knowledge and skills through incremental stepsFeatures sidebars of background and context to present a live history and culture of this unique fieldIncludes online resources, such as recorded lectures from the authors’ HPC courses