Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

The VAMP Memory Unit

Hardware Design and Formal Verification

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha The VAMP Memory Unit Iakov Dalinger
Libristo kód: 06818007
Nakladatelství VDM Verlag Dr. Müller, listopad 2008
This work is devoted to the formal verification of§the VAMP memory unit (MU) and based on the work§c... Celý popis
? points 121 b
1 209 Kč
U nakladatele na objednávku Odesíláme za 17-27 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Bewertung und Besteuerung von Lift- und Schipistenentschädigungen Stefanie Rettenwander / Kniha Brožovaná
common.buy 1 451 Kč
Neue Aufbauprinzipien Metall-Organischer Frameworks Michael Hummel / Kniha Brožovaná
common.buy 1 209 Kč
Antígona SOFOCLES / Kniha Brožovaná
common.buy 201 Kč
Žlutá kniha pohádek / Kniha Brožovaná
common.buy 93 Kč
Alef-Thau 1 Arno / Kniha Brožovaná
common.buy 600 Kč
Dynamic Reconfiguration Jerry Trahan / Kniha Pevná
common.buy 2 539 Kč
Etude de la croissance dendritique du cuivre dans l'acide oxalique Elodie Ostermann / Kniha Brožovaná
common.buy 1 603 Kč
Factomule - Grand thriller politique international Øyvind TORSETER / Kniha Pevná
common.buy 727 Kč
Prostranstvenno-vremennoj kontinuum kul'tury Jeleonora Barkova / Kniha Brožovaná
common.buy 1 620 Kč
Rechtliches Wissen - Eine Einfuhrung in die Thematik des Buches von Alexander Somek Carina Danzer / Kniha Brožovaná
common.buy 369 Kč
Erinnerungen an Den Grafen Leo Tolstoi Eugen Schuyler / Kniha Brožovaná
common.buy 267 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název The VAMP Memory Unit
Autor Iakov Dalinger, Artem Alekhin
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 116
EAN 9783639088793
Libristo kód 06818007
Nakladatelství VDM Verlag Dr. Müller
Váha 189
Rozměry 150 x 220 x 7
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Three Essays on Aggregate Demand and Growth Gilberto Libanio / Kniha Brožovaná
common.buy 1 451 Kč
Dear God, Do Deadbeat Dads Go To Heaven? MS Kia Swain / Kniha Brožovaná
common.buy 279 Kč
Daughter of a Gun Kaori Tanegashima / Kniha Brožovaná
common.buy 374 Kč
Researching with Communities: Grounded Perspectives on Engaging Communities in Research Andy Williamson / Kniha Brožovaná
common.buy 774 Kč
Simulation Modeling of Forest Landscape Disturbances Ajith H. Perera / Kniha Pevná
common.buy 2 357 Kč
Top
Life Among the Savages Shirley Jackson / Kniha Brožovaná
common.buy 325 Kč
Top
My Best Games of Chess Alexander Alekhine / Kniha Brožovaná
common.buy 569 Kč
English Church Craftmanship - An Introduction To The Work Of The Medieval Period And Some Account Of Later Developments Fred H. Crossley / Kniha Pevná
common.buy 708 Kč
Murder Most Blonde M. J. Hatch / Kniha Pevná
common.buy 772 Kč
Dead Girls Speak In Unison Danielle Pafunda / Kniha Brožovaná
common.buy 275 Kč
From The Beginning Duane Andry / Kniha Pevná
common.buy 873 Kč
Taking Shelter From the Storm: Building a Safe Room Inside Your House Federal Emergency Management Agency / Kniha Brožovaná
common.buy 339 Kč
Robert Louis Stevenson's Treasure Island Pirated Kristina Jameson / Kniha Brožovaná
common.buy 340 Kč
NKJV, Thinline Bible Youth Edition, Leathersoft, Brown, Red Letter, Comfort Print Thomas Nelson / Kniha Pevná
common.buy 402 Kč
Al Capone JUST FOR LAUGHS John L D Barnett / Kniha Brožovaná
common.buy 386 Kč
Lustfully Ever After: An Erotic Author / Reader Romance Emma Jade / Kniha Brožovaná
common.buy 217 Kč
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 C. Nepean Longridge / Kniha Brožovaná
common.buy 663 Kč
Grimm's Fairy Tales Wilhelm Grimm / Kniha Pevná
common.buy 293 Kč
Pucking Wild Emily Rath / Kniha Brožovaná
common.buy 219 Kč
The Magic Pet Shop: Pugicorn to the Rescue Tim Budgen / Kniha Brožovaná
common.buy 197 Kč
Population Mental Health Neal Cohen / Kniha Pevná
common.buy 5 444 Kč
Clifford Algebras and the Classical Groups Ian R. Porteous / Kniha Brožovaná
common.buy 2 071 Kč
Leaders and International Conflict Giacomo Chiozza / Kniha Brožovaná
common.buy 1 110 Kč
Anthropologies Beth Alvarado / Kniha Brožovaná
common.buy 415 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?