Sökning: "deadlock"

Visar resultat 1 - 5 av 25 avhandlingar innehållade ordet deadlock.

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Scheduling for production systems

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

    Sammanfattning : .... LÄS MER

  5. 4. Environments as specifications of processes

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

    Sammanfattning : .... LÄS MER

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

    Författare :Arash Vahidi Mazinani; Chalmers tekniska högskola; []
    Nyckelord :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;

    Sammanfattning : .... LÄS MER