0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (54)
  • R250 - R500 (159)
  • R500+ (980)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer hardware & operating systems > General

LEGO (R) MINDSTORMS (R) EV3 - The Mayan Adventure (Paperback, 2nd ed.): Mark Bell, James Floyd Kelly LEGO (R) MINDSTORMS (R) EV3 - The Mayan Adventure (Paperback, 2nd ed.)
Mark Bell, James Floyd Kelly
R2,640 R2,392 Discovery Miles 23 920 Save R248 (9%) Ships in 10 - 15 working days

Through the use of a fictional story, this book details how to build and design robots. Max, the story's main character, is part of an archaeological expedition investigating a newly discovered Mayan pyramid. During the expedition, the team encounters various problems, each solved with the help of a unique robot that Max creates using the Lego Mindstorms NXT kit. Although the book reveals possible robotic solutions and offers detailed information on how to build and program each robot, readers are encouraged to come up with their own. The book includes complete building theory information and provides worksheets for brainstorming.

VLSI Design and Test - 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers... VLSI Design and Test - 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers (Paperback, 1st ed. 2017)
Brajesh Kumar Kaushik, Sudeb Dasgupta, Virendra Singh
R3,033 Discovery Miles 30 330 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 21st International Symposium on VLSI Design and Test, VDAT 2017, held in Roorkee, India, in June/July 2017. The 48 full papers presented together with 27 short papers were carefully reviewed and selected from 246 submissions. The papers were organized in topical sections named: digital design; analog/mixed signal; VLSI testing; devices and technology; VLSI architectures; emerging technologies and memory; system design; low power design and test; RF circuits; architecture and CAD; and design verification.

Deploying Raspberry Pi in the Classroom (Paperback, 1st ed.): Guy Hart-Davis Deploying Raspberry Pi in the Classroom (Paperback, 1st ed.)
Guy Hart-Davis
R1,612 R1,528 Discovery Miles 15 280 Save R84 (5%) Ships in 10 - 15 working days

Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate the hardware and software choices you face. Deploying Raspberry Pi in the Classroom equips you with the skills and knowledge to plan and execute a deployment of Raspberry Pi computers in the classroom. Teachers and IT administrators at schools will see how to set up the hardware and software swiftly on your own or with the help of your students. Step-by-step instructions and practical examples walk you through building your Raspberry Pi workstations and your network, managing the computers and the network, and troubleshooting any problems that arise. This book offers several points to involve your students through hands-on activities. These activities are designed to benefit your beginner and older or more able students alike. Make Deploying Raspberry Pi in the Classroom a part of you instructional library today. What you will learn Put an easily-manageable computer on each desk for students to learn Internet use and essential office software skills Image, configure, and plan a classroom deployment of Raspberry Pi computers Manage your classroom Raspberry Pi computers and keeping them up and running smoothly and efficiently Who this book is for Primary audience would be teachers and IT administrators at schools or colleges. It will also appeal to administrators at social clubs or organizations that provide less formal tuition or simply provide Internet access.

