NETS

Results: 1664



#Item
81

Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic Jeremy T. Bradley Nicholas J. Dingle Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial Colleg

Add to Reading List

Source URL: pubs.doc.ic.ac.uk

- Date: 2007-06-23 11:07:35
    82

    ISSNPetri Nets 2000 21st International Conference on Application and Theory of Petri Nets Aarhus, Denmark, June 26-30, 2000

    Add to Reading List

    Source URL: www.daimi.au.dk

    - Date: 2000-06-08 11:38:51
      83

      Petri Net Newsletter, ISSNGesellschaft für Informatik (GI), Germany, Volume 83, AprilPetri Nets Research at BTU in Cottbus, Germany

      Add to Reading List

      Source URL: www-dssz.informatik.tu-cottbus.de

      - Date: 2014-07-07 07:44:22
        84

        Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2012-03-07 10:57:44
          85

          Backwards Differentiation in AD and Neural Nets: Past Links and New Opportunities Paul J. Werbos1 Abstract Backwards calculation of derivatives – sometimes called the reverse mode, the full adjoint method, or backpropa

          Add to Reading List

          Source URL: www.die.uchile.cl

          - Date: 2010-09-13 16:46:32
            86

            ν-Petri Nets Fast-Growing Complexity Backward Coverability

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2016-03-15 05:37:09
              87

              Increasing Datacenter Network Utilisation with GRIN Alexandru Agache, Razvan Deaconescu and Costin Raiciu University Politehnica of Bucharest Abstract Various full bisection designs have been proposed for datacenter netw

              Add to Reading List

              Source URL: nets.cs.pub.ro

              - Date: 2015-02-26 07:39:02
                88

                Datacenter Scale Load Balancing for Multipath Transport Vladimir Olteanu University Politehnica of Bucharest Abstract

                Add to Reading List

                Source URL: nets.cs.pub.ro

                - Date: 2016-06-02 04:15:14
                  89

                  Copy of Q1-2015 IPR Cable Nets.xlsm

                  Add to Reading List

                  Source URL: static-sproutonline.nbcuni.com

                  - Date: 2015-06-12 12:06:40
                    90

                    Six magnificent tented suites complete with teak floorboards, dreamy mosquito nets, slipper baths, outdoor showers and a superb view of the seasonal river are linked to the main lodge area by raised timber walkways among

                    Add to Reading List

                    Source URL: extraordinary.co.za

                    - Date: 2016-04-20 01:27:25
                      UPDATE