From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-016-0256-5
@@ Property / DOI: 10.1007/s10703-016-0256-5 / rank @@
-Normal rank
@@ Property / cites work @@
+The notions of consistency and predicate locks in a database system
+Normal rank
@@ Property / cites work @@
+Q3947146
@@ Property / cites work: Q3947146 / rank @@
+Normal rank
@@ Property / cites work @@
+From non-preemptive to preemptive scheduling using synchronization synthesis
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Logical Concurrency Control from Sequential Proofs
+Normal rank
@@ Property / cites work @@
+Q2845505
@@ Property / cites work: Q2845505 / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct Representation of Concurrent Trace Sets
@@ Property / cites work: Succinct Representation of Concurrent Trace Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750150
@@ Property / cites work: Q3750150 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-guided synthesis of synchronization
@@ Property / cites work: Abstraction-guided synthesis of synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Determinism for Structured Parallel Programs
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0256-5
@@ Property / DOI: 10.1007/S10703-016-0256-5 / rank @@
+Normal rank