Reduction

Results: 50734



#Item
351

Unfolding-based Partial Order Reduction∗ César Rodríguez1 , Marcelo Sousa2 , Subodh Sharma3 , and Daniel Kroening4 1 Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, France 2,4 Department of Computer Science,

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2015-08-25 09:27:37
    352

    Microsoft Word - NIGERIA STATEMENT AT THEPRECON MEETING ON DISASTER RISK REDUCTION.docx

    Add to Reading List

    Source URL: www.preventionweb.net

    - Date: 2014-07-08 10:33:33
      353

      Phd DEFEncE PhD Defence Lea Skewes Latitude Reduction Based on

      Add to Reading List

      Source URL: auinstallation29.cs.au.dk

      - Date: 2016-11-11 05:17:16
        354

        Statement of H.E. Mr. Bamanga Abbas Malloum on behalf of G-77 and China First Meeting of the Inter-Governmental Preparatory Committee Third World Conference on Disaster Risk Reduction GenevaJulyCo-Cha

        Add to Reading List

        Source URL: www.preventionweb.net

        - Date: 2014-07-14 12:50:23
          355

          Comments of the Competitive Enterprise Institute regarding the Food and Drug Administration’s Voluntary Sodium Reduction Goals: Target Mean and Upper Bound Concentrations for Sodium in Commercially Processed, Packaged,

          Add to Reading List

          Source URL: cei.org

          - Date: 2016-12-02 09:06:21
            356

            Forests in Focus Funding Helps Speed Up the Process By Kelley Hirning Forest restoration, fuels treatments and wildfire prevention/reduction activities are ongoing in the Southeastern part of Montana. Last month, the Mon

            Add to Reading List

            Source URL: dnrc.mt.gov

            - Date: 2016-08-12 12:55:11
              357

              Automatic Test Case Reduction for OpenCL Moritz Pflanzer Alastair F. Donaldson Andrei Lascu

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2016-04-10 17:29:20
                358

                News release For immediate releaseThe District’s pioneering strategy renamed to “Health-Risk Reduction Strategy”

                Add to Reading List

                Source URL: valleyair.org

                - Date: 2013-06-20 17:31:25
                  359

                  Power Reduction Through RTL Clock Gating By Frank Emnett and Mark Biegel Automotive Integrated Electronics Corporation

                  Add to Reading List

                  Source URL: www.eng.auburn.edu

                  - Date: 2007-12-06 17:00:33
                    360

                    Planning as Satisfiability: Heuristics Jussi Rintanen Institute for Integrated and Intelligent Systems, Griffith University, Queensland, Australia Abstract Reduction to SAT is a very successful approach to solving hard c

                    Add to Reading List

                    Source URL: pdfs.semanticscholar.org

                    - Date: 2015-07-28 20:07:32
                      UPDATE