Ganesh - PDFSEARCH.IO - Document Search Engine

Ganesh
Results: 229

#	Item
91	How to distribute antidote to control epidemics Christian Borgs∗ Jennifer Chayes∗ Ayalvadi Ganesh† Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-08-18 11:18:26 Graph coloring Network theory Networks Graph theory Tree Connectivity
92	back to contents Agriculture: The Foundation of the Bioeconomy Ganesh M. Kishore Burrill & Company San Francisco, CA Add to Reading List Source URL: nabc.cals.cornell.edu Language: English - Date: 2013-07-23 14:00:50 Energy Ethanol fuel Bioenergy Emerging technologies Energy crops Biofuel Lignocellulosic biomass Agriculture Maize Biofuels Sustainability Environment
93	Practical Model-Checking Method for Verifying Correctness of MPI Programs Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Robert Palmer1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2007-07-26 13:39:22 Parallel computing Application programming interfaces Model checking MPICH Application checkpointing Promela ISP Thread ISP Formal Verification Tool Computing Computer programming Software
94	Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2006-07-13 17:10:38 Computer programming Parallel computing Application programming interfaces Message Passing Interface Transaction processing Deadlock Lock Model checking Non-blocking algorithm Computing Concurrent computing Concurrency control
95	GNOWSYS-mode: An Emacs based Text Editor for Semantic and Structured Document Editing Divya Sinha, Alpesh Gajbe, Rajiv Nair, Ganesh Gajre, Nagarjuna G. Gnowledge Lab, Homi Bhabha Centre, TIFR, Mumbai, India Abstract. Ke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2009-10-08 14:49:06 Ontology Resource CERF Collaborative Framework Semantic Web Information Science
96	The National Academy of Sciences, India 5, Lajpatrai Road, AllahabadFellows Elected for the Year. Add to Reading List Source URL: nasi.org.in Language: English - Date: 2015-04-06 02:05:41 Bengal Renaissance Indian Institutes of Technology Indian Statistical Institute Jawaharlal Nehru University Indian Institute of Technology Kanpur Krishna N. Ganesh Kishore Vaigyanik Protsahan Yojana Education in India Association of Commonwealth Universities India
97	I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:22:51 Temporal logic Networks Theoretical computer science Model checking Search algorithms Kripke structure A* search algorithm Connectivity Linear temporal logic Graph theory Mathematics Network theory
98	I:/Ganesh/Research/AAAI2010/santhanam-aaai2010/santhanam-aaai2010.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-07-12 23:06:40 Model theory NuSMV Constructible universe Kripke semantics Mathematical logic Logic Mathematics
99	TCP-Compose – A TCP-Net Based Algorithm for Eﬃcient Composition of Web Services Using Qualitative Preferences Ganesh Ram Santhanam, Samik Basu, and Vasant Honavar Department of Computer Science, Iowa State Universi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-02-02 00:49:19 Transmission Control Protocol Preference Function Attribute grammar Computing Mathematics Consumer theory Programming paradigms
100	I:/Ganesh/Research/SCC09/new/SCC-09/scc09.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-06-22 12:24:32 Transmission Control Protocol Integration by substitution Preference Function Utility Mathematics Microeconomics Consumer theory

UPDATE