Log in

Relevant bibliographies by topics / Coverage width / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Coverage width.

Dissertations / Theses on the topic 'Coverage width'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Coverage width.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Zhang, Xiao. "Confidence Intervals for Population Size in a Capture-Recapture Problem." Digital Commons @ East Tennessee State University, 2007. https://dc.etsu.edu/etd/2022.

Full text

Abstract:

In a single capture-recapture problem, two new Wilson methods for interval estimation of population size are derived. Classical Chapman interval, Wilson and Wilson-cc intervals are examined and compared in terms of their expected interval width and exact coverage properties in two models. The new approach performs better than the Chapman in each model. Bayesian analysis also gives a different way to estimate population size.

APA, Harvard, Vancouver, ISO, and other styles

2

Yang, Guanqun. "Energy-efficient coverage with wireless sensors." [Ames, Iowa : Iowa State University], 2010. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3403850.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

LUIZ, BRUNO MAIA ANTONIO. "GSM COVERAGE SYSTEM PLANNING WITH REPEATERS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2002. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=3023@1.

Full text

Abstract:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Este trabalho aborda a utilização de repetidores na implantação de sistemas móveis celulares. Esta técnica permite estender a cobertura dos sistemas móveis celulares com baixo custo e curto tempo de implantação a áreas ou ambientes onde a utilização de estações rádio base seria dispendiosa ou demorada.O impacto da inclusão deste elemento na interface rádio é detalhadamente analisada visando obter uma metodologia para o seu dimensionamento e para o cálculo das degradações produzidas na rede. É apresentada ainda uma metodol

APA, Harvard, Vancouver, ISO, and other styles

4

Bjarnason, Brynjar Smári. "Clustering metagenome contigs using coverage with CONCOCT." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-208944.

Full text

Abstract:

Metagenomics allows studying genetic potentials of microorganisms without prior cultivation. Since metagenome assembly results in fragmented genomes, a key challenge is to cluster the genome fragments (contigs) into more or less complete genomes. The goal of this project was to investigate how well CONCOCT bins assembled contigs into taxonomically relevant clusters using the abundance profiles of the contigs over multiple samples. This was done by studying the effects of different parameter settings for CONCOCT on the clustering results when clustering metagenome contigs from in silico model c

APA, Harvard, Vancouver, ISO, and other styles

5

Shang, Jizong. "Coverage control and localization with sensor networks." Thesis, Boston University, 2012. https://hdl.handle.net/2144/12618.

Full text

Abstract:

Thesis (M.S.)--Boston University PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you.<br>Motivated by the widespread applications of teams of mobile sensor nodes that collectively accomplish a common objective, this thesis has focusee on the study of the coverage control problem and its implementati

APA, Harvard, Vancouver, ISO, and other styles

6

Wall, Stacey Lee. "Newspaper Coverage of People with Disabilities: A New Zealand Perspective." The University of Waikato, 2007. http://hdl.handle.net/10289/2402.

Full text

Abstract:

Throughout history the science of mass communication has been a topic of public and academic interest. In the past 3 decades portrayals of various minority groups have been of concern to researchers, health professionals and member of these groups. This study examines how people with disabilities are portrayed within the New Zealand print media and whether or not a traditional (often negative) or progressive (often positive) modes of representations predominate in coverage. Progressive focus views disability and the problems surrounding it as being located in society's failure to accommodate a

APA, Harvard, Vancouver, ISO, and other styles

7

Agustin, Joy M. "Improving software quality through extreme coverage with Jblanket." Thesis, University of Hawaii at Manoa, 2003. http://hdl.handle.net/10125/6967.

Full text

Abstract:

Unit testing is an important part of software testing that aids in the discovery of bugs sooner in the software development process. Extreme Programming (XP), and its Test First Design technique, relies so heavily upon unit tests that the first code implemented is made up entirely of test cases. Furthermore, XP considers a feature to be completely coded only when all of its test cases pass. However, passing all test cases does not necessarily mean the test cases are good. Extreme Coverage (XC) is a new approach that helps to assess and improve the quality of software by enhancing unit testing.

