Shankar - PDFSEARCH.IO - Document Search Engine

Shankar
Results: 317

#	Item
151	RED HAT STORAGE SERVER REPLICATION: PAST AND PRESENT Jeff Darcy, Venky Shankar, Raghavan Pichai GlusterFS/RHS Developers @ Red Hat Talk Outline Add to Reading List Source URL: rhsummit.files.wordpress.com - Date: 2014-04-16 17:35:24
152	Conservation Management Plan Kenya Image Courtesy of Flickr, Shankar s. With partners Add to Reading List Source URL: www.projects-abroad.com.au Language: English - Date: 2014-04-07 09:34:00 Stratovolcanoes Great Rift Valley Conservation Environmental science Transect Lake Nakuru Lewa Wildlife Conservancy Conservation biology Lake Naivasha Environment Geography of Kenya Geography of Africa
153	Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2010-03-25 06:20:58 Data types Programming idioms Type theory Recursion Functional programming Recursive data type List C++ classes EXPRESS Computer programming Software engineering Computing
154	All-sky signal from Reionization with MWA N. Udaya Shankar and Ravisubrahmanyan A Dual Role for MWA Add to Reading List Source URL: www.mwatelescope.org Language: English - Date: 2015-01-07 16:55:02 Space Reionization Hydrogen line Cosmic microwave background radiation Redshift Star Measuring instrument Murchison Widefield Array Physical cosmology Astronomy Physics
155	A New Generation Digital Receiver for the Murchison Widefield Array Girish B. S., Srivani K. S., Udaya Shankar N., Avinash A. Deshpande, Dwarakanath K. S., and Shiv K. Sethi Add to Reading List Source URL: www.mwatelescope.org Language: English - Date: 2015-01-07 16:55:05 Electronics Information theory Channel Bandwidth Electronic engineering Harvard University Murchison Widefield Array Telecommunications engineering
156	Toward Automated Information-Flow Integrity Verification for Security-Critical Applications Umesh Shankar Trent Jaeger Add to Reading List Source URL: www.isoc.org Language: English - Date: 2006-02-09 00:36:18 Clark–Wilson model Type enforcement Trusted computing base Mandatory Integrity Control Access control LOMAC Principle of least privilege OpenSSH Computer security Security Multilevel security
157	CLINICAL Lisa Marks Hema Shankar Missed diagnosis of Add to Reading List Source URL: www.racgp.org.au Language: English - Date: 2014-10-30 19:05:52 Sturge–Weber syndrome Port-wine stain Angiomatosis Sturge Glaucoma Angioma Hemangioma Medicine Health Benign neoplasms
158	PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Logic Data types Predicate logic Formal methods Type system Abstract data type Stack Function Dependent type Mathematics Type theory Mathematical logic
159	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving
160	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language