Pages that link to "Item:Q4236759"
From MaRDI portal
The following pages link to Algorithm + strategy = parallelism (Q4236759):
Displaying 14 items.
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379) (← links)
- Graph-based communication in Eden (Q526455) (← links)
- Parallel elementwise processable functions in concurrent clean (Q596984) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Parseval wavelets on hierarchical graphs (Q1690706) (← links)
- Trends in trends in functional programming 1999/2000 versus 2007/2008 (Q1929344) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Space profiling for parallel functional programs (Q3021408) (← links)
- Implicitly threaded parallelism in Manticore (Q3021411) (← links)
- Lazy tree splitting (Q3165522) (← links)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)
- Proving Properties of Lazy Functional Programs with Sparkle (Q3599177) (← links)
- To be or not to be …lazy (In a Parallel Context) (Q5170189) (← links)
- Skeleton composition versus stable process systems in Eden (Q5371966) (← links)