Browse

Author Profile

Browsing by Subject Kỹ thuật máy tính

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 3 of 3
  • OER000001279.pdf.jpg
  • Book

  • Eingebettete Systeme: Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen

    • Authors : Marwedel, Peter (2021)

  • Ein Alleinstellungsmerkmal dieses Open-Access-Lehrbuchs ist die umfassende Einführung in das Grundlagenwissen über eingebettete Systeme mit Anwendungen in cyber-physischen Systemen und dem Internet der Dinge. Es beginnt mit einer Einführung in das Gebiet und eine Übersicht über Spezifikationsmodelle und -sprachen für eingebettete und cyber-physikalische Systeme. Es gibt einen kurzen Überblick über die für solche Systeme verwendeten Hardware-Geräte und stellt die Grundlagen der System...
  • OER000003373.pdf.jpg
  • Ebooks (Sách điện tử)

  • Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

    • Authors : - (2020)

  • Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công ...
  • OER000003280.pdf.jpg
  • Ebooks (Sách điện tử)

  • The datacenter as a computer : designing warehouse-scale machines

    • Authors : Luiz André, Barroso; Urs, Hölzle; Parthasarathy, Ranganathan (2019)

  • Cuốn sách này mô tả các máy tính quy mô kho (WSC), nền tảng điện toán hỗ trợ điện toán đám mây và tất cả các dịch vụ web tuyệt vời mà chúng ta sử dụng hàng ngày. Nó thảo luận về cách các hệ thống mới này xử lý chính trung tâm dữ liệu như một máy tính khổng lồ được thiết kế ở quy mô kho hàng, với phần cứng và phần mềm hoạt động đồng bộ để mang lại hiệu suất dịch vụ&#...