in this paper, non-polynomial spline method for solving coupled burgers’ equations are presented. we take a new spline function. the stability analysis using von-neumann technique shows the scheme is unconditionally stable. to test accuracy the error norms2l, ∞l are computed and give two examples to illustrate the sufficiency of the method for solving such nonlinear partial differential equatio...

Fixed-point hardware implementations of signal processing algorithms can often achieve higher performance with lower computational requirements than a floating-point implementation. However, the design of such systems is hard due to the difficulty of addressing the quantization issues. This paper presents an optimization approach to determining the wordlengths of fixed-point operators in a spee...

While SAT-based algorithms have largely displaced BDD-based verification techniques due to their typically higher scalability, there are classes of problems for which BDDbased reachability analysis is the only existing method for an automated solution. Nonetheless, reachability engines require a high degree of tuning to perform well on challenging benchmarks. In addition to clever partitioning ...

In this paper we describe the design of a voice-enabled interface embedded in a Personal Digital Assistant (PDA). It is a component of a more complex system which allows the access to real-time information (for example, prices on stock exchange) via the General Packet Radio Service (GPRS). Specifically, we have focused on the Automatic Speech Recognition (ASR) module: we have implemented a fixe...

In this paper, we present a novel method for designing polynomial-predictive FIR differentiators for fixed-point environments. Our method yields filters that exactly fulfill the given constraints even with short coefficient word lengths. Under ordinary quantization, either by rounding or truncation, these filters in most cases loose their predictive and/or differentiating properties, making the...

In this paper, we develop a multidimensional companding scheme for the preceptual distortion measure by S. van de Par [1]. The scheme is asymptotically optimal in the sense that it has a vanishing rate-loss with increasing vector dimension. The compressor operates in the frequency domain: in its simplest form, it pointwise multiplies the Discrete Fourier Transform (DFT) of the windowed input si...

A simple tuning scheme that shifts the crossover frequency of the start-up IIR half-band filter pair to the desired location has been introduced recently. In this paper, the approximation of the tuning scheme is derived in a manner that makes this scheme suitable for fixedpoint arithmetic. The effects of the approximation error to the frequency responses and to the complementary properties for ...