Efficient - PDFSEARCH.IO - Document Search Engine

Efficient
Results: 18776

#	Item
51	Verifying Efficient Function Calls in CakeML Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-08-21 08:39:27 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Procedural programming languages Recursion Standard ML ML OCaml Fold
52	VARAN the Unbelievable An Efficient N-version Execution Framework Petr Hosek Cristian Cadar Add to Reading List Source URL: srg.doc.ic.ac.uk Language: English - Date: 2015-03-16 05:19:54 Computer architecture Computing Computer programming Application programming interfaces System calls Process Unix Concurrent computing Varan Seccomp Fork Return-oriented programming
53	MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:07 Computing Concurrent computing Distributed computing Benchmark Standard Performance Evaluation Corporation Data center Kunle Olukotun Christos Kozyrakis
54	Author manuscript, published in "WEEDWorkshop on Energy-Efficient Design (2010)" The Search for Energy-Efficient Building Blocks for the Data Center inria, versionJun 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:48 Computing Computer architecture Computer hardware Microprocessors Parallel computing Benchmark Opteron Advanced Micro Devices Multi-core processor Intel Atom Central processing unit Intel
55	BENOIT BLANCHON CREATOR OF ARDUINOJSON Mastering ArduinoJson Efficient JSON serialization for embedded C++ Add to Reading List Source URL: arduinojson.org Language: English - Date: 2018-10-25 12:15:01 Computing JSON Configuration files Markup languages Persistence Ajax Serialization Pointer Literal JSON streaming Comparison of data serialization formats
56	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-11-03 11:28:51 Knowledge representation Computing Information science Technical communication Information Semantic Web Knowledge engineering Ontology Resource Description Framework Upper ontology Open data SPARQL
57	Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 Computing Object-oriented programming languages Scripting languages Programming languages Java platform Java specification requests Da Vinci Machine Java bytecode JRuby Java virtual machine Java class file Scala
58	Efficient FPGA implementations of high-dimensional cube testers on the stream cipher Grain-128 Jean-Philippe Aumasson Itai Dinur Luca Henzen Willi Meier Adi Shamir Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2009-09-22 19:00:54 Cryptography Stream ciphers Grain Cube attack Trivium ESTREAM Linear-feedback shift register ARIA Lookup table
59	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:43:10 Computing Information science Data management Semantic Web Knowledge representation Query languages Technical communication SPARQL Resource Description Framework Linked data RDF query language Ontology
60	Peek-a-Boo, I Still See You: Why Efficient Traffic Analysis Countermeasures Fail Add to Reading List Source URL: ericw.us Language: English - Date: 2017-08-24 21:07:11 Transmission Control Protocol Network packet Network protocols Network performance Information Computing

UPDATE