realme  (2 820 Angebote unter 17 656 466 Artikeln)

Invited Talks.- Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.- Emerging Application Domains and the Computing Fabric.- Regular Papers.- The Game of the ...

Automatische Konfiguration von Echtzeit-Ethernet

Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Sys...

This Topical Collection of Molecules provides the most recent advancements and trends within the framework of food analysis, confirming the growing public, academic, and industrial interest in this...

Le XIXe siècle est le grand siècle du roman : Il est devenu le genre dominant. Le roman raconte les péripéties d'un ou de plusieurs personnages dans un milieu donné. Son contenu est fictif et la di...

This thesis documents the development of a multifunctional nanoparticle system to enhance the chemotherapeutic efficiency of anti-cancer drugs, and contributes to research that helps decrease the s...

This book equips readers with tools for computer architecture of high performance, low power, and high reliability memory hierarchy in computer systems based on emerging memory technologies, such a...

The objective of this dissertation is to design a concept that would allow to increase the flexibility of currently available Time Triggered Ethernet based (TTEB) systems, however, without affectin...

In diesem Tagungsband sind die besten Beiträge des 7. Jahreskolloquiums "Kommunikation in der Automation" (KommA 2016) und des  5. Jahreskolloquiums "Bildverarbeitung in der Automation" (BVAu 2016)...

A Flywheel Energy Storage System (FESS) can rapidly inject or absorb high amounts of active power in order to support the grid, following abrupt changes in the generation or in the demand, with no ...

8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Nonclausal temporal deduction.- Unsolvable terms in typed lambda calculus with fix-point operators: Extended abstract.- Lambda calculus with constrained types.- An axiomatic treatment of a parallel...

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revis...

Invited Talks.- New Directions in PVM/Harness Research.- Towards a Productive MPI Environment.- Components of Systems Software for Parallel Systems.- Virtualization in Parallel Distributed Computin...