Search for dissertations about: "Deadlock"

Showing result 1 - 5 of 23 swedish dissertations containing the word Deadlock.

  2. 1. Deadlock Free Routing in Mesh Networks on Chip with Regions

    Author : Rickard Holsmark; Shashi Kumar; Petru Eles; Axel Jantsch; Jönköping University; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Networks on Chip; Mesh Topology; Routing Algorithms; Wormhole Switching; Deadlock; Application Specific Routing; Systems engineering; Systemteknik; TECHNOLOGY;

    Abstract : There is a seemingly endless miniaturization of electronic components, which has enabled designers to build sophisticated computing structureson silicon chips. Consequently, electronic systems are continuously improving with new and more advanced functionalities. READ MORE

  4. 2. Global history or inter|nationalist discourse!? : Unsettling the 'comfort women' issue

    Author : Anna-Karin Eriksson; Mats Sjölin; Douglas Brommesson; Maria Stern; Linnéuniversitetet; []
    Keywords : HUMANIORA; HUMANITIES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; comfort women ; historical justice; human rights activism; populism; deadlock; Statsvetenskap; Political Science;

    Abstract : Survivors of the ‘comfort’ system, the state-sponsored regime of military sexual exploitation and a core institution in the expansion of the empire of Japan from 1932 to 1945, continue to go unrecognised almost 80 years past 1945 and 30 years after the breakthrough by human rights activists in 1991. That such a brutal regime of sexual exploitation remains unrecognised by the state is remarkable and merits attention. READ MORE

  5. 3. Scheduling for production systems

    Author : Torbjörn Liljenvall; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; heuristics; job-shop; limited buffers; A*; deadlock; multi purpouse batch plants; scheduling; flexible manufacturing systems; petri net; automata;

    Abstract : .... READ MORE

  6. 4. Environments as specifications of processes

    Author : Yi Wang; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; transition system; correctness; deadlock; specification; CCS; testing equivalence; implementation; protocol verification;

    Abstract : .... READ MORE

  7. 5. A study of symbolic tools in automatic control

    Author : Arash Vahidi Mazinani; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; binary decision diagrams; state explosion problem; supervisory control synthesis; deadlock avoidance; discrete event systems; symbolic model checking; formal methods;

    Abstract : .... READ MORE