<--- Back to Details
First PageDocument Content
Nuclear physics / Physics / Engineering / Safety engineering / Systems engineering / Nuclear technology / Mixed criticality / Software engineering / Power management / UNICORE / KarushKuhnTucker conditions / Laser Inertial Fusion Energy
Date: 2016-02-15 09:59:24
Nuclear physics
Physics
Engineering
Safety engineering
Systems engineering
Nuclear technology
Mixed criticality
Software engineering
Power management
UNICORE
KarushKuhnTucker conditions
Laser Inertial Fusion Energy

Exploring Energy Saving for Mixed-Criticality Systems on Multi-cores Sujay Narayana†‡ , Pengcheng Huang† , Georgia Giannopoulou† , Lothar Thiele† and R.Venkatesha Prasad‡ † Computer Engineering and Network

Add to Reading List

Source URL: www.tik.ee.ethz.ch

Download Document from Source Website

File Size: 391,92 KB

Share Document on Facebook

Similar Documents

The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

DocID: 1xW3t - View Document

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin

DocID: 1xW2t - View Document

Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

DocID: 1xW1J - View Document

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26  Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

DocID: 1xW0Y - View Document

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

DocID: 1xVXp - View Document