[计算机论文] SPH方法中多维树搜索算法的优化及在GPU上的实现
[计算机论文] SPH扩展方法实现液体与固体交互实时模拟
[计算机论文] SpaceWire译码电路在HOL4中的形式化验证
[计算机论文] SpaceWire协议的形式化建模与概率分析
[计算机论文] SocialRank：DTN环境中具有社会特性的转发策略
[计算机论文] Skyline代表点的选择
[计算机论文] SIP多方视频会议系统与原型系统的实现
[计算机论文] SIP会议安全性研究
[计算机论文] SIP DDoS分布式入侵防御系统及其负载均衡策略
[计算机论文] SIFT优化算法及其在全景拼接图像配准中的应用
[计算机论文] SHCA：基于RAID的两级缓存算法设计与实现
[计算机论文] SDN分层组播视频会议系统设计与实现
[计算机论文] SDN中DASH路由规划和码率调节联合决策算法
[计算机论文] SDG故障诊断规则的知识约简
[计算机论文] SCC上FFT的高效并行实现及其扩展性研究
[计算机论文] SADC：融合架构智能数据中心
[计算机论文] SaaS交付平台多租户数据管理模型研究
[计算机论文] S-RSM：一种基于语义的数据空间资源搜索机制
[计算机论文] ROS中XML-RPC协议实现的形式化验证
[计算机论文] Rootkit隐藏技术与检测方法研究
[计算机论文] RISC微处理器指令扩展接口设计
[计算机论文] RGMP-ROS混合机器人操作系统节点间通信的形式化验证
[计算机论文] RFID系统中低功耗JH算法的设计与实现
[计算机论文] RFID事件流上一种扩展意义的子查询共享方法
[计算机论文] REST和RPC：两种Web服务架构风格比较分析