Filter by
Logic Testing and Design for Testability
"Today's computers must perform with increasing reliability, which in turn depends on the problem of determining whether a circuit has been manufactured properly or behaves correctly. However, the greater circuit density of VLSI circuits and systems has made testing more difficult and costly. This book notes that one solution is to develop faster and more efficient algorithms to generate test p…
- Edition
- -
- ISBN/ISSN
- 9780262256186
- Collation
- -
- Series Title
- -
- Call Number
- -
Machine Translation: A View from the Lexicon
"Logo for the Macintosh teaches the art of programming to first time programmers. It begins with Turtle Geometry, a series of exercises involving both Logo programming and geometric concepts. Later chapters illustrate more advanced topics, such as the famous DOCTOR program with its simulated psychotherapist and an INSTANT program that enables parents and teachers to create a programming environ…
- Edition
- -
- ISBN/ISSN
- 9780262290838
- Collation
- -
- Series Title
- -
- Call Number
- -
Data-parallel programming on MIMD computers
Data-Parallel Programming demonstrates that architecture-independent parallel programming is possible by describing in detail how programs written in a high-level SIMD programming language may be compiled and efficiently executed-on both shared-memory multiprocessors and distributed-memory multicomputers.MIMD computers are notoriously difficult to program. Data-Parallel Programming demonstrates…
- Edition
- -
- ISBN/ISSN
- 9780262288484
- Collation
- 1 online resource (xiv, 231 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Making Use: Scenario-Based Design of Human-Computer Interactions
"Difficult to learn and awkward to use, today's information systems often change our activities in ways that we do not need or want. The problem lies in the software development process. In this book John Carroll shows how a pervasive but underused element of design practice, the scenario, can transform information systems design.Traditional textbook approaches manage the complexity of the desi…
- Edition
- 1
- ISBN/ISSN
- 9780262269926
- Collation
- -
- Series Title
- -
- Call Number
- -
An introduction to computational learning theory
Emphasizing issues of computational efficiency, Michael Kearns and Umesh Vazirani introduce a number of central topics in computational learning theory for researchers and students in artificial intelligence, neural networks, theoretical computer science, and statistics.Computational learning theory is a new and rapidly expanding area of research that examines formal models of induction with th…
- Edition
- -
- ISBN/ISSN
- 0585350531
- Collation
- 1 online resource (xii, 207 pages) :illustrations
- Series Title
- -
- Call Number
- 005 KEA i
Materialized Views: Techniques, Implementations, and Applications
"When an application is built, an underlying data model is chosen to make that application effective. Frequently, other applications need the same data, only modeled differently. The solution of copying the underlying data and modeling is costly in terms of storage and makes data maintenance and evolution impossible. View mechanisms are a technique to model data differently for various applicat…
- Edition
- 1
- ISBN/ISSN
- 9780262287500
- Collation
- -
- Series Title
- -
- Call Number
- -
Modeling and analysis of communicating systems
Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a …
- Edition
- -
- ISBN/ISSN
- 0262321033
- Collation
- 1 online resource (xvi, 376 pages) :illustrations
- Series Title
- -
- Call Number
- -
Intelligence emerging : adaptivity and search in evolving neural systems
"Emergence--the formation of global patterns from solely local interactions--is a frequent and fascinating theme in the scientific literature both popular and academic. In this book, Keith Downing undertakes a systematic investigation of the widespread (if often vague) claim that intelligence is an emergent phenomenon. Downing focuses on neural networks, both natural and artificial, and how the…
- Edition
- -
- ISBN/ISSN
- 0262328666
- Collation
- 1 online resource (xxii, 475 pages) :illustrations
- Series Title
- -
- Call Number
- -
Mechanics of Robotic Manipulation
""Manipulation" refers to a variety of physical changes made to the world around us. Mechanics of Robotic Manipulation addresses one form of robotic manipulation, moving objects, and the various processes involved--grasping, carrying, pushing, dropping, throwing, and so on. Unlike most books on the subject, it focuses on manipulation rather than manipulators. This attention to processes rather …
- Edition
- -
- ISBN/ISSN
- 9780262256629
- Collation
- -
- Series Title
- -
- Call Number
- -
Recoding gender :women's changing participation in computing
The untold history of women and computing: how pioneering women succeeded in a field shaped by gender biases. Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male “computer geek” seems to be everywhere in popular culture. Few people know that women were a significant presence…
- Edition
- -
- ISBN/ISSN
- 9780262305464
- Collation
- 1 online resource (x, 247 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography