Real-time Java is becoming a viable platform for real-time applications, bringing new challenges to a garbage collector. A real-time collector has to be incremental as not to cause deadline misses by suspending an application for too long. In particular, if a real-time collector has to relocate objects in the heap, it must do so incrementally and transparently to the application. This is usuall...

This paper presents BBox, a digital black box to provide for authentic archiving (and, consequently, forensic evidence) for remote auditing in distributed systems. Based upon public key cryptography and trusted computing platforms, the BBox employs standard primitives to ensure the authenticity of records during the transmission from devices to the collector, as well as during their storage on ...

This paper presents the design of a prototypical system to support creative group discussions, like brainstorms. The central concept of this design is the Idea-collector: a tangible input device that is used to organize information displayed on an electronic whiteboard. A working prototype of the Idea-collector was made, following a range of early prototypes. Initial user tests are encouraging ...

We analyze the integration of automatic memory management in a real-time context. We focus on integrating a real-time (copying) garbage collector with hard real-time static-priority periodic tasks. This integration is done by considering the copying collector as an aperiodic task served by a polling server. We analyze the schedulability of this system for any polling server parameters. This ana...

This paper presents BBox, a digital black box to provide for authentic archiving in distributed systems. Based upon public key cryptography and trusted computing platforms, the BBox employs standard primitives to ensure the authenticity of records during the transmission from devices to the collector, as well as during their storage on the collector and retrieval by auditors. Besides presenting...

The performance enhancement of a SiGe:C HBT for RF/IF applications is described for Motorola’s 0.35μm and 0.18μm BiCMOS technologies. Cutoff frequencies (fT) have been improved from 50GHz to 78/84GHz (0.35/0.18μm BiCMOS), with a reduction in minimum noise figure (NF) from 0.7dB to 0.3dB. Improvements occurred through the optimization of the intrinsic collector and base dopant profiles, extrinsi...

a new method of optimization on linear parabolic solar collectors using exergy analysis is presented. a comprehensive mathematical modeling of thermal and optical performance is simulated and geometrical and thermodynamic parameters were assumed as optimization variables. by applying a derived expression for exergy efficiency, exergy losses were generated and the optimum design and operating co...

Solar air heater is a type of heat exchanger which transforms solar radiation into heat energy. The thermal performance of conventional solar air heater has been found to be poor because of the low convective heat transfer coefficient from the absorber plate to the air. It is attributed to the formation of a very thin boundary layer at the absorber plate surface commonly known as viscous sub-la...

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