Sökning: "Dynamic Programming"

Visar resultat 6 - 10 av 251 avhandlingar innehållade orden Dynamic Programming.

  1. 6. Programming Memory-Constrained Networked Embedded Systems

    Författare :Adam Dunkels; Mats Björkman; Thiemo Voigt; Kay Römer; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Wireless sensor networks; embedded systems; operating systems; programming; networking; TCP IP; Computer science; Datavetenskap; Datavetenskap;

    Sammanfattning : Ten years after the Internet revolution are we standing on the brink of another revolution: networked embedded systems that connect the physical world with the computers, enabling new applications ranging from environmental monitoring and wildlife tracking to improvements in health care and medicine. 98% of all microprocessors sold today are used in embedded systems. LÄS MER

  3. 7. Dynamic enforcement of decentralized security policies

    Författare :Jonas Magazinius; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; dynamic; enforcement; security; policies; decentralized;

    Sammanfattning : This thesis explores defining security policies in a decentralized setting and dynamic methods of enforcing such policies. In a decentralized setting, principals are free to trust or distrust other principals. The key challenge is to provide possibilities for expressing and enforcing expressive decentralized policies. LÄS MER

  4. 8. Securing functional programs with floating-label information-flow control

    Författare :Pablo Buiras; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; covert timing channels; LIO; concurrency; type-level programming; floating-label; Haskell; internal timing; dynamic enforcement; DC labels; dynamic policies; lazy evaluation; information-flow control; cache-based attacks; language-based security; hybrid enforcement; flow-sensitivity; functional programming; privileges;

    Sammanfattning : The work presented in this thesis focuses on information-flow control systems for functional programs, particularly on the LIO library in Haskell. The thesis considers threemain aspects in this area: timing covert channels, dynamic policies andenforcement mechanisms that improve precision of the analysis. LÄS MER

  5. 9. Skeleton Programming for Heterogeneous GPU-based Systems

    Författare :Usman Dastgeer; Christoph Kessler; Kristian Sandahl; Sergei Gorlatch; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Skeleton programming; GPU programming; SkePU; performance; portability; Computer science; Datavetenskap;

    Sammanfattning : In this thesis, we address issues associated with programming modern heterogeneous systems while focusing on a special kind of heterogeneous systems that include multicore CPUs and one or more GPUs, called GPU-based systems.We consider the skeleton programming approach to achieve high level abstraction for efficient and portable programming of these GPU-based systemsand present our work on SkePU library which is a skeleton library for these systems. LÄS MER

  7. 10. Let's Make a Digital Patchwork : Designing for Childrens Creative Play with Programming Materials

    Författare :Ylva Fernaeus; Carl Gustav Jansson; Kristina Höök; Jakob Tholander; Paul Dourish; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; children s programming; interaction design; tangible interaction; human-computer interaction; tangible programming; Computer and systems science; Data- och systemvetenskap; Man-Machine-Interaction MMI ; människa-maskin-interaktion MMI ;

    Sammanfattning : This thesis explores new approaches to making and playing with programming materials, especially the forms provided with screen-based digital media. Designing with these media expressions can be very attractive to children, but they are usually not made available to them in the same degree as are physical materials. LÄS MER