Головна Спрощенний режим Опис Шлюз Z39.50
Авторизація
Прізвище
Пароль
 

Бази даних


Доступ до повнотекстових книг Springer Nature (через IP-адреси БДМУ) - результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>S=Computer Engineering.<.>)
Загальна кiлькiсть документiв : 11
Показанi документи с 1 за 11
1.


    Milutinovic, Veljko.
    DataFlow Supercomputing Essentials [[electronic resource] :] : research, Development and Education / / Veljko. Milutinovic, Salom, Jakob. [et al.] ; . - 1st ed. 2017. - [S. l. : s. n.]. - XI, 150 p. 71 illus., 63 illus. in color. - Б. ц.
    Зміст:
Part I Research --
Maxeler AppGallery Revisited --
Discrepancy Reduction Between the Topology of DataFlow Graph and the Topology of FPGA Structure --
Part II Development --
Polynomial and Rational Functions --
Transforming Applications from the Control Flow to the DataFlow Paradigm --
Part III Education --
Mini Tutorial.
Рубрики: Operating systems (Computers).
   Computer system failures.

   Computer engineering.

   Big data.

   Operating Systems.

   System Performance and Evaluation.

   Computer Engineering.

   Big Data.

Анотація: This informative text/reference highlights the potential of DataFlow computing in research requiring high speeds, low power requirements, and high precision, while also benefiting from a reduction in the size of the equipment. The cutting-edge research and implementation case studies provided in this book will help the reader to develop their practical understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Algorithms, Applications and Implementations, which reviews the key algorithms in this area, and provides useful examples. Topics and features: Reviews the library of tools, applications, and source code available to support DataFlow programming Discusses the enhancements to DataFlow computing yielded by small hardware changes, different compilation techniques, debugging, and optimizing tools Examines when a DataFlow architecture is best applied, and for which types of calculation Describes how converting applications to a DataFlow representation can result in an acceleration in performance, while reducing the power consumption Explains how to implement a DataFlow application on Maxeler hardware architecture, with links to a video tutorial series available online This enlightening volume will be of great interest to all researchers investigating supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be a helpful reference.

Перейти: https://doi.org/10.1007/978-3-319-66128-5

Дод.точки доступу:
Salom, Jakob.; Veljovic, Dragan.; Korolija, Nenad.; Markovic, Dejan.; Petrovic, Luka.; Milutinovic, Veljko. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

2.


    Milutinovic, Veljko.
    DataFlow Supercomputing Essentials [[electronic resource] :] : algorithms, Applications and Implementations / / Veljko. Milutinovic, Kotlar, Milos. [et al.] ; . - 1st ed. 2017. - [S. l. : s. n.]. - XI, 150 p. 52 illus., 50 illus. in color. - Б. ц.
    Зміст:
Part I: Algorithms --
Implementing Neural Networks by Using the DataFlow Paradigm --
Part II: Applications --
Solving the Poisson Equation by Using Dataflow Technology --
Binary Search in the DataFlow Paradigm --
Part III: Implementations --
Introductory Overview on Implementation Tools --
DataFlow Systems: From Their Origins to Future Applications in Data Analytics, Deep Learning, and the Internet of Things.
Рубрики: Operating systems (Computers).
   Computer system failures.

   Computer engineering.

   Big data.

   Operating Systems.

   System Performance and Evaluation.

   Computer Engineering.

   Big Data.

Анотація: This illuminating text/reference reviews the fundamentals of programming for effective DataFlow computing. The DataFlow paradigm enables considerable increases in speed and reductions in power consumption for supercomputing processes, yet the programming model requires a distinctly different approach. The algorithms and examples showcased in this book will help the reader to develop their understanding of the advantages and unique features of this methodology. This work serves as a companion title to DataFlow Supercomputing Essentials: Research, Development and Education, which analyzes the latest research in this area, and the training resources available. Topics and features: Presents an implementation of Neural Networks using the DataFlow paradigm, as an alternative to the traditional ControlFlow approach Discusses a solution to the three-dimensional Poisson equation, using the Fourier method and DataFlow technology Examines how the performance of the Binary Search algorithm can be improved through implementation on a DataFlow architecture Reviews the different way of thinking required to best configure the DataFlow engines for the processing of data in space flowing through the devices Highlights how the DataFlow approach can efficiently support applications in big data analytics, deep learning, and the Internet of Things This indispensable volume will benefit all researchers interested in supercomputing in general, and DataFlow computing in particular. Advanced undergraduate and graduate students involved in courses on Data Mining, Microprocessor Systems, and VLSI Systems, will also find the book to be an invaluable resource.

