Search for dissertations about: "runtime"

Showing result 1 - 5 of 191 swedish dissertations containing the word runtime.

2. 1. GF Runtime System

   Author : Krasimir Angelov; Chalmers tekniska högskola; []
   Keywords : parsing; GF; grammars;

   Abstract : Natural languages have been subject of studies for centuriesand are hot topic even today. The demand for computer systems able to communicate directly in natural language places new challenges. Computational resources like grammars and lexicons and efficient processing tools are needed. READ MORE

4. 2. Runtime Monitoring of Automated Driving Systems

   Author : Ayhan Mehmed; Sasikumar Punnekkat; Aida Causevic; Hans Hansson; Daniel Watzening; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Runtime Monitoring; Automated Driving Systems; Computer Science; datavetenskap;

   Abstract : It is the period of the World's history, where the technological progress reached a level that enables the first steps towards the development of vehicles with automated driving capabilities. The swift response from the significant portion of the industry resulted in a race, the final line set at the introduction of vehicles with full automated driving capabilities. READ MORE

5. 3. Unified Static and Runtime Verification of Object-Oriented Software

   Author : Mauricio Chimento; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Runtime Verification; Java; Static Verification; Formal Methods;

   Abstract : At the time of verifying software one can make use of several verification techniques. These techniques mostly fall in one of two categories: Static Verification and Dynamic Verification. READ MORE

6. 4. Towards Runtime-Assisted Cache Management for Task-Parallel Programs

   Author : Madhavan Manivannan; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; task parallelism; cache hierarchy; runtime system; dead blocks; multi-core architecture; sharing patterns;

   Abstract : Architects have adopted the shared memory model that implicitly manages cache coherence and cache capacity in hardware, mainly to aid programmability of multi-core architectures. The hardware mechanisms are however prone to inefficiencies because they are not tailored to the behavior of individual parallel applications. READ MORE

7. 5. Towards unanticipated runtime software evolution

   Author : Jens Gustavsson; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Abstract : For some software systems with high availability requirements, it is not acceptable to have the system shut down when a new version of it is to be deployed. An alternative is to use unanticipated runtime software evolution, which means making changes to the Software system while it is executing. READ MORE