地图     English
学术论文 2007

出自计算机科学国家重点实验室

首页 > 学术研究 > 学术论文 2007
跳转到: 导航, 搜索


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  1. 黄沛杰、王文成、杨刚、吴恩华:基于中介面加快光线跟踪计算,计算机学报,Vol.30,No.2,PP. 262-271
  2. 李静、王文成、吴恩华:基于凸剖分的多边形窗口线裁剪算法,计算机辅助设计与图形学学报,Vol.19,No.4,PP. 425-429
  3. 杨刚、孙汉秋、王文成、吴恩华:采用非均匀纹理层的短毛实时绘制,计算机辅助设计与图形学学报,Vol.19,No.4,PP. 430-435
  4. 李静、王文成、吴恩华:基于凸剖分的点在多边形内的高效判定,自然科学进展,Vol.17,No.7,PP. 995-1000
  5. Hao-Da huang、Xin Tong、Wen-Cheng Wang:Accelerated Parallel Texture Optimization,Jouranal of Computer Science and Technology,Vol.22,No.5,PP. 761-769
  6. Jing Li、Wencheng Wang、Enhua Wu:Point-in-polygon Tests by Convex Decomposition,Computers & Graphics,Vol.37,PP. 636-648
  7. Jiang Ying,Zhang Guo-Qiang:Weakly Distributive Domains,Frot. Comput.Sci. China,Vol.1,No.4,PP. 373-384
  8. Mingji Xia、Peng Zhang、Wenbo Zhao:Computational Complexity of Counting Problems on 3-Regular Planar Graphs,Theoretical Computer Science,Vol384,PP. 111-125
  9. 高鹰、陈意云:基于抽象解释的代码迷惑有效性比较框架,计算机学报,Vol.30,No.5,PP. 806-814
  10. Peng Zhang:A New Approximation Algorithm for the K-facility Location Problem,Theoretical Computer Science,Vol.384,PP. 126-135
  11. 吕毅、王源、李晓林:服务网格的用户3A使用模式,电子学报,Vol.35,No.2,PP. 292-298
  12. 王向云、张文辉、王鹏、李永超、蔡开元:一种基于监控理论的软件设计方法:状态性质变化方法,控制理论与应用,Vol.24,No.2,PP. 187-199
  13. Pu Fei、Zhang Wenhui:Combining Search Space Partition and Abstraction for LTL Model Checking,Science in China F: Information Sciences,Vol.50,No.6,PP. 793-810
  14. Zhilin Wu:A Not on the Characterization of Tl[EF],Information Processing Letters,Vol.102,PP. 48-54
  15. 吴志林、张文辉:命题线性时序逻辑的对偶模型问题的复杂性,Journal of Software,Vol.18,No.7,PP. 1573-1581
  16. Xiangyun Wang、Wenhui Zhang、Yongchao Li、Kaiyuan Cai:A Polynomial Dynamic System Approach to Software Design for Attractivity Requirement,Information Sciences,Vol.177,PP. 2712-2725
  17. 夏传良、焦莉、陆维明:Petri网共享PP-型子网合成性质分析,Vol.18,No.1,PP. 22-32
  18. 夏传良:Petri网共享T型子网合成活性分析,系统仿真学报,Vol.19,增刊,PP. 4-8
  19. 夏传良:Petri网共享PB型子网合成及其在系统设计中的应用,系统仿真学报,Vol.19,No.4,PP. 846-851
  20. 焦莉、陆维明:基于共享位置的petri网系统综合与保性,计算机学报,Vol.30,No.3,PP. 352-360
  21. Zhou Chaochen:Duration Calculus,Logics of Specification Languages,PP. 609-611
  22. 朱雪阳:双重软件体系结构描述框架XYZ/ADL,计算机研究与发展,Vol.44,No.9,PP. 1485-1494
  23. Yuan Feng、Runyao Duan、Zhengfeng Ji、Mingsheng Ying:Probabilistic Bisimulations for Quantum Processes,Information and Computation,Vol.205,PP. 1608-1639
  24. 吕伟伟、刘学慧、薛盖超、吴恩华:基于圆盘近似的动态场景柔和阴影实时绘制,计算机辅助设计与图形学学报,Vol.19,No.12,PP. 1587-1592
  25. Haiming Chen、Rudolf Freund、Mihai Ionescu、Gheorghe Paun、Mario J. Perez-Jimenez:On String Languages Generated by Spiking Neural P Systems,Fundamenta Informaticae,Vol.75,PP. 141-162
  26. Chen Haiming、Tseren-Onolt Ishdorj、Gheorghe Paun:Computing along the Axon,Progress in Natural Science,Vol.17,No.4,PP. 417-423
  27. 季晓慧、张健:约束问题求解,自动化学报,Vol.33,No.2,PP. 125-131
  28. 陈云霁、张健、沈海华、胡伟武:一种基于SAT的运算电路查错方法,计算机学报,Vol.30,No.12,PP. 2082-2089
  29. Enhua Wu、Hongbin Zhu、Xuehui Liu、Youquan Liu:Simulation and Interaction of Fluid Dynamics,Visual Comput.,Vol.23,PP. 299-308
  30. Xiaoying Li、Baoquan Liu、Enhua Wu:Full Solid Angle Panoramic Viewing by Depth Image Warping on Field Programmable Gate Array,The International Journal of Virtual Reality,Vol.6,No.2,PP. 69-77
  31. 刘保权、刘学慧、吴恩华:基于GPU的实时深度图像前向映射绘制算法,软件学报,Vol.6,No.18,PP. 1531-1542
  32. 古元亭、吴恩华:一种纹理特征分析与合成的方法,计算机辅助设计与图形学学报,Vol.19,No.12,PP. 1535-1539
  33. 刘迎、刘学慧、吴恩华:基于模版的三角网格拓扑压缩,计算机辅助设计与图形学学报,Vol.19,No.6,PP. 703-707
  34. 张勇、黄涛、陈宁江、金蓓弘:基于在线模型评估的动态WEB系统性能保障,Journal of Software,Vol.18,No.7,PP. 1660-1671
  35. Zhang Yunquan、Chen Guoliang、Sun Guangzhong、Miao Qiankun:Models of Parallel Computation: A Survey and Classification,Front. Comput. Sci. China,Vol.1,No.2,PP. 156-165
  36. 张云泉:新一代高性能计算系统Benchmark软件包框架研究,高性能计算技术,Vol.184,No.2,PP. 11-16
  37. 陈虎、张云泉、刘锴、李玉成:基于机群架构的并行数据库中间件系统改进研究,计算机研究与发展, Vol.44,PP. 142-146
  38. 李洋、陈宁江、金蓓弘、左林、黄涛:一个基于自管理单元支持差分服务的Web容器,计算机研究与发展,Vol.44,No.8,PP. 1418-1428
  39. 胡剑军、官荷卿、魏峻、黄涛:一种基于性能模型的中间件自配置框架,软件学报,Vol.19,No.8,PP. 2117-2129
  40. 孙亮、赵芳、王永吉:DENGENE:一种高精度的基于密度的适用于基因表达数据的聚类算法,计算机应用研究,Vol.24,No.4,PP. 58-61
  41. Nasro Min-Allah、Wang Yongji、Jian-Sheng Xing、Wasif Nisar、Asad-Raza Kazmi:Towards Dynamic Voltage Scaling in Real-Time Systems-A Survery,International Journal of Computer Science and Engineering Systems,Vol.2,No.1,PP. 93-103
  42. 余方、李娟、王晓程、王永吉:功能点分析方法研究,计算机科学,Vol.34,No.11,PP. 245-251
  43. 陈伟、薛云志、赵琛、李明树:一种基于时间自动机的实时系统测试方法,软件学报,Vol.18,No.1,PP. 62-73
  44. 李明树、何梅、杨达、舒风笛、王青:软件成本估算方法及应用,软件学报,Vol.18,No.4,PP. 775-795
  45. 舒风笛、赵玉柱、王继喆、李明树:个性化领域知识支持的用户主导需求获取方法,计算机研究与发展,Vol.44,No.6,PP. 1044-1052

