福斯汀 swMATH ID: 9399 软件作者： 卡里姆·巴卡蒂；王海生；皮埃尔·朱弗洛特 描述： Faustine：用于多媒体信号处理的矢量faust解释器测试台。系统描述。Faustine是数字音频信号处理语言Faust及其矢量扩展的第一个解释器。这种特定于域的语言用于基于样本的音频，具有很强的表达能力，可以高效编译。Faustine是在OCaml中设计和实现的，用于验证文献中提出的Faust多速率矢量扩展，而无需修改复杂的浮士德标量编译器。在音频领域，更广泛地说，在多媒体信号处理领域，采用基于帧的算法（如FFT）至关重要。通过多维FFT和形态图像处理操作的实际实现，Faustine虽然无法实时处理数据，但说明了作为语言设计方案的这种矢量扩展的可能优点和缺点。更一般地说，我们的论文为口译员作为轻量级软件平台的愿景提供了一个新的用例，在该平台中，可以轻松评估语言设计和实现问题，而不会产生修改大型编译器平台的高昂成本。 主页： http://link.springer.com/章节/10.1007%2F978-3-319-07151-0_5 相关软件： OCaml公司;验证;Coq公司 引用于： 0个文档