Aware

Results: 7702



#Item
341

A Machine-Checked Proof for a Product-Line–Aware Type System

Add to Reading List

Source URL: wwwiti.cs.uni-magdeburg.de

- Date: 2010-04-15 12:40:01
    342

    Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2011-08-06 12:15:35
      343

      Request for Research Infrastructure Proposals Details and Instructions for Faculty May 2016 FUNDING OPPORTUNITY AND CRITERIA Applications can request from $100,000 to $1,000,000, but applicants should be aware that the P

      Add to Reading List

      Source URL: www.research.umn.edu

      - Date: 2016-05-13 15:10:45
        344

        Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels Sasa Misailovic Michael Carbin

        Add to Reading List

        Source URL: people.csail.mit.edu

        - Date: 2014-11-11 15:41:42
          345

          Geosocial SPLIS: A Rule-Based Service for context-aware point of interest exploration Iosif Viktoratos1, Athanasios Tsadiras1, Nick Bassiliades2, 1 Department of Economics, 2Department of Informatics

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2014-08-06 04:20:38
            346

            SECURITY INNOVATION G EN E R AL AWARE NE S S INFORMATION SECURITY & PRIVACY AWARENESS Security Innovation has been recognized as a leader in the Gartner Magic Quadrant for General Security

            Add to Reading List

            Source URL: assets.securityinnovation.com

            - Date: 2016-12-13 15:55:15
              347

              :08:00 Official News from the Division of Protectorate Affairs As some of you are aware, Our Lord ordered an immediate investigation of the shocking allegations made by the Daily Prophet regarding

              Add to Reading List

              Source URL: hpalternity.com

              - Date: 2015-09-09 17:22:57
                348

                Participant Survey Social Justice Symposium for Teens, Monday August 29, 2016, Parkway Central Library 1. After participating in today’s program, I am more aware of issues of importance in my community. True

                Add to Reading List

                Source URL: s3.amazonaws.com

                - Date: 2016-09-11 12:28:40
                  349

                  Response Time Analysis for Thermal-Aware Real-Time Systems Under Fixed-Priority Scheduling Youn`es Chandarli, Nathan Fisher, Damien Masson To cite this version: Youn`es Chandarli, Nathan Fisher, Damien Masson. Response T

                  Add to Reading List

                  Source URL: hal.archives-ouvertes.fr

                  - Date: 2016-12-02 16:02:14
                    350

                    YARTISS: A Generic, Modular and Energy-Aware Scheduling Simulator for Real-Time Multiprocessor Systems Youn`es Chandarli, Manar Qamhieh, Fr´ed´eric Fauberteau, Damien Masson To cite this version:

                    Add to Reading List

                    Source URL: hal.archives-ouvertes.fr

                    - Date: 2016-11-28 02:54:06
                      UPDATE