Specification and proof in real-time CPS

Specification and proof in real-time CPS

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Davies, J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Cambridge University Press c1993
Σειρά:	Distinguished Dissertations in Computer Science
Θέματα:	CPS OPERATING SYSTEMS Συστήματα πραγματικού χρόνου

Παρόμοια τεκμήρια

Objectifying real-time systems
ανά: Ellis, John R.
Έκδοση: (1994)

Readinngs in real - time systems
ανά: Lee, Yann-Hang
Έκδοση: (1995)

Scheduling in real-time systems
ανά: Cottet, Francis
Έκδοση: (2002)

Tutorial hard real-time systems
ανά: Stankovic, John A.
Έκδοση: (1988)

Real-time rendering
ανά: Tomas, Akenine 1971-
Έκδοση: (2002)

Real-Time Systems (1986) Proceedings Symposium December 2-4, 1986, New Orleans, Louisiana
Έκδοση: (1986)

Real-Time Systems (1987) Proceedings Symposium December 1-3, 1987, San Jose, California
Έκδοση: (1987)

Real-Time Systems (1989) Proceedings Symposium Santa Monica, California, December 5-7, 1989
Έκδοση: (1989)

Synchronization in real-time systems a priority inheritance approach
ανά: Rajkumar, Ragunathan
Έκδοση: (1991)

Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού χρόνου
ανά: Γερογιάννης, Βασίλης Χ.
Έκδοση: (2001)

Real - time imaging theory, techniques, and applications
Έκδοση: (1996)

Σχεδίαση και υλοποίηση υβριδικού πρωτοκόλλου προσπέλασης για τοπικά δίκτυα υπολογιστών πραγματικού χρόνου
ανά: Καψάλης, Βασίλειος Δ.
Έκδοση: (1994)

Languages, Compilers, & Tools For Real-Time Systems. LCT-RTS Proceedings of the ACM SIGPLAN 1995 Workshop La Jolla, California, June 21-22, 1995 ACM /SIGPLAN Vol. 30, No 11, November 1995

Ανάπτυξη και υλοποίηση ολοκληρωμένου βιομηχανικού δικτύου πραγματικού χρόνου και ευφυών κόμβων
ανά: Φούντας, Παναγιώτης Ν.
Έκδοση: (2000)

Foundations of real-time computing formal specifications and methods
ανά: Tilborg, Andre M. van
Έκδοση: (1991)

Real-time computer control An Introduction
ανά: Bennett, Stuart
Έκδοση: (1988)

Μελέτη, σχεδίαση και ανάπτυξη πυρήνα πραγματικού χρόνου (Real-Time Kernel), βασισμένου σε προηγμένο μικροεπεξεργαστή
ανά: Ρικάκης, Μιχαήλ
Έκδοση: (2001)

Αξιοποιώντας το Real-Time Linux σε ενσωματωμένα συστήματα
ανά: Χρυσοχού, Αγγελική
Έκδοση: (2011)

Ανάπτυξη ενσωματωμένων συστημάτων σε πολυπήρηνο ή πολυεπεξεργαστικό περιβάλλον με χρήση Real Time Java
ανά: Δημητρακόπουλος, Γεώργιος
Έκδοση: (2010)

Ενοποιημένο τυπικό μοντέλο για την αναπαράσταση της λειτουργικότητας και την ανάλυση της χρονοδρομολογησιμότητας εφαρμογών πραγματικού χρόνου
ανά: Γερογιάννης, Βασίλης
Έκδοση: (2009)

Επέκταση περιβάλλοντος προσομοίωσης για την υποστήριξη TSN στοιχείων και επικύρωση μέσω βιομηχανικού σεναρίου
ανά: Αναγνωστόπουλος, Χρίστος
Έκδοση: (2020)

Σχεδίαση και υλοποίηση υβριδικού πρωτοκόλλου προσπέλασης για τοπικά δίκτυα υπολογιστών πραγματικού χρόνου
ανά: Καψάλης, Βασίλειος
Έκδοση: (2009)

Surveillance system utilizing optical and digital information
ανά: Παυλάκης, Χαράλαμπος
Έκδοση: (2020)

Πρωτόκολλα πραγματικού χρόνου και μετάδοση πολυμέσων /
ανά: Μαργιόλα, Αγγελική
Έκδοση: (2008)

Ανάπτυξη και υλοποίηση ολοκληρωμένου βιομηχανικού δικτύου πραγματικού χρόνου και ευφυών κόμβων
ανά: Φούντας, Παναγιώτης
Έκδοση: (2009)

Development of an adaptive real-time power systems simulator architecture for smart grid-microgrid applications
ανά: Μυλωνάς, Ελευθέριος
Έκδοση: (2019)

Υλοποίηση ενός μουσικού συνθετητή πραγματικού χρόνου με διεπαφή αλληλεπίδρασης χρήστη σε ένα ενσωματωμένο σύστημα (DE1-SoC)
ανά: Δάρρα, Βασιλική
Έκδοση: (2019)

Soft Real-Time Systems Predictability vs. Efficiency
ανά: Buttazzo, Giorgio C.
Έκδοση: (2005)

Υλοποίηση σε FPGA του περιγραφέα HOG για ανίχνευση ανθρώπων σε εικόνες και βίντεο
ανά: Αντωνόπουλος, Γεώργιος
Έκδοση: (2013)

Simulation and modeling of virtual human and physical interaction
ανά: Κομνηνός, Χαράλαμπος
Έκδοση: (2019)

Πρόβλεψη του ρυθμού των κλικ ως συνιστώσας συστημάτων δημοπρασιών πραγματικού χρόνου
ανά: Σταθόπουλος, Ευστάθιος - Κωνσταντίνος
Έκδοση: (2021)

Παράρτημα 1: Σχεδίαση με επεξεργαστή 32bit
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Ανάλυση και Χαρακτηρισμός των Δυναμικών Πολυμεσικών Εφαρμογών
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Μοντελοποίηση ενσωματωμένων συστημάτων
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Δυναμική βελτιστοποίηση διαχείρισης μνήμης για τις εφαρμογές πολυμέσων
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

ΕΝΣΩΜΑΤΩΜΕΝΑ ΣΥΣΤΗΜΑΤΑ: Εισαγωγή
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Παράρτημα 4: Σχεδίαση σε FPGA με τα εργαλεία της Altera
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Αρχιτεκτονικές Ενσωματωμένων Συστημάτων
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Τρόποι Υλοποίησης Ενσωματωμένων Συστημάτων
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Διασύνδεση και Είσοδος / Έξοδος
ανά: Dasygenis, Minas, κ.ά.
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών