Institute of Software Chinese Academy of Sciences

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <title>Institute of Software Chinese Academy of Sciences</title> <link href="./images/style_en.css" rel="stylesheet" type="text/css"> <style type="text/css">  </style> </head> <body> <div id="main_container"> <div id="header"> <div id="logo"> <a href="#"><img src="http://english.is.cas.cn/images/en_logo.png" width="341" height="58" border="0" /></a> </div> <div class="banner_adds"> <ul> <li><a href="http://english.is.cas.cn">Home</a></li> <li><a href="http://english.is.cas.cn/sitemap/">Sitemap</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> <li><a href="http://www.is.cas.cn/" target="_blank">中文</a></li> <li style="border:none"><a href="http://english.cas.cn/" target="_blank">CAS</a></li> </ul> </div> <div class="menu"> <ul> <li><a href="http://english.is.cas.cn/au/">About us</a>   <ul> <li><a href="http://english.is.cas.cn/au/bi/">Brief Introduction</a></li> <li><a href="http://english.is.cas.cn/au/hy/">History</a></li> <li><a href="http://english.is.cas.cn/au/ds/">Director</a></li> <li><a href="http://english.is.cas.cn/au/aftd/">Address from the Director</a></li> <li><a href="http://english.is.cas.cn/au/an/">Organization</a></li> <li><a href="http://english.is.cas.cn/au/ct/">Contact</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rh/">Research</a>    <ul> <li><a href="http://english.is.cas.cn/rh/rd/">Research Divisions</a></li> <li><a href="http://english.is.cas.cn/rh/rp/">Research Progress</a></li> <li><a href="http://english.is.cas.cn/rh/as/">Achievements</a></li> <li><a href="http://english.is.cas.cn/rh/rps/">Research Programs</a></li> <li><a href="http://english.is.cas.cn/rh/tt/">Technology Transfer</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/pe/">People</a>    <ul> <li><a href="http://english.is.cas.cn/pe/fas/">Faculty and Staff</a></li> <li><a href="http://english.is.cas.cn/pe/LT/">Managing Team</a></li> <li><a href="http://english.is.cas.cn/pe/cm/">CAS Members</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ic/">International Cooperation</a>    <ul> <li><a href="http://english.is.cas.cn/ic/in/">Introduction</a></li> <li><a href="http://english.is.cas.cn/ic/ip/">International Projects </a></li> <li><a href="http://english.is.cas.cn/ic/ic/">International Conferences </a></li> <li><a href="http://english.is.cas.cn/ic/ios/">International Organizations </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ns/">News</a>    <ul> <li><a href="http://english.is.cas.cn/ns/es/">Events </a></li> <li><a href="http://english.is.cas.cn/ns/icn/">Int’l Cooperation News </a></li> <li><a href="http://english.is.cas.cn/ns/ue/">Upcoming Events</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/rs/">Resources</a>    <ul> <li><a href="http://english.is.cas.cn/rs/ma/">Multimedia</a></li> <li><a href="http://english.is.cas.cn/rs/fs/">Facilities</a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/et/">Education & Training</a>    <ul> <li><a href="http://english.is.cas.cn/et/education_intro/">Introduction</a></li> <li><a href="http://english.is.cas.cn/et/Enrollment/">Enrollment </a></li> <li><a href="http://english.is.cas.cn/et/Fellowship_Scholarship/">Fellowship&Scholarship </a></li> </ul>  </li> <li><a href="http://english.is.cas.cn/ju/">Join Us</a></li> <li><a href="http://english.is.cas.cn/sp/">Societies & Publications</a></li> <li><a href="http://english.is.cas.cn/ls/">Links</a></li> </ul> </div> </div>   <div id="main_content">  <div class="column1">  <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>Research</span> Divisions:</div> <div class="box_text"> <p><a href="http://english.is.cas.cn/rh/rd/200711/t20071104_25635.html">State Key Laboratory of Computer Science</a></p> <p><a href="#">National Key Laboratory of Space Integrated Information System</a></p> <p><a href="#">National Engineering Research Center of Fundamental Software</a></p> <p><a href="#">Division of National Engineering Research Center of Satellite Navigation Application</a></p> <p><a href="http://english.is.cas.cn/rh/rd/201109/t20110926_75613.html">Laboratory of Parallel Software and Computational Science</a></p> <p><a href="#">Trusted Computing and Information Assurance Laboratory</a></p> <p><a href="http://english.is.cas.cn/rh/rd/200711/t20071104_25631.html">Technology Center of Software Engineering</a></p> <p><a href="http://english.is.cas.cn/rh/rd/200711/t20071104_25632.html">Intelligence Engineering Laboratory</a></p> <p><a href="http://english.is.cas.cn/rh/rd/200712/t20071219_25636.html">Laboratory for Internet Software Technologies</a></p> <p><a href="#">Intelligent Software Research Center</a></p> <p><a href="#">Research Center of Spatial-Temporal Data Management and Data Science</a></p> <p><a href="#">Chinese Information Processing Laboratory</a></p> </div> <div class="more_cross"><a href="http://english.is.cas.cn/rh/rd/"><img src="./images/cross.gif" width="10" height="10" alt="more" /></a></div> </div> <div class="bottom_left_box"> </div> </div>   <div class="left_box"> <div class="top_left_box"> </div> <div class="center_left_box"> <div class="box_title"><span>Find</span> information:</div> <div class="form"> <form name="searchform" action="http://english.is.cas.cn/Search/index.html" method="get" onSubmit="return search_check()" target="_top" style="margin:0px"/> <div class="form_row"> <label class="left">Search: </label> <input type="text" name="keyword" id="iptSword" onClick="javascript:if(this.value=='') this.value=''" value="" class="form_input" /> </div> <div style="float:right; padding:10px 25px 10px 0;"> <input type="image" src="http://english.is.cas.cn/images/go.gif" border="0" /> </div> </form> <script type="text/javascript"> function escapeTrs(str){//转义trs关键字 var arr = new Array("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\$","\$","\\_","\\+","\-","\=","\\{","\\}","\\|","\\[","\\]",";","'",":","\"","\<","\>","\\?","\,","\\.","\/"); for(var i=0;i<arr.length;i++){ var re = new RegExp(arr[i],"img"); str = str.replace(re, '\\' + arr[i]); } return str; } function dealKeywords(sword, relation) { var sTemp = ""; var swordtemp = ""; var sArray; if(sword.indexOf("*")<0&&sword.indexOf("+")<0&&sword.indexOf(")")<0&&sword.indexOf("(")<0&&sword.indexOf("\\")<0) { sword = escapeTrs(sword); //不含trs关键字 sArray = sword.split(" ");//输入框空格处理,空格表示 relation 关系 for(var i=0; i<sArray.length;i++) { sTemp = sArray[i].replace(/^\s+|\s+$/g,"");//去掉sword前后空格 if(sTemp!="") { swordtemp += "'"+ sTemp + "' "+relation+" ";/*加上''符号,处理trs带运算符的检索词报错的问题*/ } } if(swordtemp.lastIndexOf(" "+relation+" ")!=-1)//去掉relation结尾 { swordtemp = swordtemp.substring(0,swordtemp.length-relation.length-2); } } else//包含trs关键字 { if(sword.indexOf("\\")!=-1){ var re = new RegExp("\\\\","img"); sword = sword.replace(re, '\\\\'); } swordtemp = "'"+sword+"'"; } return swordtemp; } function search_check() { var sword =document.getElementById("iptSword").value.replace(/^\s+|\s+$/g,""); if (sword=='' || sword=='please enter keywords') { alert('please enter keywords!'); return false; } else { document.searchform.keyword.value = encodeURI(document.getElementById("iptSword").value);//传参前进行编码 document.searchform.submit(); } } </script> </div> </div> <div class="bottom_left_box"> </div> </div>  </div>   <div class="column2"> <div><a href="./hw/201206/t20120619_87356.html" target="_blank"><img src="./hw/201206/W020120619364732141526.jpg" width="457" height="210" border="0"/></a> </div>  <div class="small_title style1"><a href="http://english.is.cas.cn/ns/ue/" target="_self">Upcoming Events</a></div>  <div class="main_text_box"> <div class="main_text_box_1"> <p> <a href="./ns/ue/202001/t20200113_229362.html" target="_blank" title="[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity" class="hei12_24h">[2020-01-14]Groebner Bases: Universality, Parametricity and Canonicity</a></p> <p> <a href="./ns/ue/202001/t20200113_229361.html" target="_blank" title="[2019-12-26] Interaction with Large and Multiple Displays" class="hei12_24h">[2019-12-26] Interaction with Large and Multiple Displays</a></p> <p> <a href="./ns/ue/201912/t20191223_228353.html" target="_blank" title="[2019-12-20] Proving that Programs are Differentially Private" "Quantitative information flow: when is one leak worse than another?"" class="hei12_24h">[2019-12-20] Proving that Programs are Differentially Private" "Qua...</a></p> <p> <a href="./ns/ue/201912/t20191223_228351.html" target="_blank" title="[2019-12-18] Quantum Computing Engineering: Challenges and Opportunities" class="hei12_24h">[2019-12-18] Quantum Computing Engineering: Challenges and Opportu...</a></p> <p> <a href="./ns/ue/201912/t20191223_228350.html" target="_blank" title="[12-10] Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures" class="hei12_24h">[12-10] Compositional Techniques for the Verification of a Separati...</a></p> <p> <a href="./ns/ue/201912/t20191223_228349.html" target="_blank" title="[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle Verbalization and Speech Patterns to Help Evaluators Identify UX Problems in Think-Aloud Usability Testing" class="hei12_24h">[12-20] Toward AI-Assisted UX Analysis Methods: Leveraging Subtle V...</a></p> <p> <a href="./ns/ue/201912/t20191223_228348.html" target="_blank" title="[11-20] Logipedia: towards a Wikipedia of formal proofs" class="hei12_24h">[11-20] Logipedia: towards a Wikipedia of formal proofs</a></p> <p> <a href="./ns/ue/201912/t20191223_228347.html" target="_blank" title="[10-25] Software Engineering Issues in Cyber-Physical Systems" class="hei12_24h">[10-25] Software Engineering Issues in Cyber-Physical Systems</a></p> <p> <a href="./ns/ue/201912/t20191223_228346.html" target="_blank" title="[09-23] View-Centric Performance Optimization for Database-Backed Web Applications" class="hei12_24h">[09-23] View-Centric Performance Optimization for Database-Backed W...</a></p> <p> <a href="./ns/ue/201912/t20191223_228345.html" target="_blank" title="[9-17] On Solving String Constraints" class="hei12_24h">[9-17] On Solving String Constraints</a></p> <p> <a href="./ns/ue/201912/t20191223_228344.html" target="_blank" title="[08-14] High-Performance Software Development Challenges in the Post-Moore Era" class="hei12_24h">[08-14] High-Performance Software Development Challenges in the Pos...</a></p> <p> <a href="./ns/ue/201912/t20191223_228343.html" target="_blank" title="[08-21] Scalable Analysis and Control of Boolean Networks" class="hei12_24h">[08-21] Scalable Analysis and Control of Boolean Networks</a></p> </div> <div class="main_text_box_2"> <p> 2020-01-13</p> <p> 2020-01-13</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> <p> 2019-12-23</p> </div> </div> </div>   <div class="column_right"> <div class="column3"> <div class="small_title style1"><a href="http://english.is.cas.cn/ns/es/" target="_self">Events</a></div> <div class="offer_box"> <div class="offer_info"> <p class="offer"> <a href="./ns/es/202208/t20220830_313321.html" target="_blank" title="Dr Alexander Bentkamp Won Three Dissertation Awards Because of His PhD Thesis Superposition for Higher-Order Logic" class="hei12_24h">Dr Alexander Bentkamp Won Three Dissertation Awards Because of His ...</a><span> 2022-08-30</span></p> <p class="offer"> <a href="./ns/es/202208/t20220824_312878.html" target="_blank" title="Deep memory of Dr. Barry William Boehm" class="hei12_24h">Deep memory of Dr. Barry William Boehm</a><span> 2022-08-24</span></p> <p class="offer"> <a href="./ns/es/201809/t20180917_197515.html" target="_blank" title="Concurrent theory and formal verification Joint Conference (CONFESTA 2018) was inaugurated on Sep.4th" class="hei12_24h">Concurrent theory and formal verification Joint Conference (CONFEST...</a><span> 2018-09-17</span></p> <p class="offer"> <a href="./ns/es/201806/t20180626_194484.html" target="_blank" title="Shuzhi Sam Ge, Academician of Singapore Academy of Engineering, and his Delegation Came to ISCAS for Academic Visit" class="hei12_24h">Shuzhi Sam Ge, Academician of Singapore Academy of Engineering, and...</a><span> 2018-06-26</span></p> </div> </div> </div> </div> <div class="column4"> <div class="small_title style1"><a href="http://english.is.cas.cn/rh/rp/" target="_self">Research Progress</a></div> <div class="offer_box"> <div class="offer_info"> <p class="offer"><a href="./rh/rp/202107/t20210727_276303.html" target="_blank" title="Scientist Develop a High-performance Detection and Repair Tools for ReDoS-vulnerability" class="hei12_24h">Scientist Develop a High-performance Detection and Repair Tools fo...</a><span> 2021-07-27</span></p> <p class="offer"><a href="./rh/rp/201912/t20191203_226893.html" target="_blank" title="Scientists Develop a Software-based Method to Prevent Newly Raised Practical Threats against Mobile Devices and Cloud Platforms" class="hei12_24h">Scientists Develop a Software-based Method to Prevent Newly Raised ...</a><span> 2019-12-03</span></p> <p class="offer"><a href="./rh/rp/201912/t20191203_226889.html" target="_blank" title="Researchers Propose an Effective Method for Detecting Concurrency Memory Corruption Vulnerabilities" class="hei12_24h">Researchers Propose an Effective Method for Detecting Concurrency M...</a><span> 2019-12-03</span></p> <p class="offer"><a href="./rh/rp/201911/t20191107_222730.html" target="_blank" title="Scientists Develop A new topology-preserving simplification method for Medial Axes in 3D Models" class="hei12_24h">Scientists Develop A new topology-preserving simplification method ...</a><span> 2019-11-07</span></p> <p class="offer"><a href="./rh/rp/201911/t20191104_222425.html" target="_blank" title="Scientists Develop A New Method for Image Composition of Partially Occluded Objects" class="hei12_24h">Scientists Develop A New Method for Image Composition of Partially ...</a><span> 2019-11-04</span></p> <p class="offer"><a href="./rh/rp/201911/t20191104_222399.html" target="_blank" title="Scientists Develop A New Method for Detecting Intrinsic Symmetries on 3D Models" class="hei12_24h">Scientists Develop A New Method for Detecting Intrinsic Symmetries ...</a><span> 2019-11-04</span></p> <p class="offer"><a href="./rh/rp/201908/t20190829_215879.html" target="_blank" title="Scientists Improve Texture Filtering with Structure-aware Window Optimization" class="hei12_24h">Scientists Improve Texture Filtering with Structure-aware Window Op...</a><span> 2019-08-29</span></p> <p class="offer"><a href="./rh/rp/201908/t20190829_215877.html" target="_blank" title="Scientists Develop A Novel Multitask Learning Method for Surface Reconstruction and Image Synthesis" class="hei12_24h">Scientists Develop A Novel Multitask Learning Method for Surface Re...</a><span> 2019-08-29</span></p> </div> </div> </div> </div> </div>  </div>   <div id="footer"> <div id="copyright"> <div>©2011 Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn</div> </div> </div> </div>  </body> </html>

CINXE.COM

Institute of Software Chinese Academy of Sciences