Synthesis - PDFSEARCH.IO - Document Search Engine

Synthesis
Results: 8163

#	Item
281	Enabling Unrestricted Automated Synthesis of Portable Hardware Accelerators for Virtual Machines Miljan Vuleti´c Laura Pozzi Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-03-04 05:17:39
282	Toward Tool Support for Interactive Synthesis Shaon Barman1 1 Rastislav Bodik1 Satish Chandra2 Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:16
283	OpenPit OpenPiton Synthesis and Back-end Manual Wentzlaff Parallel Research Group Add to Reading List Source URL: parallel.princeton.edu - Date: 2017-09-22 12:54:39
284	Approximate Program Synthesis James Bornholt Emina Torlak Luis Ceze Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:14
285	1 Bonsai: Synthesis-Based Reasoning for Type Systems arXiv:1708.00551v1 [cs.PL] 1 AugKARTIK CHANDRA, Stanford University Add to Reading List Source URL: arxiv.org - Date: 2017-08-02 20:22:34
286	Title: Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s Add to Reading List Source URL: fmse.info.uaic.ro - Date: 2018-03-28 04:48:03
287	Integrating Tools for Synthesis into Digital Libraries Ryan Shaw, Michael Buckland and Ray Larson School of Information University of California, Berkeley Berkeley, California, 94720 Add to Reading List Source URL: aeshin.org - Date: 2017-10-07 20:15:46
288	Approximate Program Synthesis James Bornholt Emina Torlak Luis Ceze Add to Reading List Source URL: homes.cs.washington.edu - Date: 2017-06-23 18:20:16
289	VerC3: A Library for Explicit State Synthesis of Concurrent Systems Marco Elver∗ Christopher J. Banks Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2017-12-01 04:21:12
290	3D-Assisted Image Feature Synthesis for Novel Views of an Object Hao Su* Fan Wang* Li Yi Leonidas Guibas Add to Reading List Source URL: ai.stanford.edu - Date: 2015-12-18 07:18:40

UPDATE