TIMED

Results: 632



#Item
11StellarXplorers IV Practice Round 1 (PR1) Quiz Study Guide For each Qualifying Round of the competition, 20% of the total score will be based on an online Quiz. The Quizzes will be timed (30 minutes) and taken as a team

StellarXplorers IV Practice Round 1 (PR1) Quiz Study Guide For each Qualifying Round of the competition, 20% of the total score will be based on an online Quiz. The Quizzes will be timed (30 minutes) and taken as a team

Add to Reading List

Source URL: www.stellarxplorers.org

Language: English - Date: 2018-05-27 11:12:48
    12SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

    SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2010-08-07 21:45:25
      13Compatibility and replaceability analysis for timed web service protocols Boualem Benatallah CSE, UNSW Sydney NSW 2052, Autralia

      Compatibility and replaceability analysis for timed web service protocols Boualem Benatallah CSE, UNSW Sydney NSW 2052, Autralia

      Add to Reading List

      Source URL: julien.ponge.org

      Language: English - Date: 2015-02-16 03:42:49
        14REVISED ESTIMATED TIMED AGENDA/ACTION TAKEN REPORT CALIFORNIA TRANSPORTATION COMMISSION http://www.catc.ca.gov March 21-22, 2018 Orange, California

        REVISED ESTIMATED TIMED AGENDA/ACTION TAKEN REPORT CALIFORNIA TRANSPORTATION COMMISSION http://www.catc.ca.gov March 21-22, 2018 Orange, California

        Add to Reading List

        Source URL: dot.ca.gov

        Language: English - Date: 2018-05-24 18:05:26
          15Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2

          Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2

          Add to Reading List

          Source URL: drops.dagstuhl.de

          Language: English - Date: 2016-12-08 09:49:05
            16Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

            Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

            Add to Reading List

            Source URL: user.it.uu.se

            Language: English - Date: 2017-12-22 10:05:56
              17Parameterized verification of many identical probabilistic timed processes Nathalie Bertrand1 and Paulin Fournier2 1 2

              Parameterized verification of many identical probabilistic timed processes Nathalie Bertrand1 and Paulin Fournier2 1 2

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2013-10-22 08:12:52
                18Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

                Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2016-01-18 08:43:29
                  19CORRECTNESS AND REDUCTION IN TIMED CIRCUIT ANALYSIS by Eric G Mercer

                  CORRECTNESS AND REDUCTION IN TIMED CIRCUIT ANALYSIS by Eric G Mercer

                  Add to Reading List

                  Source URL: www.async.ece.utah.edu

                  Language: English - Date: 2015-11-04 17:38:55
                    2018-5 IEEE Asian Solid-State Circuits Conference November 9-11,Xiamen, Fujian, China Reconfigurable Self-Timed Regenerators for

                    18-5 IEEE Asian Solid-State Circuits Conference November 9-11,Xiamen, Fujian, China Reconfigurable Self-Timed Regenerators for

                    Add to Reading List

                    Source URL: blaauw.engin.umich.edu

                    Language: English - Date: 2018-03-13 15:03:26