+1M libros, ¡a una página de distancia!
Bookbot

Werner Grass

    Tagungsband des 3. GI-ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen
    Ausgezeichnete Informatikdissertationen 1999
    Architecture of computing systems
    • Architecture of computing systems

      • 496 páginas
      • 18 horas de lectura

      Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades. Eventhough it is quite clear that this development cannot only be measured by the ma- mum number of components on a chip, Moore’s Law may be and is often taken as a simple measure for the non-braked growth of computational power over the years. The more components are realizable on a chip, the more innovative and unconventional ideas can be realized by system architects. As a result, research in computer system architectures is more exciting than ever before. This book coversthe trends that shape the ? eld of computer system archit- tures. Thefundamenataltrade-o? inthedesignofcomputing systemsis between ? exibility, performance, powerconsumption, andchip area. The full exploitation of future silicon capacity requires new architecture approaches and new design paradigms such as multiple computers on a single chip, recon? gurable processor arrays, extensible processor architectures, and embedded memory technologies. For a successful use in practical applications, it is not enough to solve the ha- wareproblemsbutalsotodevelopplatformsthatprovidesoftwareinfrastructure and support e? ective programming. A quantum jump in complexity is achieved by embedded computing systems with an unprecedented level of connectivity linking together a growing n- ber of physical devices through networks. Embedded systems will become more and more pervasive as the component technologies become smaller, faster, and cheaper. Their complexity arises not only from the large number of components but also from a lack of determinism and a continual evolution of these systems.

      Architecture of computing systems
    • Ausgezeichnete Informatikdissertationen 1999

      • 256 páginas
      • 9 horas de lectura

      Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet. Inhaltsverzeichnis Emissionen klimarelevanter Gase aus der Landwirtschaft.- Dynamische Zellstrukturen Theorie und Anwendung eines KNN-Modells.- Specification and Verification of Polling Real-Time Systems.- Sicherheit in Medienströmen: Digitale Wasserzeichen.- Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung.- Gefahrenabwehr und Strafverfolgung im Internet.- Comprehending Queries.- Online-Fehlerdiagnose in intelligenten mathematischen Lehr-Lern-Systemen.- Definitions- und Beweisprinzipien für Daten und Prozesse.- Eine Methodik für die Entwicklung und Anwendung von objektorientierten Frameworks.- Neue Konzepte für die Anfrageverarbeitung in PORDBVS.- Automatische Indexierung von Fernsehnachrichtensendungen.- Vermeidung von Generationseffekten in der Audiocodierung.- Internet-Technologien in der gesetzlichen Rentenversicherung.- MISTRAL: Processing Relational Queries using a Multidimensional Access Technique.- Dot-Depth and Monadic Second-Order Alternation.- Systemunterstützung für offene Kommunikationssysteme.- Maschinelle Analyse des Verhaltens von Protokollmaschinen.- Randomisierte Branchingprogramme.- Topological Vector Field Visualization with Clifford Algebra.- Signalinterpretation mit Neuronalen Netzen.- Backup und Recovery in Datenbanksystemen.- Semantic Integrity Constraints in Federated Database Schemata 1.

      Ausgezeichnete Informatikdissertationen 1999