Перейти: https://doi.org/10.1007/978-3-319-66125-4

Дод.точки доступу:
Kotlar, Milos.; Stojanovic, Marko.; Dundic, Igor.; Trifunovic, Nemanja.; Babovic, Zoran.; Milutinovic, Veljko. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

3.


   
    Applied Computer Sciences in Engineering [[electronic resource] :] : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings / / ed. Figueroa-Garcia, Juan Carlos. [et al.]. - 1st ed. 2017. - [S. l. : s. n.]. - XVII, 681 p. 364 illus. - Б. ц.
    Зміст:
Computer science --
Computational intelligence --
Simulation systems --
Internet of things --
Fuzzy sets and systems --
Power systems --
Logistics and operations management --
Miscellaneous applications.  .
Рубрики: Software engineering.
   Artificial intelligence.

   Education—Data processing.

   Computer engineering.

   Software Engineering/Programming and Operating Systems.

   Artificial Intelligence.

   Computers and Education.

   Computer Engineering.

Анотація: This book constitutes the refereed proceedings of the Forth Workshop on Engineering Applications, WEA 2017, held in Cartagena, Colombia, in September 2017.  The 59 revised full papers presented were carefully reviewed and selected from156 submissions. The papers are organized in topical sections such as computer science; computational intelligence; simulation systems; internet of things; fuzzy sets and systems; power systems; logistics and operations management; miscellaneous applications.  .

Перейти: https://doi.org/10.1007/978-3-319-66963-2

Дод.точки доступу:
Figueroa-Garcia, Juan Carlos. \ed.\; Lopez-Santana, Eduyn Ramiro. \ed.\; Villa-Ramirez, Jose Luis. \ed.\; Ferro-Escobar, Roberto. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

4.


   
    Space Information Networks [[electronic resource] :] : first International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers / / ed. Yu, Quan. - 1st ed. 2017. - [S. l. : s. n.]. - XIII, 288 p. 179 illus. - Б. ц.
    Зміст:
The Model of Space Information Network and Mechanism of High Performance Networking --
Theory and Mmethod of High Speed Transmission in Space Dynamic Network --
Sparse Representation and Fusion Process in Space Information.
Рубрики: Computer communication systems.
   Application software.

   Aerospace engineering.

   Astronautics.

   Computer engineering.

   Electrical engineering.

   Computer Communication Networks.

   Information Systems Applications (incl. Internet).

   Aerospace Technology and Astronautics.

   Computer Engineering.

   Communications Engineering, Networks.

Анотація: This book constitutes the proceedings of the First International Conference on Space Information Network, SINC 2016, held in Kunming, China, in August 2016. The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 139 submissions. The theme of the conference encompasses new progress and development tendency of the space information network and related fields, There were 3 sections in the proceedings of SINC 2016 including the model of space information network and mechanism of high performance networking, theory and method of high speed transmission in space dynamic network, and sparse representation and fusion process in space information.

Перейти: https://doi.org/10.1007/978-981-10-4403-8

Дод.точки доступу:
Yu, Quan. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

5.


   
    Parallel Architecture, Algorithm and Programming [[electronic resource] :] : 8th International Symposium, PAAP 2017, Haikou, China, June 17–18, 2017, Proceedings / / ed.: Chen, Guoliang., Shen, Hong., Chen, Mingrui. - 1st ed. 2017. - [S. l. : s. n.]. - XV, 629 p. 299 illus. - Б. ц.
Рубрики: Microprocessors.
   Numerical analysis.

   Data protection.

   Computer software.

   Computer engineering.

   Processor Architectures.

   Numeric Computing.

   Security.

   Professional Computing.

   Computer Engineering.

