Search Results

Now showing 1 - 10 of 23
  • Article
    Citation - WoS: 20
    Citation - Scopus: 26
    Simplified software inspection process in compliance with international standards
    (Elsevier Science Bv, 2009) Mishra, Deepti; Mishra, Alok
    A significant amount of software is developed all over the world by small and medium size software organizations. These organizations do not have enough infrastructures and resources to implement an austere quality plan. Software inspection is a fundamental component of the software quality assurance process. Formal review methods are rigorous and their implementation is cumbersome for small and medium enterprises. In this paper, we have presented a new simplified inspection process which is easy to implement. requires fewer resource and almost no documentation. Also, people who are conducting this inspection need not be present at the same place during most stages of the inspection process. We have also compared this process with IEEE and NASA standards for software inspection and found that it meets almost 99% of both standards. While there has been much research on inspection, little attention is paid towards compliance with international standards. These results could be used as a basis for further research in software inspection and process towards aligning with international standards. This process has been successfully implemented in a CMM level 3 software development organization which is striving to accomplish higher maturity levels to establish at the international level. (C) 2008 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 20
    Citation - Scopus: 21
    On Global Asymptotic Stability of 2-D Discrete Systems With State Saturation
    (Elsevier Science Bv, 2008) Singh, Vimal
    A criterion for the global asymptotic stability of 2-D discrete systems described by the Roesser model employing state saturation nonlinearities is presented. The criterion is a less restrictive version of an earlier criterion due to Liu and Michel. (C) 2008 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 33
    Citation - Scopus: 46
    Higher-Order Self-Adjoint Boundary-Value Problems on Time Scales
    (Elsevier Science Bv, 2006) Anderson, Douglas R.; Guseinov, Gusein Sh.; Hoffacker, Joan
    In this study, higher-order self-adjoint differential expressions on time scales and their associated self-adjoint boundary conditions are discussed. The symmetry property of the corresponding Green's functions is shown, together with specific formulas of Green's functions for select time scales. (c) 2005 Elsevier B.V. All rights reserved.
  • Article
    On the Definition of Sequential Consistency
    (Elsevier Science Bv, 2005) Sezgin, A; Gopalakrishnan, G
    The definition of sequential consistency is compared with an intuitive notion of correctness. That the definition is not strong enough is illustrated through a hypothetical memory system which is clearly incorrect, yet sequentially consistent. It is claimed that the reason for this is the absence of a relation between what actually happens (temporal order) and what seems to happen (logical order). A stronger version of sequential consistency is proposed. (c) 2005 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 14
    Citation - Scopus: 15
    Global asymptotic stability of 2-D state-space digital filters with saturation arithmetic: Modified approach
    (Elsevier Science Bv, 2008) Singh, Vimal
    A criterion for the global asymptotic stability of 2-D state-space digital filters described by the Roesser model employing state saturation arithmetic is presented. The criterion is a modified form of a recently reported criterion. An example shows the effectiveness of the modified criterion. (C) 2007 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 42
    Citation - Scopus: 47
    A Novel Global Robust Stability Criterion for Neural Networks With Delay
    (Elsevier Science Bv, 2005) Singh, V
    A criterion based on the intervalised network parameters for the global robust stability of Hopfield-type neural networks with delay is presented. The criterion is compared with an earlier criterion. (c) 2005 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 77
    Citation - Scopus: 74
    Doubly Warped Products
    (Elsevier Science Bv, 2001) Ünal, B
    In this paper we study geodesic completeness of Riemannian doubly warped products and Lorentzian doubly warped products. We give necessary conditions for generalized Robertson-Walker spacetimes with doubly warped product spacial parts to be globally hyperbolic. We also state some results about killing and conformal vector fields of doubly warped products.
  • Article
    Citation - WoS: 2
    Citation - Scopus: 2
    Sets of Random Variables With a Given Uncorrelation Structure
    (Elsevier Science Bv, 2001) Ostrovska, S
    Let xi (1),...,xi (n) be random variables having finite expectations. Denote i(k) := # {(j(1),...,j(k)): 1 less than or equal to j(1) < ... < j(k) less than or equal to n and E (l=1)pi (k) xi (fi) = (l=1)pi (k) E xi (h)}, k = 2,...,n. The finite sequence (i(2),...,i(n)) is called the uncorrelation structure of xi (1),...,xi (n). It is proved that for any given sequence of nonnegative integers (i(2),...,i(n)) satisfying 0 less than or equal to i(k) less than or equal to ((n)(k))and any given nondegenerate probability distributions P-1,...,P-n there exist random variables eta (1),...,eta (n) with respective distributions P-1,...,P-n such that (i(2),...,i(n)) is their uncorrelation structure. (C) 2001 Elsevier Science B.V. All rights reserved.
  • Article
    Citation - WoS: 5
    Citation - Scopus: 5
    Electrical Behavior of Pb1.83mg0.29< Pyrochlore Ceramics
    (Elsevier Science Bv, 2004) Mergen, A; Kayed, TS
    Pb1.83Mg0.29Nb1.71O6.39 pyrochlore was produced via a simple partial oxalate method. It was examined by X-ray diffraction (XRD) and scanning electron microscopy (SEM). Single phase, belonging to the cubic pyrochlore structure, with a lattice parameter of a = 10.60125 +/- 0.001 Angstrom and grain size that varies from 5 to 10 mum was obtained. The electrical properties were measured at different temperatures in the range 15-320 K without and with applied magnetic field of 1.4 T. Current-voltage characteristics data were fitted to a power law expression V=I-beta(T) in which the exponential parameter beta takes values around 1 at all temperatures except at 300 K. Resistance starts from 3.3 x 10(10) Omega at 15 K and increases gradually to 4.8 x 10(10) Omega at 240 K. It drops to approximately 1.2 x 10(10) Omega at 300 K, after which it increases again to around 1.6 x 10(10) Omega at 320 K. (C) 2004 Elsevier B.V. All rights reserved.
  • Article
    Citation - WoS: 45
    Citation - Scopus: 45
    An Ambipolar Low Band Gap Material Based on Bodipy and Edot
    (Elsevier Science Bv, 2009) Algi, Fatih; Cihaner, Atilla
    A novel donor-acceptor type conducting polymer based on BODIPY dye as acceptor and EDOT units as donor parts is synthesized electrochemically. The unique combination of BODIPY and EDOT units provides an ambipolar (n- and p-doping processes) low band gap material (4). This is the first example of p-n junction in an organic pi-conjugated material where BODIPY unit is incorporated directly in the main chain. Furthermore, the polymer film exhibits electrochromic behavior upon p-doping: a color change from light violet (neutral) to indigo (oxidized). (C) 2009 Elsevier B.V. All rights reserved.