This paper presents a mechanism that uses off-line profile information to examine when garbage is best collected. This information is then used to guide the garbage collection frequency in order to reduce the garbage collection time and total execution time. Keywords—Java, garbage collection, scheduling

Recent research in moral psychology highlights the role of emotion and intuition in moral judgment. In the wake of these findings, the role and significance of moral reasoning remain uncertain. In this article, we distinguish among different kinds of moral reasoning and review evidence suggesting that at least some kinds of moral reasoning play significant roles in moral judgment, including rol...

Abstract It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the model, the system may be assumed to be functioning correctly. When, however, a discrepancy arises between the observations and the model-based predictions, then an explanation for this fact has to be found. The f...

Recent work in avoiding the state explosion problem in hardware verification during breath-first symbolic traversal (BFST) based on Binary Decision Diagrams (BDDs) applies hints to constrain the transition relation of the circuit being verified [14]. Hints are expressed as constraints on the primary inputs and states of a circuit modeled as a finite transition system and can often be found with...

Recent research results show that conventional hardware-only cache solutions result in unsatisfactory cache utilization for both regular and irregular applications. To overcome this problem, a number of architectures introduce instruction hints to assist cache replacement. For example, Intel Itanium architecture augments memory accessing instructions with cache hints to distinguish data that wi...

This study characterizes hinting strategies used by a human tutor to help students learn geometry theorem proving. Current tutoring systems for theorem proving provide hints that encourage (or force) the student to follow a fixed forward and/or backward chaining strategy. In order to find out if human tutors observed a similar constraint, a study was conducted with students proving geometry the...

As a theologian working in Western Europe, religious plurality is unavoidable for me. It seems that our context can no longer be identified in terms of secularization. Competing worldviews and complementing religious stories dictate the religious landscape (and increasingly so, due to migration and global communication). The religions present in my country, however, are not monolithic and stabl...

Researchers often expose participants to a series of words (e.g., religion, God, faith) to activate religious concepts and observe their subsequent effects on people’s thoughts, feelings, and behaviors. This research has revealed many important effects of experimentally manipulated religious cognition in domains ranging from prosocial behavior to prejudice. However, it is not exactly clear what...

Tangible Augmented Reality imbues physical objects with the ability to act and respond in new ways. In particular, physical objects and gestures made with them gain meaning that does not exist outside the tangible augmented reality environment. The existence of this new set of possible actions and outcomes is not always apparent, making it necessary to learn new movements or gestures. Addressin...

This paper introduces a mathematical model of a hint as a body of imprecise and uncertain information. Hints are used to judge hypotheses: the degree to which a hint supports a hypothesis and the degree to which a hypothesis appears as plausible in the light of a hint are de ned. This leads in turn to supportand plausibility functions. Those functions are characterized as set functions which ar...