Expanding Your Raspberry Pi - Storage, printing, peripherals, and network connections for your Raspberry Pi (Paperback, 1st... Expanding Your Raspberry Pi - Storage, printing, peripherals, and network connections for your Raspberry Pi (Paperback, 1st ed.)
Mark Edward Soper
R1,073 R907 Discovery Miles 9 070 Save R166 (15%) Ships in 10 - 15 working days

Gain a deeper understanding of how Raspberry Pi works to get the results you want right in the palm of your hand. This book helps you understand the right connections and software to drive your Raspberry Pi into opening the worlds of programming, electronic experiments, system control, digital imaging, and the Internet of Things to you. You'll discover how to expand your Pi's storage for bigger programs, use its onboard connections to interface with cameras and control devices, printers and scanners. You'll also see how to share information with Windows and Apple computers and mobile devices, and use it away from AC power. You'll be able to turn any HDTV into a media player; stream and share files from desktop and mobile devices; use your Pi for image capture via camera or scanner; and more! Expanding Your Raspberry Pi is your guide to doing almost anything a bigger computer can do - if you're ready for the challenge. What You'll Learn Connect, use, and manage mass storage devices for greater versatility Link with desktop, laptop, and mobile devices using the Pi's built-in Wi-Fi and Bluetooth features Share resources from your Pi with desktop and mobile devices Capture video and still photos with your Pi Who This Book Is ForNetwork administrators: Connect Raspberry Pi devices to other devices on a wired or wireless network for media streaming, file serving, or print serving Teachers: Use Raspberry Pi to teach students how to connect different types of computers and operating systems with each other. IT workers: Use Raspberry Pi with your existing printers, scanners, webcams, and home network

Programming in HTML and PHP - Coding for Scientists and Engineers (Paperback, 1st ed. 2017): David R. Brooks Programming in HTML and PHP - Coding for Scientists and Engineers (Paperback, 1st ed. 2017)
David R. Brooks
R2,845 Discovery Miles 28 450 Ships in 10 - 15 working days

This concise and accessible textbook will enable readers to quickly develop the working skills necessary to solve computational problems in a server-based environment, using HTML and PHP. The importance of learning by example (as opposed to simply learning by copying) is emphasized through extensive use of hands-on exercises and examples, with a specific focus on useful science and engineering applications. The clearly-written text is designed to be simple to follow for the novice student, without requiring any background in programming or mathematics beyond algebra. Topics and features: describes the creation of HTML pages and the characteristics of HTML documents, showing how to use HTML tables, forms, lists, and frames to organize documents for use with PHP applications; explains how to set up a PHP environment, using a local or remote server; introduces the capabilities and syntax of the PHP language, including coverage of array syntax and use; examines user-defined functions in programming, summarizing PHP functions for reading and writing files, viewing the content of variables, and manipulating strings; reviews the PHP GD graphics library, presenting applications for creating pie charts, bar graphs, and line graphs suitable for displaying scientific data; includes appendices listing HTML and ASCII special characters, and highlighting the essential basic strategies for solving computational problems. Supplying all of the tools necessary to begin coding in HTML and PHP, this invaluable textbook is ideal for undergraduate students taking introductory courses in programming. The book will also serve as a helpful self-study text for professionals in any technical field.

In-Memory Data Management - Technology and Applications (Paperback, Softcover reprint of the original 2nd ed. 2012): Hasso... In-Memory Data Management - Technology and Applications (Paperback, Softcover reprint of the original 2nd ed. 2012)
Hasso Plattner, Alexander Zeier
R2,384 Discovery Miles 23 840 Ships in 10 - 15 working days

In the last fifty years the world has been completely transformed through the use of IT. We have now reached a new inflection point. This book presents, for the first time, how in-memory data management is changing the way businesses are run. Today, enterprise data is split into separate databases for performance reasons. Multi-core CPUs, large main memories, cloud computing and powerful mobile devices are serving as the foundation for the transition of enterprises away from this restrictive model. This book provides the technical foundation for processing combined transactional and analytical operations in the same database. In the year since we published the first edition of this book, the performance gains enabled by the use of in-memory technology in enterprise applications has truly marked an inflection point in the market. The new content in this second edition focuses on the development of these in-memory enterprise applications, showing how they leverage the capabilities of in-memory technology. The book is intended for university students, IT-professionals and IT-managers, but also for senior management who wish to create new business processes.

Robotics - 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlandia,... Robotics - 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlandia, Brazil, October 28 - November 1, 2015, Revised Selected Papers (Paperback, 1st ed. 2016)
Fernando Santos Osorio, Rogerio Sales Goncalves
R2,365 Discovery Miles 23 650 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015 / SBR 2015, held in Uberlandia, Brazil, in October/November 2015. The 17 revised full papers presented were carefully reviewed and selected from 80 submissions. The selected papers present a complete and solid reference of the state-of-the-art of intelligent robotics and automation research, covering the following areas: autonomous mobile robots, tele-operated and telepresence robots, human-robot interaction, trajectory control for mobile robots, autonomous vehicles, service-oriented robotic systems, semantic mapping, environment mapping, visual odometry, applications of RGB-D sensors, humanoid and biped robots, Robocup soccer robots, robot control, path planning, multiple vehicles and teams of robots.

Cryptographic Hardware and Embedded Systems - CHES 2016 - 18th International Conference, Santa Barbara, CA, USA, August 17-19,... Cryptographic Hardware and Embedded Systems - CHES 2016 - 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings (Paperback, 1st ed. 2016)
Benedikt Gierlichs, Axel Y. Poschmann
R3,376 Discovery Miles 33 760 Ships in 10 - 15 working days

This book constitutes the proceedings of the 18th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2016, held in Santa Barbara, CA, USA, in August 2016. The 30 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They were organized in topical sections named: side channel analysis; automotive security; invasive attacks; side channel countermeasures; new directions; software implementations; cache attacks; physical unclonable functions; hardware implementations; and fault attacks.

Building a Virtual Assistant for Raspberry Pi - The practical guide for constructing a voice-controlled virtual assistant... Building a Virtual Assistant for Raspberry Pi - The practical guide for constructing a voice-controlled virtual assistant (Paperback, 1st ed.)
Tanay Pant
R1,384 Discovery Miles 13 840 Ships in 10 - 15 working days

Build a voice-controlled virtual assistant using speech-to-text engines, text-to-speech engines, and conversation modules. This book shows you how to program the virtual assistant to gather data from the internet (weather data, data from Wikipedia, data mining); play music; and take notes. Each chapter covers building a mini project/module to make the virtual assistant better. You'll develop the software on Linux or OS X before transferring it to your Raspberry Pi, ready for deploying in your own home-automation or Internet of Things applications. Building a Virtual Assistant for Raspberry Pi walks you through various STTs and TTSs and the implementation of these components with the help of Python. After that you will start implementing logic for handling user queries and commands, so that the user can have conversations with Melissa. You will then work to improve logic handling to detect what the user wants Melissa to do. You will also work on building some useful applications/modules for Melissa, which will allow you to gain interesting information from Melissa such as the time, weather information, and data from Wikipedia. You will develop a music playing application as well as a note taking application for Melissa, laying the foundations for how Melissa can be further extended. Finally, you will learn how to deploy this software to your Raspberry Pi and how you can further scale Melissa to make her more intelligent, interactive and how you can use her in other projects such as home automation as well. What You'll Learn Design the workflow and discover the concepts of building a voice controlled assistant Develop modules for having conversations with the assistant Enable the assistant to retrieve information from the internet Build utilities like a music player and a note taking application for the virtual assistant Integrate this software with a Raspberry Pi Who This Book Is For Anyone who has built a home automation project with Raspberry Pi and now want to enhance it by making it voice-controlled. The book would also interest students from computer science or related disciplines.

Constructive Side-Channel Analysis and Secure Design - 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15,... Constructive Side-Channel Analysis and Secure Design - 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)
Francois-Xavier Standaert, Elisabeth Oswald
R2,136 Discovery Miles 21 360 Ships in 10 - 15 working days

