Uppsala model

Results: 27



#Item
1Approximations for Model Construction Aleksandar Zelji´c1 , Christoph M. Wintersteiger2 , and Philipp R¨ ummer1 1 Uppsala University, Sweden

Approximations for Model Construction Aleksandar Zelji´c1 , Christoph M. Wintersteiger2 , and Philipp R¨ ummer1 1 Uppsala University, Sweden

Add to Reading List

Source URL: www.philipp.ruemmer.org

Language: English - Date: 2014-09-22 06:45:01
    2Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@

    Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@

    Add to Reading List

    Source URL: www.hessel.nu

    Language: English - Date: 2017-06-26 03:03:03
      3Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

      Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

      Add to Reading List

      Source URL: refal.botik.ru

      - Date: 2018-03-21 12:44:11
        4A Dependency Projection Model for Phrase-Based SMT Christian Hardmeier Uppsala University Department of Linguistics and Philology Box 635, Uppsala, Sweden

        A Dependency Projection Model for Phrase-Based SMT Christian Hardmeier Uppsala University Department of Linguistics and Philology Box 635, Uppsala, Sweden

        Add to Reading List

        Source URL: www2.lingfil.uu.se

        - Date: 2014-10-16 02:36:39
          5A Formal Model of the Ada Ravenscar Tasking Pro le; Delay Until Kristina Lundqvist, Lars Asplund Uppsala University, Information Technology Dept. of Computer Systems P.O. Box 325, SUppsala, Sweden

          A Formal Model of the Ada Ravenscar Tasking Pro le; Delay Until Kristina Lundqvist, Lars Asplund Uppsala University, Information Technology Dept. of Computer Systems P.O. Box 325, SUppsala, Sweden

          Add to Reading List

          Source URL: www.sigada.org

          Language: English - Date: 1999-11-26 15:46:20
            6Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

            Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

            Add to Reading List

            Source URL: user.it.uu.se

            Language: English - Date: 2012-07-27 18:17:04
            7Uppsala Center for Fiscal Studies Department of Economics Working Paper 2013:11 Using the Discrete Model to Derive Optimal

            Uppsala Center for Fiscal Studies Department of Economics Working Paper 2013:11 Using the Discrete Model to Derive Optimal

            Add to Reading List

            Source URL: uu.diva-portal.org

            Language: English - Date: 2014-05-16 07:17:22
              8Sweden: Competition in the Pensions Sector – A Low Cost Model Edward Palmer Uppsala University &

              Sweden: Competition in the Pensions Sector – A Low Cost Model Edward Palmer Uppsala University &

              Add to Reading List

              Source URL: www.iopsweb.org

              Language: English - Date: 2014-07-16 09:05:03
                9Healthy persons are declared ill in a diagnostic society by Leif Elinder, MD, pediatrician and school doctor in Uppsala When cultural handicaps are classed as medical, nothing prevents new diagnoses like “dysfootballia

                Healthy persons are declared ill in a diagnostic society by Leif Elinder, MD, pediatrician and school doctor in Uppsala When cultural handicaps are classed as medical, nothing prevents new diagnoses like “dysfootballia

                Add to Reading List

                Source URL: www.informath.org

                Language: English - Date: 2007-01-30 13:12:43
                10Barrier model for nanostructured dye-sensitized solar cells Gerrit Boschloo* and Anders Hagfeldt Uppsala University Department of Physical Chemistry Box 579, Uppsala, Sweden Tel : +

                Barrier model for nanostructured dye-sensitized solar cells Gerrit Boschloo* and Anders Hagfeldt Uppsala University Department of Physical Chemistry Box 579, Uppsala, Sweden Tel : +

                Add to Reading List

                Source URL: www.quantsol.org

                Language: English - Date: 2009-03-20 11:57:31