Faust - PDFSEARCH.IO - Document Search Engine

Faust
Results: 476

#	Item
161	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-22 05:49:10 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
162	Verifying Faust in Coq - Progress report Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-22 05:59:27 IRCAM Folklore Music Culture Audio programming languages FAUST Mephisto
163	Verification of Faust Signal Processing Programs in C OQ Emilio Jes´us Gallego Arias Olivier Hermant Pierre Jouvelot Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-20 16:24:56 Formal methods FAUST Logic in computer science Mathematics Formal verification Correctness Domain-specific language Digital signal processing Theoretical computer science Applied mathematics Electronic engineering
164	A HOLISTIC APPROACH TO GEO-TOOL DEVELOPMENT: DESIGNING COMPLEMENTARY RESOURCES FOR EXPLORATION OF FLOOD RESILIENCE STRATEGIES Bridget Faust, Jason Hochschild, Lizzi Slivinski, and Jeff Stone, Association of State Floodpl Add to Reading List Source URL: coastalgeotools.org Language: English - Date: 2015-04-23 15:03:54 Physical geography Flood HAZUS United States Army Corps of Engineers Psychological resilience Meteorology Atmospheric sciences Hydrology
165	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
166	Faust audio DSP language in the Web Stephane LETZ and Sarah DENOUX and Yann ORLAREY and Dominique FOBER GRAME 11, cours de Verdun (GENSOULLYON, FRANCE, Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-14 03:55:04 Audio programming languages Compiler construction Software synthesizers Compilers JavaScript LLVM Clang FAUST Compiler Computing Software Cross-platform software
167	A Rationale for Faust Design Decisions Y. Orlarey1 , D. Fober1 , S. Letz1 , A. Gr¨af2 , and P. Jouvelot3 1 2 Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-17 04:27:08 Computing Application software FAUST Csound Pure Programming language MUSIC-N SuperCollider Max Audio programming languages Software Software synthesizers
168	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
169	WAC 1st Web Audio Conference January 26-28, IRCAM & Mozilla - Paris, France Web Harpsichord Add to Reading List Source URL: feever.fr Language: English - Date: 2015-03-09 10:20:27 Visual programming languages FAUST Max Computing Physical modelling synthesis IRCAM Music Audio programming languages Software synthesizers Software
170	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming

UPDATE