This book constitutes revised selected papers from the 7th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2016, held in Graz, Austria, in April 2016. The 12 papers presented in this volume were carefully reviewed and selected from 32 submissions. They were organized in topical sections named: security and physical attacks; side-channel analysis (case studies); fault analysis; and side-channel analysis (tools).

Low-Power VLSI Circuits and Systems (Paperback, Softcover reprint of the original 1st ed. 2015): Ajit Pal Low-Power VLSI Circuits and Systems (Paperback, Softcover reprint of the original 1st ed. 2015)
Ajit Pal
R2,698 Discovery Miles 26 980 Ships in 10 - 15 working days

The book provides a comprehensive coverage of different aspects of low power circuit synthesis at various levels of design hierarchy; starting from the layout level to the system level. For a seamless understanding of the subject, basics of MOS circuits has been introduced at transistor, gate and circuit level; followed by various low-power design methodologies, such as supply voltage scaling, switched capacitance minimization techniques and leakage power minimization approaches. The content of this book will prove useful to students, researchers, as well as practicing engineers.

Practical Fashion Tech - Wearable Technologies for Costuming, Cosplay, and Everyday (Paperback, 1st ed.): Joan Horvath, Lyn... Practical Fashion Tech - Wearable Technologies for Costuming, Cosplay, and Everyday (Paperback, 1st ed.)
Joan Horvath, Lyn Hoge, Rich Cameron
R2,296 R2,021 Discovery Miles 20 210 Save R275 (12%) Ships in 10 - 15 working days

