资源列表
[流媒体/Mpeg4] dvblast-1.0
说明:DVBlast is a simple and powerful streaming application based on the linux-dvb API. It opens a DVB device, tunes it, places PID filters, configures a CAM module, and demultiplexes the packets to several RTP outputs.<段永成> 在 2025-03-01 上传 | 大小:50kb | 下载:0
[多媒体] AddingAssurancetoAutomaticallyGeneratedCode
说明:码估计立场和态度的航天器或飞机属于最安全的关键部分航班software.The基本数学复杂和丰富的设计细节使它容易出错的,可靠的实现是一个程序costly.AutoFilter合成工具自动生成状态估计代码紧凑specifications.It可以自动产生更多的安全证书,正式保证每个单独的程序满足了一套重要的安全policies.These安全政策(例如,数组越界,变量初始化)形成核心财产所必需的高保证software.Here我们描述了<liying> 在 2025-03-01 上传 | 大小:26kb | 下载:0
[多媒体] playMusic
说明:在线音乐网,在线试听 内附word使用说明-Online music network, on-line containing a word Audition for use<maoxinrong> 在 2025-03-01 上传 | 大小:947kb | 下载:0