Many of the current software systems rely on garbage collectors for automatic memory management. This is also the case for various software systems in real-time applications. However, a real-time application often requires an incremental working style of the underlying garbage collection, which renders the garbage collector more complex and less trustworthy. We present a formal verification of ...

While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are subject to reduced throughput and high space overheads. Since frequent allocation is often correlated with a high-level, objectoriented style of programming, this can force builders of real-time systems to compromise on softwar...

OBJECTIVE A shovel with a blade perforated with small holes was tested to see whether a worker would use less whole-body energy to dig wet clay than with a shovel with an opaque blade. BACKGROUND A perforated shovel is hypothesized to require less whole-body energy on the basis of adhesion theory; a smaller surface area would require less physical effort to dig and release soil from the blade...

BACKGROUND Acute appendicitis is the most common cause of abdominal surgery in children. Adjuncts are used to help clinicians predict acute or perforated appendicitis, which may affect treatment decisions. Automated hematologic analyzers can perform more accurate automated differentials including immature granulocyte percentages (IG%). Elevated IG% has demonstrated improved accuracy for predict...

BACKGROUND Our understanding of the cause and treatment of peptic ulcer disease has changed dramatically over the last couple of decades. It was quite common some years ago to treat chronic ulcers surgically. These days, the operative treatment is restricted to the small proportion of ulcer patients who have complications such as perforation. The author reports seven cases of perforated duodena...

The bipolarlFET characteristics of the ZDEG-HBT (TwoDimensional Electron Gas Base p-n-p AIGaAs/GaAs Heterojunction Bipolar Transistor) are analyzed extensively by a two-dimensional numerical simulator based on a drift-diffusion model. For bipolar operations at high collector current densities, it is confirmed that the cutoff frequency f r is determined mainly by the collector transit time of ho...

The success of flotation operation depends upon the thriving interactions of chemical and physical variables. In this work, the effects of particle size, bubble size, and collector dosage on the bubble loading in a continuous flotation column were investigated. In other words, this work was mainly concerned with the evaluation of the true flotation response to the changes in the operating varia...