Ed Fast - PDFSEARCH.IO - Document Search Engine

Ed Fast
Results: 177

#	Item
1	VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg Add to Reading List Source URL: people.cs.kuleuven.be Language: English - Date: 2011-10-17 02:58:18
2	L’UTILIZZO DI SISTEMI INFORMATICI “OPEN SOURCE” PER LA PIANIFICAZIONE ED IL CONTROLLO DI PROGETTO (CON PROJECTLIBRE) MILANO, 12-13 GIUGNO 2018 Sede: Milano – P.le Morandi, 2 (FAST) Add to Reading List Source URL: www.fast.mi.it Language: Italian - Date: 2018-03-26 13:20:38
3	Modular SMT Proofs for Fast Reflexive Checking inside Coq? Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, and David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract. We present a new methodology for exc Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:29
4	Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:19
5	Automatic Performance Model Construction for the Fast Software Exploration of New Hardware Designs John Cavazos, Christophe Dubach, Felix Agakov, Edwin Bonilla, Michael F.P. O’Boyle Member of HiPEAC Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-03-04 05:17:39
6	Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-06-23 05:56:50
7	Shirtless and Dangerous: Quantifying Linguistic Signals of Gender Bias in an Online Fiction Writing Community Ethan Fast, Tina Vachovsky, Michael S. Bernstein Stanford University {ethan.fast, tvachov, msb}@cs.stanford.ed Add to Reading List Source URL: hci.stanford.edu - Date: 2016-08-19 18:08:56
8	McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation Marco Elver Vijay Nagarajan Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2016-01-19 14:36:34
9	Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction Christophe Dubach, John Cavazos, Björn Franke, Michael O’Boyle Member of HiPEAC Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-03-04 05:17:39