Εμφανίζονται 1.301 - 1.320 Αποτελέσματα από 1.348 για την αναζήτηση 'The Institute', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1301
    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…”
    Βιβλίο
  2. 1302
    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…”
    Βιβλίο
  3. 1303
    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…”
    Βιβλίο
  4. 1304
    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…”
    Βιβλίο
  5. 1305
    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…”
    Βιβλίο
  6. 1306
    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…”
    Βιβλίο
  7. 1307
    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…”
    Βιβλίο
  8. 1308
    The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Βιβλίο
  9. 1309
    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…”
    Βιβλίο
  10. 1310
    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…”
    Βιβλίο
  11. 1311
    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…”
    Βιβλίο
  12. 1312
    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…”
    Βιβλίο
  13. 1313
    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…”
    Βιβλίο
  14. 1314
    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…”
    Βιβλίο
  15. 1315
    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…”
    Βιβλίο
  16. 1316
    Logical data modeling for geographic applications C.T.I. Technical Report TR 94.01.1
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  17. 1317
    An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
  18. 1318
    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…”
    Βιβλίο
  19. 1319
    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…”
    Βιβλίο
  20. 1320
    Compression algorithms for GIS applications C.T.I. Technical Report TR 94.02.8
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email