Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

Modelling the FEBEX THM experiment using a state surface approach

Buffer materials being considered as engineered barriers in nuclear fuel waste (NFW) disposal systems possess a pronounced nonlinear behaviour in the unsaturated state. In order to simulate such non-linear responses,the authors adopted an incrementally nonlinear poro-elastic approach where the coefficients of the governing equations are assumed to be functions of suction and the void ratio. These functions are in turn developed from a state-surface equation obtained from suction-controlled oedometric tests. In this paper we show the derivation of the governing equations of the poro-elastic model. A finite element computer code, FRACON, was developed by the authors to numerically solve the above equations. We first use the code to simulate laboratory tests to characterize the swelling properties of a typical bentonite. That same bentonite was used in the FEBEX in-situ heater experiment, conducted at the Grimsel site, Switzerland. The FRACON code was also used to perform blind predictions of the FEBEX heater experiment. It is shown that the model correctly predicts drying of the bentonite near the heaters and re-saturation near the rock interface. The evolution of temperature and the heater thermal output were also reasonably well predicted by the model. The trends in the total stresses developed in the bentonite were correctly predicted; the absolute values however were underestimated probably due to the omission of pore pressure build-up in the rock mass.     

Structural properties and electrical behaviour of thin silicon oxynitride layers

Thin SiO₂ and SiO_xN_y layers were grown on silicon using Rapid Thermal Processing (RTP) in either O₂ or N₂O ambient. Subsequent annealing or nitridation was performed in order to improve the electrical stability. The composition of the films, in particular the incorporation of nitrogen and hydrogen, has been studied. We obtained the distribution of states at the Si/insulator interface through the evaluation of CV measurements and investigated the charge trapping in the layers analysing the voltage–time behaviour during Fowler–Nordheim constant current injection. Furthermore, assuming a trap assisted tunneling mechanism, the influence of near interface trap states on the current voltage characteristic was used to derive an effective insulator state distribution.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Kinetic studies of the electrochemical reaction between lithium and phthalocyanine II. Reduction reaction mechanism

The effects, during formation, of current density, charge capacity, and concentration and temperature of H₂SO₄ electrolyte on the capacity of tubular electrodes in lead/acid batteries have been studied. Electrode capacity was found to be maximum at a H₂SO₄ concentration of 1.05 sp. gr., a charge amount of 250% theoretical capacity, a current density of 0.44 A dm^?2, and an electrolyte temperature of 40 °C. A study of the soaking process for tubular electrodes showed the electrode capacity to be maximum when the acid absorption was about 170 mg of H₂SO₄ per g of oxide. Finally, the discharge overpotential of tubular electrodes was analyzed by a galvanostatic transient method.     

Reibungsversuche mit Krypton bei niedrigen Drücken

Tests of a linear Equation on the Evaluation of Krypton Friction Experiments at low Pressures and Connections to Viscosity Effects The coefficient of viskosity is nearly constant in the region with STP conditions and is independent of the pressure. This coefficient decreases with lowering the pressure until the region of molecular flow is reached. There we have free molecular‐ or vacuum viscosity. Experiments with the friction of gas have to take in the gas between surfaces which are movabel and parallel. Reactions of the gas with the moving surface cannot be neglected. We made our lab‐examinations of gas friction effects between two rotating cylinders. Generally there is a linear equation of the reciprocal values of viscosities and pressures. Our experiments show a region, where this linear relation is valid. This region has a low limit with coming to molecular flow and an upper limit if the gas is warmed up by friction at higher pressures.     

Germanium islands embedded in strained silicon quantum wells grown on patterned substrates

Germanium islands were embedded in strained silicon quantum wells in order to provide an improved electron confinement in vicinity of the islands. Growth was performed on relaxed SiGe layers. Patterned substrates were used, favouring lattice relaxation as well permitting the fabrication of small Ge islands at deposition temperatures above 500 °C. Photoluminescence analysis reveals a strongly reduced dislocation related signal. The low temperature spectra are dominated by intense signals from the germanium islands. The origin of these signals were investigated by removing the islands by etching, analysing reference samples without a silicon quantum well, varying the germanium deposition and the growth temperature.     

Reaction of hexamethylphosphorous triamide with cotton cellulose

The reactivity of hexamethylphosphorus triamide, (P[N? (CH₃)₂]₃) (HPT), with cotton cellulose was examined under various conditions. HPT was found to react readily with the cellulose to produce a cellulose phosphite and/or phosphate ester having approximately one acidic hydrogen atom per phosphorus atom. The reaction of HPT with cotton cellulose was efficiently catalyzed by dimethylamine hydrochloride (1%). The phosphorus content imparted by the catalyzed reaction on cotton fabrics was approximately twice that imparted by the uncatalyzed reaction. Flame resistance of the treated fabrics ranged from fair to excellent. The treated fabrics also exhibited ion exchange properties and some crosslinking.     

Marketing Activities to Support ‘Moderately Novel’ Product Innovation: Insights from the Chemical Industry

Scholars often follow a contingency approach to study which marketing activities are suitable for a particular type of product innovation project, thereby making a distinction between incremental and radical innovation only. ‘Moderately novel’ projects, which have intermediate levels of newness, have therefore not been given due attention. This paper focuses on market intelligence generation and the creation of cross‐functional linkages as marketing activities that are important in the context of moderately novel product innovation. In addition, the organizational position of the marketers involved in these activities is dealt with. Based on the analysis of four successful projects in the chemical industry, we argue, firstly, that moderately novel innovation projects have their own particular sets of marketing practices and, secondly, that differences exist between projects aiming at a new market segment and projects in which novelty is not related to market segment but to other market dimensions. These differences are especially salient in early project phases. These findings are pertinent to research on the role of marketers in product innovation, and to the study of organizational ambidexterity.