You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgültigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermöglicht eine Erweiterung des Prozesses. Des Weitere...
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units. The contributions in the book cover the most important and recent contributions in parallel propositional...
This book constitutes the refereed proceedings of the First International Conference on Futuristic Trends in Network and Communication Technologies, FTNCT 2018, held in Solan, India, in February 2018. The 37 revised full papers presented were carefully reviewed and selected from 239 submissions. The prime aim of the conference is to invite researchers from different domains of network and communication technologies to a single platform to showcase their research ideas. The selected papers are organized in topical sections on communication technologies, Internet of Things (IoT), network technologies, and wireless networks.
Network on Chip (NoC) addresses the communication requirement of different nodes on System on Chip. The bio-inspired algorithms improve the bandwidth utilization, maximize the throughput and reduce the end-to-end latency and inter-flit arrival time. This book exclusively presents in-depth information regarding bio-inspired algorithms solving real world problems focussing on fault-tolerant algorithms inspired by the biological brain and implemented on NoC. It further documents the bio-inspired algorithms in general and more specifically, in the design of NoC. It gives an exhaustive review and analysis of the NoC architectures developed during the last decade according to various parameters. Key Features: Covers bio-inspired solutions pertaining to Network-on-Chip (NoC) design solving real world examples Includes bio-inspired NoC fault-tolerant algorithms with detail coding examples Lists fault-tolerant algorithms with detailed examples Reviews basic concepts of NoC Discusses NoC architectures developed-to-date
"Nature-inspired" includes, roughly speaking, "bio-inspired"+"physical-inspired"+"social-inspired"+ and so on. This book contains highly original contributions about how nature is going to shape networking systems of the future. Hence, it focuses on rigorous approaches and cutting-edge solutions, which encompass three classes of major methods: 1) Those that take inspiration from nature for the development of novel problem solving techniques; 2) Those that are based on the use of networks to synthesize natural phenomena; and 3) Those that employ natural materials to compute or communicate.
Das Buch behandelt die in modernen Hochleistungsprozessoren zum Einsatz kommenden Techniken. Nach einer einführenden Beschreibung von Programmiermodellen werden zunächst skalare Prozessoren, die Mikroprogrammierung und die Fließbandverarbeitung diskutiert. Die in operationsparallel arbeitenden Prozessoren angewandten Prinzipien kommen zur Sprache. Dabei werden die Multimedia-Einheiten (SIMD-Einheiten), Feldrechner, Vektorrechner, Signalprozessoren, VLIW-Prozessoren und Prozessoren mit kontrollflussgesteuertem Datenfluss erörtert – zum Teil auch unter Einbeziehung der bei diesen Verfahren bedeutsamen Übersetzerbautechniken. Im Zusammenhang mit den ebenfalls behandelten superskalaren Pr...
Aatami Rymättylä hat den Weg aus der drohenden Ölkrise gefunden: einen winzigen Akku, der Strom im Überfluss liefern kann. Um die umwälzende Erfindung zu vermarkten, fehlt Aatami jedoch das Geld. Zum Glück nimmt sich Eeva Kontupohja des vom Pech verfolgten Weltretters an. Die neue Energiequelle stösst jedoch nicht nur auf Gegenliebe. Die Ölmultis setzen einen sizilianischen Killer auf Aatami an.