Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 17 (Search time: 0.009 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
8-Jul-2005Συστημα Tetra Στο Μετρο Της ΑθηναςΑναστασιον Εμμ. ΚυρκαςΚωνσταντίνου Φίλιππος
13-Jul-2005Συστημα Tetra Στο Μετρο Της ΑθηναςΑναστασιος ΚυρκαςΚωνσταντίνου Φίλιππος
17-Jul-2009Αυτόματη Απλοποίηση Και Αναδιαμόρφωση Προγραμμάτων Σε ErlangΑθανάσιος ΑυγερινόςΣαγώνας Κωστής
28-Sep-2009Race Condition Detection In Concurrent Erlang Applications Using Static AnalysisΜαρία ΧρηστάκηΣαγώνας Κωστής
16-Sep-2009Detection Of Opaque Violations In Erlang Using Static AnalysisΜανούκ - Βαρτάν ΜανουκιάνΣαγώνας Κωστής
21-Jul-2010Στατική Ανάλυση Της Αγνότητας Των Συναρτήσεων Της Γλώσσας ErlangΜιχάλης ΠιτίδηςΣαγώνας Κωστής
27-Jul-2010Parallelizing Dialyzer: A Static Analyzer That Detects Bugs In Erlang ProgramsΥπατία ΤσαβλίρηΣαγώνας Κωστής
27-Jul-2010Explanation Of Success Typing Violations In Erlang ProgramsΈλλη ΦραγκάκηΣαγώνας Κωστής
23-Jul-2013Ταυτοχρονισμός Και Παραλληλία Σε Erlang, F# Και Scala - Μια Συγκριτική ΜελέτηΨαρόπουλος ΓεώργιοςΣαγώνας Κωστής
21-Sep-2012Σχεδίαση Και Υλοποίηση Ενός Εργαλείου Ανάλυσης Της Εκτέλεσης Ενός Προγράμματος Σε Πολυπύρηνες Αρχιτεκτονικές Για Τη Γλώσσα ErlangΑθανάσιος ΤιντινίδηςΣαγώνας Κωστής