2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  1. Yi Lv、Huimin Lin、Hong Pan:Computing Invariants for Parameter Abstraction,MEMOCODE2007,2007年5月
  2. Hao-da Huang、Yanyun Chen、Xing Tong、Wen-cheng Wang:Incremental Wavelet Importance Sampling for Direct IIIumination,VRST2007,2007年11月
  3. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan、Chaochen Zhou:Discovering Non-linear Ranking Function by Solving Semi-algebraic Systems(Invited Talk),Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  4. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan:Generating Polynomial Invariants with DISCOVERER and QEPCAD,Formal Methods and Hybrid Real-Time Systems,2007年7月
  5. Yi-Dong Shen、Jia-Huai You:A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints ,Twenty-Second AAAI Conference on Artificial Intelligence,2007年7月
  6. Jia-Huai You、Li Yan Yuan、Guohua Liu、Yi-Dong Shen:Logic Programs with Abstract Constraints: Representaton , Disjunction and Complexities,Logic Programming and Nonmonotonic Reasoning,2007年5月
  7. Jianfeng Du、Yi-Dong Shen:Partitioning Sboxes Based on Converting DL to Plain Datalog,2007 International Workshop on Description Logics,2007年6月
  8. Xin Chen、Jifeng He、Zhiming Liu、Naijun Zhan:A Model of Component-Based Programming,International Symposium on FSEN2007,2007年4月
  9. Jin Yi、Wenhui Zhang:Efficient State Space Reduction for Automata by Fair Simulation,International Symposium on FSEN2007,2007年4月
  10. Wenhui Zhang:Model Checking with SAT-Based Characterization of ACTL Formulas,9th International Conference on Formal Engineering Methods,ICFEM2007,2007年11月
  11. Jin Yi、Wenhui Zhang:Enhancing Simulation for Checking Language Containment,4th International Conference TAMC2007,2007年5月
  12. Fei Pu、Wenhui Zhang:Parition Reinaement in Abstract Model Cheing,Theoretical Aspects of Software Engineering,2007年6月
  13. Zhilin Wu:On the Expressive Power of QLTL,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  14. Takashi Kitamura、Huimin Lin:Controlling Process Modularity in Mobile Computing,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  15. Xinxin Liu、Haiyan Chen:Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  16. Wenhui Zhang:SAT-Based Verification of LTL Formulas,Formal Methods : Applications and Technology,2007年8月
  17. Yanyan Xu、Wei Chen、Liang Xu、Wenhui Zhang:Evaluation of SAT-based Bounded Model Checking of ACTL Properties,TASE 2007,2007年6月
  18. Xiao Wei Huang、Li Jiao、Weiming Lu:A Semantic Preorder on Refinement and Fairness,TASE 2007,2007年6月
  19. Wenhui Zhang:Verification of ACTL Properties by Bounded Model Checking,Computer Aided Systems Theory-EUROCAST2007
  20. Xiaowei Huang、Li Jiao、Weiming Lu*:What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security,ICICS 2007,2007年12月
  21. Zhengfeng Ji、Jianxin Chen、Zhaohui Wei、Mingsheng Ying:The LU-LC Conjecture is False,The Eleventh Workshop on Quantum Information Processing,2007年12月
  22. Weiwei Lv、Xuehui Liu、Enhua Wu:EOF:Elliptical Occlusion Field for Real-time Soft Shadow Rendering in Animated Scenes,Symposium on Computer Animation2007
  23. Rongjie Yan、Guangyuan Li、Wenliang Zhang、Yunquan Peng:Improvements for the Symbolic Verification of Timed Automata,FORTE2007,2007年6月
  24. Xinxin Liu:Expansive-Bisimulation for Context-Free Processes,Formal Methods and Hybrid Real-Time Systems
  25. Sheng Liu、Jian Zhang、Binhai Zhu:Volume Computation Using a Direct Monte Carlo Method,COCOON2007,2007
  26. Matthew Flatt、Gang Yu、Robert Bruce Findler、Matthias Felleisen*:Adding Delimited and Composable Control to a Production Programming Environment,ICFP07,2007年1月
  27. Daguang Liu、Peng Wu、Huimin Lin:Symbolic Test Generation Using a Temporal Logic with Constrained Events,Formal Methods and Hybrid Real-Time Systems
  28. Yongjian Li、Jun Pang:Extending the Strand Space Method to Verify Kerberos V,Eighth International Conference on Parallel and Distributed Computing,Applications and Technologies,2007年12月
  29. Yongjian Li:Mechanized Proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized Verification of Cache Coherence Protocols,Applied Computing 2007,2007年3月
  30. Shixue Zhang、Enhua Wu:Deforming Surface Simplification Based on Feature Preservation,ICEC2007
  31. Bin Sheng、Enhua Wu:Topology-Consistent Design for 3D Freeform Meshes with Harmonic Interpolation,ICEC2007
  32. Bin Sheng、Enhua Wu:Image-Based Model Reconstruction Using Textured Planes,the Fourth International Conference on Image and Graphics,2007年8月
  33. Bin Sheng、Enhua Wu:Progressive Deformation Based Approximation on Deforming Meshes,the Fourth International Conference on Image and Graphics,2007年8月
  34. Jinzhong Wu、Xuehui Liu、Enhua Wu:Mesh Deormation under Skeleton-Based Detail-Preservation,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  35. Yuanting Gu、Enhua Wu:Feature Analysis and Texture Synthesis,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  36. Ying Liu、Xuehui Liu、Enhua Wu:Variable Code-Mode Based Connectivity Compression for Triangular Meshes,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  37. Qinghua Wu、Enhua Wu:Image Segmentation and Reconstruction Using Graph Cuts and Texton Mask,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  38. Yanci Zhang、Hanqiu Sun、Enhua Wu:B-Spline Surfaces of Clustered Point Sets with Normal Maps,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  39. Hongbin Zhu、Kai Bao、Xuehui Liu、Enhua Wu:Miscible Liquid-Llquid Interactions Based-on a Stabilized Two-Fluid LBM,Symposium on Computer Animation2007
  40. Hongbin Zhu、Kai Bao Enhua Wu:Stable and Efficient Miscible Liquid-liquid Interactions,VRST 2007,2007年11月
  41. Bin Sheng、Enhua Wu:Walking into Images:Virtual Plane Mosaics for Plenoptic Modeling,IEEE Virtual Reality 2007,2007年3月

2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  1. lSCAS-LCS-07-01:易锦,Effcient State Space Reduction for Automata by Fair Simulation
  2. lSCAS-LCS-07-02:李静, 王文成, 吴恩华,基于空盒自适应生成的光线跟踪计算
  3. lSCAS-LCS-07-03:Mingren Chai、Nan Qu、Ying Jiang,Tree Process Calculus
  4. lSCAS-LCS-07-04:Jun Yan,A Backtracking Search Tool for Constructing Combinatorial Test Suites
  5. ISCAS-LCS-07-05:Feifei Ma, Jian Zhang,Searching for Orthogonal Arrays
  6. lSCAS-LCS-07-06:吴永辉,在无冲突标识符依赖集合的条件下XML数据库模式规范化设计的性质
  7. lSCAS-LCS-07-07:Yunhe Wang,Li Jiao,About the Reachability Graph Approach to Analysis of Petri Nets},
  8. lSCAS-LCS-07-08:Haiming Chen, Lei Chen,The Complexity of Inclusion Problem for One-Unambiguous Regular Expressions


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号