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