Pages that link to "Item:Q1261492"
From MaRDI portal
The following pages link to Deriving parallel programs from specifications using cost information (Q1261492):
Displaying 5 items.
- Costing stepwise refinements of parallel programs (Q875957) (← links)
- Derivation of efficient parallel programs: An example from genetic sequence analysis (Q916411) (← links)
- Costing parallel programs as a function of shapes (Q1566914) (← links)
- Parallelization of divide-and-conquer in the Bird-Meertens formalism (Q1906040) (← links)
- (Q4813018) (← links)