Amit - PDFSEARCH.IO - Document Search Engine

Amit
Results: 961

#	Item
231	Parametric Verification of Address Space Separation Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan Carnegie Mellon University Abstract. The address translation subsystem of operating system Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:56
232	Complexity Theoretic Limitations on Learning Halfspaces arXiv:1505.05800v1 [cs.CC] 21 May 2015 Amit Daniely∗ May 22, 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-21 20:24:00
233	1.5 Valving and Sensing Technologies for Microfluidics: Electrostatic Microvalves Professor: Paul J. A. Kenis Graduate Student: Joshua D. Tice Postdoc: Amit V. Desai Undergraduate Student: Thomas A. Bassett Add to Reading List Source URL: nano-cemms.illinois.edu Language: English - Date: 2010-09-08 16:44:00
234	PerfViz: A Visualization Tool for Analyzing, Exploring, and Comparing Storage Controller Performance Data Amit P. Sawanta , Matti Vanninenb , and Christopher G. Healeyc a, c North Carolina State University, Department o Add to Reading List Source URL: www.csc.ncsu.edu Language: English - Date: 2007-08-02 10:43:19
235	SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro Add to Reading List Source URL: smt2012.loria.fr Language: English - Date: 2012-06-20 03:34:17
236	O LP- A  S CSP Amit Kumar∗ Rajsekar Manokaran† Madhur Tulsiani‡ Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2011-10-12 09:48:19
237	On the Limits of Resolution and Visual Angle in Visualization CHRISTOPHER G. HEALEY and AMIT P. SAWANT, North Carolina State University This article describes a perceptual level-of-detail approach for visualizing data. P Add to Reading List Source URL: www.csc.ncsu.edu Language: English - Date: 2013-05-03 12:22:48
238	Fileless Malware: An Evolving Threat on the Horizon By: Ian Muller, Senior Security Writer Yonatan Striem-Amit, CTO Add to Reading List Source URL: go.cybereason.com Language: English - Date: 2016-02-18 23:46:57
239	Dynamic Credentials and Ciphertext Delegation for Attribute-Based Encryption Amit Sahai∗, UCLA Hakan Seyalioglu†, UCLA Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-08-01 12:12:58
240	Latent Topic Models for Hypertext Amit Gruber School of CS and Eng. The Hebrew University JerusalemIsrael Add to Reading List Source URL: uai2008.cs.helsinki.fi Language: English - Date: 2008-05-16 11:15:19

UPDATE