PSL - PDFSEARCH.IO - Document Search Engine

PSL
Results: 499

#	Item
281	PDF Document Add to Reading List Source URL: www.univ-psl.fr Language: French - Date: 2015-04-09 04:04:45
282	Verifying Faust in Coq Progress report Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant, Arnaud Spiwack MINES ParisTech, PSL Research University, France Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-21 07:20:49 IRCAM Folklore Music Culture Audio programming languages FAUST Mephisto
283	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture
284	From Data to Effects Dependence Graphs: Source-to-Source Transformations for C Nelson Lossing, Pierre Guillou, Mehdi Amini, and François Irigoin MINES ParisTech, PSL Research Univer Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-27 08:58:07 C programming language C++ Procedural programming languages Data types Cross-platform software Typedef C For loop Pointer Software engineering Computing Computer programming
285	A Taste of (formal) Sound Reasoning A Tutorial Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant MINES ParisTech, PSL Research University, France Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-14 15:09:46 Electronic engineering Electronics Infinite impulse response Filter Electronic filter Confidence interval Linear Question Filter theory Statistics Digital signal processing
286	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-28 05:48:33 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
287	Research in film schools European Film Schools Network Conference La Fémis, Paris / April 16-17, 2015 In partnership with Add to Reading List Source URL: www.univ-psl.fr Language: English - Date: 2015-04-16 05:48:24 Paris culture Tisch School of the Arts New York University Tisch New York France Culture Cinema of France European cinema La Fémis
288	O R C H E S T R E S Y M P H O N I Q U E E T C H Œ U R Pa r i s S c i e n c e s e t Le t t r e s 150 MUSICIENS ET CHORISTES Add to Reading List Source URL: www.univ-psl.fr Language: French - Date: 2014-04-03 05:32:50
289	Title with inner curved file copy Add to Reading List Source URL: www.psl.com.pk Language: English - Date: 2012-10-31 06:54:55 Askari Bank State Life Sadruddin Hashwani Financial services Pakistan Economy of Pakistan Allied Bank Limited NIB Bank
290	Predicate Encryption for Multi-Dimensional Range Queries from Lattices Romain G AY, Pierrick M ÉAUX, Hoeteck W EE École Normale Supérieure, CNRS, INRIA, PSL, Paris, France Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-27 08:29:12

UPDATE