SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
371	Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-04-27 14:17:24 Concurrency control Computer architecture Computing Software Read-copy-update Memory barrier Linearizability Mutual exclusion Synchronization Futures and promises
372	Lemmas and Proofs for “Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism” Joshua Dunfield Neelakantan R. Krishnaswami Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-03-29 11:10:33
373	ZU064-05-FPR paper 7 April 2015 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2015-04-07 15:58:14
374	Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems, Part I S´ ebastien Bubeck Theory Group Add to Reading List Source URL: learning.mpi-sws.org Language: English - Date: 2016-05-12 06:44:15
375	Idealized ML and Its Separation Logic Neelakantan R. Krishnaswami Lars Birkedal Jonathan Aldrich Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2006-07-17 18:58:38
376	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-04-05 08:15:20
377	A computational approach to politeness with application to social factors Cristian Danescu-Niculescu-Mizil∗‡ , Moritz Sudhof† , Dan Jurafsky† , Jure Leskovec∗ , and Christopher Potts† ∗ Computer Science Dep Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-08-09 19:03:21 Linguistics Pragmatics Academia Sociolinguistics Etiquette Discourse analysis Sociolinguists Politeness Penelope Brown Rudeness Face Honorifics
378	Course 1 SWS Sprint 3 DécembreQualifications Pos 1 Add to Reading List Source URL: kartingindoor.ch - Date: 2015-03-24 03:04:59
379	Verifying Event-Driven Programs using Ramified Frame Properties Neelakantan R. Krishnaswami Lars Birkedal Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2009-11-16 13:15:40
380	National Research Support Project Impacts National Atmospheric Deposition Program NRSP) Tracking Atmospheric Deposition and its Effects Add to Reading List Source URL: nadp.sws.uiuc.edu Language: English - Date: 2016-03-18 14:01:46 Coenzymes Nicotinamide adenine dinucleotide phosphate Nucleotides Air pollution Pollution

UPDATE