Modelling energy efficiency for computation

First Page		Document Content
Date: 2012-10-17 09:49:46 Algorithm Mathematical logic Theoretical computer science Physics Power management Energy Computing Mathematics Energy conservation State functions Computers and the environment		Modelling energy efficiency for computation Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 1,71 MB Share Document on Facebook

	Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1 DocID: 1xVpS - View Document
	14th Joint European Thermodynamics Conference Budapest, May 21–25, 2017 DISCUSSION ON THE FUNCTIONAL FORM OF -FUNCTIONS INVOLVED IN CUBIC EQUATIONS OF STATE. Yohann Le Guennec1, Silvia Lasala1, Romain Privat1, Jean- DocID: 1vpZ8 - View Document
	Manual 1 Particulars of organization, functions and duties [Section4 (1) (b) (i)] In order to provide the benefits of space technology applications to citizens of Odisha state, the state Government with the advice of Dep DocID: 1v7lL - View Document
	WRP COMPATIBLE USE PERMITS By statute, WRP easements are acquired to protect, restore, and enhance the functions of wetland DocID: 1uQQf - View Document
	Functions of the Oregon State Bar We are a regulatory agency providing DocID: 1uQ49 - View Document