| 論文題目 | 第一作者 | 發表年度 | 刊物/會議名稱 |
|---|---|---|---|
| 漢藏短語對抽取中短語譯文獲取方法研究 | 諾明花 | 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 |