APA, Harvard, Vancouver, ISO, and other styles

8

Yazdan, Panah Arian. "Nonuniform Coverage with Time-Varying Risk Density Function." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/33007.

Full text

Abstract:

Multi-agent systems are extensively used in several applications. An important class of applications involves the optimal spatial distribution of a group of mobile robots on a given area, where the optimality refers to the assignment of subregions to the robots, in such a way that a suitable coverage metric is maximized. Typically the coverage metric encodes a risk distribution defined on the area, and a measure of the performance of individual robots with respect to points inside the region of interest. The coverage metric will be maximized when the set of mobile robots configure themselves a

APA, Harvard, Vancouver, ISO, and other styles

9

Corrà, Giorgio. "Motion planning for coverage with vision-inspired sensors." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-194314.

Full text

Abstract:

In this work, we address the problem of deploying a team of mobile sensing agents for monitoring a 3-D structure. A function for measuring the quality of the vision is defined and we use a line search method for optimizing the pose of single sensors. The algorithm is extended for collaborative coverage, exploiting intermittent communication between pairs of agents. The algorithm is enriched with a collision avoidance method for working in a constrained environment. All the proposed algorithms are tested in simulations and real-word aerial robots.<br>Sammanfattning: Denna avhandling är inriktad

APA, Harvard, Vancouver, ISO, and other styles

10

Zhang, Tong. "Automatic Verification Assertion Extraction with High Functional Coverage." Case Western Reserve University School of Graduate Studies / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=case1507236866887669.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Gangadhar, Sreenivas. "Delay fault coverage for circuits with embedded latches /." Available to subscribers only, 2007. http://proquest.umi.com/pqdweb?did=1453188931&sid=7&Fmt=2&clientId=1509&RQT=309&VName=PQD.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Sanderson, Michael, Michelle McMahon, and Mike Steel. "Phylogenomics with incomplete taxon coverage: the limits to inference." BioMed Central, 2010. http://hdl.handle.net/10150/610378.

Full text

Abstract:

BACKGROUND:Phylogenomic studies based on multi-locus sequence data sets are usually characterized by partial taxon coverage, in which sequences for some loci are missing for some taxa. The impact of missing data has been widely studied in phylogenetics, but it has proven difficult to distinguish effects due to error in tree reconstruction from effects due to missing data per se. We approach this problem using a explicitly phylogenomic criterion of success, decisiveness, which refers to whether the pattern of taxon coverage allows for uniquely defining a single tree for all taxa.RESULTS:We esta

APA, Harvard, Vancouver, ISO, and other styles

13

Bansal, Kunal. "Increasing Branch Coverage with Dual Metric RTL Test Generation." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/96581.

Full text

Abstract:

In this thesis, we present a new register-transfer level (RTL) test generation method that makes use of two coverage metrics, Branch Coverage, and Mutation Coverage across two stages, to cover hard-to-reach points previously unreached. We start with a preprocessing stage by converting the RTL source to a C++ equivalent using a modified Verilator, which also automatically creates mutants and the corresponding mutated C++ design, based on arithmetic, logical and relational operators during conversion. With the help of extracted Data Dependency and Control Flow Graphs, in every <golden, mut

APA, Harvard, Vancouver, ISO, and other styles

14

Tiikkainen, M. (Martti). "Automated functional coverage driven verification with Universal Verification Methodology." Master's thesis, University of Oulu, 2017. http://jultika.oulu.fi/Record/nbnfioulu-201711033027.

Full text

Abstract:

Abstract. In this Master’s thesis, the validity of Universal Verification Methodology in digital design verification is studied. A brief look into the methodology’s history is taken, and its unique properties and object-oriented features are presented. Important coverage topics in project planning are discussed, and the two main types of coverage, code and functional coverage, are explained and the methods how they are captured are presented. The practical section of this thesis shows the implementation of a monitoring environment and an Universal Verification Methodology environment. The mon

