Filter by
Parallel MIMD computation :the HEP supercomputer and its applications
Experts in high-speed computation agree that the rapidly growing demand for more powerful computers can only be met by a radical change in computer architecture, a change from a single serial processor to an aggregation of many processors working in parallel. At present, our knowledge about multi-processor architectures, concurrent programming or parallel algorithms is very limited. This book d…
- Edition
- -
- ISBN/ISSN
- 9780262256537
- Collation
- 1 online resource (411 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Regulating Code: Good Governance and Better Regulation in the Information Age
The case for a smarter “prosumer law” approach to Internet regulation that would better protect online innovation, public safety, and fundamental democratic rights. Internet use has become ubiquitous in the past two decades, but governments, legislators, and their regulatory agencies have struggled to keep up with the rapidly changing Internet technologies and uses. In this groundbreakin…
- Edition
- -
- ISBN/ISSN
- 9780262312943
- Collation
- -
- Series Title
- -
- Call Number
- -
Coding literacy how computer programming is changing writing
The message from educators, the tech community, and even politicians is clear: everyone should learn to code. To emphasize the universality and importance of computer programming, promoters of coding for everyone often invoke the concept of "literacy," drawing parallels between reading and writing code and reading and writing text. In this book, Annette Vee examines the coding-as-literacy analo…
- Edition
- -
- ISBN/ISSN
- 9780262340236
- Collation
- 1 online resource (xi, 361 pages) :illustrations, maps.
- Series Title
- -
- Call Number
- -
Critical code studies :initial methods
"Critical Code Studies (CCS) names a set of methodologies for the exploration of computer source code using the hermeneutics of the humanities. Like 10 PRINT CHR$ (205.5 + RND (1)); : GOTO 10, Mark Marino's Critical Code Studies treats code not as merely functional but as a text, one that can be read, and misinterpreted, by non-programmers. As the author notes, code's "meaning is not determined…
- Edition
- -
- ISBN/ISSN
- 9780262357425
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Software studies :a lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262273343
- Collation
- 1 online resource (xii, 334 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Algebraic semantics of imperative programs
Algebraic Semantics of Imperative Programs presents a self-contained and novel "executable" introduction to formal reasoning about imperative programs. The authors' primary goal is to improve programming ability by improving intuition about what programs mean and how they run. The semantics of imperative programs is specified in a formal, implemented notation, the language OBJ; this makes the s…
- Edition
- -
- ISBN/ISSN
- 0262288451
- Collation
- 1 online resource (vii, 228 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Massively parallel processor
The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reach the speeds necessary to meet the challenge of future complex scientific and commercial applications. This collection of articles documents the design of one such computer, a single instruction mu…
- Edition
- -
- ISBN/ISSN
- 0262256827
- Collation
- 1 online resource (vii, 304 pages, 1 unnumbered leaf of plates) :illustrations.
- Series Title
- -
- Call Number
- -
LISP 1.5 programmer's manual :the Computation Center and Research Laboratory …
Includes index.The manual describes LISP, a formal mathematical language. LISP differs from most programming languages in three important ways. The first way is in the nature of the data.The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other …
- Edition
- -
- ISBN/ISSN
- 9780262287722
- Collation
- 1 online resource (vi, 106 pages)
- Series Title
- -
- Call Number
- -
Explorations in parallel distributed processing :a handbook of models, progra…
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262291279
- Collation
- 1 online resource (ix, 355 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Research directions in concurrent object-oriented programming
This collection of original research provides a comprehensive survey of developments at the leading edge of concurrent object-oriented programming. It documents progress -- from general concepts to specific descriptions -- in programming language design, semantic tools, systems, architectures, and applications. Chapters are written at a tutorial level and are accessible to a wide audience, incl…
- Edition
- -
- ISBN/ISSN
- 0262297000
- Collation
- 1 online resource (xii, 532 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