Santosh - PDFSEARCH.IO - Document Search Engine

Santosh
Results: 135

#	Item
51	Bangalore Political Action Committee www.bpac.in BPAC introduction and credentials Add to Reading List Source URL: www.bpac.in Language: English - Date: 2014-09-08 08:18:02 Indian people India Tulu people Bangalore N. Santosh Hegde
52	Alive: Provably Correct InstCombine Optimizations David Menendez Santosh Nagarakatte Rutgers University Add to Reading List Source URL: llvm.org - Date: 2014-12-04 17:20:35
53	Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety Santosh Nagarakatte Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-07-27 14:28:06 Computer programming Data types Memory management Primitive types Computer architecture Pointer Memory safety C dynamic memory allocation C Computing Software engineering Software bugs
54	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
55	Ironclad C++ A Library-Augmented Type-Safe Subset of C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte† Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-09-17 20:34:39 Software bugs C++ Memory management Data types Primitive types Pointer Dangling pointer Memory safety C Computing Software engineering Computer programming
56	Formal Verification of SSA-Based Optimizations for LLVM Jianzhou Zhao Santosh Nagarakatte† Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-05-14 14:42:45 Interpretation Global value numbering Logic Computing Linguistics Compiler construction Static single assignment form Compiler optimizations
57	HOT CARRIER SOLAR CELLS FOR EXTRACTION OF HIGH ENERGY CARRIERS Gavin Conibeer, Santosh Shrestha, Shujuan Huang, Robert Patterson, Hongze Xia, Yu Feng, Jianfeng Yang, Neeti Gupta, Suntrana Smyth, Yuanxun Liao, Simon Chung Add to Reading List Source URL: www.quantsol.org Language: English - Date: 2015-04-07 12:11:37 Electromagnetism Quasiparticles Semiconductors Bosons Carrier generation and recombination Hot carrier injection Phonon Band gap Electron Physics Condensed matter physics Charge carriers
58	On the Implementation of Uniﬁed Arithmetic on Binary Huﬀ Curves Santosh Ghosh1⋆ , Amit Kumar2⋆⋆ , Amitabh Das3 , and Ingrid Verbauwhede3 1 Security and Privacy Research, Intel Labs Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-12 13:10:28 Mechanical computers Elliptic curves Elliptic curve cryptography Finite fields Z2 Z3 Z1 Elliptic curve point multiplication Lookup table Abstract algebra History of computing hardware Computing
59	Content-Based Methods for Predicting Web-Site Demographic Attributes Santosh Kabbur Eui-Hong Han George Karypis Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 2012-08-16 12:29:07 Information science Internet Information retrieval Markup languages HTML HTTP cookie Personalization Framing Root-mean-square deviation World Wide Web Computing Human–computer interaction
60	Estimating Drivers’ Stress from GPS Traces Sudip Vhaduri1 , Amin Ali1 , Moushumi Sharmin1 , Karen Hovsepian2 , Santosh Kumar1 1 Department of Computer Science, University of Memphis, TN 38152, USA 2 Department of Compu Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-09-25 11:45:04 Stress Materials science Road transport Traffic congestion Driving Transport Physics Mechanics