Pages that link to "Item:Q5524887"
From MaRDI portal
The following pages link to A Shared Memory Computer Display System (Q5524887):
Displaying 19 items.
- A generalized notion of semantic independence (Q674287) (← links)
- A tight analysis and near-optimal instances of the algorithm of Anderson and Woll (Q706634) (← links)
- Implementing stochastic control software on supercomputing machines (Q753783) (← links)
- Models of central capacity and concurrency (Q762011) (← links)
- Scalable and structured scheduling (Q862862) (← links)
- Simple section interchange and properties of non-computable functions (Q988200) (← links)
- On formulating simultaneity for studying parallelism and synchronization (Q1136221) (← links)
- Defining conditional independence using collapses (Q1194331) (← links)
- The identification of parallel micro-operations (Q1225936) (← links)
- Data-race and concurrent-write freedom are undecidable. (Q1399005) (← links)
- Verifying the correctness of distributed systems via mergeable parallelism (Q2154028) (← links)
- Parallélisation sémantique (Q3479539) (← links)
- Parallel operator schemata over variable arrays and the maximal parallelism problem (Q3890088) (← links)
- (Q4098659) (← links)
- (Q5028430) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Model checking race-freedom when ``sequential consistency for data-race-free programs'' is guaranteed (Q6535538) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)
- An introduction to parallel dynamic programming (Q6560205) (← links)