TIMED

Results: 632



#Item
11

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
    12

    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
      13

      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
        14

        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
          15

          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
            16

            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
              17

              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
                18

                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
                  19

                  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
                    20

                    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
                      UPDATE