Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 6 from your keywords: subject="Computer engineering"
cover
Mobile edge computing
Zhang, Yan

It offers comprehensive, self-contained knowledge on Mobile Edge Computing (MEC), which is a very promising technology for achieving intelligence in the next-generation wireless communications and computing networks. The book starts with the basic concepts, key techniques and network architectures of MEC. Then, we present the wide applications of MEC, including edge caching, 6G networks, Inter…

Edition
-
ISBN/ISSN
9783030839444
Collation
xiv + 113 p
Series Title
Simula SpringerBriefs on Computing
Call Number
004.167 ZHA m
cover
Automated reasoning
Pattinson, DirkKovács, LauraBlanchette, Jasmin

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…

Edition
1
ISBN/ISSN
9783031107696
Collation
xv; 756 PG; ill.
Series Title
Lecture Notes in Computer Science
Call Number
006.3 AUT a
cover
Dependable embedded systems
Henkel, JorgDutt, Nikil

This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction le…

Edition
-
ISBN/ISSN
9783030520175
Collation
xiii, 608p. : ill.
Series Title
-
Call Number
621.3815 DEP d
cover
Managing distributed cloud applications and infrastructure : a self-optimisin…
Lynn, TheoMooney, John G.Domaschka, JörgEllis, Keith A.

The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential iss…

Edition
-
ISBN/ISSN
9783030398637
Collation
xxiii, 163p. : ill.
Series Title
-
Call Number
004.6782 MAN m
cover
A journey of embedded and cyber-physical systems : essays dedicated to Peter …
Chen, Jian-Jia

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…

Edition
-
ISBN/ISSN
9783030474874
Collation
xv, 176p. : ill.
Series Title
-
Call Number
004.21 JOU j
cover
The Huawei and Snowden questions : Can electronic equipment from untrusted ve…
Lysne, Olav

This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a …

Edition
-
ISBN/ISSN
9783319749501
Collation
xiv, 116p. : ill.
Series Title
-
Call Number
005.8 LYS h