APA, Harvard, Vancouver, ISO, and other styles

15

D'Urso, Giovanni Salvatore. "Multi-Robot Refill Scheduling with Queueing for Resource Constrained Coverage." Thesis, The University of Sydney, 2018. http://hdl.handle.net/2123/18759.

Full text

Abstract:

This thesis addresses the problem of refill scheduling for a team of vehicles or robots that must contend for access to a single physical location for refilling. The objective is to minimise time spent in travelling to/from the refill station and also time lost to queuing (waiting for access). Principled results for this problem in the context of agricultural operations are presented. We prove that there is a maximum number of vehicles which can usefully work together. We then focus on the design of practical algorithms and present exact and approximate solutions. The two exact algorithms we

APA, Harvard, Vancouver, ISO, and other styles

16

Chakraborty, Suparna. "Coverage-Oriented Reliability of Wireless Sensor Networks with Multistate Nodes." Thesis, Curtin University, 2021. http://hdl.handle.net/20.500.11937/86953.

Full text

Abstract:

To quantify the flow-oriented reliability and coverage-oriented reliability of WSNs with multistate nodes, this thesis proposes new metrics: WSN Reliability (WSNRel), Area-Coverage Reliability (ACR) and Coverage-oriented Reliability (CORE). WSNRel provides a minimal-path based approach to evaluate flow-oriented reliability of WSNs with multistate nodes. The metrics, ACR, and CORE, aim at quantifying the coverage-oriented capability of a WSN. To quantify ACR and CORE, Monte Carlo simulation approaches that utilize an energy matrix are presented.

APA, Harvard, Vancouver, ISO, and other styles

17

Ochoa, Gallardo Ricardo. "Reducing post-silicon coverage monitoring overhead with emulation and statistical analysis." Thesis, University of British Columbia, 2015. http://hdl.handle.net/2429/54393.

Full text

Abstract:

With increasing design complexity, post-silicon validation has become a critical problem. In pre-silicon validation, coverage is the primary metric of validation effectiveness, but in post-silicon, the lack of observability makes coverage measurement problematic. On-chip coverage monitors are a possible solution, where a coverage monitor is a hardware circuit that sets to one when the coverage event of interest occurs. However, prior research has shown that the overhead is prohibitive for anything beyond a small number of coverage monitors. In this thesis, I explore techniques that reduce the

APA, Harvard, Vancouver, ISO, and other styles

18

Oleribe, Obinna Ositadimma. "Individual and Socioeconomic Factors Associated With Childhood Immunization Coverage in Nigeria." ScholarWorks, 2017. https://scholarworks.waldenu.edu/dissertations/2858.

Full text

Abstract:

Immunization remains one of the most successful and cost-effective public health interventions worldwide. The purpose of this study was to examine the individual and socioeconomic factors that influence childhood immunization coverage in Nigeria. The health belief model and the social ecological model were used as the theoretical framework for the study, which examined the effects of individual, parental, and socioeconomic factors on complete immunization among Nigerian children. Univariate, bivariate, and multivariate tests were conducted within a secondary analysis of 2013 Nigerian National

APA, Harvard, Vancouver, ISO, and other styles

19

Orbay, Berk. "An Interactive Evolutionary Algorithm For The Multiobjective Relocation Problem With Partial Coverage." Master's thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613196/index.pdf.

Full text

Abstract:

In this study, a bi-objective capacitated facility location problem is presented which includes partial coverage concept and relocation of facility nodes. In partial coverage, a predefined distance between a demand node and a facility node is assumed to be fully covered. After the predefined distance, the service level commences to decay linearly. The problem is designed to consider the existence of already functioning facility nodes. It is allowed to close these existing facilities and open new facilities in potential sites. However, existing facility nodes are strongly favored against new fa

APA, Harvard, Vancouver, ISO, and other styles

20

Toreyen, Ozgun. "Hierarchical Maximal Covering Location Problem With Referral In The Presence Of Partial Coverage." Master's thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608771/index.pdf.

Full text

