Search results for ‘Mikhail Kovalev,Silvia M. Muller,Wolfgang J. Paul’

Filter & Refine

      Cover image for A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
      Paperback
      Add to list Added to list

      A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof

      Mikhail Kovalev,Silvia M. Muller,Wolfgang J. Paul

      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…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for The Complexity of Simple Computer Architectures
      Paperback
      Add to list Added to list

      The Complexity of Simple Computer Architectures

      This book presents a formal model for evaluating the cost effectiveness of computer architectures. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Computer Architecture: Complexity and Correctness
      Paperback
      Add to list Added to list

      Computer Architecture: Complexity and Correctness

      Silvia M. Mueller,Wolfgang J. Paul

      Hardware correctness is becoming ever more important in the design of computer systems.

      $195.99

      Available to order, ships in approx 4 weeksAvailable to order

      Cover image for Computer Architecture: Complexity and Correctness
      Hardback
      Add to list Added to list

      Computer Architecture: Complexity and Correctness

      Silvia M. Mueller,Wolfgang J. Paul

      Hardware correctness is becoming ever more important in the design of computer systems.

      $130.99

      Available to order, ships in 7-14 daysAvailable to order