Smart Multicore Embedded Systems

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 …

Embedded Systems – A Hardware-Software Co-Design Approach

This textbook introduces the concept of embedded systems with exercises using Arduino Uno. It is intended for advanced undergraduate and graduate students in computer science, computer engineering, and electrical engineering programs. It contains a balanced discussion on both hardware and software related to embedded systems, with a focus on co-design aspects. Embedded systems have applications…

Advances in VLSI and Embedded Systems

This book presents select peer-reviewed proceedings of the International Conference on Advances in VLSI and Embedded Systems (AVES 2019) held at SVNIT, Surat, Gujarat, India. The book covers cutting-edge original research in VLSI design, devices and emerging technologies, embedded systems, and CAD for VLSI. With an aim to address the demand for complex and high-functionality systems as well as …

Introduction to Embedded Systems: Using Microcontrollers and the MSP430

This textbook serves as an introduction to the subject of embedded systems design, using microcontrollers as core components. It develops concepts from the ground up, covering the development of embedded systems technology, architectural and organizational aspects of controllers and systems, processor models, and peripheral devices. Since microprocessor-based embedded systems tightly blend har…

Theory and Engineering of Dependable Computer Systems and Networks

This book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineeri…

QoS-Aware Virtual Network Embedding

As an important future network architecture, virtual network architecture has received extensive attention. Virtual network embedding (VNE) is one of the core services of network virtualization (NV). It provides solutions for various network applications from the perspective of virtual network resource allocation. The Internet aims to provide global users with comprehensive coverage. The networ…

Semi-physical Verification Technology for Dynamic Performance of Internet of …

Computer systems--Verification

Advances in Usability, User Experience and Assistive Technology

This book focuses on emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interaction with products, services and systems, and focuses on finding effective approaches for improving user experience. It also discusses key issues in designing and providing assistive devices and se…

Big Data Privacy Preservation for Cyber-Physical Systems

This SpringerBrief mainly focuses on effective big data analytics for CPS, and addresses the privacy issues that arise on various CPS applications. The authors develop a series of privacy preserving data analytic and processing methodologies through data driven optimization based on applied cryptographic techniques and differential privacy in this brief. This brief also focuses on effectively i…

Foundations of Embedded Systems

This book is devoted to embedded systems (ESs), which can now be found in practically all fields of human activity. Embedded systems are essentially a special class of computing systems designed for monitoring and controlling objects of the physical world. The book begins by discussing the distinctive features of ESs, above all their cybernetic-physical character, and how they can be design…

Embedded System Design

Edition

-

ISBN/ISSN

978-3-030-60910-8

Collation

xxii, 433p.:Ill

Series Title

Embedded Systems

Call Number

621.381 5 Mar e

HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS

Edition

-

ISBN/ISSN

1-4020-7389-5

Collation

xi, 326 p.; 23 cm.

Series Title

-

Call Number

005.7 Ken h

COMPUTER SYSTEM ARCHITECTURE, THIRD EDITION

Edition

3rd

ISBN/ISSN

0-13-175738-5

Collation

xviii, 525 p.:; 24 cm

Series Title

-

Call Number

004.2 Man c

Software Engineering for Variability Intensive Systems : FOUNDATIONS AND APPL…

Edition

-

ISBN/ISSN

978-0-8153-4805-4

Collation

xxxiii, 402 p.; 24 cm.

Series Title

-

Call Number

005.1 Mis s

OPTIMALISASI & TROUBLESHOOTING: Sistem Komputer Anda Menggunakan Freeware dan…

Edition

1

ISBN/ISSN

979-731-474-X

Collation

xii, 300 hlm. : ilus. ; 23 cm

Series Title

-

Call Number

005.276 Opt o

COMPUTER SYSTEMS: A PROGRAMMER'S PERSPECTIVE

Edition

-

ISBN/ISSN

0-13-034074-x

Collation

xxviii, 978 p.; 25 cm.

Series Title

-

Call Number

658.15 Bry c

Troubleshooting Microsoft Access Databases Mencakup Access 97 dan Access 2000

Edition

-

ISBN/ISSN

979-20-2734-3

Collation

xv, 297 p. ; 23 cm

Series Title

-

Call Number

005.276 And t

OPTIMALISASI dan TROUBLESHOOTING: Sistem Komputer Anda Menggunakan Freeware d…

Edition

2

ISBN/ISSN

979-763-168-0

Collation

xii + 300 hlm.; 16 x 23 cm

Series Title

-

Call Number

005.276 Opt o

Embedded Systems Development: From Functional Models to Implementations

This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from s…

Scalable and Near-Optimal Design Space Exploration for Embedded Systems

This book describes scalable and near-optimal, processor-level design space exploration (DSE) methodologies. The authors present design methodologies for data storage and processing in real-time, cost-sensitive data-dominated embedded systems. Readers will be enabled to reduce time-to-market, while satisfying system requirements for performance, area, and energy consumption, thereby minimizing …

Object-Oriented User Interfaces for Personalized Mobile Learning

This book presents recent research in mobile learning and advanced user interfaces. It is shown how the combination of these fields can result in personalized educational software that meets the requirements of state-of-the-art mobile learning software. This book provides a framework that is capable of incorporating the software technologies, exploiting a wide range of their current advances an…

Quality of Experience: Advanced Concepts, Applications and Methods

This pioneering book develops definitions and concepts related to Quality of Experience in the context of multimedia- and telecommunications-related applications, systems and services and applies these to various fields of communication and media technologies. The editors bring together numerous key-protagonists of the new discipline “Quality of Experience” and combine the state-of-the-art …

Models, Methods, and Tools for Complex Chip Design: Selected Contributions fr…

This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2012 at Vienna University of Technology, Vienna, Austria. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specific…

Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Proc…

This book describes fault tolerance techniques based on software and hardware to create hybrid techniques. They are able to reduce overall performance degradation and increase error detection when associated with applications implemented in embedded processors. Coverage begins with an extensive discussion of the current state-of-the-art in fault tolerance techniques. The authors then discuss …

MASTERING Microsoft Virtualization

Edition

-

ISBN/ISSN

978-0-470-44958-5

Collation

xx, 556 p. ; 25 cm

Series Title

-

Call Number

005.4 Cer m

Computer in Third-World Schools: Examples, Experience and Issues

Edition

-

ISBN/ISSN

0-333-52750-X

Collation

372 p.; ill.; tab.; 23 cm.

Series Title

-

Call Number

373.13 Haw c

MECHATRONICS: Electronics in products and processes

Edition

1st

ISBN/ISSN

0-471-34200-6

Collation

xviii, 510 p. : ill. ; 24 cm

Series Title

-

Call Number

670.42 Mec m

GRAPHICSS FOR ENGINEERS with CADKEY

Edition

-

ISBN/ISSN

0-201-53059-9

Collation

xx, 555 p.; 24 cm.

Series Title

-

Call Number

620.004 Ear g

CADKEY Light: Computer Aided Design and Drafting for Engineers and Technologists

Edition

-

ISBN/ISSN

0-13-117383-9

Collation

xvii, 395 p.; 28 cm.

Series Title

-

Call Number

620.004 Duf c

EXPLORING CADKEY 3

Edition

-

ISBN/ISSN

0-13-296112-1

Collation

xiv, 336 p.; 30 cm.

Series Title

-

Call Number

620.004 Rei e