Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

A framework for avoiding steganography usage over HTTP

Steganographic techniques allow users to covertly transmit information, hiding the existence of the communication itself. These can be used in several scenarios ranging from evading censorship to discreetly extracting sensitive information from an organization. In this paper, we consider the problem of using steganography through a widely used network protocol (i.e. HTTP). We analyze the steganographic possibilities of HTTP, and propose an active warden model to hinder the usage of covert communication channels. Our framework is meant to be useful in many scenarios. It could be employed to ensure that malicious insiders are not able to use steganography to leak information outside an organization. Furthermore, our model could be used by web servers administrators to ensure that their services are not being abused, for example, as anonymous steganographic mailboxes. Our experiments show that steganographic contents can be successfully eliminated, but that dealing with high payload carriers such as large images may introduce notable delays in the communication process.     

Gaussian,Lobatto and Radau positive quadrature rules with a prescribed abscissa

For a given $\theta \in (a,b)$ , we investigate the question whether there exists a positive quadrature formula with maximal degree of precision which has the prescribed abscissa $\theta $ plus possibly $a$ and/or $b$ , the endpoints of the interval of integration. This study relies on recent results on the location of roots of quasi-orthogonal polynomials. The above positive quadrature formulae are useful in studying problems in one-sided polynomial $L_1$ approximation.     

Single frame correction of motion artifacts in PMD-based time of flight cameras

One of the leading time of flight imaging technologies for depth sensing is based on Photonic Mixer Devices (PMD). In PMD sensors each pixel samples the correlation between emitted and received light signals. Current PMD cameras compute eight correlation samples per pixel in four sequential stages to obtain depth with invariance to signal amplitude and offset variations. With motion, PMD pixels capture different depths at each stage. As a result, correlation samples are not coherent with a single depth, producing artifacts. We propose to detect and remove motion artifacts from a single frame taken by a PMD camera. The algorithm we propose is very fast, simple and can be easily included in camera hardware. We recover depth of each pixel by exploiting consistency of the correlation samples and local neighbors of the pixel. In addition, our method obtains the motion flow of occluding contours in the image from a single frame. The system has been validated in real scenes using a commercial low-cost PMD camera and high speed dynamics. In all cases our method produces accurate results and it highly reduces motion artifacts.     

A 2D algorithm with asymmetric workload for the UPC conjugate gradient method

This paper examines four different strategies, each one with its own data distribution, for implementing the parallel conjugate gradient (CG) method and how they impact communication and overall performance. Firstly, typical 1D and 2D distributions of the matrix involved in CG computations are considered. Then, a new 2D version of the CG method with asymmetric workload, based on leaving some threads idle during part of the computation to reduce communication, is proposed. The four strategies are independent of sparse storage schemes and are implemented using Unified Parallel C (UPC), a Partitioned Global Address Space (PGAS) language. The strategies are evaluated on two different platforms through a set of matrices that exhibit distinct sparse patterns, demonstrating that our asymmetric proposal outperforms the others except for one matrix on one platform.     

Bayesian bivariate generalized Lindley model for survival data with a cure fraction

The cure fraction models have been widely used to analyze survival data in which a proportion of the individuals is not susceptible to the event of interest. In this article, we introduce a bivariate model for survival data with a cure fraction based on the three-parameter generalized Lindley distribution. The joint distribution of the survival times is obtained by using copula functions. We consider three types of copula function models, the Farlie–Gumbel–Morgenstern (FGM), Clayton and Gumbel–Barnett copulas. The model is implemented under a Bayesian framework, where the parameter estimation is based on Markov Chain Monte Carlo (MCMC) techniques. To illustrate the utility of the model, we consider an application to a real data set related to an invasive cervical cancer study.     

Methanol oxidation on Au/TiO2 catalysts

We have investigated the adsorption and reaction of methanol with Au/TiO₂ catalysts using a pulsed flow reactor, DRIFTS and TPD. The TiO₂ (P25) surface adsorbed a full monolayer of methanol, much of it in a dissociative manner, forming methoxy groups associated with the cationic sites, and hydroxyl groups at the anions. The methoxy is relatively stable until 250 °C, at which point decomposition occurs, producing mainly dimethyl ether by a bimolecular surface reaction. As the concentration of methoxy on the surface diminishes, so the mechanism reverts to a de-oxygenation pathway, producing mainly methane and water (at ~330 °C in TPD), but also with some coincident CO and hydrogen. Au catalysts were prepared by the deposition-precipitation method to give Au loadings between 0.5–3 wt %. The effect of low levels of Au on the reactivity is marked. The pathway which gives methane, which is characteristic of titania, remains, but a new feature of the reaction is the evolution of CO₂ and H₂ at lower temperature (a peak is seen in TPD at 220 °C), and the elimination of the DME-producing state. Clearly this is associated with the presence of Au and appears to be due to the production of a formate species on the surface of the Au component. This formate species is mainly involved in the reaction of methanol with the Au/TiO₂ catalysts which results in a combustion pathway being followed, with complete conversion occurring by ~130 °C.     

Ultrasonic Dispersion of Ceramic Powders

Ultrasonication is very effective in dispersing alumina and barium titanate slurries. When optimum conditions are used, very short durations (2 to 3 min) are enough to achieve well-dispersed, stable suspensions.     

Effects of preparation conditions on the surface modification and performance of polyethersulfone ultrafiltration membranes

The impact that some membrane preparation steps had on ultrafiltration (UF) membrane characteristics and performance was studied. Polyethersulfone (PES) was employed as base polymer, while N‐methyl pyrrolidone (NMP) was used as a solvent, and polyvinylpyrrolidone (PVP) was used as a nonsolvent pore‐forming additive. The manufacturing variables studied were solvent evaporation time and membrane surface modification, using a fluorine‐based copolymer referred to as surface‐modifying macromolecule (SMM). The flat sheet membranes, prepared via phase inversion, were characterized using solute transport data, X‐ray photoelectron spectroscopy (XPS), and contact angle measurements. Membrane performance was evaluated via filtration test protocol that included a 6‐day filtration of concentrated river water. The flux reduction with time was modeled using single and dual mechanisms of fouling. The pore blockage/cake filtration model described better the behavior of the permeation rate along the experiments. Increasing the solvent evaporation time decreased the size of the pores and the permeation rate. However, it did not significantly affect the removal of the organic compounds naturally present in the river water used as feed. XPS and contact angle measurements proved that the short evaporation periods did not allow enough SMM migration to the surface to provoke a significant effect on the membrane performance. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci, 2006