Wolfgang J. Paul – författare
Visar alla böcker från författaren Wolfgang J. Paul. Handla med fri frakt och snabb leverans.
19 produkter
Pipelined Multi-Core Machine with Operating System Support
Hardware Implementation and Correctness Proof
Av Petro Lutsyk, Jonas Oberhauser m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
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 …
Pipelined Multi-Core Machine with Operating System Support
Hardware Implementation and Correctness Proof
Av Wolfgang J. Paul, Jonas Oberhauser m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
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 …
Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness Proof
Av Mikhail Kovalev, Silvia M. Müller m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
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 …
Pipelined Multi-core MIPS Machine
Hardware Implementation and Correctness Proof
Av Wolfgang J. Paul, Silvia M. Muller m. fl.
E-bok, 2014
739 kr
Lägg i varukorg
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 …
System Architecture
An Ordinary Engineering Discipline
Av Wolfgang J. Paul, Christoph Baumann m. fl.
Inbunden, 2016
569 kr
Lägg i varukorg
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 …
System Architecture
An Ordinary Engineering Discipline
Av Sabine Schmaltz, Petro Lutsyk m. fl.
E-bok, 2016
718 kr
Lägg i varukorg
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 …
System Architecture
An Ordinary Engineering Discipline
Av Wolfgang J. Paul, Christoph Baumann m. fl.
Häftad, 2018
551 kr
Lägg i varukorg
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 …
Hardware Design
Formaler Entwurf digitaler Schaltungen
Av Wolfgang J. Paul, Jorg Keller
E-bok, 2013
462 kr
Lägg i varukorg
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 …
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Av Wolfgang J. Paul, Harald Ganzinger
E-bok, 2013
452 kr
Lägg i varukorg
Hardware Design
Formaler Entwurf digitaler Schaltungen
E-bok, 2013
571 kr
Lägg i varukorg
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 …
Hardware Design
Formaler Entwurf digitaler Schaltungen
Av Jörg Keller, Wolfgang J. Paul m. fl.
Häftad, 2005
685 kr
Lägg i varukorg
Dieses Hochschullehrbuch behandelt in mathematisch präziser Weise den Entwurf digitaler Hardware. Kapitel eins enthält eine Diskussion mathematischer Grundbegriffe. In den Kapiteln zwei bis vier werden die notwendigen theoretischen Grundlagen über Boolesche Ausdrücke, Schaltkreiskomplexität und …
Innovative Informations-Infrastrukturen
Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG
Av Bernhard Gollan, Wolfgang J. Paul m. fl.
Häftad, 1988
552 kr
Lägg i varukorg
Das Buch präsentiert die Resultate einer vierjährigen Kooperation zwischen der Universität des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anläßlich einer …
Complexity of Simple Computer Architectures
Av Silvia M. Müller, Wolfgang J. Paul
Häftad, 1995
569 kr
Lägg i varukorg
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives …
Computer Architecture
Complexity and Correctness
Av Silvia M. Mueller, Wolfgang J. Paul
Inbunden, 2000
569 kr
Lägg i varukorg
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other …
Computer Architecture
Complexity and Correctness
Av Silvia M. Mueller, Wolfgang J. Paul
Häftad, 2010
569 kr
Lägg i varukorg
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other …
Innovative Informations-Infrastrukturen
Ergebnisse einer Kooperation der Universität des Saarlandes und der Siemens AG
Av Alwine Schmitt, Wolfgang J. Paul m. fl.
E-bok, 2013
574 kr
Lägg i varukorg
Das Buch präsentiert die Resultate einer vierjährigen Kooperation zwischen der Universität des Saarlandes und der Siemens AG. Schwerpunkte sind die Themenbereiche Vernetzung, Entwicklung von Software-Tools und von wissenschaftlicher Anwender-Software. Der Band wurde zusammengestellt anläßlich einer …
Computer Architecture
Complexity and Correctness
Av Wolfgang J. Paul, Silvia M. Mueller
E-bok, 2013
739 kr
Lägg i varukorg
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other …
Informatik
Festschrift zum 60. Geburtstag von Günter Hotz
Av Harald Ganzinger, Wolfgang J. Paul
Häftad, 1992
517 kr
Lägg i varukorg
Hardware Design
Formaler Entwurf digitaler Schaltungen
Av Jörg Keller, Wolfgang J. Paul
Häftad, 1995
517 kr
Lägg i varukorg
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 …
