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 / author @@
-Edmund M. Clarke
@@ Property / author: Edmund M. Clarke / rank @@
-Normal rank
@@ Property / author @@
-Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
-Normal rank
@@ Property / author @@
+Edmund M. Clarke
@@ Property / author: Edmund M. Clarke / rank @@
+Normal rank
@@ Property / author @@
+Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q42290898
@@ Property / Wikidata QID: Q42290898 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Antichains
@@ Property / describes a project that uses: Antichains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Liss
@@ Property / describes a project that uses: Liss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Limi
@@ Property / describes a project that uses: Limi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ConRepair
@@ Property / describes a project that uses: ConRepair / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-016-0256-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1865886283
@@ Property / OpenAlex ID: W1865886283 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5892421