1. Home page
  2. Search

ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗΣ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

This item is provided by the institution :
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)   

Repository :
Εθνικό Αρχείο Διδακτορικών Διατριβών  | ΕΚΤ NA.Ph.D.   

see the original item page
in the repository's web site and access all digital files if the item*



AN ENVIRONMENT FOR THE DEVELOPMENT OF PARALLEL PROGRAMMING APPLICATIONS
ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗΣ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ
Βολιώτης, Κωνσταντίνος
PhD Thesis
1995
THIS THESIS PROPOSES A NEW ENVIRONMENT FOR THE DEVELOPMENT OF PARALLEL PROGRAMMING APPLICATIONS, PARALLEL LOGIC APPLICATIONS AND PARALLEL CONSTRAINT LOGIC PROGRAMMING APPLICATIONS. MORE SPECIFICALLY TWO PROGRAMMING TOOLS HAVE BEEN IMPLEMENTED, THE ORCHID PLATFORM FOR THE DEVELOPMENT OF PARALLEL PROGRAMMING APPLICATIONS AND THE DAFFODIL FRAMEWORK FOR THE DEVELOPMENT OF PARALLEL LOGIC PROGRAMMING APPLICATIONS. DAFFODIL RESIDES ON THE TOP OF ORCHID PLATFORM. THE ORCHID PLATFORM PROVIDES A SET OF LIBRARIES THAT FACILITATES THE DEVELOPMENT OF PARALLEL APPLICATIONS USING EITHER THE SHARED MEMORY MODEL OR THE MESSAGE PASSING MODEL. ALSO, ORCHID ENSURES THE PORTABILITY OF AN APPLICATION. DAFFODIL IS A PORTABLE FRAMEWORK THAT SUPPORTS THE LOGIC PROGRAMMING MODEL AND THE ATTRIBUTE GRAMMARS MODEL. THE LOGIC PROGRAMS ARE EVALUATED IN PARALLEL AND THE INHERENT AND/OR PARALLELISM IS EXTRACTED AUTOMATICALLY. THE USED TYPE OF AND-PARALLELISM IS DEFINED BY THE USER ACCORDING TO THE APPLICATION REQUIREMENTS. THE OPERATION OF DAFFODIL ENVIRONMENT IS BASED ON PAGE, AN ATTRIBUTE GRAMMAR PARALLEL PROCESSOR. PAGE CAN BE USED AS AUTONOMOUS TOOL FOR THE PARALLEL EVALUATION OF ATTRIBUTE GRAMMARS APPLICATIONS. FINALLY AN ATTRIBUTE GRAMMAR BASED METHOD FOR THE MODELLING OF PARALLEL CONSTRAINT LOGIC PROGRAMMING APPLICATIONS IS PROPOSED HERE. A LOGIC PROGRAM WITH CONSTRAINTS IS TRANSFORMED TO AN EQUIVALENT ATTRIBUTE GRAMMAR. PAGE EVALUATES THE PRODUCED GRAMMAR IN PARALLEL USING A NOVEL MULTIPASS PARSING ALGORITHM.
Η ΔΙΑΤΡΙΒΗ ΠΡΟΤΕΙΝΕΙ ΕΝΑ ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗΣ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΠΑΡΑΛΛΗΛΩΝ ΕΦΑΡΜΟΓΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ ΚΑΙ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ. ΑΝΑΠΤΥΧΘΗΚΕ ΗΠΛΑΤΦΟΡΜΑ ΜΕΤΑΦΕΡΣΙΜΩΝ ΠΑΡΑΛΛΗΛΩΝ ΕΦΑΡΜΟΓΩΝ ORCHID ΚΑΙ ΤΟ ΠΕΡΙΒΑΛΛΟΝ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΑΠΟΤΙΜΗΣΗΣ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ DAFFODIL. ΕΠΙΣΗΣ ΠΡΟΤΑΘΗΚΕ ΜΙΑ ΜΕΘΟΔΟΣ ΜΟΝΤΕΛΟΠΟΙΗΣΗΣ ΤΩΝ ΠΕΡΙΟΡΙΣΜΩΝ ΤΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΒΑΣΙΣΜΕΝΗ ΣΤΟ ΜΟΝΤΕΛΟ ΤΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ. Η ΠΛΑΤΦΟΡΜΑ ORCHIDΠΡΟΣΦΕΡΕΙ ΣΤΟ ΧΡΗΣΤΗ ΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΕΝΑ ΜΟΝΤΕΛΑ ΤΗΣ "ΚΟΙΝΗΣ ΜΝΗΜΗΣ" ΚΑΙ ΤΗΣ ΑΝΤΑΛΛΑΓΗΣ ΜΗΝΥΜΑΤΩΝ. ΕΠΙΣΗΣ ΕΞΑΣΦΑΛΙΖΕΙ ΤΗ ΜΕΤΑΦΕΡΣΙΜΟΤΗΤΑ ΤΗΣ ΕΦΑΡΜΟΓΗΣ ΣΕ ΠΑΡΑΛΛΗΛΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ ΤΟΥ ΙΔΙΟΥ Η ΔΙΑΦΟΡΕΤΙΚΟΥ ΤΥΠΟΥ ΜΕ ΜΕΤΑΒΛΗΤΟ ΑΡΙΘΜΟ ΕΠΕΞΕΡΓΑΣΤΩΝ. ΤΟ ΠΕΡΙΒΑΛΛΟΝ DAFFODIL ΥΠΟΣΤΗΡΙΖΕΙ ΤΑ ΜΟΝΤΕΛΑ ΤΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΤΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ. ΤΑ ΛΟΓΙΚΑ ΠΡΟΓΡΑΜΜΑΤΑ ΑΠΟΤΙΜΟΥΝΤΑΙ ΠΑΡΑΛΛΗΛΑ ΚΑΙ Η ΕΞΑΓΩΓΗ ΤΟΥ ΠΑΡΑΛΛΗΛΙΣΜΟΥ AND/OR ΓΙΝΕΤΑΙ ΑΥΤΟΜΑΤΑ. Ο ΧΡΗΣΤΗΣ ΜΠΟΡΕΙ ΝΑ ΕΠΙΛΕΞΕΙ (ΠΑΡΑΜΕΤΡΙΚΑ) ΤΟΝ ΠΑΡΑΛΛΗΛΙΣΜΟ ΤΥΠΟΥ AND, ΠΟΥ ΒΕΛΤΙΩΝΕΙ ΤΗΝ ΕΠΙΔΟΣΗ ΤΗΣ ΕΦΑΡΜΟΓΗΣ ΤΟΥ. Η ΛΕΙΤΟΥΡΓΙΑ ΤΟΥ DAFFODIL ΒΑΣΙΖΕΤΑΙ ΣΤΟΝ ΕΠΕΞΕΡΓΑΣΤΗ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ PAGE, Ο ΟΠΟΙΟΣ ΜΠΟΡΕΙ ΝΑ ΧΡΗΣΙΜΟΠΟΙΗΘΕΙ ΚΑΙ ΑΥΤΟΝΟΜΑ. ΠΡΟΤΑΘΗΚΕ ΕΠΙΣΗΣ ΕΝΑΣ ΝΕΟΣ ΑΛΓΟΡΙΘΜΟΣ ΣΥΝΤΑΚΤΙΚΗΣ ΑΝΑΛΥΣΗΣ ΠΟΛΛΩΝ ΠΟΛΛΑΠΛΩΝ ΠΕΡΑΣΜΑΤΩΝ ΓΙΑ ΚΑΤΗΓΟΡΙΚΕΣ ΕΦΑΡΜΟΓΕΣ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙΕΙΤΑΙ ΣΤΗΝ ΔΙΑΧΕΙΡΙΣΗ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ. (ΠΕΡΙΚΟΠΗ ΠΕΡΙΛΗΨΗΣ)
Επιστήμες Μηχανικού και Τεχνολογία
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Παράλληλες αρχιτεκτονικές
PORTABILITY
Επιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Electrical Engineering, Electronic Engineering, Information Engineering
ΚΑΤΑΝΕΜΗΜΕΝΗ ΚΟΙΝΗ ΜΝΗΜΗ
Distributed shared memory
Parallel algorithms
Επιστήμες Μηχανικού και Τεχνολογία
Attribute grammars
Engineering and Technology
Parallel logic programming
Παράλληλοι αλγόριθμοι
ΜΕΤΑΦΕΡΣΙΜΟΤΗΤΑ
Παράλληλος λογικός προγραμματισμός
ΛΟΓΙΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ
Παράλληλος προγραμματισμός
CONSTRAINT LOGIC PROGRAMMING
Parallele architectures
PARALLEL PROGRAMMING
Greek
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)
National Technical University of Athens (NTUA)
Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Εθνικό Κέντρο Τεκμηρίωσης και Ηλεκτρονικού Περιεχομένου (ΕΚΤ)
Εθνικό Αρχείο Διδακτορικών Διατριβών
Συλλογή ΕΑΔΔ



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)