论文题目 |
第一作者 |
发表年度 |
刊物/会议名称 |
汉藏短语对抽取中短语译文获取方法研究 |
诺明花 |
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 |