Research ArticleOpen accessIn the keywordsVerifying Complex Interaction between Hardware ProcessesKiran Ramineni, Shireesh Verma, Ian G. HarrisProblem statement: Verification of correct functionality of semiconductor devices has been a challenging problem. Given the device fabrication cost, it is critical to verify the expected functionality using simulations of executable device models before a device manufactured. However, typical industrial scale devices today involve large number of interactions between their components. Complexity of verifying all interactions becomes almost intractable even … …Journal of Computer Science, Vol. 5, Issue 2 · 28 Feb 2009 · 6,953 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Bound Test Approach to Cointegration of Tourism DemandFateh Habibi, Khalid Abdul RahimProblem statement: Given the high contribution of tourism industry in the Malaysian economy, Malaysia has a vast view to increase its market share of the international tourist arrivals in the Asia Pacific region. Therefore, this study attempts to investigate the long run and short run demand for tourism from top ten markets (country). Approach: To accomplish this objective the ARDL … …American Journal of Applied Sciences, Vol. 6, Issue 11 · 30 Nov 2009 · 7,217 accessesView PDFCite