Серия "ACM Books"

26 кн.

ACM Books - Aaron Stump скачать fb2 бесплатно без регистрации полные версии на сайте Knigism.online

Сортировать по:

порядку

дате добавления

названию

году выхода

количеству скачиваний

Verified Functional Programming in...

Aaron Stump

Verified Functional Programming in Agda

Скачать книгу (fb2, )

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates...

Автор

Aaron Stump

Trust Extension as a Mechanism for...

Bryan Jeffrey Parno

Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers

Скачать книгу (fb2, )

As society rushes to digitize sensitive information and services, it is imperative to adopt adequate security protections. However, such protections fundamentally conflict with the benefits we expect from commodity computers. In other words, consumers and businesses value commodity computers because they provide good performance and an abundance of features at relatively low costs. Meanwhile, attempts to build secure systems from the ground up typically abandon such goals, and hence are seldom ...

Автор

Bryan Jeffrey Parno

The Sparse Fourier Transform

Haitham Hassanieh

The Sparse Fourier Transform

Скачать книгу (fb2, )

The Fourier transform is one of the most fundamental tools for computing the frequency representation of signals. It plays a central role in signal processing, communications, audio and video compression, medical imaging, genomics, astronomy, as well as many other areas. Because of its widespread use, fast algorithms for computing the Fourier transform can benefit a large number of applications. The fastest algorithm for computing the Fourier transform is the Fast Fourier Transform (FFT), which...

Автор

Haitham Hassanieh

The Handbook of Multimodal-Multisen...

Группа авторов

The Handbook of Multimodal-Multisensor Interfaces, Volume 3

Скачать книгу (fb2, )

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces-user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces. This three-volume handbook is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for professionals working in this...

Автор

Группа авторов

The Handbook of Multimodal-Multisen...

Группа авторов

The Handbook of Multimodal-Multisensor Interfaces, Volume 2

Скачать книгу (fb2, )

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces that often include biosignals. This edited collection is written by international experts and pioneers in the field. It provides a textbook, reference, and technology roadmap for...

Автор

Группа авторов

The Handbook of Multimodal-Multisen...

Sharon Oviatt

The Handbook of Multimodal-Multisensor Interfaces, Volume 1

Скачать книгу (fb2, )

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces— user input involving new media (speech, multi-touch, gestures, writing) embedded in multimodal-multisensor interfaces. These interfaces support smart phones, wearables, in-vehicle and robotic applications, and many other areas that are now highly competitive commercially. This edited collection is written by international experts and...

Автор

Sharon Oviatt

The Essentials of Modern Software E...

Ivar Jacobson

The Essentials of Modern Software Engineering

Скачать книгу (fb2, )

The first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors. This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods. This kernel, Essence, is a vocabulary for defining methods and practices. Essence was envisioned and...

Автор

Ivar Jacobson

The Continuing Arms Race

Группа авторов

The Continuing Arms Race

Скачать книгу (fb2, )

As human activities moved to the digital domain, so did all the well-known malicious behaviors including fraud, theft, and other trickery. There is no silver bullet, and each security threat calls for a specific answer. One specific threat is that applications accept malformed inputs, and in many cases it is possible to craft inputs that let an intruder take full control over the target computer system. The nature of systems programming languages lies at the heart of the problem. Rather than...

Автор

Группа авторов

Smarter Than Their Machines

John Cullinane J.

Smarter Than Their Machines

Скачать книгу (fb2, )

Smarter Than Their Machines: Oral Histories of the Pioneers of Interactive Computing is based on oral histories archived at the Charles Babbage Institute, University of Minnesota. Included are the oral histories of some key pioneers of the computer industry selected by John that led to interactive computing, such as Richard Bloch, Gene Amdahl, Herbert W. Robinson, Sam Wyly, J.C.R. Licklider, Ivan Sutherland, Larry Roberts, Robert Kahn, Marvin Minsky, Michael Dertouzos, and Joseph Traub, as well...

Автор

John Cullinane J.

Shared-Memory Parallelism Can be Si...

Julian Shun

Shared-Memory Parallelism Can be Simple, Fast, and Scalable

Скачать книгу (fb2, )

Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of algorithm design to allow the solutions developed to run efficiently under many different settings. This...

Автор

Julian Shun

Semantic Web for the Working Ontolo...

Dean Allemang

Semantic Web for the Working Ontologist

Скачать книгу (fb2, )

Автор

Dean Allemang

Semantic Web for the Working Ontolo...

Dean Allemang

Semantic Web for the Working Ontologist

Скачать книгу (fb2, )

Enterprises have made amazing advances by taking advantage of data about their business to provide predictions and understanding of their customers, markets, and products. But as the world of business becomes more interconnected and global, enterprise data is no long a monolith; it is just a part of a vast web of data. Managing data on a world-wide scale is a key capability for any business today. The Semantic Web treats data as a distributed resource on the scale of the World Wide Web, and...

Автор

Dean Allemang

Reactive Internet Programming

Franck Barbier

