Code: 06818007

The VAMP Memory Unit

Name: The VAMP Memory Unit
Brand: VDM Verlag Dr. Müller
SKU: 06818007
Price: 49.87 EUR
Availability: BackOrder
Author: Iakov Dalinger
ISBN: 9783639088793

by Iakov Dalinger, Artem Alekhin

Language: English
Binding: Paperback
Number of pages: 116
Publisher: VDM Verlag Dr. Müller, 2009
More about this

49.87 €

RRP: 51.98 €

You save 2.11 €

Print on demand
Shipping in 17 - 27 days

Add to wishlist

My Best Games of Chess
25.03 € -25 %
Buy
Pucking Wild
10.79 € -21 %
Buy
Life Among the Savages
13.42 € -24 %
Buy
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print
19.17 € -24 %
Buy
Philosophy of Freedom
35.83 € -15 %
Buy
Žlutá kniha pohádek
4.74 € -27 %
Buy
Pride and Prejudice Tote Bag
17.15 € -29 %
Buy
Antígona
9.68 € -3 %
Buy
Alef-Thau 1
24.73 €
Buy
The Magic Pet Shop: Pugicorn to the Rescue
8.67 € -25 %
Buy
MRSA
69.76 €
Buy
Clifford Algebras and the Classical Groups
85.41 €
Buy
Grimm's Fairy Tales
13.01 € -29 %
Buy
Erinnerungen an Den Grafen Leo Tolstoi
11.70 € -10 %
Buy
Daughter of a Gun
15.44 € -25 %
Buy
Leaders and International Conflict
45.83 €
Buy
Factomule - Grand thriller politique international
30.08 €
Buy
Three Essays on Aggregate Demand and Growth
59.86 € -3 %
Buy
Researching with Communities: Grounded Perspectives on Engaging Communities in Research
33.81 € -9 %
Buy
Bewertung und Besteuerung von Lift- und Schipistenentschädigungen
59.86 € -3 %
Buy
Murder Most Blonde
31.80 €
Buy
Neue Aufbauprinzipien Metall-Organischer Frameworks
49.87 € -4 %
Buy
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek
16.15 € -10 %
Buy
Al Capone JUST FOR LAUGHS
15.94 € -6 %
Buy
The Cutty Sark, The Last Of The Famous Tea Clippers V2: Describing The Masts, Spars And Rigging Of A Scale Model, And Including The Builder's Specific
27.35 € -2 %
Buy
Anthropologies
18.57 € -9 %
Buy
Little Voices - Ballads (Book Only)
16.85 €
Buy
Prostranstvenno-vremennoj kontinuum kul'tury
70.97 € -14 %
Buy
Dead Girls Speak In Unison
11.30 € -25 %
Buy
Dear God, Do Deadbeat Dads Go To Heaven?
11.50 € -7 %
Buy
Lustfully Ever After: An Erotic Author / Reader Romance
8.98 € -6 %
Buy
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments
29.17 € -2 %
Buy
Simulation Modeling of Forest Landscape Disturbances
102.78 € -7 %
Buy
Taking Shelter From the Storm: Building a Safe Room Inside Your House
14.02 € -6 %
Buy
BizTalk Server 2002 Design and Implementation
42.30 € -24 %
Buy
Dynamic Reconfiguration
110.25 €
Buy
From The Beginning
37.85 €
Buy
Reactor engineering aspects of fluidized bed polypropylene reactors
49.87 € -4 %
Buy
Relig Ord Islam:Orientalsm V 4
527.45 €
Buy
Population Mental Health
235.35 €
Buy
hcm 68 la fin de l'esclavage
11.60 €
Buy
Robert Louis Stevenson's Treasure Island Pirated
14.02 € -7 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 121 loyalty points

Book synopsis

This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§carried out in [Dal06]. The new design of the MU,§developed here, contains translation look-aside§buffers (TLB) for fast virtual address translation§inside the memory management units (MMU) and supports§accesses to external devices.§A computer-aided verification tool used throughout§the whole work is an interactive theorem prover§Isabelle/HOL bound [Tve05] with the NuSMV [CCG+02]§and SMV [McM99] model checkers. The results§(correctness proofs and models of hardware blocks)§are presented as Isabelle mathematical theories. The§work is described formally and paper-and-pencil§proofs are provided.