The following pages link to Alan Stewart (Q469342):
Displaying 17 items.
- Reasoning about orchestrations of web services using partial correctness (Q469344) (← links)
- An axiomatic treatment of SIMD assignment (Q583875) (← links)
- A programming model for BSP with partitioned synchronisation (Q640293) (← links)
- The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations (Q676845) (← links)
- Modelling web-service uncertainty: the angel/daemon approach (Q826324) (← links)
- SIMD language design using prescriptive semantics (Q1110309) (← links)
- Towards the construction of an eigenvalue engine (Q1111334) (← links)
- (Q1882786) (redirect page) (← links)
- Barrier synchronisation: Axiomatisation and relaxation (Q1882787) (← links)
- BSP-style Computation: a Semantic Investigation (Q2746271) (← links)
- Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty (Q3011982) (← links)
- The Robustness of Periodic Orchestrations in Uncertain Evolving Environments (Q3451171) (← links)
- Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance (Q3451172) (← links)
- AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ (Q4485121) (← links)
- (Q4536984) (← links)
- (Q4791950) (← links)
- (Q4817282) (← links)
