for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind.
Dieses Buch beschreibt eine neue, grobkörnige rekonfigurierbare Architektur (CGRA), genannt Blocks, und stellt sie in den Kontext von Computerarchitekturen und insbesondere von anderen CGRAs.
Experten aus Wissenschaft und Praxis diskutieren Fragen rund um das Mobile Enterprise ebenso, wie die Gestaltung... Læs mere
Grundlagen und Zusammenhänge begreifen, von den mathematischen und physikalischen Grundlagen bis zu den technischen Anwendungen, ist ein zentrales Ziel des Buchs.
War die klassische Outsourcing-Entscheidung im wesentlichen durch den Auftrag der Kunden zur Kostensenkung geprägt, so kommen nun... Læs mere
In den politischen und ökonomischen Entscheidungsprozessen muss der Wirtschaftsverkehr einen hohen Stellenwert einnehmen und in der Wissenschaft muss es Ziel sein, ihn möglichst realitätsnah durch Modelle und Szenarien abzubilden.
Hierzu gehören: eine Werkbank für den Wissensingenieur, ein Übersetzungssystem zur automatischen Erzeugung von Bedeutungsdarstellungen natürlichsprachlicher Sätze und eine Werkbank für den Computerlexikographen.