Sökning: "Static analysis"

Visar resultat 6 - 10 av 539 avhandlingar innehållade orden Static analysis.

  1. 6. Pain analysis : A study in patients with chronic low back pain or fibromyalgia

    Författare :John Sörensen; Alf Udén; Linköpings universitet; []
    Nyckelord :MEDICINE; MEDICIN;

    Sammanfattning : Chronic low back pain (CLBP} and fibromyalgia (FM} are two common chronic pain conditions in which the pain processing mechanisms are not well understood. To identify the types of pain, we used different intravenous {t.v. LÄS MER

  3. 7. Towards a Framework for Static Analysis Based on Points-to Information

    Författare :Marcus Edvinsson; Welf Löwe; Joakim Nivre; Christoph Kessler; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Static analysis; Points-to analysis; Framework; Computer science; Datalogi; Computer and Information Sciences Computer Science; Data- och informationsvetenskap;

    Sammanfattning : Static analysis on source code or binary code retrieves information about a software program. In object-oriented languages, static points-to analysis retrieves information about objects and how they refer to each other. LÄS MER

  4. 8. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

    Författare :Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Computer Science with specialization in Real Time Systems; Datavetenskap med inriktning mot realtidssystem;

    Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER

  5. 9. Model-Based Investigation of Machining Systems Characteristics : Static and Dynamic Stability Analysis

    Författare :Andreas Archenti; Mihai Nicolescu; Amir Rashid; KTH; []
    Nyckelord :Machining systems; modelling; TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : The increasing demands for precision and efficiency in machining call for new control strategies for machining systems based on the identification of static and dynamic characteristics under operational conditions. By considering the machining system as a closed-loop system consisting of a machine tool structure and a machining process, the join system characteristics can be analyzed. LÄS MER

  7. 10. Tracking Information Flows in Interactive and Object-Oriented Programs

    Författare :Willard Thor Rafnsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; information security; privacy; static analysis; information flow; program analysis; confidentiality; dependency analysis;

    Sammanfattning : This thesis improves the current state of the art on information-flow control of interactive and object-oriented programs, respectively. Given a policy which specifies which information flows are permitted in a program, the objective here is to ensure that only flows satisfying the policy can occur. LÄS MER