Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7

Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Γαροφαλάκης, Μίνως (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Patras Greece Patras Greece Πάτρα Ελλάδα Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών 1993
Θέματα:	CTI TR 1993 TECHNICAL REPORT ΤΕΧΝΙΚΗ ΑΝΑΦΟΡΑ

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

Arithmetic operations on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.02.06
ανά: Ανδρούτσου, Παναγιώτα, κ.ά.
Έκδοση: (1993)

Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
ανά: Βενέρης, Ανδρέας, κ.ά.
Έκδοση: (1993)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1993)

Right Triangle Enclosures C.T.I. Technical Report TR 93.04.15
ανά: Σοφοτάσιος, Δημήτριος Π., κ.ά.
Έκδοση: (1993)

The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Detetmining Effective Multiprocessor Scheduling Policies for Repetitive Real-Time tasks C.T.I. Technical Report TR 93.09.33
ανά: Παπαδημητρίου, Στέργιος, κ.ά.
Έκδοση: (1993)

Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 93.03.10
ανά: Rajsbaum, S., κ.ά.
Έκδοση: (1993)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
ανά: Καμέας, Αχιλλέας, κ.ά.
Έκδοση: (1993)

User interface environment for automatic keyword extraction C.T.I. Technical Report TR 93.10.39
ανά: Γαβιώτης, Ιωάννης
Έκδοση: (1993)

An Image Encryption Method Using a Class of Fractals C.T.I. Technical Report TR 93.07.28
ανά: Αλεξόπουλος, Κοσμάς, κ.ά.
Έκδοση: (1993)

On horn envelopes and hypergraph transversals (Extended Abstract for ISAAC) C.T.I. Technical Report TR 93.10.38
ανά: Καββαδίας, Δημήτρης, κ.ά.
Έκδοση: (1993)

Why Mick Doesn't Get Any: Thresholds for (Un)Satisfiability C.T.I. Technical Report TR 93.12.42
ανά: Kamath, Anil, κ.ά.
Έκδοση: (1993)

Re-Randomization and Average Case Analysis of Fully Dynamic Graph Algorithms C.T.I. Technical Report TR 93.01.3
ανά: Reif, John, κ.ά.
Έκδοση: (1993)

Hammock-on-Ears Decomposition: A Technique for Parallel and On-line Path Problems C.T.I. Technical Report TR 93.05.22
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1993)

An incremental algorithm for triangulating a y-convex polygon in linear time C.T.I. Technical Report TR 93.09.31
ανά: Κολλιόπουλος, Σ., κ.ά.
Έκδοση: (1993)

A Framework for the Computer Aided Spatial Education through Geographic Microworlds C.T.I. Technical Report TR 93.09.37
ανά: Κουτλής, Μανόλης, κ.ά.
Έκδοση: (1993)

Occam implementation of the Schur type algorithm for ρ-Toeplitz system solution C.T.I. Technical Report TR 93.11.40
ανά: Θεοδωρίδης, Σέργιος 1951-, κ.ά.
Έκδοση: (1993)

Near-Optimal Dominating Sets in Dense Random Graphs in Polynomial Expected Time C.T.I. Technical Report TR 93.03.13
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1993)

A randomised algorithm for all pairs shortest paths in 0( ) expected time C.T.I. Technical Report TR 93.07.27
ανά: Νικολετσέας, Σωτήρης, κ.ά.
Έκδοση: (1993)

A Profitable Theory of nonmonotonic multiple inheritance based on Weighted Inheritance Networks C.T.I. Technical Report TR 93.07.30
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

An algorithm to revise beliefs of a nonmonotonic multiple inheritance reasoner based on WINs C.T.I. Technical Report TR 93.09.34
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

A class of fast adaptive algorithms for multichannel system identification and signal processing C.T.I. Technical Report TR 93.09.36
ανά: Θεοδωρίδης, Σέργιος 1951-, κ.ά.
Έκδοση: (1993)

