Search for dissertations about: "Dynamic Programming"

Showing result 6 - 10 of 249 swedish dissertations containing the words Dynamic Programming.

  1. 6. Programming Memory-Constrained Networked Embedded Systems

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

    Abstract : 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. READ MORE

  2. 7. Dynamic enforcement of decentralized security policies

    Author : Jonas Magazinius; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dynamic; enforcement; security; policies; decentralized;

    Abstract : 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. READ MORE

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

    Author : Pablo Buiras; Chalmers tekniska högskola; []
    Keywords : 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;

    Abstract : 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. READ MORE

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

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

    Abstract : 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. READ MORE

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

    Author : Ylva Fernaeus; Carl Gustav Jansson; Kristina Höök; Jakob Tholander; Paul Dourish; Stockholms universitet; []
    Keywords : 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 ;

    Abstract : 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. READ MORE