Sökning: "computer program"

Visar resultat 1 - 5 av 606 avhandlingar innehållade orden computer program.

  1. 1. Program Analysis for Performance and Reliability

    Författare :Jacob Lidman; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; static dynamic program analysis; abstract interpretation; performance; reliability;

    Sammanfattning : The increased demand for computing power has lead designers to put an ever increasing number of cores on processor dies. This advance has been made possible through miniaturization and effectivization of the underlying semi-conductor technology. As a by-product, however, the resulting computer systems are more vulnerable to interference. LÄS MER

  3. 2. Deductive Program Analysis with First-Order Theorem Provers

    Författare :Simon Robillard; Chalmers tekniska högskola; []
    Nyckelord :HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER

  4. 3. Reality-based brain-computer interaction

    Författare :Daniel Sjölie; Lars-Erik Janlert; Johan Eriksson; John Waterworth; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; reality-based brain-computer interaction; virtual reality; reality-based interaction; brain-computer interface; activity theory; the free-energy principle; grounded cognition; Cognitive science; Kognitionsvetenskap; Computer science; Datalogi; människa-datorinteraktion; människa-datorinteraktion;

    Sammanfattning : Recent developments within human-computer interaction (HCI) and cognitive neuroscience have come together to motivate and enable a framework for HCI with a solid basis in brain function and human reality. Human cognition is increasingly considered to be critically related to the development of human capabilities in the everyday environment (reality). LÄS MER

  5. 4. Parallelized Program Analysis

    Författare :Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Sammanfattning : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. LÄS MER

  7. 5. Functional EDSLs for Web Applications

    Författare :Anton Ekblad; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; functional programming; domain-specific programming languages; distributed systems; web applications; tierless programming languages;

    Sammanfattning : This thesis aims to make the development of complex web applications easier, faster and safer through the application of strongly typed functional programming techniques. Traditional web applications are commonly written in the de facto standard language of the web, JavaScript, which, being untyped, provides no guarantees regarding the data processed by programs, increasing the burden of testing and defensive programming. LÄS MER