Efficient - PDFSEARCH.IO - Document Search Engine

Efficient
Results: 18776

#	Item
711	Efficient Static Analysis of Dynamical Properties using the Process Hitting 10 janvier 2012 Loïc Paulevé École Polytechnique / LIX (équipe AMIB) Add to Reading List Source URL: loicpauleve.name - Date: 2014-05-28 09:53:18
712	An Efficient Approach for Assessing Hyperparameter Importance Frank Hutter University of Freiburg, Freiburg, GERMANY FH @ INFORMATIK . UNI - FREIBURG . DE Add to Reading List Source URL: www.cs.ubc.ca - Date: 2014-01-11 02:51:41
713	AUTOMATIC GENERATION OF HIGH THROUGHPUT ENERGY EFFICIENT STREAMING ARCHITECTURES FOR ARBITRARY FIXED PERMUTATIONS∗ Ren Chen and Viktor K. Prasanna Ming Hsieh Department of Electrical Engineering University of Southern Add to Reading List Source URL: ganges.usc.edu - Date: 2015-11-11 15:34:48
714	SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-09-03 02:50:55
715	Efficient Syntax-driven Lumping of Differential Equations Luca Cardelli1 , Mirco Tribastone2 , Max Tschaikowski2 , and Andrea Vandin2 1 2 Add to Reading List Source URL: dl.dropboxusercontent.com
716	Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Manuel Rigger Matthias Grimmer Add to Reading List Source URL: ssw.jku.at - Date: 2016-09-23 08:02:49
717	Energy and Memory Efficient Mapping of Bitonic Sorting on FPGA∗ Ren Chen, Sruja Siriyal, Viktor Prasanna Ming Hsieh Department of Electrical Engineering University of Southern California, Los Angeles, USA 90089 Add to Reading List Source URL: ganges.usc.edu - Date: 2015-01-23 17:55:29
718	Towards More Efficient and Natural Proof Systems Add to Reading List Source URL: cs.bath.ac.uk - Date: 2012-05-23 04:59:53
719	Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure Add to Reading List Source URL: prosecco.gforge.inria.fr - Date: 2016-08-28 07:29:48
720	Efficient B-tree Based Indexing for Cloud Data Processing Sai Wu #1 , Dawei Jiang #2 , Beng Chin Ooi #3 , ∗ # School of Computing, National University of Singapore, Singapore 1,2,3 Add to Reading List Source URL: www.comp.nus.edu.sg - Date: 2010-09-22 03:54:22

UPDATE