Reactive Internet Programming

Скачать книгу (fb2, )

Is Internet software so different from “ordinary” software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from “executable models.” Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.’s “Reactive Manifesto”...

Автор

Franck Barbier

Providing Sound Foundations for Cry...

Группа авторов

Providing Sound Foundations for Cryptography

Скачать книгу (fb2, )

Cryptography is concerned with the construction of schemes that withstand any abuse. A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it deviate from its prescribed behavior. The design of cryptographic systems must be based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed mostly in the 1980s, in works that are all co-authored by Shafi...

Автор

Группа авторов

Making Databases Work

Michael L. Brodie

Making Databases Work

Скачать книгу (fb2, )

This book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing Award «for fundamental contributions to the concepts and practices underlying modern database systems.» The book describes, for the broad computing community, the unique nature, significance, and impact of Mike's achievements in advancing modern database systems over more than forty years. Today, data is considered the world's most valuable resource, whether it is in the tens of...

Автор

Michael L. Brodie

Heterogeneous Computing

Mohamed Zahran

Heterogeneous Computing

Скачать книгу (fb2, )

If you look around you will find that all computer systems, from your portable devices to the strongest supercomputers, are heterogeneous in nature. The most obvious heterogeneity is the existence of computing nodes of different capabilities (e.g. multicore, GPUs, FPGAs, …). But there are also other heterogeneity factors that exist in computing systems, like the memory system components, interconnection, etc. The main reason for these different types of heterogeneity is to have good...

Автор

Mohamed Zahran

Hardness of Approximation Between P...

Aviad Rubinstein

Hardness of Approximation Between P and NP

Скачать книгу (fb2, )

Nash equilibrium is the central solution concept in Game Theory. Since Nash’s original paper in 1951, it has found countless applications in modeling strategic behavior of traders in markets, (human) drivers and (electronic) routers in congested networks, nations in nuclear disarmament negotiations, and more. A decade ago, the relevance of this solution concept was called into question by computer scientists, who proved (under appropriate complexity assumptions) that computing a Nash...

Автор

Aviad Rubinstein

Frontiers of Multimedia Research

Shih-Fu Chang

Frontiers of Multimedia Research

Скачать книгу (fb2, )

The field of multimedia is unique in offering a rich and dynamic forum for researchers from “traditional” fields to collaborate and develop new solutions and knowledge that transcend the boundaries of individual disciplines. Despite the prolific research activities and outcomes, however, few efforts have been made to develop books that serve as an introduction to the rich spectrum of topics covered by this broad field. A few books are available that either focus on specific subfields or basic...

Автор

Shih-Fu Chang

Embracing Interference in Wireless...

Shyamnath Gollakota

Embracing Interference in Wireless Systems

Скачать книгу (fb2, )

The wireless medium is a shared resource. If nearby devices transmit at the same time, their signals interfere, resulting in a collision. In traditional networks, collisions cause the loss of the transmitted information. For this reason, wireless networks have been designed with the assumption that interference is intrinsically harmful and must be avoided. This book, a revised version of the author's award-winning Ph.D. dissertation, takes an alternate approach:...

Автор

Shyamnath Gollakota

Declarative Logic Programming

Michael Kifer

Declarative Logic Programming

Скачать книгу (fb2, )

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and...

Автор

Michael Kifer

Conversational UX Design

Robert J. Moore

Conversational UX Design

Скачать книгу (fb2, )

With recent advances in natural language understanding techniques and far-field microphone arrays, natural language interfaces, such as voice assistants and chatbots, are emerging as a popular new way to interact with computers. They have made their way out of the industry research labs and into the pockets, desktops, cars and living rooms of the general public. But although such interfaces recognize bits of natural language, and even voice input, they generally lack conversational competence,...

Автор

Robert J. Moore

Concurrency

Группа авторов

Concurrency

Скачать книгу (fb2, )

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing – distributed systems that...

Автор

Группа авторов

Computing and the National Science...

William Aspray

Computing and the National Science Foundation, 1950-2016

Скачать книгу (fb2, )

This organizational history relates the role of the National Science Foundation (NSF) in the development of modern computing. Drawing upon new and existing oral histories, extensive use of NSF documents, and the experience of two of the authors as senior managers, this book describes how NSF’s programmatic activities originated and evolved to become the primary source of funding for fundamental research in computing and information technologies. The book traces how NSF's support has...

Автор

William Aspray

Candidate Multilinear Maps

Sanjam Garg

Candidate Multilinear Maps

Скачать книгу (fb2, )

The aim of cryptography is to design primitives and protocols that withstand adversarial behavior. Information theoretic cryptography, how-so-ever desirable, is extremely restrictive and most non-trivial cryptographic tasks are known to be information theoretically impossible. In order to realize sophisticated cryptographic primitives, we forgo information theoretic security and assume limitations on what can be efficiently computed. In other words we attempt to build secure systems conditioned...

Автор

Sanjam Garg

Для правообладателей и по всем вопросам knigism.info@yandex.ru