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 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](https://www.pdfsearch.io/img/18918b5c089629cea46ea8af590219a2.jpg) | Add to Reading ListSource URL: people.cs.kuleuven.beLanguage: 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) 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)](https://www.pdfsearch.io/img/a4311a1cd8aee736d61ae25dcdd4f813.jpg) | Add to Reading ListSource URL: www.fast.mi.itLanguage: 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 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](https://www.pdfsearch.io/img/69aca97e4d02af022b54b72552d44eb0.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: 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 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](https://www.pdfsearch.io/img/4b88eb5a27afec4857a68555d8d0c5d8.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: 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 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](https://www.pdfsearch.io/img/8ff7be5294cb4f3de09a537abc6b18b6.jpg) | Add to Reading ListSource 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 Exploiting GPU Hardware Saturation for Fast Compiler Optimization Alberto Magni Christophe Dubach](https://www.pdfsearch.io/img/a47d66a55633de81a012e74b8d050d9a.jpg) | Add to Reading ListSource 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 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](https://www.pdfsearch.io/img/d4a3d67dd2b940292db217baac65a28f.jpg) | Add to Reading ListSource 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 McVerSi: A Test Generation Framework for Fast Memory Consistency Verification in Simulation Marco Elver Vijay Nagarajan](https://www.pdfsearch.io/img/1cb370f5b215157c80c347aa2547ac95.jpg) | Add to Reading ListSource 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 Fast Compiler Optimisation Evaluation Using Code-Feature Based Performance Prediction Christophe Dubach, John Cavazos, Björn Franke, Michael O’Boyle Member of HiPEAC](https://www.pdfsearch.io/img/b490e17aba97c2b7858448edafb089fb.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.uk- Date: 2015-03-04 05:17:39
|
---|