الصفحة 6
الصفحة 6
Data parallel C++programming accelerated systems using C++ and SYCL
Full of practical advice, detailed explanations, and code examples to illustrate key topics. SYCL enables access to parallel resources in modern accelerated heterogeneous systems. Now, a single C++ application can use any combination of devices–including GPUs, CPUs, FPGAs, and ASICs–that are suitable to the problems at hand. This book teaches data-parallel programming using C++ with SYCL and walks through everything needed to program accelerated systems. The book begins by introducing data parallelism and foundational topics for effective use of SYCL. Later chapters cover advanced topics, including error handling, hardware-specific programming, communication and synchronization, and memory model considerations.
Data Communications and networking
Helps students understand the basics of data communications and networking, and the protocols used in the Internet in particular by using the protocol layering of the Internet and TCP/IP protocol suite. Technologies related to data communication and networking may be the fastest growing in today's culture.
Data communications and network technologies
Aims to help readers master the basics of network communications and use Huawei network devices to set up enterprise LANs and WANs, wired networks, and wireless networks, ensure network security for enterprises, and grasp cutting-edge computer network technologies. The content of this book includes: network communication fundamentals, TCP/IP protocol, Huawei VRP operating system, IP addresses and subnetting, static and dynamic routing, Ethernet networking technology, ACL and AAA, network address translation, DHCP server, WLAN, IPv6, WAN PPP and PPPoE protocol, typical networking architecture and design cases of campus networks, SNMP protocol used by network management, operation and maintenance, network time protocol NTP, SND and NFV, programming, and automation.
Cryptography and network security : principles and practices
Introduces students to the compelling and evolving field of cryptography and network security. In an age of viruses and hackers, electronic eavesdropping, and electronic fraud on a global scale, security is paramount. The purpose of this book is to provide a practical survey of both the principles and practice of cryptography and network security. In the first part of the book, the basic issues to be addressed by a network security capability are explored by providing a tutorial and survey of cryptography and network security technology. The latter part of the book deals with the practice of network security: practical applications that have been implemented and are in use to provide network security.
Critical Information Infrastructures : Resilience and Protection
Starting with some basic definitions and assumptions on the topic, this book explores various aspects of Critical Infrastructures throughout the world – including the technological, political, economic, strategic and defensive. This book will be of interest to the CEO and Academic alike as they grapple with how to prepare Critical Information Infrastructures for new challenges.
Creating Mobile Games : Using Java™ ME Platform to Put the Fun into Your Mobile Device and Cell Phone
Creating Mobile Games: shows you how to create a basic game and make it a professional one (by adding a pro look-and-feel by writing your own menus or using the open source J2ME Polish, and enabling marketing/billing from your own web site). Demonstrates Wireless Messaging and other optional APIs (using SMS, PIM, File Connection, Bluetooth, and so forth in a multiplayer game).
CPU Design : Answers to Frequently Asked Questions
Chandra’s book provides a practical overview of Microprocessor and high end ASIC design as practiced today. It is a valuable addition to the literature on CPU design, and is made possible by Chandra’s unique combination of extensive hands-on CPU design experience at companies such as AMD and Sun Microsystems and a passion for writing
Control Theory Tutorial : Basic Concepts Illustrated by Software Examples
Introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustrated by detailed examples and graphics. The full software code for each example is available, providing the basis for experimenting with various assumptions, learning how to write programs for control analysis, and setting the stage for future research projects. The topics focus on robustness, design trade-offs, and optimality. Most of the book develops classical linear theory. The last part of the book considers robustness with respect to nonlinearity and explicitly nonlinear extensions, as well as advanced topics such as adaptive control and model predictive control.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
Concise Guide to Quantum Computing : Algorithms, Exercises, and Implementations
This textbook is intended for practical, laboratory sessions associated with the course of quantum computing and quantum algorithms, as well as for self-study. It contains basic theoretical concepts and methods for solving basic types of problems and gives an overview of basic qubit operations, entangled states, quantum circuits, implementing functions, quantum Fourier transform, phase estimation, etc. The book serves as a basis for the application of new information technologies in education and corporate technical training: theoretical material and examples of practical problems, as well as exercises with, in most cases, detailed solutions, have relation to information technologies. A large number of detailed examples serve to better develop professional competencies in computer science.
Conceptual Modeling of Information Systems
When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge the system needs to know. This description, called the conceptual schema, is necessary in order to develop an information system.textbook explains in detail the principles of conceptual modeling independently from particular methods and languages and shows how to apply them in real-world projects. It covers all aspects of the engineering process from structural modeling over behavioral modeling to meta-modeling, and completes the presentation with an extensive case study based on the osCommerce system, an online store-management software program freely available under the GNU General Public License. His presentation is based on well-known industry standards like UML and OCL as a particular conceptual modeling language, yet also delivers the basics of the formal logical language background.
Computer vision : Algorithms and applications
Explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both in specialized applications such as image search and autonomous navigation, as well as for fun, consumer-level tasks that students can apply to their own personal photos and videos. Suitable for an upper-level undergraduate or graduate-level course in computer science or engineering, this textbook focuses on basic techniques that work under real-world conditions and encourages students to push their creative boundaries. Its design and exposition also make it eminently suitable as a unique reference to the fundamental techniques and current research literature in computer vision.
Computer graphics with OpenGL
Assuming no background in computer graphics, this junior- to graduate-level textbook presents basic principles for the design, use, and understanding of computer graphics systems and applications. The authors, authorities in their field, offer an integrated approach to two-dimensional and three-dimensional graphics topics. A comprehensive explanation of the popular OpenGL programming package, along with C++ programming examples illustrates applications of the various functions in the OpenGL basic library and the related GLU and GLUT packages.
Computer Graphics for Artists : An Introduction
Far too often artists, even professionals, lack a basic understanding of the principles of computer graphics resulting in inefficiency and a lower quality of work. This book addresses these issues by providing fundamental information in a university course format, with theoretical material, detailed illustrations, and projects to test the reader’s understanding of the concepts covered.
Computer graphics and geometric modelling : Implementation & algorithms
Possibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume work covers implementation and theory in a thorough and systematic fashion. Computer Graphics and Geometric Modelling: Implementation and Algorithms, covers the computer graphics part of the field of geometric modelling and includes all the standard computer graphics topics. The first part deals with basic concepts and algorithms and the main steps involved in displaying photorealistic images on a computer. The second part covers curves and surfaces and a number of more advanced geometric modelling topics including intersection algorithms, distance algorithms, polygonizing curves and surfaces, trimmed surfaces, implicit curves and surfaces, offset curves and surfaces, curvature, geodesics, blending etc. The third part touches on some aspects of computational geometry and a few special topics such as interval analysis and finite element methods. The volume includes two companion programs.
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Collaborative and Distributed Chemical Engineering : From Understanding to Substantial Design Process Support; Results of the IMPROVE Project
The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken.
Code : The Hidden Language of Computer Hardware and Software ; 2nd ed
The classic guide to how computers work, updated with new chapters and interactive graphics Computers are everywhere --- most obviously in our laptops and smartphones, but also our cars, televisions, microwave ovens, alarm clocks, robot vacuum cleaners, and other smart appliances. Have you ever wondered what goes on inside these devices to make our lives easier but occasionally more infuriating? Explores more deeply the bit-by-bit, gate-by-gate construction of the heart of every smart device ― the central processing unit that combines the simplest of basic operations to perform the most complex of feats. Along with new chapters, Petzold created a new website, CodeHiddenLanguage.com, that uses animated interactive graphics to make computers even easier to comprehend.
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies : Process-Aware SRAM Design and Test
CMOS SRAM Circuit Design and Parametric Test in Nano-Scaled Technologies covers a broad range of topics related to SRAM design and test. From SRAM operation basics through cell electrical and physical design to process-aware and economical approach to SRAM testing.
