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

The standard mathematical approach used in deriving equations to describe the apparent motion and position of the Sun is spherical trigonometry. Additionally, the derivation of the equations for the intensity of the direct beam radiation, incident on the surface of a solar collector or architectural surface, also generally relies on the same approach. An alternative approach utilizing vector an...

Ensuring access to specialized web-collections in a fast evolving web environment requires flexible techniques for orientation and querying. The adoption of meta search techniques for web-collections is hindered by the enormous heterogeneity of the resources. In this paper we introduce QUEST — a system for querying specialized collections on the web. One focus of QUEST is to unify search fields...

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

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

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

Galway, Ireland Investigation of the Osteogenic Potential of Mesenchymal Stromal Cells derived from Human Umbilical Cord Tissue Pierre Moretti, Stefanie Boehm, Antonina Lavrentieva, Tim Hatlapatka, Ralf Hass, Thomas Scheper, Cornelia Kasper Corresponding Author: Kasper @iftc.uni-hannover.de 1 Institute of Technical Chemistry, University of Hannover, Hannover, Germany 2 Laboratory of Biochemistr...

this study extends prior researches by exploring the effect of organizational orientations on export performance. building on the already extensive literature, we developed a model of relationship. a total of 120 usable questionnaires were received from the iranian food industry smes. the results indicated that entrepreneurial orientation, market orientation and learning orientation positively ...

The parabolic dish collector is one of the recognized concentrated solar power systems based on point focusing, which provides high-temperature heat, high concentration ratio, and low heat loss. This system consists a reflector cavity receiver situated in focus line. In this work, conical with an aperture diameter 0.5 m considered for 100 2 having focal to ratio 0.48. Due complexity flow temper...