Εμφανίζονται 21 - 40 Αποτελέσματα από 75 για την αναζήτηση 'Institute of Computer Science', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 21
    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…”
    Βιβλίο
  2. 22
    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…”
    Βιβλίο
  3. 23
    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…”
    Βιβλίο
  4. 24
    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…”
    Βιβλίο
  5. 25
    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…”
    Βιβλίο
  6. 26
    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…”
    Βιβλίο
  7. 27
    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…”
    Βιβλίο
  8. 28
    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…”
    Βιβλίο
  9. 29
    The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  10. 30
    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…”
    Βιβλίο
  11. 31
    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…”
    Βιβλίο
  12. 32
    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…”
    Βιβλίο
  13. 33
    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…”
    Βιβλίο
  14. 34
    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…”
    Βιβλίο
  15. 35
    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…”
    Βιβλίο
  16. 36
    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…”
    Βιβλίο
  17. 37
    Logical data modeling for geographic applications C.T.I. Technical Report TR 94.01.1
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  18. 38
    An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  19. 39
    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…”
    Βιβλίο
  20. 40
    Athena: Integrating GIS and multimedia technology C.T.I. Technical Report TR 94.02.6 The design of a tourist information system for the county of Attica
    “…Computer Science and Engineering Department, Patras University Computer Technology Institute…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email