| 论文题目 | 第一作者 | 发表年度 | 刊物/会议名称 |
|---|---|---|---|
| 汉藏短语对抽取中短语译文获取方法研究 | 诺明花 | 2011 | 中文信息学报 |
| 基于领域专家学科知识链的文献资源组织与导航 | 周津慧 | 2011 | 科研信息化技术与应用 |
| 基于FPGA和ARM的现场总线设备 | 廖世高 | 2011 | 计算机工程 |
| FreePipe; A Programmable Parallel Rendering Architecture for Efficent Multi-Fragment Effects | Fang Liu | 2011 | I3D 2010 |
| 一种基于物理树木动态的GPU实时仿真技术 | 杨猛 | 2011 | CIDE 2010 |
| A Complete Symbolic Bisimulation for Full Applied Pi Calculus | Jia Liu | 2011 | SOFSEM 2010 |
| Proof System for Applied Pi Calculus | Jia Liu | 2011 | TCS 2010 |
| Combinatorial Testing with Shielding Parameters | Baiqiang Chen | 2011 | APSEC 2010 |
| Local Lemma: A New Strategy of Pruning in SAT Solvers | Xiangxue Jia | 2011 | SAC 2010 |
| Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement | Xueyang Zhu | 2011 | DATE 2010 |
| Robust Discovery of partial Rigid Symmetries on 3D Models | Kangying Cai | 2011 | ACM SIGGRAPH Asia 2010 |
| TibetanWord Segmentation as Syllable Tagging Using Conditional Random Field | 刘汇丹 | 2011 | (PACLIC 25)’11 |
| 基于令牌技术在网络边界控制数据包的丢失 | 石志强 | 2011 | 10th International Information and Telecommunication Technologies Conference |
| static detection of bugs caused by incorrect exception handling in java programs | 伍晓泉 | 2011 | 11th International Conference on Quality Software, QSIC 2011 |
| a comparative evaluation of cache strategies for elastic caching platforms | 秦秀磊 | 2011 | 11th International Conference on Quality Software, QSIC 2011 |
| An Empirical Study on Test-Driven Development Process for Android Applications | 陈军成 | 2011 | 15th Software Engineering and Applications |
| 平滑的XCP发送端 | 石志强 | 2011 | 17th IEEE International Conference on Networks |
| runtime monitoring of data-centric temporal properties for web services | 吴国全 | 2011 | 2011 IEEE 9th International Conference on Web Services, ICWS 2011 |
| 弹性分布式缓存动态扩展方法研究 | 朱鑫 | 2011 | 计算机科学与探索 |
| Bench4Q Tool: 一个面向服务质量的云测试工具 | 王卅 | 2011 | 2011年全国软件与应用学术会议（NASAC)中国长春 2011年10月28-29日 |
| MDD-MR模型驱动的MapReduce数据流代码开发框架 | 刘杰 | 2011 | 2011年全国软件与应用学术会议（NASAC)中国长春 2011年10月28-29日 |
| 混杂IP和P2P流量的网络拥塞控制 | 石志强 | 2011 | 20th International Conference on Computer Communications and Networks, 2011 |
| Runtime Verification of Data-Centric Properties in Service based Systems | 吴国全 | 2011 | 2nd International Conference on RUNTIME VERIFICATION |
| A scalable hybrid algorithm based on domain decomposition and algebraic multigrid for solving partial differential equations on a cluster of CPU/GPUs | 蔡小川 | 2011 | PACT 2011 |
| Bench4Q: A QoS-Oriented E-commerce Benchmark | 张文博 | 2011 | 35th Annual IEEE International Computer Software and Applications Conference(COMPSAC 2011) |
| Efficient Threshold Encryption from Lossy Trapdoor Functions | 谢翔 | 2011 | |
| Automatic Construction of Deployment Descriptors for Web Applications | 陈伟 | 2011 | 8th IEEE International Conference on e-Business Engineering (ICEBE 2011) |
| Exploring an adaptive architecture for service discovery over MANETs | 金蓓弘 | 2011 | 8th International Conference on Ubiquitous Intelligence and Computing |
| Results on the immunity of Boolean functions against probabilistic algebraic attacks | 刘美成 | 2011 | |
| A Generative Entity-Mention Model for Linkong Entities with Konwledge Base | 韩先培 | 2011 | ACL HLT2011 |
