Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17457
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Μπενετόπουλος, Αχιλλέας | - |
dc.date.accessioned | 2019-11-22T11:55:33Z | - |
dc.date.available | 2019-11-22T11:55:33Z | - |
dc.date.issued | 2019-10-21 | - |
dc.identifier.uri | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17457 | - |
dc.description.abstract | Κινούμαστε όλο και περισσότερο προς κατανεμημένα προγραμματιστικά μοντέλα. Τα περισσότερα σύγχρονα συστήματα λογισμικού είναι κατανεμημένα και ταυτόχρονα, που σημαίνει ότι αποτελού νται από διάφορα κομμάτια, το καθένα από τα οποία εκτελεί ένα σύνολο από “εσωτερικές“ σε αυτά λειτουργίες συγχρόνως με τα υπόλοιπα, τη στιγμή όμως που όλα τους εξαρτώνται από ένα υποσύνολο των υπολοίπων για να τις εκτελέσουν, λόγο διαφόρων εξαρτήσεων. Αυτό σημαίνει ότι η επικοινωνία μεταξύ των κομματιών αυτών ανάγεται σε ένα κρίσιμο κομμάτι του συστήματος, και η ορθότητα της επικοινωνίας αυτής αποτελεί μια απαραίτητη προϋπόθεση για την ορθότητα του όλου συστήματος. | en_US |
dc.language | el | en_US |
dc.subject | συστήματα τύπων | en_US |
dc.subject | τύποι διεργασιών | en_US |
dc.subject | erlang | en_US |
dc.subject | κατανεμημένα συστήματα | en_US |
dc.subject | ταυτοχρονισμός | en_US |
dc.title | Σχεδίαση και Υλοποίηση ενός Στατικού Συστήματος Τύπων για Επικοινωνούσες Διεργασίες | en_US |
dc.description.pages | 50 | en_US |
dc.contributor.supervisor | Παπασπύρου Νικόλαος | en_US |
dc.department | Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών | en_US |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
thesis.pdf | 512.33 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.