Анотація: This book constitutes the refereed proceedings of the 8th International Symposium on Parallel Architecture, Algorithm and Programming, PAAP 2017, held in Haikou, China, in June 2017. The 50 revised full papers and 7 revised short papers presented were carefully reviewed and selected from 192 submissions. The papers deal with research results and development activities in all aspects of parallel architectures, algorithms and programming techniques.

Перейти: https://doi.org/10.1007/978-981-10-6442-5

Дод.точки доступу:
Chen, Guoliang. \ed.\; Shen, Hong. \ed.\; Chen, Mingrui. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

6.


    O'Regan, Gerard.
    Concise Guide to Software Engineering [[electronic resource] :] : from Fundamentals to Application Methods / / Gerard. O'Regan ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXIV, 331 p. 99 illus., 12 illus. in color. - Б. ц.
    Зміст:
Background --
Software Project Management --
Requirements Engineering --
Software Design and Development --
Configuration Management --
Software Inspections --
Software Testing --
Supplier Selection and Management --
Software Quality Assurance --
Software Metrics and Problem Solving --
Software Reliability and Dependability --
Formal Methods --
Z Formal Specification Language --
Unified Modeling Language --
Software Process Improvement --
Capability Maturity Model Integration --
Software Engineering Tools --
Agile Methodology --
A Miscellany of Innovation --
Epilogue.
Рубрики: Software engineering.
   Computer engineering.

   Management information systems.

   Computer software.

   Software Engineering.

   Computer Engineering.

   Software Management.

   Mathematical Software.

Анотація: This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality. Topics and features: Presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering Examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality Covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches Explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language Discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems Reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier Describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems Includes key learning topics, summaries and review questions in each chapter, together with a useful glossary This practical and easy-to-follow textbook/reference is ideal for computer science students seeking to learn how to build high quality and reliable software on time and on budget. The text also serves as a self-study primer for software engineers, quality professionals, and software managers.

Перейти: https://doi.org/10.1007/978-3-319-57750-0

Дод.точки доступу:
O'Regan, Gerard. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

7.


    Silvis-Cividjian, Natalia.
    Pervasive Computing [[electronic resource] :] : engineering Smart Systems / / Natalia. Silvis-Cividjian ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVIII, 210 p. 183 illus., 99 illus. in color. - Б. ц.
    Зміст:
Foreword --
Preface --
Introduction --
Signals --
Control Systems --
Image Processing --
Sound Processing --
Classification --
Systems Engineering --
Appendix A: Getting started with signals using MATLAB --
Appendix B: Simple traffic-light recognition using MATLAB.
Рубрики: Artificial intelligence.
   Pattern recognition.

   Software engineering.

   Computers.

   Computer engineering.

   Artificial Intelligence.

   Pattern Recognition.

   Software Engineering.

   Models and Principles.

   Computer Engineering.

Анотація: This book provides a concise introduction to Pervasive Computing, otherwise known as Internet of Things (IoT) and Ubiquitous Computing (Ubicomp) which addresses the seamless integration of computing systems within everyday objects. By introducing the core topics and exploring assistive pervasive systems which infer their context through pattern recognition, the author provides readers with a gentle yet robust foundation of knowledge to this growing field of research. The author explores a range of topics including data acquisition, signal processing, control theory, machine learning and system engineering explaining, with the use of simple mathematical concepts, the core principles underlying pervasive computing systems. Real-life examples are applied throughout, including self-driving cars, automatic insulin pumps, smart homes, and social robotic companions with each chapter accompanied by a set of exercises for the reader. Practical tutorials are also available to guide enthusiastic readers through the process of building a smart system using cameras, microphones and robotic kits. Due to the power of MATLAB™, this can be achieved with no previous programming or robotics experience. Although Pervasive Computing is primarily for undergraduate students, the book is accessible to a wider audience of researchers and designers who are interested in exploring pervasive computing further.

Перейти: https://doi.org/10.1007/978-3-319-51655-4

Дод.точки доступу:
Silvis-Cividjian, Natalia. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

