Lara

Results: 1812



#Item
201

Programming with Enumerable Sets of Structures Ivan Kuraj Viktor Kuncak Daniel Jackson

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2015-08-28 16:52:42
    202

    Energy-Oriented Partial Desktop Virtual Machine Migration NILTON BILA, University of Toronto and IBM Research ERIC J. WRIGHT and EYAL DE LARA, University of Toronto KAUSTUBH JOSHI, AT&T Labs Research ´ LAGAR-CAVILLA, Go

    Add to Reading List

    Source URL: www.eecg.toronto.edu

    Language: English
      203

      SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test

      Add to Reading List

      Source URL: lara.epfl.ch

      Language: English - Date: 2014-09-13 07:09:29
        204

        Counterexample-Guided Quantifier Instantiation for Synthesis in SMT? ?? a ct * Consi

        Add to Reading List

        Source URL: lara.epfl.ch

        Language: English - Date: 2015-06-02 06:29:57
          205

          Synthesizing Java Expressions from Free-Form Queries Viktor Kuncak ∗ Tihomir Gvero ´

          Add to Reading List

          Source URL: lara.epfl.ch

          Language: English - Date: 2015-08-28 07:09:35
            206

            Counter-Example Complete Verification for Higher-Order Functions Nicolas Voirol Etienne Kneuss

            Add to Reading List

            Source URL: lara.epfl.ch

            Language: English - Date: 2015-05-25 10:27:49
              207

              egta World Radio Day 2014 Spot scripts Concept and copywriting by Tom Garcia, Matthew Carver, Yuri Loburets and Ania Lara These scripts are available to be translated into any language and produced for non-commercial bro

              Add to Reading List

              Source URL: www.egta.com

              Language: English - Date: 2016-02-03 07:16:15
                208

                Journée d’étude « Enseigner le quanti » - 5 JuinLe langage quantitatif: s’immerger par les textes Muriel  EPSTEIN  (Transapi)   Lara  MAHI  (Sophiapol,  Université  Paris  Ouest)

                Add to Reading List

                Source URL: f.hypotheses.org

                Language: French - Date: 2015-06-22 04:52:06
                  209

                  Anerkannte Gütestellen im Landgerichtsbezirk Tübingen Lara Schmidt-Rüdt, Michael Gissibl (Rechtsanwälte) Schlichtungsstelle Ermstal Neue StraßeBad Urach Telefon

                  Add to Reading List

                  Source URL: www.justizportal-bw.de

                  Language: German - Date: 2014-01-10 07:11:02
                    210

                    Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) Viktor Kuncak? ´ Ecole

                    Add to Reading List

                    Source URL: lara.epfl.ch

                    Language: English - Date: 2014-05-24 11:45:01
                      UPDATE