Pull back the curtain on making fun and innovative costumes and accessories incorporating technologies like low-cost microprocessors, sensors and programmable LEDs. Fashion tech can require skills in design, pattern-making, sewing, electronics, and maybe 3D printing. Besides the tech skills, making a good costume or accessory also requires knowledge of the intangibles of what makes a good costume. This book is a collaboration between two technologists and a veteran teacher, costumer, and choreographer. Regardless of whether you are coming at this from the theater costuming, sewing, or electronics side, the authors will help you get started with the other skills you need. More than just a book of projects (although it has those too), Practical Fashion Tech teaches why things are done a certain way to impart the authors' collective wealth of experience. Whether you need a book for a wearable tech class or you just want to get started making fantastic costumes and wearables on your own, Practical Fashion Tech will get you there. What you will learn: The fundamentals of both the sewing and the technology aspects of wearable tech for fashion How to make a memorable costume that reacts to its wearer or environment Ideas for using this book as a textbook Who this is for: Electronics enthusiasts, hipsters, costume designers, teachers, and students who want to learn how to make fashion or cosplay wearables. Cosplay fans wanting to incorporate sensors and more into their costumes.

Supercomputing - Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected... Supercomputing - Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)
Vladimir Voevodin, Sergey Sobolev
R2,583 Discovery Miles 25 830 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Second Russian Supercomputing Days, RuSCDays 2016, held in Moscow, Russia, in September 2016. The 28 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on the present of supercomputing: large tasks solving experience; the future of supercomputing: new technologies.

Arduino Programming with .NET and Sketch (Paperback, 1st ed.): Agus Kurniawan Arduino Programming with .NET and Sketch (Paperback, 1st ed.)
Agus Kurniawan
R1,233 R1,149 Discovery Miles 11 490 Save R84 (7%) Ships in 10 - 15 working days

Leverage .NET and Sketch in your Arduino development implementation and integrate it into your .NET program. There are many Arduino models and compatible shields that can be used in Arduino boards. Integrating between an Arduino platform and .NET technology or Sketch can produce more advantages. Arduino Programming using .NET and Sketch shows readers how to do so with practical Arduino projects, such as preparing a development environment, performing sensing and actuating with external devices, implementing Windows Remote Arduino and building a simple IoT program. Use this quick reference to learn the basics of the Arduino platform for multiple models and start your Arduino programming in .NET and Sketch today. What You'll Learn: Learn the basics of the Arduino platform Prepare and set up an Arduino development environment Develop an Arduino program using .NET and Sketch Implement Windows Remote Arduino Build a simple IoT program Who This Book Is For: .NET and Sketch developers who want to learn Arduino programming.

Artificial Intelligence for Internet of Things - Design Principle, Modernization, and Techniques (Hardcover): N. Thillaiarasu,... Artificial Intelligence for Internet of Things - Design Principle, Modernization, and Techniques (Hardcover)
N. Thillaiarasu, Suman Lata Tripathi, V. Dhinakaran
R4,047 Discovery Miles 40 470 Ships in 12 - 19 working days

The text comprehensively discusses the essentials of the Internet of Things (IoT), machine learning algorithms, industrial and medical IoT, robotics, data analytics tools, and technologies for smart cities. It further covers fundamental concepts, advanced tools, and techniques, along with the concept of energy-efficient systems. It also highlights software and hardware interfacing into the IoT platforms and systems for better understanding. It will serve as an ideal reference text for senior undergraduate, graduate students, and academic researchers in the fields of electrical engineering, electronics and communication engineering, and computer engineering. Features: Covers cognitive Internet of Things and emerging network, IoT in robotics, smart cities, and health care Discusses major issues in the field of the IoTsuch as scalable and secure issues, energy-efficient, and actuator devices Highlights the importance of industrial and medical IoT Illustrates applications of the IoT in robotics, smart grid, and smart cities Presents real-time examples for better understanding The text comprehensively discusses design principles, modernization techniques, advanced developments in artificial intelligence.This will be helpful for senior undergraduates, graduate students, and academic researchers in diverse engineering fields including electrical, electronics and communication, and computer science.

