Oded

Results: 300



#Item
11

A Tradeo Between Information and Communication in Broadcast Protocols (Revised version) Baruch Awerbuch 1 Oded Goldreich 2 David Peleg 3 Ronen Vainish 2

Add to Reading List

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

Language: English - Date: 2014-06-22 06:24:10
    12

    The Theory of Computing: A S ienti Perspe tive Oded Goldrei h  Avi Wigderson

    Add to Reading List

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

    Language: English - Date: 2009-08-13 03:08:15
      13

      Exploring Synthetic Mass Action Models? ´ am M. Hal´asz2 , Olivier Lebeltel1 , and Ouri Maler2 Oded Maler1 , Ad´ 1 VERIMAG

      Add to Reading List

      Source URL: www-verimag.imag.fr

      - Date: 2015-10-05 10:24:07
        14

        On Testing Expansion in Bounded-Degree Graphs Oded Goldreich and Dana Ron Abstract. We consider testing graph expansion in the bounded-degree graph model. Specifically, we refer to algorithms for testing whether the

        Add to Reading List

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

        - Date: 2010-07-22 08:07:03
          15

          Programming Language Concepts Mooly Sagiv Thursday 9-11, Schriber 317 TA: Oded Padon Email:

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2015-03-08 14:30:39
            16

            Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2016-12-07 03:56:32
              17

              Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-03-28 02:27:38
                18

                Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2016-03-17 14:06:02
                  19

                  Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2016-03-28 02:24:38
                    20

                    Automatic Software Verification Instructor: Mooly Sagiv TA: Oded Padon Slides from Eran Yahav and the Noun Project, Wikipedia

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-03-10 03:57:45
                      UPDATE