INF

Results: 15295



#Item
471

Supervisory Controller Synthesis for Product Lines Using CIF 3 Maurice H. ter Beek1 , Michel A. Reniers2 , and Erik P. de Vink2,3(B) 1 2

Add to Reading List

Source URL: blog.inf.ed.ac.uk

Language: English - Date: 2017-02-23 10:27:05
    472

    Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis Fabian Hueske Aljoscha Krettek

    Add to Reading List

    Source URL: workshops.inf.ed.ac.uk

    Language: English - Date: 2012-08-02 09:47:53
      473

      diss. eth noLEARNING FROM LARGE CODEBASES A thesis submitted to attain the degree of

      Add to Reading List

      Source URL: www.sri.inf.ethz.ch

      Language: English - Date: 2018-05-15 09:27:08
        474

        Haskell DSLs for Interactive Web Services Andrew Farmer Andy Gill Information and Telecommunication Technology Center

        Add to Reading List

        Source URL: workshops.inf.ed.ac.uk

        Language: English - Date: 2012-08-07 05:06:15
          475

          Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,

          Add to Reading List

          Source URL: www.sri.inf.ethz.ch

          Language: English - Date: 2018-05-15 09:28:45
            476

            Regelungen für kumulative Promotionen in Promotionsverfahren der Abteilung Informatik und Angewandte Kognitionswissenschaft  

            Add to Reading List

            Source URL: www.is.inf.uni-due.de

            Language: German - Date: 2018-03-01 04:07:02
              477

              Regularised Range Flow Hagen Spies1,2 , Bernd J¨ahne1 , and John L. Barron2 1 Interdisciplinary Center for Scientific Computing, University of Heidelberg, INF 368, 69120 Heidelberg, Germany,

              Add to Reading List

              Source URL: www.csd.uwo.ca

              Language: English - Date: 2017-05-15 17:40:45
                478

                Complements Witness Consistency (Short Paper) James McKinna LFCS, School of Informatics University of Edinburgh

                Add to Reading List

                Source URL: groups.inf.ed.ac.uk

                Language: English - Date: 2016-10-14 05:17:56
                  479

                  Exercise 4 Smart Contracts Program Analysis for System Security and Reliability 2018 ETH Zurich March 24, 2018

                  Add to Reading List

                  Source URL: www.sri.inf.ethz.ch

                  Language: English - Date: 2018-05-15 09:28:46
                    480

                    Can Documents be Linked Data? Kate Byrne, Language Technology Group, University of Edinburgh This paper expands upon a presentation given at the CIGS workshop on Linked Data, held in Edinburgh on 18th NovemberIt s

                    Add to Reading List

                    Source URL: homepages.inf.ed.ac.uk

                    Language: English - Date: 2014-10-13 10:45:19
                      UPDATE