Abstract:

We consider a hierarchical maximal covering location problem to locate p health centers and q hospitals in such a way that maximum demand is covered, where health centers and hospitals have successively inclusive hierarchy. Demands are 3 types: demand requiring low-level service only, demand requiring high-level service only, and demand requiring both levels of service at the same time. All types of requirements of a demand point should be either covered by hospital providing both levels of service or referred to hospital via health center since a demand point is not covered unless all levels

APA, Harvard, Vancouver, ISO, and other styles

21

Mohammad, Hossein Fallah Mostafa. "Coordinated Deployment of Multiple Autonomous Agents in Area Coverage Problems with Evolving Risk." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/33164.

Full text

Abstract:

Coordinated missions with platoons of autonomous agents are rapidly becoming popular because of technological advances in computing, networking, miniaturization and combination of electromechanical systems. These multi-agents networks coordinate their actions to perform challenging spatially-distributed tasks such as search, survey, exploration, and mapping. Environmental monitoring and locational optimization are among the main applications of the emerging technology of wireless sensor networks where the optimality refers to the assignment of sub-regions to each agent, in such a way that a su

APA, Harvard, Vancouver, ISO, and other styles

22

Owusu, Kyei Michael. "Assessment of cataract blindness prevalence and factors associated with surgical coverage in Rwanda." Master's thesis, Faculty of Health Sciences, 2020. http://hdl.handle.net/11427/32320.

Full text

Abstract:

Background: The Rapid Assessment of Avoidable Blindness (RAAB) survey methodology is a cost-effective tool for assessing the burden of blindness and cataract surgical services in a population. This study analyses the 2015 Rwanda National RAAB data to ascertain whether there are gender differences in access to cataract surgical services and also assess whether there is an association between measured distances travelled to access cataract surgical services and the cataract surgical coverage (CSC) in the country. Methods: Secondary data non automated analysis was performed on the 2015 Rwanda RAA

APA, Harvard, Vancouver, ISO, and other styles

23

Molitor, Torsten. "Coverage Prediction for Inter-Frequency Handover using Machine Learning with Aggregated Training Data." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286676.

Full text

Abstract:

An important application of Machine Learning (ML) in mobile networks is to predict if a user device has coverage on a frequency other than the current serving frequency. This is a use-case called Secondary Carrier Prediction (SCP). In this thesis we deduce if data across different cells and frequencies can be successfully combined when learning this task, thus reducing the number of models that require training. Aggregation of data involves several challenges, such as different prevalences and varying amounts of available data, but more importantly the possibility of achieving synergies in tra

APA, Harvard, Vancouver, ISO, and other styles

24

Mitra, Rupendra Nath. "E-SCALE: Energy Efficient Scalable Sensor Coverage with Cell-phone App Using LTE." University of Cincinnati / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1447158244.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Wang, Haonan. "Novel Techniques for Rapid Cardiac Perfusion Magnetic Resonance Imaging with Whole Heart Coverage." BYU ScholarsArchive, 2016. https://scholarsarchive.byu.edu/etd/6435.

Full text

Abstract:

Magnetic Resonance Imaging (MRI) is a non-invasive medical imaging method that is used in the diagnosis of many common diseases. Compared to other medical imaging modalities, MRI has the ability to provide high-resolution 2D and 3D images in arbitrary orientations, without the use of potentially damaging ionizing radiation. Myocardial perfusion MRI is a promising non- invasive clinical way to detect cardiac disease. It can also provide quantitative analysis for blood flow within the heart. However, MRI requires longer scan times to acquire images at comparable resolutions to some other imaging

APA, Harvard, Vancouver, ISO, and other styles

26

DIAS, RAFAELA DE GREGORIO. "ADVERSE SELECTION IN THE OUTPUT OF INSURANCE PLANS WITH COVERAGE FOR DEATH AND SURVIVAL." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2010. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=16801@1.

Full text

