О!

[thesz]

http://www.cas.mcmaster.ca/~anand/papers/preprints.html

См. там Synthesising and Verifying Multi-Core Parallelism in Categories of Nested Code Graphs.

На reddit дали альтернативное название этой статье: How to write code which is 4 times faster than hand-

Comments

[nealar]

Перевёл бы кто. А то я всё по старинке программирую, хоть и понимаю, что это неэффективно

[thesz]

А ты Cell программируешь?.. ;)

[nealar]

Нет. А на другом железе это невозможно ?

[thesz]

Проверишь?.. ;)