Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Limba englezăengleză
Carte Carte broșată
Carte Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms Mohamed Abdel Maksoud
Codul Libristo: 06812272
Editura VDM Verlag Dr. Mueller E.K., iunie 2008
Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Descrierea completă
? points 131 b
283.56 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Precis de Botanique Medicale, (Ed.1898) Trabut L / Carte Carte broșată
common.buy 218.20 lei
Tik tak bum / Joc / Jucărie Joc
common.buy 106.12 lei
WAKE SWEET MUSE JONATHAN CHENETTE Materiale tipărite Note muzicale
common.buy 32.10 lei
Zwei weitere Winter Patrick Salmen / Carte Copertă tare
common.buy 70.15 lei
paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi / Carte Carte broșată
common.buy 155.23 lei
Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR / Carte Carte broșată
common.buy 75.37 lei
Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 108.94 lei

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e. abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler thatderives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over executiontime of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Autor Mohamed Abdel Maksoud
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 108
EAN 9783639024685
ISBN 3639024680
Codul Libristo 06812272
Editura VDM Verlag Dr. Mueller E.K.
Greutatea 154
Dimensiuni 152 x 229 x 6

Categorii

Computing & Information Technology > Information technology: general issues
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Tsunami: To Survive From Tsunami Susumu Murata / Carte Copertă tare
common.buy 281.79 lei
The Metamorphosis Franz Kafka / Carte Carte broșată
common.buy 37.10 lei
AUTOMATED DAMAGE DETECTION Edward Sazonov / Carte Carte broșată
common.buy 391.26 lei
Thermodynamics of the Steam-Engine and Other Heat-Engines Cecil Hobart Peabody / Carte Carte broșată
common.buy 178.68 lei
Early Reviews of English Poets. Edited with an Introd John Louis Haney / Carte Copertă tare
common.buy 184.73 lei
Human Nature & Jewish Thought Alan L. Mittleman / Carte Carte broșată
common.buy 137.82 lei
The Women of La Raza: An Epic History of Chicana / Mexican-American Peoples Enriqueta L Vasquez / Carte Carte broșată
common.buy 82.04 lei
Conquering the Odds: : Turning Your Valley Into A Mountain Top Habibo Haji Rn-Bsn / Carte Carte broșată
common.buy 101.85 lei
Bioavailability, Leachability, Chemical Speciation, and Bioremediation of Heavy Metals in the Process of Composting Jiwan Singh / Carte Copertă tare
common.buy 919.21 lei
Patty's Friends: Illustrated Carolyn Wells / Carte Carte broșată
common.buy 36.69 lei
Child Protection in England, 1960-2000 Jennifer Crane / Carte Copertă tare
common.buy 165.86 lei
The Baking Cookbook for Teens: 75 Delicious Recipes for Sweet and Savory Treats Robin Donovan / Carte Carte broșată
common.buy 84.02 lei
Social Justice in Practice Juha Räikkä / Carte Copertă tare
common.buy 570.37 lei
Opioid Agonists, Antagonists & Mixed Narcotic Analgesics: Theoretical Background & Considerations for Practical Use E. Freye / Carte Copertă tare
common.buy 257.08 lei
Biotechnology Fundamentals Third Edition Khan / Carte Copertă tare
common.buy 961.75 lei
Love Is A Spirit: A Novel (1896) Julian Hawthorne / Carte Carte broșată
common.buy 137.82 lei
COMPLETE REFLEXOLOGY FOR LIFE KUNZ BARBARA / Carte Copertă tare
common.buy 155.23 lei
Beyond Emasculation Hossain / Carte Copertă tare
common.buy 678.69 lei
AI Enabled IoT for Electrification and Connected Transportation Naveenkumar Marati / Carte Copertă tare
common.buy 911.39 lei
CRM Mastery Jeff Nguyen / Carte Carte broșată
common.buy 111.75 lei
Nuclear War Annie Jacobsen / E-book Adobe ePub DRM
common.buy 54.72 lei
Book Lovers by Jenny Zemanek Set of 3 Mini Notebooks Flame Tree Publishing / Carte Copertă tare
common.buy 34.29 lei
Before Shabbat Begins Floreva Cohen / Carte Carte broșată
common.buy 97.26 lei
Top
Mixed-Up Chameleon Eric Carle / Carte Carte broșată
common.buy 47.11 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?