Abstract:

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>O estudo individualizado da mortalidade em planos de previdência e de seguros de vida é um assunto de crescente interesse tanto por parte das seguradoras quanto do órgão regulador destes segmentos, a Superintendência de Seguros Privados – SUSEP. Neste sentido, o LABMA/UFRJ calculou tábuas de referência para o mercado segurador, segregadas por sexo e cobertura, utilizando informações sobre 80% dos segurados das companhias seguradoras que atuam no Brasil. A teoria econômica prediz que existe um viés nas saídas dos planos com cobertura por sob

APA, Harvard, Vancouver, ISO, and other styles

27

Imprialou, Martha. "Genetic and genomic analysis of arabidopsis thaliana with low-coverage next-generation sequencing data." Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:136aed76-8a6a-401f-99e4-559a2939cd21.

Full text

Abstract:

Next-generation sequencing technologies have transformed our understanding of genetic variation segregating in populations and its relationship with phenotypic traits. Sequencing large populations at low coverage, thus sampling only a fraction of the genome of each individual, may increase statistical power in genetic mapping [Pasaniuc,2012] compared to genotyping arrays. This thesis explores several novel applications of low-coverage population-based sequencing, using data from 488 recombinant inbred lines from the MAGIC population of Arabidopsis thaliana, descended from 19 inbred founder acc

APA, Harvard, Vancouver, ISO, and other styles

28

BRÄNNLUND, NIKLAS. "Time of use pricing strategy for Indian microgrids subordinate to grids with unreliable coverage." Thesis, KTH, Energiteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-245186.

Full text

Abstract:

In the last decade microgrids has become a usual way of providing electricity resilience in rural India. With the electrification of rural villages happening rapidly the national grid fails to provide reliable electricity distribution, and microgrids has proven a good way of improving upon the lacking electricity quality. Although many cases exist where a microgrid and the national grid serves the same village, in very few of these cases the microgrid and the national grid interconnects exporting and importing electricity from each other, but instead operates in parallel, rendering the microgr

APA, Harvard, Vancouver, ISO, and other styles

29

Bagri, Sharad. "Improving Branch Coverage in RTL Circuits with Signal Domain Analysis and Restrictive Symbolic Execution." Thesis, Virginia Tech, 2015. http://hdl.handle.net/10919/51625.

Full text

Abstract:

Considerable research has been directed towards efficient test stimuli generation for Register Transfer Level (RTL) circuits. However, stimuli generation frameworks are still not capable of generating effective stimuli for all circuits. Some of the limiting factors are 1) It is hard to ascertain if a branch in the RTL code is reachable, and 2) Some hard-to-reach branches require intelligent algorithms to reach them. Since unreachable branches cannot be reached by any test sequence, we propose a method to deduce unreachability of a branch by looking for the possible values which a signal can ta

APA, Harvard, Vancouver, ISO, and other styles

30

Holody, Kyle J. "Framing Death: The Use of Frames in Newspaper Coverage of and Press Releases about Death with Dignity." Thesis, Virginia Tech, 2006. http://hdl.handle.net/10919/33154.

Full text

Abstract:

Since passing its Death with Dignity Act into law in 1997, Oregon remains the only state in America to make physician-assisted suicide an explicit legal right. Currently, the legality of physician-assisted suicide falls under the jurisdiction of each individual state. Had the United States Supreme Court ruled differently in a recent case, however, the issue would have transferred to federal jurisdiction. The Death with Dignity National Center (DDNC) takes responsibility for developing the original Death with Dignity Act and has since moved on to proposing similar legislation in other states

APA, Harvard, Vancouver, ISO, and other styles

31

Kamanda, Bataringaya Cos. "Immunization coverage and factors associated with failure to complete childhood immunization in Kawempe Division, Uganda." Thesis, University of the Western Cape, 2010. http://hdl.handle.net/11394/2595.

Full text

Abstract:

