Τεχνικές περιορισμού στην αναγωγή σε δυναμικές σχέσεις μερικής διάταξης
H διεξοδική δοκιμή και επαλήθευση προγραμμάτων γραμμένων στο πρότυπο του ταυτοχρονισμού είναι μία τόσο σημαντική όσο και απαιτητική εργασία. Προκειμένου να επαληθεύσουμε την ορθότητα ενός τέτοιου προγραμμάτος θα πρέπει να εξετάσουμε όλες τις δυνατές δρομολογήσεις που αυτό μπορεί να παράξει. Το Stat...
| Κύριοι συγγραφείς: | , |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | bachelorThesis |
| Γλώσσα: | Greek |
| Έκδοση: |
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
2018
|
| Θέματα: | |
| Διαθέσιμο Online: | http://dspace.lib.ntua.gr/handle/123456789/47697 |