Deadlock

Results: 270



#Item
31Zentrum für Informationsdienste und Hochleistungsrechnen (ZIH) Routing on the Dependency Graph: A New Approach to Deadlock-Free High-Performance Routing Jens Domke

Zentrum für Informationsdienste und Hochleistungsrechnen (ZIH) Routing on the Dependency Graph: A New Approach to Deadlock-Free High-Performance Routing Jens Domke

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2016-06-02 03:41:57
3225 YEARS OF MOLDOVA’S INDEPENDENCE: A TRANSITION TO A DEADLOCK? A SEMINAR AT THE NEW EUROPE COLLEGE, BUCHAREST,

25 YEARS OF MOLDOVA’S INDEPENDENCE: A TRANSITION TO A DEADLOCK? A SEMINAR AT THE NEW EUROPE COLLEGE, BUCHAREST,

Add to Reading List

Source URL: www.nec.ro

Language: English - Date: 2016-03-11 08:40:56
    33

    THE RED STAR Vol-I, No-10, June 19-30, 2008 RsMain News Break the deadlock

    Add to Reading List

    Source URL: www.bannedthought.net

    Language: English - Date: 2009-12-11 14:23:40
      341 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software

      1 An automatic technique for static deadlock prevention Bertrand Meyer ETH Zurich, Innopolis University & Eiffel Software

      Add to Reading List

      Source URL: se.ethz.ch

      Language: English - Date: 2015-02-12 01:13:29
        35A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

        A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

        Add to Reading List

        Source URL: www-kb.is.s.u-tokyo.ac.jp

        Language: English - Date: 2006-05-29 01:35:05
          36Static Lock Capabilities for Deadlock Freedom ∗ Colin S. Gordon Michael D. Ernst Dan Grossman

          Static Lock Capabilities for Deadlock Freedom ∗ Colin S. Gordon Michael D. Ernst Dan Grossman

          Add to Reading List

          Source URL: www.cs.drexel.edu

          Language: English - Date: 2016-03-03 13:09:40
            37Implicitly-Typed Deadlock-Free Process Calculus

            Implicitly-Typed Deadlock-Free Process Calculus

            Add to Reading List

            Source URL: www.kb.ecei.tohoku.ac.jp

            Language: English - Date: 2010-04-22 22:15:04
              38Deadlock analysis of unbounded process networks Elena Giachino 1 , Naoki Kobayashi 2 , and Cosimo Laneve 1 1 Dept. of Computer Science and Egineering, University of Bologna – INRIA FOCUS 2

              Deadlock analysis of unbounded process networks Elena Giachino 1 , Naoki Kobayashi 2 , and Cosimo Laneve 1 1 Dept. of Computer Science and Egineering, University of Bologna – INRIA FOCUS 2

              Add to Reading List

              Source URL: www-kb.is.s.u-tokyo.ac.jp

              Language: English - Date: 2014-06-23 03:39:58
                39Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts Kohei Suenaga1 and Naoki Kobayashi2 1 2

                Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts Kohei Suenaga1 and Naoki Kobayashi2 1 2

                Add to Reading List

                Source URL: www.kb.ecei.tohoku.ac.jp

                Language: English - Date: 2007-04-23 05:03:27
                  40Implicitly-Typed Deadlock-Free Process Calculus

                  Implicitly-Typed Deadlock-Free Process Calculus

                  Add to Reading List

                  Source URL: www.kb.ecei.tohoku.ac.jp

                  Language: English - Date: 2010-03-15 02:28:28