Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

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

Language EnglishEnglish
Book Paperback
Book Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms Mohamed Abdel Maksoud
Libristo code: 06812272
Publishers VDM Verlag Dr. Mueller E.K., June 2008
Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Full description
? points 125 b
51.54 €
In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Precis de Botanique Medicale, (Ed.1898) Trabut L / Book Paperback
common.buy 43.64 €
Tik tak bum / Game/Toy Game
common.buy 19.23 €
WAKE SWEET MUSE JONATHAN CHENETTE Printed items Sheet music
common.buy 6.07 €
Zwei weitere Winter Patrick Salmen / Book Hardback
common.buy 12.65 €
paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi / Book Paperback
common.buy 28.05 €
Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR / Book Paperback
common.buy 13.66 €
Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 19.64 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Author Mohamed Abdel Maksoud
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 108
EAN 9783639024685
ISBN 3639024680
Libristo code 06812272
Publishers VDM Verlag Dr. Mueller E.K.
Weight 154
Dimensions 152 x 229 x 6

Categories

Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Tsunami: To Survive From Tsunami Susumu Murata / Book Hardback
common.buy 51.44 €
The Metamorphosis Franz Kafka / Book Paperback
common.buy 6.78 €
AUTOMATED DAMAGE DETECTION Edward Sazonov / Book Paperback
common.buy 70.48 €
Thermodynamics of the Steam-Engine and Other Heat-Engines Cecil Hobart Peabody / Book Paperback
common.buy 32.10 €
Early Reviews of English Poets. Edited with an Introd John Louis Haney / Book Hardback
common.buy 33.62 €
Human Nature & Jewish Thought Alan L. Mittleman / Book Paperback
common.buy 25.11 €
The Women of La Raza: An Epic History of Chicana / Mexican-American Peoples Enriqueta L Vasquez / Book Paperback
common.buy 14.88 €
Conquering the Odds: : Turning Your Valley Into A Mountain Top Habibo Haji Rn-Bsn / Book Paperback
common.buy 18.42 €
Bioavailability, Leachability, Chemical Speciation, and Bioremediation of Heavy Metals in the Process of Composting Jiwan Singh / Book Hardback
common.buy 167.71 €
Patty's Friends: Illustrated Carolyn Wells / Book Paperback
common.buy 6.67 €
Child Protection in England, 1960-2000 Jennifer Crane / Book Hardback
common.buy 30.07 €
The Baking Cookbook for Teens: 75 Delicious Recipes for Sweet and Savory Treats Robin Donovan / Book Paperback
common.buy 15.08 €
Social Justice in Practice Juha Räikkä / Book Hardback
common.buy 103.10 €
Opioid Agonists, Antagonists & Mixed Narcotic Analgesics: Theoretical Background & Considerations for Practical Use E. Freye / Book Hardback
common.buy 46.88 €
Biotechnology Fundamentals Third Edition Khan / Book Hardback
common.buy 174.60 €
Love Is A Spirit: A Novel (1896) Julian Hawthorne / Book Paperback
common.buy 25.11 €
COMPLETE REFLEXOLOGY FOR LIFE KUNZ BARBARA / Book Hardback
common.buy 28.05 €
Beyond Emasculation Hossain / Book Hardback
common.buy 123.56 €
AI Enabled IoT for Electrification and Connected Transportation Naveenkumar Marati / Book Hardback
common.buy 164.78 €
CRM Mastery Jeff Nguyen / Book Paperback
common.buy 20.35 €
Nuclear War Annie Jacobsen / E-book Adobe ePub DRM
common.buy 10.42 €
Book Lovers by Jenny Zemanek Set of 3 Mini Notebooks Flame Tree Publishing / Book Hardback
common.buy 6.17 €
Before Shabbat Begins Floreva Cohen / Book Paperback
common.buy 17.61 €
Top
Mixed-Up Chameleon Eric Carle / Book Paperback
common.buy 8.40 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?