Garbage collectors are an important part of many modern language runtimes. Essentially all tools for developing and debugging programs using garbage collection assume the correctness of the collector, and therefore provide no means for detecting garbage collector errors. As a result it is especially important that garbage collector implementations be free of errors. This goal is even more chall...

As the fossil fuels are depleting continuously, we know that solar energy harvesting is a significant potential area for new research dimensions. Sun provides us about 1.9 x 10 8 TWh/yr on the land, of which 1.3 x 10 5 TWh]/yr energy is used. In order to make much use of solar energy on the earth, solar energy harvesting into more usable form (e.g. heat or electricity) by using solar energy col...

A uniform general purpose garbage collector may not always provide optimal performance. Sometimes an algorithm exhibits a predictable pattern of memory usage that could be exploited, delaying as much as possible the intervention of the collector. This requires a collector whose strategy can be customised to the need of an algorithm. We present a dynamic memory management framework which allows ...

In recent years, new materials and absorber configurations have been proposed to improve the performance of hybrid photovoltaic-thermal (PV-T) collectors. This work analyses fluid flow energy an uncovered water-based PV-T collector with a roll-bond thermal absorber. A detailed CFD model was developed results were compared experimental features provided by manufacturer. The show uneven distribut...

We have demonstrated a heterojunction bipolar transistor using a novel compound collector (CCHBT) design that allows a low-knee voltage and high-breakdown voltage to be obtained simultaneously. The novel aspect of this design is to use a short wide band-gap collector only over a narrow portion of the collector, where the field is highest. This allows support of high fields while maintaining a l...

A copying collector has two excellent properties: it compacts the heap, and the execution time depends solely on the number of live objects. Use of a copying collector is thought by some to be a more efficient way of managing the heap than explicit freeing of objects. This paper describes a high-performance copying collector for a hybrid object-oriented language. The collector is both conservat...

This paper presents the dynamic simulation model to characterize water pumping and heating installation using PV/Thermal panel (PV/T) is developed. The model consists of a set of mathematical equations governing the main components of the system; namely: transparent cover, solar cell, absorber plate and operating fluid. The model is based on the analysis of the energy balance which includes the...

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...

This work reports experimental data comparing the low frequency noise spectrum of InP based HBTs. Double heterojunction device structures are examined with and without surface passivation ledges. INTRODUCTION Compound semiconductor InP heterojunction bipolar transistors (HBTs) hold great promise for ultra high-speed analog microwave circuit applications. The low frequency noise characteristics ...