Current techniques for processor performance evaluation, which rely on using instruction set simulators to estimate the performance for each of the processors, may not be feasible due to the large amount of time taken to run the simulations. Moreover the simulators have to be modified to incorporate the new processor features that get implemented. In this paper we present efficient techniques t...

Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wide range of applications domains, and particularly in electronic design automation (EDA). SAT is increasingly being used as the underlying model for a number of applications in EDA. This paper describes how to formulate ...

We show how monotone interpretations – a termination analysis technique for term rewriting systems – can be used to assess the inherent parallelism of recursive programs manipulating inductive data structures. As a side effect, we show how monotone interpretations specify a parallel execution order, and how our approach extends naturally affine scheduling – a powerful analysis used in paralleli...

ABSTRACT Recently there has been an increasing interest in the use of the TDE technique to locate and track acoustic sources in a conferencing environment. Typically, the delay estimate is obtained as the time-lag that maximizes the cross-correlation function between the filtered versions of two received signals. This so-called generalized cross-correlation technique, based on the measurements ...

Since the end of the nineties, power dissipation has been regarded as a first order design constraint in processors. Increased power dissipation along with the resultant rise in die temperature is considered as the single largest bottleneck for increasing processor frequency and complexity. Consequently, it is very important from both a technical as well as commercial perspective to accurately ...

The effectiveness of query optimization in database systems critically depends on the system’s ability to assess the execution costs of different query execution plans. For this purpose, the sizes and data distributions of the intermediate results generated during plan execution need to be estimated as accurately as possible. This estimation requires the maintenance of statistics on the data st...

The objective of this work is to enhance the knowledge about channel estimation and to compare the existing channel estimation techniques . Normally the received signal is corrupted by the channel i.e. Multipath, ISI. The estimation of a time-varying multipath fading channel is a difficult task for the receiver. In this work following estimation algorithms are studied viz. LMS, RLS, MMSE, LS, E...

Measuring formant frequencies in speech signals is indispensable for the search and technically problematic. Accurate measurement of formant frequencies is important in many studies of speech perception and production. Unfortunately, there is no totally effective method to allow good valuations of these frequencies. This paper presents a comparative study of two techniques of speech parameteriz...

The estimation of the homography between two views is a key step in many applications involving multiple view geometry. The homography exists between two views between projections of points on a 3D plane. A homography exists also between projections of all points if the cameras have purely rotational motion. A number of algorithms have been proposed for the estimation of the homography relation...

The main goal of software project cost and effort estimation is to scientifically estimate the required workload and its corresponding costs in the life cycle of software system. Software cost estimation is a complex activity that requires knowledge of a number of key attributes that affect the outcomes of software projects, both individually and in concert. The most critical problem is the lot...