8.


    Morita, Kenichi.
    Theory of Reversible Computing [[electronic resource] /] : монография / Kenichi. Morita ; . - 1st ed. 2017. - [S. l. : s. n.]. - XVII, 457 p. - Б. ц.
    Зміст:
1. Introduction --
2. Reversible Logic Elements with Memory --
3. Classification of Reversible Logic Elements with Memory and Their Universality --
4. Reversible Logic Gates --
5. Reversible Turing Machines --
6. Making Reversible Turing Machines from Reversible Primitives --
7. Universal Reversible Turing Machines --
8. Space-Bounded Reversible Turing Machines.-9. Other Models of Reversible Machines --
10. Reversible Cellular Automata --
11. One-Dimensional Universal Reversible Cellular Automata --
12. Two-Dimensional Universal Reversible Cellular Automata --
13. Reversible Elementary Triangular Partitioned Cellular Automata --
14. Self-reproduction in Reversible Cellular Automata.
Рубрики: Computers.
   Computer engineering.

   Theory of Computation.

   Computer Engineering.

Анотація: This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing system is a “backward deterministic” system such that every state of the system has at most one predecessor. Although its definition is very simple, it is closely related to physical reversibility, one of the fundamental microscopic laws of Nature. Authored by the leading scientist on the subject, this book serves as a valuable reference work for anyone working in reversible computation or in automata theory in general. This work deals with various reversible computing models at several different levels, which range from the microscopic to the macroscopic, and aims to clarify how computation can be carried out efficiently and elegantly in these reversible computing models. Because the construction methods are often unique and different from those in the traditional methods, these computing models as well as the design methods provide new insights for future computing systems. Organized bottom-up, the book starts with the lowest scale of reversible logic elements and circuits made from them. This is followed by reversible Turing machines, the most basic computationally universal machines, and some other types of reversible automata such as reversible multi-head automata and reversible counter machines. The text concludes with reversible cellular automata for massively parallel spatiotemporal computation. In order to help the reader have a clear understanding of each model, the presentations of all different models follow a similar pattern: the model is given in full detail, a short informal discussion is held on the role of different elements of the model, and an example with illustrations follows each model. .

Перейти: https://doi.org/10.1007/978-4-431-56606-9

Дод.точки доступу:
Morita, Kenichi. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

9.


    Macharla, Pradeep.
    Android Continuous Integration [[electronic resource] :] : build-Deploy-Test Automation for Android Mobile Apps / / Pradeep. Macharla ; . - 1st ed. 2017. - [S. l. : s. n.]. - XIX, 141 p. 117 illus., 114 illus. in color. - Б. ц.
    Зміст:
01 – Introduction --
02 - Mobile Technologies --
03 - CI Pattern with Jenkins – Android --
04 - Pre-Requisites --
05 - Android System Setup --
06 - Tools to know --
07 - Build Android App --
08 - Connect Android Target --
09 - Deploy or Install Android App --
10 - Appium – General --
11 - Appium Framework – Android --
12 - Parallel Devices Automation.
Рубрики: Computer programming.
   Computer engineering.

   Open source software.

   Computer software—Reusability.

   Programming Techniques.

   Computer Engineering.

   Open Source.

   Performance and Reliability.

Анотація: Master continuous integration, deployment and automated testing for Android apps. You’ll see how to set up and tear down sandbox environments to test the end-user experience, where you’ll learn how to manage a mobile device in addition to the build machine. Android Continuous Integration applies a real-world CI pattern that has been thoroughly tested and implemented. This book starts with continuous integration concepts and the tools and code needed to become proficient in continuous integration for Android apps. You’ll also follow acceptance test driven development (ATDD) best practice, giving you all the skills you need to become a better, more effective developer. Finally, you’ll learn about the Appium mobile automation library and the Jenkins continuous integration tool. You will: Understand how to build an Android mobile app from source  Set up a development or debugging envi ronment for mobile apps Master the Nexus dependency management and application release tool Work with the SonarQube code quality analyzer Use debugging tools in Android.

Перейти: https://doi.org/10.1007/978-1-4842-2796-1