Magister Public Health - MPH<br>The aim of the study was to describe immunization coverage for DPT, Polio and Measles among children of ages between 12 to 18 months in Kawempe Division and to investigate factors associated with immunization coverage. A cross-sectional survey was conducted in 239 households with children aged between 12-18 months in five villages that were selected through multi-stage cluster sampling. Information on demographic and socio-economic factors and immunization status was obtained from mothers and caretakers. Immunization coverage and analysis of associations between

APA, Harvard, Vancouver, ISO, and other styles

32

Lee, Young-Kyun. "Strategic ship routing with satellite altimeter-based dynamic ocean current information: impacts of temporal coverage /." The Ohio State University, 1994. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487853913100593.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Wall, Stacey L. "Newspaper coverage of people with disabilities a New Zealand perspective /." 2007. http://adt.waikato.ac.nz/public/adt-uow20070612.160312/index.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Eftekhari, Hesari Mohsen. "Barrier Coverage with Wireless Sensor Networks." Thesis, 2014. http://spectrum.library.concordia.ca/978533/1/EftekhariHesari_PhD_S2014.pdf.

Full text

Abstract:

We study the problem of barrier coverage with a wireless sensor network. Each sensor is modelled by a point in the plane and a sensing disk or coverage area centered at the sensor's position. The barriers are usually modelled as a set of line segments on the plane. The barrier coverage problem is to add new sensors or move existing sensors on the barriers such that every point on every barrier is within the coverage area of some sensors. Barrier coverage using sensors has important applications, including intruder detection or monitoring the perimeter of a region. Given a set of barriers

APA, Harvard, Vancouver, ISO, and other styles

35

Wahdan, AHMED. "Automatic Magnetometer Calibration with Small Space Coverage." Thesis, 2013. http://hdl.handle.net/1974/8012.

Full text

Abstract:

The use of a standalone Global Navigation Satellite System (GNSS) has proved to be insufficient when navigating indoors or in urban canyons due to multipath or obstruction. Recent technological advances in low cost micro-electro-mechanical system (MEMS) – based sensors (like accelerometers, gyroscopes and magnetometers) enabled the development of sensor-based navigation systems. Although MEMS sensors are low-cost, lightweight, small size, and have low-power consumption, they have complex error characteristics. Accurate computation of the heading angle (azimuth) is one of the most important asp

APA, Harvard, Vancouver, ISO, and other styles

36

Perez, Alexandre Campos. "Dynamic code coverage with progressive detail levels." Master's thesis, 2012. http://hdl.handle.net/10216/65558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Peng, Shih-Fong, and 彭詩峰. "Coverage Guided Fuzz Testing with Binary Rewriting." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/634d66.

Full text

Abstract:

碩士<br>國立交通大學<br>網路工程研究所<br>106<br>Fuzz Testing is one of the popular techniques for finding software vulnerabilities, and Coverage-Guided Fuzz Testing is injecting analysis code into the target programs to collect code-coverage during execution, and through the coverage rate to determine how to mutate the input test data, gradually produce test data with a higher code coverage, to increase the possibility of finding program vulnerabilities. This paper proposes a static instrumentation method based on Binary Rewriting technology for Windows PE format executable files. It can achieve Coverage-G

APA, Harvard, Vancouver, ISO, and other styles

38

Perez, Alexandre Campos. "Dynamic code coverage with progressive detail levels." Dissertação, 2012. http://hdl.handle.net/10216/65558.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Shih, Shao-Ting, and 施紹廷. "Complete Area Coverage Navigation with Minimum Trajectory Length." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/9taxn2.

Full text

Abstract:

碩士<br>國立臺北大學<br>電機工程學系<br>103<br>Complete area coverage navigation (CAC) requires a special type of robot path planning, where the robots should visit every point of the state workspace. CAC is an essential issue for cleaning robots and many other robotic applications. In addition to cleaning robots, plenty of robotics applications also require CAC, e.g. autonomous underwater coving vehicles, painter robots, lawn mowers, demining robots, automated harvesters, and window cleaners, etc. Real-time complete area coverage path planning is desirable for efficient performance in many applications. In

APA, Harvard, Vancouver, ISO, and other styles

40

