Πληκτρολογήστε την αναζήτησή σας

ΕΠΙΚΟΙΝΩΝΙΑ

Διεύθυνση:

Email:

Τηλ:

Φάξ:

Παπαμαλέκου 5, ΤΚ 73-100

nea@neatv.gr

28210 36700

28210 36701

Επιπλέον

LIVE ΝΕΑ ΤΗΛΕΟΡΑΣΗ ΚΡΗΤΗΣ

Αν θέλετε να δείτε live από iOS ή iPad πατήστε εδώ http://srv.viiideo.gr:1935/neatv/live/playlist.m3u8

Κανάλι:

EMBED

<iframe src="http://hellasonmedia.viiideo.gr/neatv1.html" width="550" height="350" allowfullscreen="allowfullscreen"></iframe>

[BINTEO] Ραγδαίες εξελίξεις στους H/Y-Θα οδηγούν και το αυτοκίνητο στο μέλλον...

ΗΡΑΚΛΕΙΟ

 Ένας από τους κορυφαίους ερευνητές στο χώρο της πληροφορικής παγκοσμίως αναγορεύτηκε πρόσφατα  επίτιμος διδάκτορας του Πανεπιστημίου Κρήτης.

Ο λόγος Edmund Clarke, καθηγητής του φημισμένου πανεπιστημίου Carnegie Mellon στις Ηνωμένες Πολιτείες, ο οποίος το 2007 τιμήθηκε και με το Bραβείο Turing,.

Ο κ. Clarke εργάζεται πάνω στο πολύ δύσκολο πρόβλημα της επαλήθευσης της ορθότητας προγραμμάτων που εκτελούν ζωτικές λειτουργίες όπως ο έλεγχος ενός αεροπλάνου ή ενός διαστημόπλοιου εν πτήσει.

Οι μέθοδοι και τα προγράμματα που ανέπτυξε χρησιμοποιούνται ευρύτατα στη βιομηχανία και στην έρευνα σήμερα και έχουν συντελέσει στην ανίχνευση πλήθους «σκοτεινών» (δύσκολο δηλαδή να βρεθούν) λαθών, αποτρέποντας έτσι καταστροφές ή ακόμη και ανθρώπινες τραγωδίες.


Ελένη Γκοντέ-neatv.gr

σχολιάστε το άρθρο

Μπορείτε να προσθέσετε οποιοσδήποτε σχόλιο σχετικό με το κείμενο
* = Υποχρεωτικά πεδία

Συνελήφθησαν, εννέα ενήλικες και μια ανήλικη με πλαστά έγγραφα στο Ηράκλειο ΗΡΑΚΛΕΙΟ

Διακοπή της κυκλοφορίας των οχημάτων λόγω της «Α΄ Περιφερειακής Μαθητιάδας Αθλητισμού και Πολιτισ... ΗΡΑΚΛΕΙΟ

Εκλεψε το ασθενοφόρο και έκανε βόλτες στους δρόμους της πόλης ΗΡΑΚΛΕΙΟ

Ο λαουτιέρης Γιώργος Σωμαράκης πάλεψε 17 ημέρες αλλά χθές έχασε τη μάχη με το θάνατο ΗΡΑΚΛΕΙΟ

«Αγόρια μου, αγωνιώ να βρεθώ κοντά σας…»: Η δραματική επιστολή Λεμπιδάκη ΗΡΑΚΛΕΙΟ

Επίσημη Τελετή Απονομής Βραβείων «Δασκαλάκη» στο Creta Maris Beach Resort ΗΡΑΚΛΕΙΟ



Δημοφιλής Ειδήσεις