Browsing by Supervisor Σαγώνας Κωστής

Jump to: Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 18 to 28 of 28 < previous 
Issue DateTitleAuthor(s)Supervisor
12-Jul-2019Παραλληλοποίηση των Dynamic Partial Order Reduction Αλγορίθμων στον ConcuerrorΦυτάς, ΠαναγιώτηςΣαγώνας Κωστής
18-Sep-2012Πολυμορφικός Συμπερασμός Τύπων Επιτυχίας Στη Γλώσσα ErlangΚοτσιφάκου ΜαρίαΣαγώνας Κωστής
24-Sep-2012Στατικές Εγγυήσεις Ασφάλειας Για Γλώσσες Με Ταυτόχρονο ΠρογραμματισμόΠρόδρομος ΓερακιόςΣαγώνας Κωστής
25-Jul-2012Στατική Ανάλυση Για Εύρεση Λαθών Σε Προγράμματα JavascriptΚασαμπαλής ΘεόδωροςΣαγώνας Κωστής
21-Jul-2010Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας ErlangΜιχάλης ΠιτίδηςΣαγώνας Κωστής
22-Jan-2021Στοχευμένος Έλεγχος Βάσει Ιδιοτήτων σε Συστήματα με ΚατάστασηΔοντάς, ΣπυρίδωνΣαγώνας Κωστής
23-Nov-2016Συστηματικός Έλεγχος Ορθότητας Του Read-copy-update Υπό Ακολουθιακά Συνεπή Και Ασθενή Μοντέλα ΜνήμηςΚοκολογιαννάκης ΜιχαήλΣαγώνας Κωστής
21-Sep-2012Σχεδίαση Και Υλοποίηση Ενός Εργαλείου Ανάλυσης Της Εκτέλεσης Ενός Προγράμματος Σε Πολυπύρηνες Αρχιτεκτονικές Για Τη Γλώσσα ErlangΑθανάσιος ΤιντινίδηςΣαγώνας Κωστής
13-Nov-2011Σχεδίαση Και Υλοποίηση Ενός Μεταγλωττιστή Κώδικα Μηχανής Για Τη Γλώσσα Erlang Με Χρήση Της LlvmΓιάννης Τσιούρης; Χρήστος ΣταυρακάκηςΣαγώνας Κωστής
23-Jul-2013Ταυτοχρονισμός Και Παραλληλία Σε Erlang, F# Και Scala - Μια Συγκριτική ΜελέτηΨαρόπουλος ΓεώργιοςΣαγώνας Κωστής
28-Jan-2011Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής ΑνάλυσηςΑρώνης ΣταύροςΣαγώνας Κωστής