Showing 21 - 40 results of 75 for search 'Institute of Computer Science', query time: 0.10s Refine Results
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  5. 25
    Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
    “…Computer Technology Institute Computer Science and Engineering Department, Patras University…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  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…”
    Book
  17. 37
    Logical data modeling for geographic applications C.T.I. Technical Report TR 94.01.1
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Book
  18. 38
    An introduction to layer algebra C.T.I. Technical Report TR 94.01.2
    “…Ινστιτούτο Τεχνολογίας Υπολογιστών Computer Technology Institute Computer Science and Engineering…”
    Book
  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…”
    Book
  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…”
    Book
Search Tools: RSS Feed – Email Search