Oded

Results: 300



#Item
91

Bounds on 2-Query Codeword Testing Eli Ben-Sasson Oded Goldreichy April 3, 2003

Add to Reading List

Source URL: www.wisdom.weizmann.ac.il

Language: English - Date: 2014-06-22 06:24:03
    92

    Monitoring Temporal Properties of Continuous Signals Oded Maler and Dejan Nickovic VERIMAG, 2 Av. de Vignate, 38610 Gi`eres, France [Dejan.Nickovic | Oded.Maler]@imag.fr Abstract. In this paper we introduce a variant o

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2006-04-29 10:47:42
      93

      On Systematic Simulation of Open Continuous Systems Jim Kapinski1 , Bruce H. Krogh1 , Oded Maler2 , and Olaf Stursberg3 1 Dept. of Electrical and Computer Engineering

      Add to Reading List

      Source URL: www-verimag.imag.fr

      Language: English - Date: 2015-07-01 07:58:32
        94

        Using Redundant Constraints for Refinement Eugene Asarin1 , Thao Dang2 , Oded Maler2 , and Romain Testylier2 1 LIAFA, CNRS and Universit´e Paris Diderot

        Add to Reading List

        Source URL: www-verimag.imag.fr

        Language: English - Date: 2010-06-14 06:37:23
          95

          Electronic Colloquium on Computational Complexity, Report NoImproved Testing Algorithms for Monotonicity Yevgeniy Dodis Oded Goldreichy Eric Lehmanz Sofya Raskhodnikovax

          Add to Reading List

          Source URL: www.wisdom.weizmann.ac.il

          Language: English - Date: 2014-06-22 06:27:54
            96

            Pipelined Scheduling of Acyclic SDF Graphs using SMT Solvers Pranav Tendulkar, Peter Poplavko, Oded Maler VERIMAG Lab (CNRS,University of Grenoble), France Abstract—We consider compile-time multi-core mapping and

            Add to Reading List

            Source URL: www-verimag.imag.fr

            Language: English - Date: 2014-12-15 05:55:09
              97

              November 2015 Oded Maler Verimag Centre Equation, 2, av. de VignateGi`eres, France E-Mail:

              Add to Reading List

              Source URL: www-verimag.imag.fr

              Language: English - Date: 2015-11-30 09:10:00
                98

                ON OPTIMAL AND REASONABLE CONTROL IN THE PRESENCE OF ADVERSARIES 1 Oded Maler ∗ ∗

                Add to Reading List

                Source URL: www-verimag.imag.fr

                Language: English - Date: 2007-02-22 12:13:08
                  99

                  On the Lattice Isomorphism Problem Ishay Haviv∗ Oded Regev† Abstract

                  Add to Reading List

                  Source URL: www2.mta.ac.il

                  Language: English - Date: 2013-10-29 10:23:49
                    100

                    A Note on the Distribution of the Distance from a Lattice Ishay Haviv∗ Vadim Lyubashevsky† Oded Regev‡

                    Add to Reading List

                    Source URL: www2.mta.ac.il

                    Language: English - Date: 2008-06-07 15:10:59
                      UPDATE