Show simple item record

dc.contributor.authorΞενούλης, Γεώργιος
dc.date.accessioned2010-05-17T07:27:11Z
dc.date.available2010-05-17T07:27:11Z
dc.date.issued2010-05-17T07:27:11Z
dc.identifier.urihttps://dione.lib.unipi.gr/xmlui/handle/unipi/3500
dc.description.abstractΗ συνεισφορά της διατριβής αυτής εντάσσεται στο χώρο της δοκιμής των μικροεπεξεργαστών που ενσωματώνουν μονάδες κινητής υποδιαστολής για την επίτευξη αριθμητικής υψηλών επιδόσεων. Στο πρώτο μέρος της διατριβής παρουσιάζεται η μεθοδολογία ανάπτυξης των συνθηκών δοκιμαστικότητας για μονάδες κινητής υποδιαστολής. Οι συνθήκες δοκιμαστικότητας (testability conditions) αποτελούνται από τις συνθήκες ελεγξιμότητας και παρατηρησιμότητας και χρησιμοποιούνται για την εξαγωγή διανυσμάτων δοκιμής για μονάδες κινητής υποδιαστολής. Παραμένουν ανεξάρτητες από την εσωτερική υλοποίηση των μονάδων κινητής υποδιαστολής και είναι προσαρμόσιμες σε κάθε ακρίβεια αναπαράστασης. Στο δεύτερο μέρος της διατριβής, παρουσιάζονται, αρχικά, τα κριτήρια για την ανάπτυξη λογισμικού αυτοδοκιμής του μικροεπεξεργαστή κατά τη λειτουργία του (μικρό ίχνος μνήμης, μικρός χρόνος εκτέλεσης και χαμηλή κατανάλωση ενέργειας), και στη συνέχεια παρουσιάζεται μια νέα μεθοδολογία ανάπτυξης αυτοδοκιμής για μονάδες κινητής υποδιαστολής σε μικροεπεξεργαστές 32/64-bit, τόσο για αναπαράσταση απλής ακρίβειας όσο και για αναπαράσταση διπλής ακρίβειας. Τέλος, πειραματικά αποτελέσματα στις πιο ευρέως διαδεδομένες μονάδες κινητής υποδιαστολής υψηλών επιδόσεων, οι οποίες χρησιμοποιούνται στους μοντέρνους μικροεπεξεργαστές (MIPS, PowerPC, Alpha), αποδεικνύουν την αποδοτικότητα της προτεινόμενης μεθοδολογίας.
dc.language.isoel
dc.rightsΑναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.el
dc.subjectΜικροεπεξεργαστής
dc.subjectΑρχιτεκτονική ηλεκτρονικών υπολογιστών
dc.titleΠροηγμένες μεθοδολογίες δοκιμής για αρχιτεκτονικές μικροεπεξεργαστών με αριθμητική υψηλών επιδόσεων
dc.typeDoctoral Thesis
europeana.isShownAthttps://dione.lib.unipi.gr/xmlui/handle/unipi/3500
europeana.typeIMAGE
dc.identifier.call004 ΞΕΝ


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές
Except where otherwise noted, this item's license is described as
Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές

Βιβλιοθήκη Πανεπιστημίου Πειραιώς
Contact Us
Send Feedback
Created by ELiDOC
Η δημιουργία κι ο εμπλουτισμός του Ιδρυματικού Αποθετηρίου "Διώνη", έγιναν στο πλαίσιο του Έργου «Υπηρεσία Ιδρυματικού Αποθετηρίου και Ψηφιακής Βιβλιοθήκης» της πράξης «Ψηφιακές υπηρεσίες ανοιχτής πρόσβασης της βιβλιοθήκης του Πανεπιστημίου Πειραιώς»