|
Résultats 1 - 10 sur un total d'environ 39 pour Abhay Vardhan
48
Abhay Vardhan | LinkedIn
Abhay Vardhan. Co-founder at Camino Real Location San Francisco Bay Area Industry Computer Software http://www.linkedin.com/in/abhayv
Abhay Vardhan
I am a technologist with deep experience in search, web applications, backend systems and large scale data handling. I worked for 3 years at Google in the core web search team ... http://abhayspace.com/
Using Machine Learning to Verify Systems - Microsoft Research
Automated verification of software systems is a challenging problem because of their large (and often infinite) state-space. In this talk, we explore techniques from ... http://research.microsoft.com/apps/video/dl.aspx?id=104591
What is BloomReach doing? - Quora
This is a follow-up question to Is BloomReach worth trying?.. Answer 1 of 1: BloomReach is a startup working on enhancing content discovery through search and social channels. http://www.quora.com/What-is-BloomReach-doing
Abhay Vardhan
Publications “Learning to verify branching time properties”, Abhay Vardhan, Mahesh Viswanathan, Formal Methods in System Design, vol. 31, no. 1 (2007), pp. 35-61. http://research.google.com/pubs/author75.html
Mahesh Viswanathan's homepage
email: vmahesh@ uiuc.edu office: 3232 Siebel Center: phone: 217-265-6298: fax: 217-265-6591 http://www.cs.uiuc.edu/homes/vmahesh/
Grigore Rosu - Students and Collaborators - FSL
(back to Grigore Rosu's page) This page attempts to mention all my students and collaborators. Please forgive me and let me know if you are one of these and I forgot to mention ... http://fsl.cs.uiuc.edu/index.php/Grigore_Rosu_-_Students_and_Collaborators
Publications by Googlers in Software Engineering
Publications by Googlers in Software Engineering Other categories may be found here. “An Equivalence-Preserving CPS Translation via Multi-Language Semantics”, Amal Ahmed, ... http://research.google.com/pubs/SoftwareEngineering.html
DBLP: Koushik Sen
2011; 65 : Jacob Burnim, George C. Necula, Koushik Sen: Specifying and checking semantic atomicity for multithreaded programs. ASPLOS 2011: 79-90 http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sen:Koushik.html
DBLP: Mahesh Viswanathan
2011; 82 : Pavithra Prabhakar, Mahesh Viswanathan: A dynamic algorithm for approximate flow computations. HSCC 2011: 133-142: 81 : Rohit Chadha, Vijay Anand Korthikanti, Mahesh ... http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Viswanathan:Mahesh.html
Résultats 1 - 2 sur un total d'environ 2 pour Abhay Vardhan
2
Résultats 1 - 1 sur un total d'environ 1 pour Abhay Vardhan
1 ![]() c2007 byArunPrakash. All rights reserved. MULTI-TIME-STEP DOMAIN DECOMPOSITION AND COUPLING METHODS FOR NON-LINEAR STRUCTURAL DYNAMICS BY ARUNPRAKASH B.Tech., Indian Institute of Technology, 1999 M.S., University of ... Format du document: PDF - Langue: fr |