Search for dissertations about: "computer program"
Showing result 1 - 5 of 584 swedish dissertations containing the words computer program.
-
1. Program Analysis for Performance and Reliability
Abstract : 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. READ MORE
-
2. Deductive Program Analysis with First-Order Theorem Provers
Abstract : 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. READ MORE
-
3. Reality-based brain-computer interaction
Abstract : 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). READ MORE
-
4. Parallelized Program Analysis
Abstract : 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. READ MORE
-
5. Functional EDSLs for Web Applications
Abstract : 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. READ MORE