Sarkar - PDFSEARCH.IO - Document Search Engine

Sarkar
Results: 366

#	Item
1	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-09-25 05:49:39 Computing Computer programming Concurrent computing Concurrency control Parallel computing Thread Linearizability C++11 POSIX Threads Lock Concurrency Go
2	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1172) SPATIAL REFINEMENTS AND KHOVANOV HOMOLOGY Robert Lipshitz and Sucharit Sarkar Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Abstract algebra Algebra Mathematics Homological algebra Homology theory Functors Algebraic topology Homotopy theory Homology Natural transformation Singular homology Khovanov homology
3	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:51:47 Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads
4	Introduction Examples A new graphics API Deepayan Sarkar Indian Statistical Institute, Delhi Add to Reading List Source URL: www.huber.embl.de Language: English - Date: 2014-07-07 05:49:36
5	Efficient Data Race Detection for Async-Finish Parallelism Raghavan Raman Jisheng Zhao Vivek Sarkar Add to Reading List Source URL: www.sri.inf.ethz.ch Language: English - Date: 2018-05-15 09:28:45
6	The Strategic Plan: 5-Yr PrioritiesCommittee Members: Atul Kelkar, Professor (Committee Chair) Robert Brown, Professor Soumik Sarkar, Assistant Professor John Wagner, Academic Advisor Add to Reading List Source URL: www.me.iastate.edu Language: English - Date: 2016-08-18 08:36:30
7	Title of the Tutorial Power-performance tuning in VLSI Design: issues and challenges Resource Person: Prof. Subir Kumar Sarkar Abstract: Add to Reading List Source URL: nmit.ac.in Language: English - Date: 2018-05-09 05:56:19
8	Face-to-Face Government Support is Essential for the Growth of Copper Industry - Dr. D. De Sarkar Add to Reading List Source URL: metalworld.co.in Language: English - Date: 2018-01-16 09:32:21
9	Robust and Effective Transformation of Letrec Oscar Waddell Dipanwita Sarkar Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:28
10	Harmonized census geography and spatio-temporal analysis: Gender equality and empowerment of women in Africa Sula Sarkar† Minnesota Population Center University of Minnesota Lara Cleveland Add to Reading List Source URL: pop.umn.edu Language: English - Date: 2016-07-15 14:46:35

UPDATE