Raspberry Pi GPU Audio Video Programming (Paperback, 1st ed.): Jan Newmarch Raspberry Pi GPU Audio Video Programming (Paperback, 1st ed.)
Jan Newmarch
R3,462 R3,105 Discovery Miles 31 050 Save R357 (10%) Ships in 10 - 15 working days

Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you'll also learn some Dispmanx, OpenVG, and GPGPU programming. The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for showing images such as karaoke lyrics except for the GPU, and nothing really to tell him how to do it. Raspberry Pi GPU Audio Video Programming scratches his itch and since he had to learn a lot about RPi GPU programming, he might as well share it with you. What started as a side issue turned into a full-blown project of its own; and this stuff is hard. What You'll Learn Use Dispmanx and EGL on Raspberry Pi Work with OpenMAX and its components, state, IL Client Library, * * Buffers, and more on RPi Process images and video on RPi Handle audio on RPi Render OpenMAX to OpenGL on the RPi Play multimedia files on the RPi Use OpenVG for text processing and more Master overlays Who This Book Is For You should be comfortable with C programming and at least some concurrency and thread programming using it. This book is for experienced programmers who are new or learning about Raspberry Pi.

Embedded Engineering Education (Paperback, 1st ed. 2016): Roman Szewczyk, Ivan Kastelan, Miodrag Temerinac, Moshe Barak, Vlado... Embedded Engineering Education (Paperback, 1st ed. 2016)
Roman Szewczyk, Ivan Kastelan, Miodrag Temerinac, Moshe Barak, Vlado Sruk
R2,867 Discovery Miles 28 670 Ships in 10 - 15 working days

This book focuses on the outcome of the European research project "FP7-ICT-2011-8 / 317882: Embedded Engineering Learning Platform" E2LP. Additionally, some experiences and researches outside this project have been included. This book provides information about the achieved results of the E2LP project as well as some broader views about the embedded engineering education. It captures project results and applications, methodologies, and evaluations. It leads to the history of computer architectures, brings a touch of the future in education tools and provides a valuable resource for anyone interested in embedded engineering education concepts, experiences and material. The book contents 12 original contributions and will open a broader discussion about the necessary knowledge and appropriate learning methods for the new profile of embedded engineers. As a result, the proposed Embedded Computer Engineering Learning Platform will help to educate a sufficient number of future engineers in Europe, capable of designing complex systems and maintaining a leadership in the area of embedded systems, thereby ensuring that our strongholds in automotive, avionics, industrial automation, mobile communications, telecoms and medical systems are able to develop.

Debugging Systems-on-Chip - Communication-centric and Abstraction-based Techniques (Paperback, Softcover reprint of the... Debugging Systems-on-Chip - Communication-centric and Abstraction-based Techniques (Paperback, Softcover reprint of the original 1st ed. 2014)
Bart Vermeulen, Kees Goossens
R4,500 Discovery Miles 45 000 Ships in 10 - 15 working days

This book describes an approach and supporting infrastructure to facilitate debugging the silicon implementation of a System-on-Chip (SOC), allowing its associated product to be introduced into the market more quickly. Readers learn step-by-step the key requirements for debugging a modern, silicon SOC implementation, nine factors that complicate this debugging task, and a new debug approach that addresses these requirements and complicating factors. The authors' novel communication-centric, scan-based, abstraction-based, run/stop-based (CSAR) debug approach is discussed in detail, showing how it helps to meet debug requirements and address the nine, previously identified factors that complicate debugging silicon implementations of SOCs. The authors also derive the debug infrastructure requirements to support debugging of a silicon implementation of an SOC with their CSAR debug approach. This debug infrastructure consists of a generic on-chip debug architecture, a configurable automated design-for-debug flow to be used during the design of an SOC, and customizable off-chip debugger software. Coverage includes an evaluation of the efficiency and effectiveness of the CSAR approach and its supporting infrastructure, using six industrial SOCs and an illustrative, example SOC model. The authors also quantify the hardware cost and design effort to support their approach.

High Performance Computing - Second Latin American Conference, CARLA 2015, Petropolis, Brazil, August 26-28, 2015, Proceedings... High Performance Computing - Second Latin American Conference, CARLA 2015, Petropolis, Brazil, August 26-28, 2015, Proceedings (Paperback, 1st ed. 2015)
Carla Osthoff, Philippe Olivier Alexandre Navaux, Carlos Jaime Barrios Hernandez, Pedro L. Silva Dias
R1,940 Discovery Miles 19 400 Ships in 10 - 15 working days

This book constitutes the proceedings of the Second Latin American Conference on High Performance Computing, CARLA 2015, a joint conference of the High-Performance Computing Latin America Community, HPCLATAM, and the Conferencia Latino Americana de Computacion de Alto Rendimiento, CLCAR, held in Petropolis, Brazil, in August 2015. The 11 papers presented in this volume were carefully reviewed and selected from 17 submissions. They were organized in topical sections named: grid and cloud computing; GPU & MIC Computing: methods, libraries and applications; and scientific computing applications.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Paperback, Softcover reprint of... Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Paperback, Softcover reprint of the original 1st ed. 2015)
Roger Lee
R3,418 Discovery Miles 34 180 Ships in 10 - 15 working days

