The following pages link to (Q3999197):
Displayed 10 items.
- Configuration logics: modeling architecture styles (Q347359) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- Deriving graphical representations of process networks from algebraic expressions (Q685510) (← links)
- \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication (Q765495) (← links)
- Answering ``why empty?'' and ``why so many?'' queries in graph databases (Q891677) (← links)
- Numerical experiments with nonlinear multigrid waveform relaxation on a parallel processor (Q1181510) (← links)
- Reliability and cost optimization in distributed computing systems. (Q1413807) (← links)
- Representation of stress tensor perturbations with application in machine-learning-assisted turbulence modeling (Q1986915) (← links)
- Leader-based de-anonymization of an anonymous read/write memory (Q2193278) (← links)
- On linear layout of bicube and construction of optimal incomplete bicube (Q6130207) (← links)