• Αναζήτηση
  • Πλοήγηση
    • Τύποι τεκμηρίων
    • Επιστημονικά πεδία
    • Σχολές/Τμήματα/Ινστιτούτα
    • Φορείς
    • Συλλογές
  • Διαλειτουργικότητα
  • Σχετικά
    • Το έργο
    • Οδηγίες για αναζήτηση & πλοήγηση
  • Για φορείς
    • Ένταξη συλλογών
    • Προδιαγραφές ένταξης
    • Φόρμα εκδήλωσης ενδιαφέροντος
  • Επικοινωνία
  • ΕΛ • EN
Περισσότερα κριτήρια αναζήτησης Λιγότερα κριτήρια αναζήτησης
Καθαρισμός Βοήθεια


Φίλτρα αποτελεσμάτων  

Φίλτρα αποτελεσμάτων

Καθαρισμός
Tύπος τεκμηρίου
Επιστημονικό πεδίο
Σχολή/Τμήμα/Ινστιτούτο
Χρονολογία
Γλώσσα
Φορέας / συλλογή
Υποδομές ΕΚΤ eContent
1  -  30   από   32   τεκμήρια

     
    Αυτόματος έλεγχος λεκτικών αναλυτών Automated Testing for Lexical Analysers
    Δημιουργός: Ioakeimidi, Athina, Ιωακειμίδη, Αθηνά
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2021
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    CADMOS: μία μεθοδολογία ανάπτυξης διδακτικών συστημάτων με έμφαση στην κατασκευή διαδικτυακού εκπαιδευτικού λογισμικού CADMOS: a web-based coursewore development methodology for open instructional systems
    Δημιουργός: Retalis, Symeon, Ρετάλης, Συμεών
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 1998
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
    Συλλογή: Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ ΕΑΔΔ
    RDF

    Δυναμικός συστηματικός έλεγχος ταυτόχρονων προγραμμάτων Erlang Dynamic systematic testing of concurrent Erlang programs
    Δημιουργός: Gotovos, Alkis S., Γκότοβος, Άλκης Σ.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2011
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Μελέτη και Κατασκευή Μοντέλων για Πρόβλεψη του Ρυθμού Εγκατάλειψης σε Πρόγραμμα Αποταμιεύσεων
    Δημιουργός: Γεωργακόπουλος, Παναγιώτης, Georgakopoulos, Panagiotis
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
    Χρονολογία : 2017
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Το πρόβλημα της σύνθεσης προγραμμάτων
    Δημιουργός: Tsivra, Aikaterini, Τσιβρά, Αικατερίνη
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
    Χρονολογία : 2023
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Υλοποίηση εφαρμογής Blockchain για διαχείριση βαθμολογιών σε ΑΕΙ Implementation of Blockchain Application for managing University grades
    Δημιουργός: Χατζηχριστοφή, Χρίστος, Hadjichristofi, Christos
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2022
    Γλώσσα: Αγγλική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Event-driven architectures using Apache Kafka
    Δημιουργός: Λιαροκάπης, Αλέξανδρος Άρης, Liarokapis, Alexandros Aris
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2022
    Γλώσσα: Αγγλική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Προγράμματα Python
    Δημιουργός: Salis, Vitalios, Σαλής, Βιτάλιος
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2021
    Γλώσσα: gre, eng
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Περιορισμός του χώρου αναζήτησης του concolic testing μέσω στατικής ανάλυσης Reducing the search space of concolic testing via static analysis
    Δημιουργός: Διονύσιος, Σπηλιόπουλος, Dionisios, Spiliopoulos
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2022
    Γλώσσα: gre, eng
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Εφαρμογή Μηχανικής Μάθησης για την Πρόβλεψη Επιτάχυνσης Μετασχηματισμών σε Μεταγλωττιστές
    Δημιουργός: Πλάκας, Ιωάννης, Plakas, Ioannis
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ, Λογισμικό (software)
    Χρονολογία : 2020
    Γλώσσα: gre, eng
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Υλοποίηση μιας μεθοδολογίας αναλλοίωτων βασισμένη σε backpointers Implementation of an invariant discipline based on backpointers
    Δημιουργός: Κρητικός, Ελευθέριος Δ., Kritikos, Eleftherios D.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2012
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό Static safety guarantees for concurrent programming languages
    Δημιουργός: Γερακιός, Πρόδρομος Ε., Gerakios, Prodromos E.
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2012
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Σχεδίαση και υλοποίηση ενός εργαλείου ανάλυσης της εκτέλεσης ενός προγράμματος σε πολυπύρηνες αρχιτεκτονικές για τη γλώσσα Erlang Design and Implementation of a concurrency profiling and visualing tool for Erlang programs in multicore architectures
    Δημιουργός: Τιντινίδης, Αθανάσιος Α., Tintinidis, Athanasios A.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2012
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Στατική Ανάλυση για Εύρεση Λαθών σε Προγράμματα JavaScript Static Analysis for Error Detection in JavaScript Programs
    Δημιουργός: Κασαμπαλής, Θεόδωρος Γ., Kasampalis, Theodoros G.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2012
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Αυτόματος έλεγχος υπηρεσιών διαδικτύου μέσω ιδιοτήτων Automatic WSDL-guided property-based testing of web services
    Δημιουργός: Lampropoulos, Leonidas K., Λαμπρόπουλος, Λεωνίδας Κ.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2012
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Δικτυακή υπηρεσία χωρικής βελτιστοποίησης με αρχιτεκτονικής ενοποίησης με υπήρεσιες web τρίτων μερών Spatial optimization Web Service with integration architecture and third party web services
    Δημιουργός: Tasiopoulos, Nikolaos, Τασιόπουλος, Νικόλαος
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2024
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Εξαντλητικότητα Ταιριάσματος Προτύπων για Γενικευμένους Αλγεβρικούς Τύπους Δεδομένων Pattern Matching Exhaustiveness for GADTs
    Δημιουργός: Καραχάλιας, Γεώργιος Δ., Karachalias, Georgios D.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Περιβάλλον-πλαίσιο προσαρμοστικής παρακολούθησης συστημάτων An adaptive monitoring framework
    Δημιουργός: Παπαδόπουλος, Γιώργος Π., Papadopoulos, George P.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Κβαντικοί Υπολογισμοί και Κβαντικός Προγραμματισμός Quantum Computations and Quantum Programming
    Δημιουργός: Moulos, Vrettos E., Μουλός, Βρεττός Ε.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Έλεγχος προγραμμάτων συνδυάζοντας συμβολική και συμπαγή εκτέλεση με αυτόματη παραγωγή τιμών εισόδου Program testing by combining concrete and symbolic execution with automatic generation of input values
    Δημιουργός: Γιάντσιος, Άγγελος Δ., Giantsios, Aggelos D.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Συστηματικός έλεγχος παράλληλων προγραμμάτων γραμμένων σε Erlang Systematic Testing of Concurrent Erlang Programs: Some Experiences
    Δημιουργός: Τσιτσιμπής, Ηλίας Β., Tsitsimpis, Ilias V.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2013
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Ανάπτυξη Εργαλείου για την Επαλήθευση Δοκιμών Βασισμένων σε Προδιαγραφές A Coq Framework for Verified Property-Based Testing
    Δημιουργός: Παρασκευοπούλου, Ζωή Α., Paraskevopoulou, Zoi A.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Τυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-Ελέγχου με Ετικέτες Formally Verified Tag-Based Enforcement of Control Flow Integrity
    Δημιουργός: Γιανναράκης, Νικόλαος Π., Giannarakis, Nikolaos P.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Αλγόριθμοι συλλογής απορριμμάτων για αυτόματη διαχείριση μνήμης Garbage collection algorithms for automatic memory management
    Δημιουργός: Konomis, Dimitris Ch., Κονόμης, Δημήτρης Χ.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2015
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Ο Νοηματικός Μετασχηματισμός ως Τεχνική Υλοποίησης Συναρτησιακών Γλωσσών Προγραμματισμού The Intensional Transformation for Implementing Functional Programming Languages
    Δημιουργός: Φουρτούνης, Γεώργιος Α., Fourtounis, Georgios A.
    Τύπος τεκμηρίου: Διδακτορική διατριβή
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2014
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Αυτόματος τυχαίος έλεγχος συστημάτων με εσωτερική κατάσταση βάσει μοντέλου Automated random model-based testing of stateful systems
    Δημιουργός: Arvaniti, Eirini P., Αρβανίτη, Ειρήνη Π.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2011
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Σχεδίαση και επέκταση ενός συστήματος αυτόματης αξιολόγησης προγραμματιστικών ασκήσεων
    Δημιουργός: Angelakis, Antonios, Αγγελάκης, Αντώνιος
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2018
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Περιβάλλον-πλαίσιο εκτίμησης εμπιστοσύνης σε υπηρεσίες και σε πόρους υπηρεσιοκεντρικών συστημάτων
    Δημιουργός: Tsiounis, Konstantinos, Τσιούνης, Κωνσταντίνος
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2018
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Σχεδίαση και υλοποίηση ενός μεταγλωττιστή κώδικα μηχανής για τη γλώσσα Erlang με χρήση της LLVM Design and implementation of a native code compiler for Erlang with LLVM
    Δημιουργός: Tsiouris, Ioannis F., Σταυρακάκης, Χρήστος Γ., Τσιούρης, Γιάννης Φ., Stavrakakis, Christos G.
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2011
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Ανάπτυξη εφαρμογής ιστού για τη διαχείριση των χρηστών του Εργαστηρίου Τεχνολογίας Λογισμικού
    Δημιουργός: Καζελίδης, Γεώργιος, Kazelidis, Georgios
    Τύπος τεκμηρίου: Πτυχιακή εργασία
    Επιστημονικό πεδίο: Λογισμικό (software)
    Χρονολογία : 2019
    Γλώσσα: Ελληνική γλώσσα
    Σχολή/τμήμα/ινστιτούτο: Εθνικό Μετσόβιο Πολυτεχνείο ▶ Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών ▶ Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών ▶ Εργαστήριο Τεχνολογίας Λογισμικού
    Φορέας: Εθνικό Μετσόβιο Πολυτεχνείο
    Συλλογή: Ψηφιακό Αποθετήριο της Κεντρικής Βιβλιοθήκης του ΕΜΠ | Dspace@NTUA
    RDF

    Κλείσιμο

    Κλείσιμο
      • Follow EKT

      Επικοινωνία | Πολιτική Απορρήτου | Όροι Χρήσης | Πνευματική ιδιοκτησία

      ©2025 Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου

      Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.

      Πάρτε μέρος στη σύντομη έρευνα!
      Nαι, θα το κάνω τώρα
      Όχι ευχαριστώ