Μάθημα : Τεχνολογίες Υλοποίησης Αλγορίθμων 2013-2014
Κωδικός : CEID1084
-
Θεματικές Ενότητες
-
Εισαγωγικά
-
Tεχνολογίες Υλοποίησης Αλγορίθμων
-
Δοκιμή και Έλεγχος Ορθότητας Προγραμμάτων
-
Πειραματική Αξιολόγηση Αλγορίθμων
-
Γραφήματα και Βασικοί Αλγόριθμοι
-
Συντομότερες Διαδρομές Ι
-
Συντομότερες Διαδρομές ΙI
-
Μέγιστη Ροή και Αριθμητική Ορθότητα Αλγορίθμων
-
Μέγιστη Ροή II - Αλγόριθμος Προροής-Προώθησης και Αριθμητική Κινητής Υποδιαστολής
-
Εισαγωγικά
Δοκιμή και Έλεγχος Ορθότητας Προγραμμάτων
- δοκιμή προγραμμάτων (program testing)
- μέθοδοι Black-Box, White-Box
- πρόγραμμα πιστοποίησης
- διαδικασία αποσφαλμάτωσης
- τύποι δεδο?ένων και προδιαγραφές της βιβλιοθήκης LEDA
- βασικοί σχεδιαστικοί κανόνες στη LEDA
- γενικευ?ένοι αλγόριθ?οι για γραφή?ατα
Έγγραφα
Ενότητα 3 Έγγραφα
LEDA Μέρος Α