Εμφανίζονται 161 - 180 Αποτελέσματα από 219 για την αναζήτηση 'University of Technology', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 161
    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…”
    Βιβλίο
  2. 162
    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…”
    Βιβλίο
  3. 163
    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…”
    Βιβλίο
  4. 164
    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…”
    Βιβλίο
  5. 165
    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…”
    Βιβλίο
  6. 166
    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…”
    Βιβλίο
  7. 167
    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…”
    Βιβλίο
  8. 168
    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…”
    Βιβλίο
  9. 169
    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…”
    Βιβλίο
  10. 170
    The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  11. 171
    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…”
    Βιβλίο
  12. 172
    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…”
    Βιβλίο
  13. 173
    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…”
    Βιβλίο
  14. 174
    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…”
    Βιβλίο
  15. 175
    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
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  16. 176
    A Framework for the Computer Aided Spatial Education through Geographic Microworlds C.T.I. Technical Report TR 93.09.37
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  17. 177
    Occam implementation of the Schur type algorithm for ρ-Toeplitz system solution C.T.I. Technical Report TR 93.11.40
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  18. 178
    Logical data modeling for geographic applications C.T.I. Technical Report TR 94.01.1
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  19. 179
    An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  20. 180
    Parametric Weighted Filter-A dynamically efficient Manipulation of Signature Files C.T.I. Technical Report TR 94.02.5
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email