FAUST

Known as: Faust (Programming language), Faust (disambiguation) 
FAUST (Functional AUdio STream) is a domain-specific purely functional programming language for implementing signal processing algorithms in the form… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
While the ready availability of 3D scan data has influenced research throughout computer vision, less attention has focused on 4D… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2015
2015
FAUST is a software tool that generates formal abstractions of (possibly non-deterministic) discrete-time Markov processes (dtMP… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2014
Highly Cited
2014
New scanning technologies are increasing the importance of 3D mesh data and the need for algorithms that can reliably align it… (More)
Is this relevant?
2011
2011
The FAUST Synthesis ToolKit is a set of virtual musical instruments written in the FAUST programming language and based on… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
FAUST [Functional Audio Stream] is a functional programming language specifically designed for real-time signal processing and… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2009
2009
Faust is a functional programming language dedicated to the specification of executable monorate musical applications. We present… (More)
  • figure 1
Is this relevant?
2009
2009
Faust 0.9.9.6 introduces new compilation options to automatically parallelize audio applications. This paper explains how the… (More)
  • table 1
  • table 2
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
2006
2006
This paper reports on a new plugin interface for Grame’s functional DSP programming language Faust. The interface allows Faust… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
A draft and incomplete version of the paper... 
  • figure 1
  • figure 3
  • figure 5
  • figure 4
  • table 1
Is this relevant?
1992
1992
Unfortunately first-order logic has certain limitations which are felt in many applications such as in hardware verification. The… (More)
Is this relevant?