Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology include analyses to ... (Read More)

The Capsule Reviews are intended to provide a short succinct review of each paper in the issue in order to bring to a wider readership. The Capsule Reviews were compiled by Fairouz ... (Read More)

Augmented marked graphs (AMGs) are extensions of marked graphs that allow resource sharing. It has been shown that AMGs are useful for modeling and analyzing certain types of flexible ... (Read More)

k-Coterie is a useful concept to solve the distributed k-mutual exclusion problem. The distributed k-mutual exclusion algorithms based on k-coteries have benefits ... (Read More)

A passive ladder circuit employing resistors and capacitors has been used to model single-stranded DNA/RNA strings. A detailed examination of the circuit's behavior has revealed that a ... (Read More)

An ordered tree is called a non-regular tree with a prescribed branching sequence (or non-regular tree for short) if its internal nodes have a prespecified degree sequence in preorder list. We ... (Read More)

The interconnection network considered in this paper is the k-ary n-cube that is an attractive variance of the well-known hypercube. Many interconnection networks that are ... (Read More)

The Java virtual machine embodies a verifier that performs a set of checks on Java bytecode programs before their execution. The verifier carries out an efficient data-flow analysis applied to ... (Read More)

Recent publications advocate the use of various variable length codes for which each codeword consists of an integral number of bytes in compression applications using large alphabets. This ... (Read More)

This paper proposes a new register allocation technique in which register allocation is performed at every reference of a variable. For each reference, the costs of various possible register ... (Read More)

The hierarchical radiosity algorithm provides high-quality illumination and the view-independent results obtained can be re-employed for different camera positions. On the other hand, the ... (Read More)

This work describes a parallel implementation of a distinctly different concept in self-organizing maps (SOMs)—processing of the input as a whole, in parallel, via neurons attracted to ... (Read More)

Latency, fault tolerance and reliability are important requirements for several applications that are time critical in nature: such applications require guarantees in terms of latency, even ... (Read More)

A new associative classification algorithm based on weighted voting (ACWV) is presented. ACWV takes advantage of two methods: the optimal rule method preferring high-quality rules and the ... (Read More)

Halftoning schemes are developed for reserving the quality after transforming continuous tone images to binary images under human vision, and are widely used in printing and outputting. Modern ... (Read More)

The Cell Broadband Engine (BE) Architecture is a new heterogeneous multi-core architecture targeted at compute-intensive workloads. The architecture of the Cell BE has several features that ... (Read More)

Boundary labeling is a relatively new labeling method. It can be useful in automating the production of technical drawings and medical drawings, where it is common to explain certain ... (Read More)

In this paper, we present a case study on the development of interfaces for elderly and disabled users. The domain of the case study was situated in the home environment, where we focused on ... (Read More)