SUMIT - PDFSEARCH.IO - Document Search Engine

SUMIT
Results: 229

#	Item
111	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-06-06 20:41:57 Mathematical analysis Function Constraint logic programming Unification Exponentiation Derivative Mathematics Logic programming Functions and mappings
112	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
113	Recursive Program Synthesis Aws Albarghouthi (UToronto), Sumit Gulwani (MSR), and Zachary Kincaid (UToronto) CAV 2013 Saint Petersburg, Russia Add to Reading List Source URL: research.microsoft.com - Date: 2013-07-22 09:07:06
114	ネットワークＩ／Ｏ帯域の隔離 Xen Sumit Tokyo 2008 宝曼西門 <> 稲越宏弥 <> Add to Reading List Source URL: www.valinux.co.jp Language: Japanese - Date: 2012-12-26 01:22:32
115	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic
116	Feedback Generation for Performance Problems in Introductory Programming Assignments ∗ Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-08-18 13:49:14 Procedural programming languages Data types Functional languages ALGOL 68 String Scheme ATS Permutation Software engineering Programming language theory Computing
117	SECURITY INTELLIGENCE for BROADCAST: THREAT ANALYTICS Sumit Chakraborty Fellow, Indian Institute of Management Calcutta, BEE (Jadavpur University), India E-mail: , ; Phon Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-18 09:37:56 Electronic commerce Internet privacy Signcryption Encryption Cipher Secure communication National Security Agency Key generation Secure multi-party computation Cryptography Public-key cryptography Cryptographic protocols
118	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
119	Triumph of the Bandwidth Commons: Elastic Reservations, Price Incentives, and Request Realignment in LambdaGrids Sumit Naiksatam, Silvia Figueira, and Stephen A. Chiappari, Santa Clara University Add to Reading List Source URL: www.gridnets.org Language: English - Date: 2010-08-10 03:54:20 Bandwidth Network performance Electromagnetism Streaming Telecommunications engineering Teletraffic Electronics Fragmentation Jitter
120	Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed IIT Kanpur Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 00:34:28 Propositional calculus Mathematical logic Logical truth Rule of inference Natural deduction Algorithm Maths24 PROPT Logic Deduction Proof theory

UPDATE