Lin, Cheng-Han, and 林承瀚. "Period Unknown Masking Mechanism with High Fault Coverage." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/51148932752022372685.

Full text

Abstract:

碩士<br>淡江大學<br>電機工程學系碩士班<br>102<br>With the recent development of IC testing, IC designs have become more complex and smaller in size. Testing IC is no longer an easy task comparing to before, which inevitably reflects on the increase of testing costs. Unknown value(X) has always been presented in testing patterns data, therefore losing the accountability of the compressor’s output signal. In order to overcome this problem, the amount of controlled data needs to be increasing and there needs to be a better way to filter out the unknown value. This study will demonstrate various methods of IC te

APA, Harvard, Vancouver, ISO, and other styles

41

Chou, Chi-Heng, and 周其衡. "Test Coverage Optimization Problems with Large Code Size." Thesis, 2008. http://ndltd.ncl.edu.tw/handle/13817584289804557523.

Full text

Abstract:

碩士<br>國立交通大學<br>資訊科學與工程研究所<br>96<br>Regression testing is conducted frequently on major, minor, and even bug-fix software or firmware releases. For example, as a part of Cisco IOS source codes with 57,758 functions checked by 2,320 test cases, it requires 36 days if all test cases are run on a release. Previous research works on test reduction algorithms select test cases based on the test coverage information of statement-level conditions/branches and could not scale to larger programs, and thus are difficult to apply in real production systems. In this work, we aim to develop a practical tes

APA, Harvard, Vancouver, ISO, and other styles

42

Wu, Feng-Kuang, and 吳豐光. "K-Barrier Coverage with a Directional Sensing Model." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/38420944505014081676.

Full text

Abstract:

碩士<br>國立成功大學<br>電腦與通信工程研究所<br>95<br>In order to protect significant facilities or military area from the intruders, hundreds or thousands of microsensor nodes could be deployed in a long thin belt to detect intrusion attempts. The application in wireless sensor networks (WSNs) is referred as barrier coverage. Previous research used an omni-directional sensing model for the barrier coverage. This thesis makes use of directional sensors to construct k-barrier coverage of a belt region. In the thesis, theoretical foundations for laying barriers with the directioanl sensing model is developed. A m

APA, Harvard, Vancouver, ISO, and other styles

43

Mirghaderi, Seyed Reza. "Information Theoretic Aspects of Wireless Networks with Coverage Constraint." Thesis, 2007. http://hdl.handle.net/10012/3253.

Full text

Abstract:

A wireless multicast network with a stringent decoding delay constraint and a minimum coverage requirement is characterized when the fading channel state information is available only at the receiver side. In the first part, the optimal expected rate achievable by a random user in the network is derived in a single antenna system in terms of the minimum multicast requirement in two scenarios: hard coverage constraint and soft coverage constraint. In the first case, the minimum multicast requirement is expressed by multicast outage capacity while in the second case, the expected multicast rate

APA, Harvard, Vancouver, ISO, and other styles

44

Coons, Katherine Elizabeth. "Fast error detection with coverage guarantees for concurrent software." 2013. http://hdl.handle.net/2152/21452.

Full text

Abstract:

Concurrency errors are notoriously difficult to debug because they may occur only under unexpected thread interleavings that are difficult to identify and reproduce. These errors are increasingly important as recent hardware trends compel developers to write more concurrent software and to provide more concurrent abstractions. This thesis presents algorithms that dynamically and systematically explore a program's thread interleavings to manifest concurrency bugs quickly and reproducibly, and to provide precise incremental coverage guarantees. Dynamic concurrency testing tools should provide (

APA, Harvard, Vancouver, ISO, and other styles

45

Wu, Jin-Zhou, and 吳晉州. "Power Control for Heterogeneous Cellular Networks with Coverage Constraints." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/fnfw7w.

Full text

Abstract:

