The following pages link to (Q4536986):
Displaying 4 items.
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379) (← links)
- A denotational semantics of textually aligned SPMD programs (Q2011201) (← links)
- Enumerated BSP Automata (Q4686652) (← links)
- Concrete data structures and functional parallel programming (Q5941198) (← links)