SWS - PDFSEARCH.IO - Document Search Engine

SWS
Results: 2096

#	Item
381	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-12 04:10:50
382	On access control, capabilities, their equivalence, and confused deputy attacks Vineet Rajani MPI-SWS Deepak Garg MPI-SWS Add to Reading List Source URL: www-sop.inria.fr Language: English - Date: 2016-05-09 03:19:06
383	Separation Logic for a Higher-Order Typed Language [Extended Abstract] Neelakantan Krishnaswami Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2006-02-16 10:22:45
384	Owicki-Gries Reasoning for Weak Memory Models Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We show that even in the absence of auxiliary variables, the wellknown Owicki-Gri Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-05-11 03:20:21
385	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2013-07-18 07:46:11
386	ML for the industry Part 1 MLSS 2016 – Cádiz Nicolas Le Roux Criteo Add to Reading List Source URL: learning.mpi-sws.org Language: English - Date: 2016-05-18 09:23:11
387	Owicki-Gries Reasoning for Weak Memory Models Ori Lahav and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We show that even in the absence of auxiliary variables, the wellknown Owicki-Gri Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-05-11 03:20:39
388	Statistical machine learning and convex optimization Francis Bach INRIA - Ecole Normale Sup´erieure, Paris, France ÉCOLE NORMALE Add to Reading List Source URL: learning.mpi-sws.org Language: English - Date: 2016-05-17 05:26:06
389	The Essence of Event-Driven Programming Jennifer Paykin1 , Neelakantan R. Krishnaswami2 , and Steve Zdancewic3 1 2 3 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-04-21 07:02:35
390	Lecture 2: Mappings of Probabilities to RKHS and Applications MLSS Cadiz, 2016 Arthur Gretton Gatsby Unit, CSML, UCL Add to Reading List Source URL: learning.mpi-sws.org Language: English - Date: 2016-05-13 04:03:11

UPDATE