Search for dissertations about: "demand specification"

Showing result 1 - 5 of 38 swedish dissertations containing the words demand specification.

  2. 1. Studies in Local Public Transport Demand

    Author : Johan Holmgren; Jan Owen Jansson; Lars Westin; Linköpings universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Public transport; Demand; Elasticity; Price; Service; Time series; Panel data; Kollektivtrafik; Efterfrågan; Elasticitet; Pris; Trafikutbud; Inkomst; Bilinnehav; Tidsserieanalys; Paneldata; Economics; Nationalekonomi;

    Abstract : This thesis consists of four papers where the overall purpose is to contribute to the understanding of how local public transport demand is affected by different factors. An underlying theme running trough the thesis is the two-way relationship between public transport demand and the service level caused by the fact that capacity and quality are joint products. READ MORE

  4. 2. Essays on Energy Demand and Household Energy Choice

    Author : Amin Karimu; Runar Brännlund; Jonas Nordström; Umeå universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Choice Probability; derivatives; energy policy; gasoline demand; propensity score; tax simulation; unobserved trend; nationalekonomi; Economics;

    Abstract : This thesis consists of four self-contained papers related to energydemand and household cooking energy.Paper [I] examine the impact of price, income and non-economicfactors on gasoline demand using a structural time series model. READ MORE

  5. 3. On the specification and verification of VLSI systems

    Author : Tony Larsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : System designers now have the opportunity to place on the order of 105-106 transistors on a single chip allowing larger and more complicated systems to be produced at reduced production costs. This opportunity increases the demand for appropriate design automation including tools for synthesis, analysis, and verification. READ MORE

  6. 4. Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis

    Author : Idriss Riouak; Programvaruteknik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Static program analysis; Declarative paradigms; Reference Attribute Grammars; Control flow analysis; Data flow analysis; IntraCFG framework; Bug detection; IntraJ Static Analyser; Interactive bug detection and fixing; JFeature Static Analyser;

    Abstract : Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. READ MORE

  7. 5. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

    Author : Gabriele Paganelli; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

    Abstract : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. READ MORE