Short Vertex Disjoint Paths and Multiconnectivity in Random Graphs: Reliable Network Computing. C.T.I. [Technical Report] TR. 93.11.41
ανά: Palem, K., κ.ά.
Έκδοση: (1993)

The Modeling and performance tuning of the Distributed Multimedia Filing System of a Virtual Authoring Environment C.T.I. Technical Report TR 93.05.18
ανά: Καμέας, Α., κ.ά.
Έκδοση: (1993)

An Optimal Algorithm for Finding a Minimum Rectangle Cover of a Vertically Convex Polygon C.T.I. Technical Report TR 93.07.26
ανά: Κολλιόπουλος, Σ., κ.ά.
Έκδοση: (1993)

A Multithreading implementation of low-level Image Processing on the 3-LAP massively parallel processor C.T.I. Technical Report TR 93.03.9
ανά: Δαβαράκης, Κ., κ.ά.
Έκδοση: (1993)

The Mathematics of an Inheritance System, based on Weighted Inheritance Networks, with a Profitable view of multiple extensions C.T.I. Technical Report TR 93.09.35
ανά: Βουτσινάς, Βασίλειος, κ.ά.
Έκδοση: (1993)

Λογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.1
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1993)

Εννοιολογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.24
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1993)

Σύστημα διαχείρησης δικτύου τηλεφωνικού κέντρου Ι.Τ.Υ. Τεχνική Αναφορά TR 93.06.23
ανά: Τσιρώνης, Γιώργος, 1960-2021
Έκδοση: (1993)

Απαιτήσεις από την X.400 Πλατφόρμα Ανάπτυξης Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.20
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1993)

Παρουσίαση των Συστημάτων Ανάπτυξης ISODE και PP Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.21
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1992)

Υλοποίηση του επεξεργαστή σχεδιασμού απαιτήσεων σε υλικά Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.29
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Θεωρητική και Τεχνική Πρόταση Εργασίας για την Ελληνοποίηση της Τυποποίησης X.400 Ι.Τ.Υ. Τεχνική Αναφορά TR 93.05.19
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1993)

ΙΤΕΕ: Ενα επεκτάσιμο περιβάλλον διαχείρισης βιβλιοθηκών προδιαγραφών και εκτέλεσης προγραμμάτων για εικόνες Ι.Τ.Υ. Τεχνική Αναφορά TR 93.07.25
ανά: Δίπλας, Κωνσταντίνος Ν., κ.ά.
Έκδοση: (1993)

Περιγραφή της βάσης αλγόριθμων δρομολόγησης για το σχεδιασμό και έλεγχο της βιομηχανικής παραγωγής Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.5
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Σχεδιασμός και υλοποίηση ενός συστήματος υποστήριξης αποφάσεων για τον αποδοτικό σχεδιασμό και έλεγχο της βιομηχανικής παραγωγής Ι.Τ.Υ. Τεχνική Αναφορά TR 93.04.14
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993)

Ερευνητικό Πρόγραμμα για την Κατάρτιση προσωπικού του τομέα παροχής υπηρεσιών υγείας με χρήση Τηλεματικής/EUROFORM Ι.Τ.Υ. Τεχνική Αναφορά TR 93.03.12 Τεχνική Αναφορά για την Δικτυακή Υποδομή της Εφαρμογής "Ιπποκράτης"
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1992)

Ερευνητικό Πρόγραμμα για την Κατάρτιση προσωπικού του τομέα παροχής υπηρεσιών υγείας με χρήση Τηλεματικής / EUROFORM [Ι.Τ.Υ.] Τεχνική Αναφορά T.R. 93.03.11 Τεχνική Αναφορά για την Περιβάλλον Επικοινωνίας "Ιπποκράτης"
ανά: Θεοδωρόπουλος, Βαγγέλης, κ.ά.
Έκδοση: (1992)

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

Cannot write session to /tmp/vufind_sessions/sess_hj8pv0f5g88oftd0sb117lgm18