The structure common to a class of divide and conquer algorithms is represented by a program scheme. A theorem is presented which relates the functionality of a divide and conquer algorithm to its structure and the functionalities of its subalgorithms. Several strategies for designing divide and conquer algorithms arise from this theorem and they are used to formally derive algorithms for sorti...

This paper studies the runtime behaviour of various parallel divide-and-conquer algorithms written in a non-strict functional language, when three common granularity control mechanisms are used: a simple cut-off, a priority thread creation and a priority scheduling mechanism. These mechanisms use granularity information that is currently provided via annotations to improve the performance of th...

We propose a sequence of equational transformations and specializations which turns a divide-and-conquer skeleton in Haskell into a parallel loop nest in C. Our initial skeleton is often viewed as general divide-and-conquer. The spe-cializations impose a balanced call tree, a xed degree of the problem division, and elementwise operations. Our goal is to select parallel implementations of divide...

In the Odyssey, Homer depicts King Sisyphus of Corinth as the cleverest and wisest of men, but also the greediest and deceitful, prone to use unlawful methods, including killing travellers who came to trade in his kingdom. What’s more, he despised gods. Near the end of his days, the King hatched a plan to conquer death: he asked his wife that when the time would come, she should not offer the u...

Ana Fontes, one of Brazil’s most powerful women according to Forbes, comes from a humble, hard- working background. Born in Alagoas, she had overcome many challenges still faced by the country. A fruit her efforts and confidence potential female entrepreneurship, Rede Mulher Empreendedora (RME) [Entrepreneurial Woman Network] was created support their businesses. Since 2019, Instituto RME (IRME...