LIBROS DEL AUTOR: wolfgang j paul

8 resultados para LIBROS DEL AUTOR: wolfgang j paul

  • A Pipelined Multi-Core Machine with Operating System Support
    Jonas Oberhauser / Petro Lutsyk / Wolfgang J. Paul
    This work is building on results from the book named 'A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness' by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014.It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following...
    Disponible

    46,16 €

  • A Pipelined Multi-Core Machine with Operating System Support
    Jonas Oberhauser / Petro Lutsyk / Wolfgang J. Paul
    This work is building on results from the book named 'A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness' by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014.It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following...
    Disponible

    64,62 €

  • System Architecture
    Christoph Baumann / Petro Lutsyk / Wolfgang J. Paul
    The pillars of the bridge on the cover of this book date from the Roman Empire and they are in daily use today, an example of conventional engineering at its best. Modern commodity operating systems are examples of current system programming at its best, with bugs discovered and fixed on a weekly or monthly basis. This book addresses the question of whether it is possible to co...
    Disponible

    65,17 €

  • A Pipelined Multi-core MIPS Machine
    Mikhail Kovalev / Silvia M. Müller / Silvia MMüller / Wolfgang J. Paul / Wolfgang JPaul
    This monograph is based on the third author’s lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a...
    Disponible

    65,95 €

  • A Pipelined Multi-core MIPS Machine
    Mikhail Kovalev / Silvia M. Müller / Wolfgang J. Paul
    This monograph is based on the third author’s lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory.The book contains the first correctness proofs for both the gate level implementation of a...
    Disponible

    47,50 €

  • Computer Architecture
    Silvia M. Mueller / Wolfgang J. Paul
    Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, based on mathematically well-founded formal methods which allows for rigorous correctness proofs, accurate hardware costs determination, and performance evalu...
    Disponible

    69,51 €

  • Hardware Design
    Jörg Keller / Wolfgang J. Paul
    Das vorliegende Lehrbuch beschäftigt sich in mathematisch präziser Weise mit ei­ nem ganz und gar praktischen Thema, nämlich dem Entwurf von Hardware. Kapitel 1 enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln 2 bis 4 werden die notwendigen theoretischen Grundlagen über Boole’sche Ausdrücke, Schaltkreiskomplexität und Rechnerarith...
    Disponible

    59,53 €

  • Informatik
    Harald Ganzinger / Wolfgang J. Paul
    Dieser Band erscheint aus Anlafi des sechzigsten Geburtstags von Gunter Hotz. Er enthiilt Arbeiten seiner Schuler, Freunde und Kollegen. Gunter Hotz ist seit 1969 Professor fur Numerische Mathematik und Informatik an der Universitiit des Saarlandes. Er hat am Aufbau des Fachbereichs Informatik der Universitiit des Saarlandes groBen Anteil, und er hat ...
    Disponible

    59,05 €