This edited book presents scientific results of 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2014) held on June 30 - July 2, 2014 in Las Vegas Nevada, USA. The aim of this conference was to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas, research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the 13 outstanding papers from those papers accepted for presentation at the conference.

Smart Multicore Embedded Systems (Paperback, Softcover reprint of the original 1st ed. 2014): Massimo Torquati, Koen Bertels,... Smart Multicore Embedded Systems (Paperback, Softcover reprint of the original 1st ed. 2014)
Massimo Torquati, Koen Bertels, Sven Karlsson, Francois Pacull
R3,407 Discovery Miles 34 070 Ships in 10 - 15 working days

This book provides a single-source reference to the state-of-the-art of high-level programming models and compilation tool-chains for embedded system platforms. The authors address challenges faced by programmers developing software to implement parallel applications in embedded systems, where very often they are forced to rewrite sequential programs into parallel software, taking into account all the low level features and peculiarities of the underlying platforms. Readers will benefit from these authors' approach, which takes into account both the application requirements and the platform specificities of various embedded systems from different industries. Parallel programming tool-chains are described that take as input parameters both the application and the platform model, then determine relevant transformations and mapping decisions on the concrete platform, minimizing user intervention and hiding the difficulties related to the correct and efficient use of memory hierarchy and low level code generation.

Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback,... Complete Symbolic Simulation of SystemC Models - Efficient Formal Verification of Finite Non-Terminating Programs (Paperback, 1st ed. 2016)
Vladimir Herdt
R1,915 Discovery Miles 19 150 Ships in 10 - 15 working days

In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and therefore can provide correctness proofs for larger systems, which is one of the most challenging tasks, due to the ever increasing complexity.

Building Arduino Projects for the Internet of Things - Experiments with Real-World Applications (Paperback, 1st ed.): Adeel... Building Arduino Projects for the Internet of Things - Experiments with Real-World Applications (Paperback, 1st ed.)
Adeel Javed
R1,624 R1,322 Discovery Miles 13 220 Save R302 (19%) Ships in 10 - 15 working days

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet. You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects in the books gradually introduce the reader to key topics such as internet connectivity with Arduino, common IoT protocols, custom web visualization, and Android apps that receive sensor data on-demand and in realtime. IoT device enthusiasts of all ages will want this book by their side when developing Android-based devices. If you're one of the many who have decided to build your own Arduino-powered devices for IoT applications, then Building Arduino Projects for the Internet of Things is exactly what you need. This book is your single resource--a guidebook for the eager-to-learn Arduino enthusiast--that teaches logically, methodically, and practically how the Arduino works and what you can build with it. Written by a software developer and solution architect who got tired of hunting and gathering various lessons for Arduino development as he taught himself all about the topic. For Arduino enthusiasts, this book not only opens up the world of IoT applications, you will also learn many techniques that likely would not be obvious if not for experience with such a diverse group of applications What You'll Learn Create an Arduino circuit that senses temperature Publish data collected from an Arduino to a server and to an MQTT broker Set up channels in Xively Using Node-RED to define complex flows Publish data visualization in a web app Report motion-sensor data through a mobile app Create a remote control for house lights Set up an app in IBM Bluematrix Who This Book Is For IoT device enthusiasts of all ages will want this book by their side when developing Android-based devices.

Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays (Paperback, 1st ed. 2016): Martin Kumm Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays (Paperback, 1st ed. 2016)
Martin Kumm
R2,052 Discovery Miles 20 520 Ships in 10 - 15 working days

