ICLP

Results: 39



#Item
11Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Add to Reading List

Source URL: cliplab.org

Language: English - Date: 2014-07-12 00:42:10
12About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical

About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical

Add to Reading List

Source URL: www.oia.ntu.edu.tw

Language: English - Date: 2015-10-22 23:49:02
    1325th International Conference on Lightning Protection ICLP 2000 Rhodes - GreeceSeptember 2000

    25th International Conference on Lightning Protection ICLP 2000 Rhodes - GreeceSeptember 2000

    Add to Reading List

    Source URL: ancient.hydro.nsc.ru

    - Date: 2000-07-24 11:25:42
      14About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical

      About ICLP Introduction Written by Administrator Thursday, 13 March:48 The International Chinese Language Program (ICLP), the world’s premier institution for the instruction of both modern and classical

      Add to Reading List

      Source URL: www.oia.ntu.edu.tw

      Language: English
        15DFPP_ICLP-15_withAppendix.dvi

        DFPP_ICLP-15_withAppendix.dvi

        Add to Reading List

        Source URL: www.sci.unich.it

        Language: English - Date: 2015-07-21 10:41:19
          16DFPP_ICLP-15_withAppendix.dvi

          DFPP_ICLP-15_withAppendix.dvi

          Add to Reading List

          Source URL: www.sci.unich.it

          Language: English - Date: 2015-07-21 10:41:19
            17ICLP 2009 Conference Program Pasadena, CA, USA July 14-17, 2009

            ICLP 2009 Conference Program Pasadena, CA, USA July 14-17, 2009

            Add to Reading List

            Source URL: www.ist.unomaha.edu

            Language: English - Date: 2013-02-14 03:45:55
              18Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper

              Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html A Framework for Verification and Debugging of Resource Usage Proper

              Add to Reading List

              Source URL: clip.dia.fi.upm.es

              Language: English - Date: 2010-11-17 08:33:52
                19Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS

                Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP’10) http://www.floc-conference.org/ICLP-home.html CONTRACTIBILITY AND CONTRACTIBLE APPROXIMATIONS OF SOFT GLOBAL CONS

                Add to Reading List

                Source URL: seit.unsw.adfa.edu.au

                Language: English - Date: 2010-04-09 11:45:20
                  20Warren’s Abstract Machine A Tutorial Reconstruction Hassan Aıt-Kaci ICLP’91 Pre-Conference Tutorial

                  Warren’s Abstract Machine A Tutorial Reconstruction Hassan Aıt-Kaci ICLP’91 Pre-Conference Tutorial

                  Add to Reading List

                  Source URL: wambook.sourceforge.net

                  Language: English - Date: 2005-03-21 20:04:02