Modelling Garbage Collection Algorithms --- Extend abstract

We show how abstract requirements of garbage collection can be captured using temporal logic. The temporal logic specification can then be used as a basis for process algebra specifications which can involve varying amounts of parallelism. We present two simple CCS specifications as an example, followed by a more complex specification of the cyclic reference counting algorithm. The verification of such algorithms is then briefly discussed

I\u27m Building A Palace In Palestine

https://digitalcommons.library.umaine.edu/mmb-vp/3596/thumbnail.jp

Design and fabrication of an autonomous rendezvous and docking sensor using off-the-shelf hardware

NASA Marshall Space Flight Center (MSFC) has developed and tested an engineering model of an automated rendezvous and docking sensor system composed of a video camera ringed with laser diodes at two wavelengths and a standard remote manipulator system target that has been modified with retro-reflective tape and 830 and 780 mm optical filters. TRW has provided additional engineering analysis, design, and manufacturing support, resulting in a robust, low cost, automated rendezvous and docking sensor design. We have addressed the issue of space qualification using off-the-shelf hardware components. We have also addressed the performance problems of increased signal to noise ratio, increased range, increased frame rate, graceful degradation through component redundancy, and improved range calibration. Next year, we will build a breadboard of this sensor. The phenomenology of the background scene of a target vehicle as viewed against earth and space backgrounds under various lighting conditions will be simulated using the TRW Dynamic Scene Generator Facility (DSGF). Solar illumination angles of the target vehicle and candidate docking target ranging from eclipse to full sun will be explored. The sensor will be transportable for testing at the MSFC Flight Robotics Laboratory (EB24) using the Dynamic Overhead Telerobotic Simulator (DOTS)

Effect of Professional Background on Venture Capital Proposal Evaluation

This paper reports on the differences in investment related activities and evaluation criteria of venture capitalists having a business background compared to venture capitalists having a non-business background . Data was collected from a nationwide survey of 72 venture capitalists. The results show that venture capitalists having a non-business background invest in earlier stages of the firm. require a shorter payback period and make more follow-up investments than business background venture capitalists. The non-business background venture capitalists place greater importance on the uniqueness of the product , the cost structure of the project and the entrepreneur\u27 s health and less importance on exit procedures than business background venture capitalists

Power of the Press: Studies of the Gospel Advocate, The Christian Standard, and the Christian-Evangelist

Based on the 1986 Reed Lectures, Power of the Press illustrates the important role that the Gospel Advocate, the Christian Standard, and the Christian-Evangelist played in shaping the identity of all three streams of the Stone-Campbell Movement in the nineteenth and early twentieth century. The essays also offer explanations as to why publishing offered such remarkable influence in this period.https://digitalcommons.acu.edu/acu_library_books/1020/thumbnail.jp

Friction and wear of plasma-deposited diamond films

Reciprocating sliding friction experiments in humid air and in dry nitrogen and unidirectional sliding friction experiments in ultrahigh vacuum were conducted with a natural diamond pin in contact with microwave-plasma-deposited diamond films. Diamond films with a surface roughness (R rms) ranging from 15 to 160 nm were produced by microwave-plasma-assisted chemical vapor deposition. In humid air and in dry nitrogen, abrasion occurred when the diamond pin made grooves in the surfaces of diamond films, and thus the initial coefficients of friction increased with increasing initial surface roughness. The equilibrium coefficients of friction were independent of the initial surface roughness of the diamond films. In vacuum the friction for diamond films contacting a diamond pin arose primarily from adhesion between the sliding surfaces. In these cases, the initial and equilibrium coefficients of friction were independent of the initial surface roughness of the diamond films. The equilibrium coefficients of friction were 0.02 to 0.04 in humid air and in dry nitrogen, but 1.5 to 1.8 in vacuum. The wear factor of the diamond films depended on the initial surface roughness, regardless of environment; it increased with increasing initial surface roughness. The wear factors were considerably higher in vacuum than in humid air and in dry nitrogen

Soper at oure aller cost:The Politics of Food Supply in the Canterbury Tales

Abstract The reward for the best storyteller among the pilgrims in Chaucer's Canterbury Tales is a meal: “soper at oure aller cost” (I 799). This narrative detail gives tangible form to the traditional association between literary creation and arable farming. Chaucer's diverse pilgrims and the tales they tell are woven together by the language, tropes, and contemporary concerns relating to anxieties about the production, supply, distribution, purity, and quality of food. Focusing on the figure of the Plowman, the apocryphal Plowman's Tale, and the Reeve's Tale, and reading them in the context of sociopolitical and religious dissent (the 1381 Peasants' Revolt and Lollardy respectively), this essay traces the ways in which the Canterbury Tales engages with the politics and poetics of food supply in the final decades of the fourteenth century.</jats:p