Дод.точки доступу:
Macharla, Pradeep. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

10.


    Pathania, Nikhil.
    Pro Continuous Delivery [[electronic resource] :] : with Jenkins 2.0 / / Nikhil. Pathania ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXII, 288 p. 373 illus., 369 illus. in color. - Б. ц.
    Зміст:
Chapter 1: Elements of Continuous Delivery --
Chapter 2: HA Jenkins Setup Using Pacemaker, Corosync, and DRBD --
Chapter 3: HA Jenkins Setup Using CoreOS, Docker, and GlusterFS --
Chapter 4: Setting Up Jenkins on Docker and Cloud --
Chapter 5: Pipeline as a Code --
Chapter 6: Using Containers for Distributed Builds --
Chapter 7: Pre-Tested Commits Using Jenkins --
Chapter 8: Continuous Delivery Using Jenkins Pipeline.
Рубрики: Open source software.
   Computer programming.

   Computer engineering.

   Computer software—Reusability.

   Computers.

   Open Source.

   Computer Engineering.

   Performance and Reliability.

   Models and Principles.

Анотація: Follow this step-by-step guide for creating a continuous delivery pipeline using all of the new features in Jenkins 2.0 such as Pipeline as a Code, multi-branch pipeline, and more. You will learn three crucial elements for achieving a faster software delivery pipeline: a fungible build/test environment, manageable and reproducible pipelines, and a scalable build/test infrastructure. Pro Continuous Delivery demonstrates how to create a highly available, active/passive Jenkins server using some niche technologies. What You'll Learn: Create a highly available, active/passive Jenkins server using CoreOS and Docker, and using Pacemaker and Corosync Use a Jenkins multi-branch pipeline to automatically perform continuous integration whenever there is a new branch in your source control system Describe your continuous delivery pipeline with Jenkinsfile Host Jenkins server on a cloud solution Run Jenkins inside a container using Docker Discover how the distributed nature of Git and the “merge before build” feature of Jenkins can be used to implement gated check-in Implement a scalable build farm using Docker and Kubernetes.

Перейти: https://doi.org/10.1007/978-1-4842-2913-2

Дод.точки доступу:
Pathania, Nikhil. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

11.


    Ciesla, Robert.
    Mostly Codeless Game Development [[electronic resource] :] : new School Game Engines / / Robert. Ciesla ; . - 1st ed. 2017. - [S. l. : s. n.]. - XXV, 219 p. 47 illus. in color. - Б. ц.
    Зміст:
Chapter 1: A Good Game --
Chapter 2: Game Developer's Battlestation --
Chapter 3: Game Maker's Lexicon – Level One --
Chapter 4: Commercial Game Engines --
Chapter 5: Freeware Game Engines --
Chapter 6: Audiovisual Assets --
Chapter 7: Business and Marketing --
Chapter 8: A Brief History of Video Games --
Chapter 9: Game Engine Museum --
Chapter 10: Game Maker's Lexicon – Level Two --
Chapter 11: The Mostly Codeless challenge.
Рубрики: Computer games—Programming.
   Computer programming.

   Computer engineering.

   Game Development.

   Programming Techniques.

   Computer Engineering.

Анотація: Get a head start in your game development career with this all-genre guide for absolute beginners. Whether you're into action games, role-playing games, or interactive fiction, we've got you covered. Mostly Codeless Game Development empowers new developers with little or no previous experience and presents all major areas of game development in a succinct, entertaining fashion. Have you dreamed of making your own video game? Do you find the prospect daunting? Fear not. A new generation of game engines has emerged. Lengthy and complicated feats of programming are largely a thing of the past in video game development. To create commercially viable games you simply need the right tools, many of which are discussed in this book. A gigantic software team isn't a must-have prerequisite for success. The one-person operation is back. You will: Master the concepts and jargon used in game creation for the beginner Find the best game development suite for your project Make the most out of related graphics and audio production software Discover video game marketing essentials.

Перейти: https://doi.org/10.1007/978-1-4842-2970-5

Дод.точки доступу:
Ciesla, Robert. \.\; SpringerLink (Online service)
Свободных экз. нет
Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)