碩士<br>國立交通大學<br>電信工程研究所<br>105<br>In this thesis, we develop a general modeling and analyzing framework for a heterogeneous wireless network (HetNet) which has some power control strategies for different situations to adapt the complex environment in practice. In order to evaluate the link coverage and the mean spectrum efficiency in different environment, we consider a HetNet consisting of multiple tiers of BSs and randomly distributed users. In each user association scenario, the void probabilities of the BSs in each tier are found and the tight lower bounds on the link coverage and the mean

APA, Harvard, Vancouver, ISO, and other styles

46

Tu, Nguyen Ngoc, and 阮玉秀. "An Efficient Method for Sweep Coverage With Minimum MobileSensor." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/70392200057224422624.

Full text

Abstract:

碩士<br>國立高雄應用科技大學<br>資通產品研發與生產碩士外國學生專班<br>101<br>In this latest study, most applications of WSN is to monitor a remote environment or can carry a small device compact but powerful can work equally effectively a system bulky equipment. Special in that I have to say to sweep coverage (which needs to monitor certain points of interest (POIs) periodically so the coverage at each POI is time-variant). In this work, I propose new method which optimal number of sensor required in weep coverage. When the mobile sensor is restricted to follow the same sweep periods, I apply checking distance to apply PD

APA, Harvard, Vancouver, ISO, and other styles

47

Hsieh, Wan-Yi, and 謝宛儀. "Testing Mobile Apps with Black-Box and Coverage Techniques." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/54005242210652020120.

Full text

Abstract:

碩士<br>國立臺灣大學<br>電機工程學研究所<br>102<br>Mobile applications (apps) present both great opportunities and new challenges to software industry. Most of the apps are developed by small teams that could not afford expensive software process and maintain appropriate documentations. It would be interesting and pragmatic to develop testing tools to help test engineers in such a situation. We develop a software tool that crawls through the screen activities of an app to automatically learn the &;#64257;nite-state machine (FSM) of the app and then generates test cases with a certain adequacy criterion. A res

APA, Harvard, Vancouver, ISO, and other styles

48

LI, CHUAN-FENG, and 李權峰. "Maximize Area Coverage in Directional Sensor Networks with Mobile Sensors." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/51297714093607753568.

Full text

Abstract:

碩士<br>中華大學<br>資訊工程學系碩士班<br>102<br>A directional sensor network is composed of many directional sensor nodes. Unlike conventional omni-directional sensors that always have an omni-angle of sensing range; directional sensors may have a limited angle of sensing range due to technical constraints or cost considerations. Area coverage is still an essential issue in a directional sensor network. In this paper, we will discuss how to move sensors to the smaller overlap region or no overlapping areas to enhance coverage rate to maximize coverage for area coverage. We present distributed self-deploymen

APA, Harvard, Vancouver, ISO, and other styles

49

Wei-TaoLi and 李維韜. "Bilateral Teleoperation Systems in Human-Swarm Interaction with Coverage Control." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/24877929317854019345.

Full text

Abstract:

碩士<br>國立成功大學<br>機械工程學系<br>104<br>Multi-robots system has been developed in recent years to accomplish more complicated tasks. Furthermore, adding a human operation can improve exibility and maneuverability for the control system, which is called the human-swarm system. In this thesis, the environmental information is also added to control framework so that the swarm robot can execute further applications such as exploration or mapping. For the swarm robot system, the eff ects due to human operator and environment are simultaneously combined to the density function. Implementing the coverage co

APA, Harvard, Vancouver, ISO, and other styles

50

Chao, Edward Shih-Chia. "Multiple base site coverage with overlapping and overlaying wireless architectures." Thesis, 1998. http://hdl.handle.net/2429/7620.

Full text

Abstract:

The demand for cellular radio and personal communications services (PCS) continues to increase. Expectations for third generation wireless systems include higher data rates, improved quality of service, and ubiquitous coverage and access. Microcells with low base site transceiver antenna heights and small coverage areas are proposed to increase capacity. Microcellular architectures increase the frequency of handoffs and areas of low radio signal levels (radio "holes"). Accordingly, we propose multiple base site coverage with either extended overlapping microcells or macrocells overlaying

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!