As real-time systems become more complex, the need for more sophisticated runtime kernel features arises. One such feature that substantially lessens the burden of the programmer is automatic memory management, or garbage collection. However, incorporating garbage collection in a real-time kernel is not an easy task. One needs to guarantee, not only that sufficient memory will be reclaimed in o...

We describe an efficient and fault-tolerant algorithm for distributed cyclic garbage collection. The algorithm imposes few requirements on the local machines and allows for flexibility in the choice of local collector and distributed acyclic garbage collector to use with it. We have emphasized reducing the number and size of network messages without sacrificing the promptness of collection thro...

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

We show that the set of conical points of a rational function of the Riemann sphere supports at most one conformal measure. We then study the problem of existence of such measures and their ergodic properties by constructing Markov partitions on increasing subsets of sets of conical points and by applying ideas of the thermodynamic formalism. Introduction. In this paper we recall from [U2] the ...

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

OBJECTIVE The purpose of this clinical study was to evaluate the effect of implant body form (cylindrical and conical implants) on crestal bone levels during 6 months' follow-up after loading. MATERIALS AND METHODS A total of 32 SPI implants (19 conical implants/13 cylindrical implants) were randomly placed in 12 male patients using a submerged approach. None of the patients had compromising ...

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

In a forthcoming book [Boehm-Turner, 2003], we have analyzed many organizations’ experiences with agile and disciplined methods, and have elaborated our previous characterization [Boehm, 2002] of the “home grounds” in which agile and disciplined methods have been most successful. This analysis has enabled us to determine five critical decision factors that organizations and projects can use to ...