1. Artemis

Browsing by Subject erlang

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 1 to 17 of 17
Issue DateTitleAuthor(s)Supervisor
16-Sep-2009Detection Of Opaque Violations In Erlang Using Static AnalysisΜανούκ - Βαρτάν ΜανουκιάνΣαγώνας Κωστής
17-Jun-2011Dynamic Systematic Testing Of Concurrent Erlang ProgramsΆλκης Γκότοβος (alkis Gotovos)Σαγώνας Κωστής
27-Jul-2010Explanation Of Success Typing Violations In Erlang ProgramsΈλλη ΦραγκάκηΣαγώνας Κωστής
27-Jul-2010Parallelizing Dialyzer: A Static Analyzer That Detects Bugs In Erlang ProgramsΥπατία ΤσαβλίρηΣαγώνας Κωστής
28-Sep-2009Race Condition Detection In Concurrent Erlang Applications Using Static AnalysisΜαρία ΧρηστάκηΣαγώνας Κωστής
19-Dec-2013Systematic Testing Of Concurrent Erlang Programs: Some ExperiencesΤσιτσιμπής ΗλίαςΣαγώνας Κωστής
17-Jul-2009Αυτόματη Απλοποίηση Και Αναδιαμόρφωση Προγραμμάτων Σε ErlangΑθανάσιος ΑυγερινόςΣαγώνας Κωστής
4-Jan-2014Έλεγχος Προγραμμάτων Συνδυάζοντας Συμβολική Και Συμπαγή Εκτέλεση Με Αυτόματη Παραγωγή Τιμών ΕισόδουΆγγελος ΓιάντσιοςΣαγώνας Κωστής
18-Sep-2012Πολυμορφικός Συμπερασμός Τύπων Επιτυχίας Στη Γλώσσα ErlangΚοτσιφάκου ΜαρίαΣαγώνας Κωστής
21-Jul-2010Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας ErlangΜιχάλης ΠιτίδηςΣαγώνας Κωστής
8-Jul-2005Συστημα Tetra Στο Μετρο Της ΑθηναςΑναστασιον Εμμ. ΚυρκαςΚωνσταντίνου Φίλιππος
13-Jul-2005Συστημα Tetra Στο Μετρο Της ΑθηναςΑναστασιος ΚυρκαςΚωνσταντίνου Φίλιππος
21-Sep-2012Σχεδίαση Και Υλοποίηση Ενός Εργαλείου Ανάλυσης Της Εκτέλεσης Ενός Προγράμματος Σε Πολυπύρηνες Αρχιτεκτονικές Για Τη Γλώσσα ErlangΑθανάσιος ΤιντινίδηςΣαγώνας Κωστής
13-Nov-2011Σχεδίαση Και Υλοποίηση Ενός Μεταγλωττιστή Κώδικα Μηχανής Για Τη Γλώσσα Erlang Με Χρήση Της LlvmΓιάννης Τσιούρης; Χρήστος ΣταυρακάκηςΣαγώνας Κωστής
21-Oct-2019Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες ΔιεργασίεςΜπενετόπουλος, ΑχιλλέαςΠαπασπύρου Νικόλαος
23-Jul-2013Ταυτοχρονισμός Και Παραλληλία Σε Erlang, F# Και Scala - Μια Συγκριτική ΜελέτηΨαρόπουλος ΓεώργιοςΣαγώνας Κωστής
28-Jan-2011Τεχνικές Βελτίωσης Της Αποτελεσματικότητας Εύρεσης Λαθών Σε Προγράμματα Μέσω Στατικής ΑνάλυσηςΑρώνης ΣταύροςΣαγώνας Κωστής
Showing results 1 to 17 of 17