Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations C.T.I. Technical Report TR 93.01.2
Κύριοι συγγραφείς: | Βενέρης, Ανδρέας (Συγγραφέας), Κυρούσης, Λευτέρης Μ. (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Patras Greece Patras Greece Πάτρα Ελλάδα
Computer Technology Institute Computer Science and Engineering Department, Patras University Ινστιτούτο Τεχνολογίας Υπολογιστών
1993
|
Θέματα: |
Παρόμοια τεκμήρια
-
The Linkage of a Graph C.T.I. Technical Report TR 93.04.16
ανά: Θηλυκός, Δημήτρης, κ.ά.
Έκδοση: (1993) -
Requirements for Distributed Hypermedia C.T.I. Technical Report TR 93.01.4
ανά: Γαβιώτης, Ιωάννης, κ.ά.
Έκδοση: (1993) -
Model-checking for Sequential Probabilistic Real-time Systems C.T.I. Technical Report TR 93.02.7
ανά: Γαροφαλάκης, Μίνως
Έκδοση: (1993) -
Re-Randomization and Average Case Analysis of Fully Dynamic Graph Algorithms C.T.I. Technical Report TR 93.01.3
ανά: Reif, John, κ.ά.
Έκδοση: (1993) -
Λογική σχεδίαση γεωγραφικών εφαρμογών Ι.Τ.Υ. Τεχνική Αναφορά TR 93.01.1
ανά: Τρύφωνα, Νεκταρία, κ.ά.
Έκδοση: (1993)