Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού χρόνου

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/12905
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/12905
ND
12905
Εναλλακτικός τίτλος
A unified formal model for the representation of functionality and the schedulability analysis of real-time applications
Συγγραφέας
Γερογιάννης, Βασίλειος του Χ.
Ημερομηνία
2001
Ίδρυμα
Πανεπιστήμιο Πατρών. Σχολή Θετικών Επιστημών. Τμήμα Μαθηματικών
Εξεταστική επιτροπή
Πιντέλας Παναγιώτης
Σπυράκης Παύλος
Χριστοδουλάκης Δημήτριος
Ζαγούρας Χαράλαμπος
Βραχάτης Μιχαήλ
Καββαδίας Δημήτριος
Λυκοθανάσης Σπυρίδων
Επιστημονικό πεδίο
Φυσικές ΕπιστήμεςΜαθηματικά
Λέξεις-κλειδιά
Δίκτυα petri; Τυπικές προδιαγραφές; Συστήματα πραγματικού χρόνου; Χρονοδρομολογησιμότητα; Μονότονη συχνότητα; Φορμαλισμός
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
xiii, 336 σελ., εικ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Σχετικές εγγραφές (με βάση τις επισκέψεις των χρηστών)