Research ArticleOpen accessIn the abstractA Control-Oriented Coverage Metric and its Evaluation for Hardware DesignsShireesh Verma, Kiran Ramineni, Ian G. HarrisProblem statement: Dynamic verification, the use of simulation to determine design correctness, is widely used due to its tractability for large hardware designs. A serious limitation of dynamic techniques is the difficulty in determining whether or not a test sequence is sufficient to detect all likely design errors. Coverage metrics are used to address this problem by providing a set … …Journal of Computer Science, Vol. 5, Issue 4 · 30 Apr 2009 · 7,528 accessesView PDFCite
Research ArticleOpen accessIn the abstractUtilization of AODV in Wireless Ad Hoc NetworksZeyad M. Alfawaer, GuiWei Hua, Nidal A. HamdehAODV is a mature and widely accepted routing protocol for Mobile Ad hoc Networks (MANET), it has low processing and memory overhead and low network utilization, and works well even in high mobility situation. We modified AODV to use these dominating sets, resulting in the AODV-DS protocol. Our contribution in addressing the fragility of a minimum connected dominating set in … …Journal of Computer Science, Vol. 3, Issue 4 · 30 Apr 2007 · 7,160 accessesView PDFCite