Sökning: "high-level programming"

Visar resultat 31 - 35 av 88 avhandlingar innehållade orden high-level programming.

  1. 31. Scientific Computing on Multicore Architectures

    Författare :Martin Tillenius; Elisabeth Larsson; Sverker Holmgren; Jakub Kurzak; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; multicore; scientific computing; shared memory parallelism; task-based programming; parallel programming model; task scheduling; data versioning; Beräkningsvetenskap; Scientific Computing;

    Sammanfattning : Computer simulations are an indispensable tool for scientists to gain new insights about nature. Simulations of natural phenomena are usually large, and limited by the available computer resources. LÄS MER

  3. 32. Planning and Sequencing Through Multimodal Interaction for Robot Programming

    Författare :Batu Akan; Baran Çürüklü; Bengt Lennartson; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; human robot interaction; industrial robots; planning; multimodal interaction; Computer Science; datavetenskap;

    Sammanfattning : Over the past few decades the use of industrial robots has increased the efficiency as well as the competitiveness of several sectors. Despite this fact, in many cases robot automation investments are considered to be technically challenging. In addition, for most small and medium-sized enterprises (SMEs) this process is associated with high costs. LÄS MER

  4. 33. Protecting Functional Programs From Low-Level Attackers

    Författare :Adriaan Larmuseau; Dave Clarke; Julian Rathke; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Security; Functional Programming; Compilation; Interoperation; Bisimulation; Memory Protection; Datavetenskap; Computer Science;

    Sammanfattning : Software systems are growing ever larger. Early software systems were singular units developed by small teams of programmers writing in the same programming language. Modern software systems, on the other hand, consist of numerous interoperating components written by different teams and in different programming languages. LÄS MER

  5. 34. A Functional Language-Based Approach to Low-Level Hardware Design

    Författare :Emil Axelsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; non-functional properties; design exploration; interconnect; functional programming; wire-aware circuit generators; electronic design automation EDA ;

    Sammanfattning : The semiconductor industry is facing increasing problems with designing complex circuits with tight constraints on area, performance and power consumption. Worse still, these circuits must be designed and verified very quickly. LÄS MER

  7. 35. Strategies, Methods and Tools for Solving Long-term Transmission Expansion Planning in Large-scale Power Systems

    Författare :Desta Zahlay Fitiwi; Lennart Söder; Michel Rivier; Fernando de Cuadra; Andres Ramos; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Transmission expansion planning; uncertainty and variability; optimization; stochastic programming; moments technique; clustering; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Driven by a number of factors, the electric power industry is expected to undergo a paradigm shift with a considerably increased level of variable energy sources. A significant integration of such sources requires heavy transmission investments over geographically wide and large-scale networks. LÄS MER