نتایج جستجو برای: dubas bug
تعداد نتایج: 16220 فیلتر نتایج به سال:
A pilot of the e-Bug programme has been performed in Italy. Three thousand copies of e-Bug packs have been printed and distributed to primary and first-level secondary schools in three north-eastern regions of the country (Veneto, Trentino Alto Adige and Friuli Venezia Giulia). Following the programme design in the pack, lessons based on the e-Bug resources were delivered for 1 week in a primar...
Reports of bed bug infestations in major cities in the United States and abroad have been in the public press. Physicians and other clinicians who care for children need to be able to recognize bed bug bites and understand the social, psychological, and medical implications that this diagnosis will have on patients and their families. In this article, a case presentation serves to guide discuss...
Predominant phytophagous (plant-feeding) stink bugs in the southeast and much of the mid-South are similar and include the green stink bug, Acrosternum hilare (Say), the southern green stink-bug, Nezara viridula (L.), and the brown stink bug, Euschistus servus (Say). Several other species are part of the plantfeeding stink bug complex but are of less importance. Stink bugs will become more impo...
This paper is a report of a feasibility study into an alternative assessment of software processes at the micro-level. Using the novel approach of applying program slicing metrics to identify bug characteristics, the research studied relationships between bug characteristics and their bug fixing processes. The results suggested that specific characteristics such as cyclomatic complexity may rel...
We investigate the correctness of TimSort, which is the main sorting algorithm provided by the Java standard library. The goal is functional verification with mechanical proofs. During our verification attempt we discovered a bug which causes the implementation to crash. We characterize the conditions under which the bug occurs, and from this we derive a bug-free version that does not compromis...
In a survey we found that most developers have experienced duplicated bug reports, however, only few considered them as a serious problem. This contradicts popular wisdom that considers bug duplicates as a serious problem for open source projects. In the survey, developers also pointed out that the additional information provided by duplicates helps to resolve bugs quicker. In this paper, we th...
During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and...
BACKGROUND e-Bug is an educational resource which teaches children and young people about microbes, hygiene, infection, and prudent antibiotic use. The e-Bug resources are available in over 22 different languages and they are used widely across the globe. The resources can be accessed from the e-Bug website. OBJECTIVE The objective of this study was to analyze the usage of the e-Bug website i...
Bug resolution refers to the activity that developers perform to diagnose, fix, test, and document bugs during software development and maintenance. Given a bug report, we would like to recommend the set of bug resolvers that could potentially contribute their knowledge to fix it. We refer to this problem as developer recommendation for bug resolution. In this paper, we propose a new and accura...
Static code checkers have been useful for finding bugs in large-scale C code. Domain-specific checkers are particularly effective in finding deep/subtle bugs because they can make use of domain-specific knowledge. To develop domain-specific checkers, however, typical bug patterns in certain domains must first be extracted. This paper explores the use of machine learning to help extract bug patt...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید