This paper presents the verification of a generational copying garbage collector for the CakeML runtime system. The proof is split into an algorithm proof and an implementation proof. The algorithm proof follows the structure of the informal intuition for the generational collector’s correctness, namely, a partial collection cycle in a generational collector is the same as running a full collec...

Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper, we investigate how to best use generations with on-the-fly collectors. On-the-fly collectors run concurrently with the program threads and induce very short program pauses. Thus, the motivation for incorporating generations is...

Today’s organizations need to be adaptive and agile in order to deal with the rapidly changing environment and competitive pressures. Part of the challenge in doing so is examining the knowledge flows and knowledge gaps within the organizations, especially cross-generational knowledge flows. This paper is an extension of the authors’ previous work in cross-generational knowledge flow research i...

Regional garbage collection offers a useful compromise between real-time and generational collection. Regional collectors resemble generational collectors, but are scalable: our main theorem guarantees a positive lower bound, independent of mutator and live storage, for the theoretical worst-case minimum mutator utilization (MMU). The theorem also establishes upper bounds for worst-case space u...

Introduction. Managing information sharing in organizations requires an understanding of information behaviour at several levels. The aim of this short paper is to add the generational approach to the understanding of workplace information sharing. Method. A survey was conducted in a multinational organization (n=237) to explore different factors affecting workplace information sharing and lear...

Environmental factors can induce significant epigenetic changes that may also be inherited by future generations. The maternally inherited symbiont of arthropods Wolbachia pipientis is an excellent candidate as an 'environmental' factor promoting trans-generational epigenetic changes: by establishing intimate relationships with germ-line cells, epigenetic effects of Wolbachia symbiosis would be...

Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper, we investigate how to best use generations with on-the-fly collectors. On-the-fly collectors run concurrently with the program threads and induce very short program pauses. Thus, the motivation for incorporating generations is...

It is well researched and reported that the culture of a nation has a major impact on employees’ work related values, attitudes and expectations. The objective of this study was to investigate if western research on the generation gap applies equally to generational groups in Taiwan’s workplaces, specifically in the higher education sector and manufacturing industry. The research found that gro...

A comparison is made between the dynamics of steady state and generational genetic algorithms using the statistical mechanics approach developed by Pr ugel-Bennett, Shapiro and Rattray. It is shown that the loss of variance of the population under steady state selection | genetic drift | occurs at twice the rate of generational selection. By considering a simple ones counting problem with selec...

OBJECTIVE In the United States, Hispanic adolescents are at elevated risk for negative outcomes related to risky sexual behavior. To evaluate potential protective factors for this group, we examined the fit of the Hispanic Paradox for sexual behavior among high-risk youth and the moderating role of parent monitoring. METHOD We enrolled 323 justice-involved Hispanic youth (73% male; mean age 1...