Sökning: "bugs"

Visar resultat 21 - 25 av 61 avhandlingar innehållade ordet bugs.

  1. 21. Biological control of diamondback moth : the roles of predators, parasitoids and insecticides

    Författare :Freddy Miranda; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES;

    Sammanfattning : The diamondback moth Plutella xylostella L. (Lepidoptera: Plutellidae) is a serious pest of economically important crucifer crops such as cabbage. The moth has developed resistance to all tested insecticides and further studies on the potential role of factors affecting P. xylostella survival, including natural enemies, are urgently needed. LÄS MER

  3. 22. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

  4. 23. Property-based testing for functional programs

    Författare :Nicholas Smallbone; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; testing; Functional programming;

    Sammanfattning : This thesis advances the view that property-based testing is a powerful way of testing functional programs, that has advantages not shared by traditional unit testing. It does this by showing two new applications of property-based testing to functional programming as well as a study of the effectiveness of property-based testing. LÄS MER

  5. 24. Efficient symbolic state exploration of timed systems : Theory and implementation

    Författare :Johan Bengtsson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER

  7. 25. Performance problem diagnosis in cloud infrastructures

    Författare :Olumuyiwa Ibidunmoye; Erik Elmroth; Guilliano Casale; Viktoria Fodor; Henrik Björklund; Umeå universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Systems Performance; Performance anomalies; Performance bottlenecks; Cloud infrastructures; Cloud Computing; Cloud Services; Cloud Computing Performance; Performance problems; Performance anomaly detection; Performance bottleneck identification; Performance Root-cause Analysis; Computer Systems; datorteknik; Computer Science; datalogi;

    Sammanfattning : Cloud datacenters comprise hundreds or thousands of disparate application services, each having stringent performance and availability requirements, sharing a finite set of heterogeneous hardware and software resources. The implication of such complex environment is that the occurrence of performance problems, such as slow application response and unplanned downtimes, has become a norm rather than exception resulting in decreased revenue, damaged reputation, and huge human-effort in diagnosis. LÄS MER