This work covers field programmable gate array (FPGA)-specific optimizations of circuits computing the multiplication of a variable by several constants, commonly denoted as multiple constant multiplication (MCM). These optimizations focus on low resource usage but high performance. They comprise the use of fast carry-chains in adder-based constant multiplications including ternary (3-input) adders as well as the integration of look-up table-based constant multipliers and embedded multipliers to get the optimal mapping to modern FPGAs. The proposed methods can be used for the efficient implementation of digital filters, discrete transforms and many other circuits in the domain of digital signal processing, communication and image processing.

Essentials of Administering Team Foundation Server 2015 - Using TFS 2015 to accelerate your software development (Paperback,... Essentials of Administering Team Foundation Server 2015 - Using TFS 2015 to accelerate your software development (Paperback, 1st ed.)
Gary Gauvin
R1,974 Discovery Miles 19 740 Ships in 10 - 15 working days

This book covers the critical as well as the less obvious aspects of managing Microsoft Team Foundation Server 2015 in a variety of development and test environments. Coverage includes basic installation, initial configuration, maintenance, and common trouble shooting techniques, sizing, and performance considerations. Essentials of Administering Team Foundation Server 2015 explains how TFS can help you incorporate source control in your development environment. You'll learn how to set up TFS to match how you develop software. The book covers using TFS in the whole development process, along with practical advice on how to use its features effectively to get up to speed quickly. In addition, the author dives into using TFS in your team covering subjects like setting up accounts for different roles, manage users, and groups--plus what you need to know about TFS security and running a secure team. No discussion of a centralized system like TFS would be complete without learning how to back up and restore it, and the author covers what you will need to know to maintain your TFS including the backup and restore details required to properly plan for disaster recovery. The book details what you need to know about TFS functionality in creating and setting up collections and projects, how to manage the build process with Team Build (including setting it up and deploying build server and agents), using templates to speed up the creation of builds, building multi-platform solutions, and testing. In this book, you'll learn how to: Plan, install, and configure TFS Secure your TFS environment Plan and manage source control with TFS Manage the development process with TFS Manage the build process Test with TFS

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Model and Design of Improved Current…
Kirti Gupta, Neeta Pandey, … Hardcover R2,873 Discovery Miles 28 730
System-Scenario-based Design Principles…
Francky Catthoor, Twan Basten, … Hardcover R4,239 Discovery Miles 42 390
Ab initio Theory of Magnetic Ordering…
Eduardo Mendive Tapia Hardcover R2,873 Discovery Miles 28 730
Agile Software Architecture - Aligning…
Muhammad Ali Babar, Alan W. Brown, … Paperback R2,851 R2,322 Discovery Miles 23 220
Solid State Physics, Volume 73
Robert L Stamps, Robert E Camley, … Hardcover R7,450 R6,227 Discovery Miles 62 270
Cache Memory Book, The
Jim Handy Hardcover R3,403 R2,346 Discovery Miles 23 460
Phase Transformation in Metals…
Nestor Perez Hardcover R1,630 Discovery Miles 16 300
Continuum Mechanics and Applications in…
Brian Straughan, Ralf Greve, … Hardcover R3,111 Discovery Miles 31 110
Morphology and Dynamics of Bottlebrush…
Karin J. Bichler Hardcover R5,079 Discovery Miles 50 790
Classical Analogies in the Solution of…
Aydin Cem Keser Hardcover R2,873 Discovery Miles 28 730

 

Partners