Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06

Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06

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

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

An Architecture for Active Hypertext on Distributed Systems C.T.I. Technical Report TR 91.06.16
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1991)

Communicating in Software Engineering Environments: the Graspin paradigm C.T.I. Technical Report TR 91.06.17
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1991)

A Conceptual Schema for Geographic Databases C.T.I. Technical Report TR 91.03.07
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1991)

Real-Valued FFT and FHT Implementation on the DSP56001 C.T.I. Technical Report TR 91.06.18
ανά: Γέρακα, κ.ά.
Έκδοση: (1991)

Interprocess Communication Measurement for the Intel iPSC/2 C.T.I. Technical Report TR 91.01.03
ανά: Παπαθεοδώρου, Τ. Σ., κ.ά.
Έκδοση: (1991)

On the Testability of One-Dimensional ILA's for Multiple Sequential Faults C.T.I. Technical Report TR 91.03.08
ανά: Βέργης, Αναστάσιος
Έκδοση: (1991)

Multiple Fault Detection in Tree-Structured Combinational Networks C.T.I. Technical Report TR 91.03.09
ανά: Tobon, Carlos, κ.ά.
Έκδοση: (1991)

RECPHONE: A New Environment for Medical Remote Expert Consultation C.T.I. Technical Report TR 91.03.10
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1991)

The Recphone [C.T.I. Technical Report] TR 91.01.4 Part of TELEMED/RACE Project
ανά: Βασίλογλου, Παναγιώτης, κ.ά.
Έκδοση: (1991)

On the Polygon Retrieval Problem C.T.I. Technical Report TR 91.09.23
ανά: Μπιστιόλας, Βαγγέλης, κ.ά.
Έκδοση: (1991)

An Atomicity Criterion for Composite Registers C.T.I. Technical Report TR 91.02.05
ανά: Βενέρης, Ανδρέας, κ.ά.
Έκδοση: (1991)

Labelling Images of the Pottery World C.T.I. Technical Report TR 91.11.26
ανά: Δενδρής, Νίκος, κ.ά.
Έκδοση: (1991)

Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 91.10.24
ανά: Γαροφαλάκης, Γιάννης, κ.ά.
Έκδοση: (1991)

Fast Reliable PRAM Emulation Faulty Butterflies C.T.I. Technical Report TR 91.12.30
ανά: Καπούλας, Βαγγέλης, κ.ά.
Έκδοση: (1991)

IPL: part of the TELEMED/RACE project WP4 C.T.I. Technical Report TR 91.04.12
ανά: Γεωργαντάς, Θεόδωρος, κ.ά.
Έκδοση: (1991)

Efficient Parallel Algorithms for Shortest Paths in Planar Graphs C.T.I. Technical Report TR 91.07.21
ανά: Ζαρολιάγκης, Χρήστος, κ.ά.
Έκδοση: (1991)

Tight RNC approximations to Max Flow and Weighted Matching C.T.I. Technical Report TR 91.12.27
ανά: Serna, Maria, 1959-, κ.ά.
Έκδοση: (1991)

Fully Dynamic Graph Connectivity in Logarithmic Expected Time C.T.I. Technical Report TR 91.12.28
ανά: Reif, John H., κ.ά.
Έκδοση: (1991)

A probalistic Parallel Associative Search and Query set of algorithms C.T.I. Technical Report TR 91.05.15
ανά: Δαβαράκης, Κ., κ.ά.
Έκδοση: (1990)

Unix (In)security: Μια μελέτη της ασφάλειας του λειτουργικού C.T.I. Technical Report TR 91.10.25
ανά: Βαίτης, Μιχάλης, κ.ά.
Έκδοση: (1991)

HA ISufficient Condition for Fast Parallel Solution of the Constraint Satisfaction Problem C.T.I. Technical Report TR 91.12.29
ανά: Κυρούσης, Λευτέρης Μ.
Έκδοση: (1991)

The effect of clock drifts on the performance of distributed timestamp ordering C.T.I. Technical Report 91.04.13
ανά: Μπούρας, Χρήστος Ι., κ.ά.
Έκδοση: (1991)

An all pairs shortest algorithm taking 0 (n2 logn/loglogn) time on the average [C.T.I. Technical Report] TR 91.01.2
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1991)

A parallel algorithm for two processors precedence constraint scheduling C.T.I. Technical Report 91.04.11
ανά: Jung, Hermann, κ.ά.
Έκδοση: (1991)

The Complexity of the Reliable Connectivity Problem C.T.I. Technical Report TR 90.01.01
ανά: Καβαδίας, Δημήτρης, κ.ά.
Έκδοση: (1991)

Object-oriented design for temporal GIS
ανά: Wachowicz, Monica
Έκδοση: (1999)

Optimal solutions for the temporal precedence problem. CTI Technical Report TR2000/06/02
Έκδοση: (2000)

On the Structure of the Cellular Automata Rule Space C.T.I. Technical Report TR 92.03.06
ανά: Τσαντάνης, Νικόλαος
Έκδοση: (1992)

A Model for Hypermedia Based on Production Systems C.T.I. Technical Report TR 94.03.16
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1994)

Transaction Synchronisation in Object Bases [C.T.I. Technical Reports] TR 88.03.49
ανά: Χατζηλάκος, Θανάσης, κ.ά.
Έκδοση: (1988)

New upper bounds for finger searching in RAM model. CTI Technical Report TR 2000/06/03
Έκδοση: (2000)

A new algorith for the transversal hypergraph problem. CTI TR 99/03/03
Έκδοση: (1999)

Relation between software metrics and maintainability. C.T.I. Technical Report TR 99/08/03
ανά: Χριστοδουλάκης, Δημήτριος Νικ, κ.ά.
Έκδοση: (1999)

Indexing trajectories of moving point objects. C.T.I. Technical Report TR 99/07/03
ανά: Pfoser, Dieter, κ.ά.
Έκδοση: (1999)

Interactive Instruction for Library Users and Personnel based on Hypermedia Technology C.T.I. Technical Report TR 94.06.37
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1994)

OOPSLA '91 Object-oriented programming systems, languages, and applications Conference Proceedings 6-11 October 1991 Phoenix, Arizona
Έκδοση: (1991)

Modelling Geographic Applications with Objects: Promises and Limitations C.T.I. Technical Report TR 94.03.18
ανά: Γιαννακοπούλου, Δ., κ.ά.
Έκδοση: (1994)

Implementing Open Distributed Hypertext C.T.I. Technical Report TR 94.04.19
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1991)

Object-Oriented Technology
ανά: Alagić, Suad
Έκδοση: (2015)

Object oriented databases
ανά: Χωραφάς, Δημήτρης Ν.
Έκδοση: (1993)

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