搜索资源列表
amr_nb_encoder
- 自适应多速率编码器标准代码,编码端。可将wav文件编码生成amr格式的文件。这种格式的文件可根据信道质量,自动调节编码速率,故称之为自适应。-adaptive multi-rate coding standards for code-coding. Wav documents can be generated amr coding format documents. This format of the document is available according to the channel
amr_nb_decoder
- 自适应多速率编码器标准代码,解码端。可将wav文件编码生成amr格式的文件。这种格式的文件可根据信道质量,自动调节编码速率,故称之为自适应。-adaptive multi-rate encoder standard code, the decoder. Wav documents can be generated amr coding format documents. This format of the document is available according to the chann
java播放器
- Object Initializers——对象初始化器 本初始化器可以促进编译器自动生成property setter代码,由此可为用户省略了几行...1、在小程序中播放声音 java可以播放au,aiff,wav,midi,rfm格式的音频 可以调用Applet的一个静态方法: newAudioClip(...
AddingAssurancetoAutomaticallyGeneratedCode
- 码估计立场和态度的航天器或飞机属于最安全的关键部分航班software.The基本数学复杂和丰富的设计细节使它容易出错的,可靠的实现是一个程序costly.AutoFilter合成工具自动生成状态估计代码紧凑specifications.It可以自动产生更多的安全证书,正式保证每个单独的程序满足了一套重要的安全policies.These安全政策(例如,数组越界,变量初始化)形成核心财产所必需的高保证software.Here我们描述了自动过滤系统及其证书发生器和比较我们的方法来静态分析工具Po