Εμφανίζονται 141 - 160 Αποτελέσματα από 197 για την αναζήτηση 'University of Patras', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 141
    Fast Reliable PRAM Emulation Faulty Butterflies C.T.I. Technical Report TR 91.12.30
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  2. 142
    The Memory Hierarchy of the CHESS Computer C.T.I. Technical Report TR 92.02.2
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  3. 143
    Performance Models for Perfect and Imperfect Clocks on Timestamp Ordering in Distributed Databases C.T.I. Technical Report TR 92.02.3
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  4. 144
    Design of a Forest Fire Management System C.T.I. Technical Report TR 92.03.5
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  5. 145
    A Model for Expressing Topological Integrity Constraints in Geographic Databases C.T.I. Technical Report TR 92.04.08
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  6. 146
    A new compression algorithm for data-flow graph models of distributed real-time tasks C.T.I. Technical Report TR 92.04.9
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  7. 147
    The SCAN Generator, a Tool for Sequential Image Preprocessing-Design and Implementation C.T.I. Technical Report TR 92.05.10
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  8. 148
    A Model for a Persistent Hypertext System C.T.I. Technical Report TR 92.07.13
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  9. 149
    The derivation of CTMC models for distributed real-time tasks from their data-flow graph representation C.T.I. Technical Report TR 92.09.14
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  10. 150
    An Efficient Parallel Algorithm for Geometrically Characterising Drawings of a Class of 3-D Objects C.T.I. Technical Report TR 92.11.20
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  11. 151
    Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  12. 152
    Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
    ανά Γαροφαλάκης, Μίνως
    Έκδοση 1993
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  13. 153
    Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  14. 154
    Tentative and Definite Distributed Computations: An Optimistic Approach to Network Synchronization C.T.I. Technical Report TR 93.03.10
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  15. 155
    Near-Optimal Dominating Sets in Dense Random Graphs in Polynomial Expected Time C.T.I. Technical Report TR 93.03.13
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  16. 156
    The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  17. 157
    A randomised algorithm for all pairs shortest paths in 0( ) expected time C.T.I. Technical Report TR 93.07.27
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  18. 158
    A Profitable Theory of nonmonotonic multiple inheritance based on Weighted Inheritance Networks C.T.I. Technical Report TR 93.07.30
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  19. 159
    Detetmining Effective Multiprocessor Scheduling Policies for Repetitive Real-Time tasks C.T.I. Technical Report TR 93.09.33
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  20. 160
    An algorithm to revise beliefs of a nonmonotonic multiple inheritance reasoner based on WINs C.T.I. Technical Report TR 93.09.34
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email