Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in systems where unordered transactions are committed on a demand-driven basis. Such simple commit arbitration policies are prone to starvation. The design issues for commit arbitration policies are analyzed and novel policies tha...

Screening of biochemical interactions becomes simpler, less expensive, and more accurate when labels, such as fluorescent dyes, radioactive markers, and colorimetric reactions, are not required to quantify detected material. SRU Biosystems has developed a biosensor technology that is manufactured on continuous sheets of plastic film and incorporated into standard microplates and microarray slid...

The paper discusses a low power consumption, light weight and low cost 10MHz free-space optical communication (FSO). The system is designed for mounting on mobile platforms, with effective range of at least 50 meters. LightEmitting Diodes (LEDs) and Laser diodes (LDs) are used in the transmitter for comparison for their relative performance in the system. The receiver features a beam splitter t...

In this paper, a classification-free Word-Spotting system, appropriate for the retrieval of printed historical document images is proposed. The system skips many of the procedures of a common approach. It does not include segmentation, feature extraction or classification. Instead it treats the queries as compact shapes and uses image processing techniques in order to localize a query in the do...

The element-free Galerkin method is employed for two-dimensional analysis of steady-state heat transfer. The unknown response of the system, i.e. temperature is approximated using the moving least squares technique. Numerical integration of governing simultaneous system of equations is performed by Gauss quadrature and new modified nodal integration techniques. Numerical examples and tests have...

Interpretation. An alternative way to analyze the behavior of a concurrent program would be to use abstract interpretation [4, 5]. Actually, from a very general viewpoint, our type-based analysis of locks can be seen as a kind of abstract interpretation. We can read a type judgment Γ ⊢ P as “Γ is an abstraction of a concrete process P .” (The relation “⊢” corresponds to a pair of abstraction/co...

Interpretation. An alternative way to analyze the behavior of a concurrent program would be to use abstract interpretation [4, 5]. Actually, from a very general viewpoint, our type-based analysis of locks can be seen as a kind of abstract interpretation. We can read a type judgment Γ P as “Γ is an abstraction of a concrete process P .” (The relation “ ” corresponds to a pair of abstraction/conc...

The process of modelling is much easier, if mathematical description of an abject, or at least of part of an object may be applied. In the first case, however, a mathematical description of the object may be unavailable. One way of solution, is to use as a model the coordinates of the infinitely many points of the object, but this is not feasible for a computer with finite storage. More often, ...

Cell-free protein expression is an important tool for a rapid production, engineering and labeling of recombinant proteins. However the complex protocols for preparation of eukaryotic cell-free protein expression systems result in high manufacturing costs and limit their utility. Recently we reported a novel cell-free expression system based on the lysate of a fermentable protozoan Leishmania t...

View generation is one of the most time consuming parts at user side in free viewpoint video (FVV) system. A user side oriented framework of FVV system is presented, focus on the requirement and capability of user side. The calculation of disparity map, which is required at the user side, is moved to the server side, based on the fact that the user side is a terminal with constrained resource e...