學術報告----中國科學院軟件研究所

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

中國科學院軟件研究所

學術報告

[2019-05-16][05-21] Symbolic semantics for Open Systems and their Bisimulation algorithms
[2019-04-30][05-17] Matching mu-logic: A powerful logic for specifying and reasoning about fixpoints and indu...
[2019-04-30][05-20] Developing Game-Changing Embedded Intelligence
[2019-04-28][05-06] Towards Safety Verification of Autonomous Systems
[2019-04-28][04-29] Orthogonal arrays, covering arrays, and combinatorial testing
[2019-04-22][04-23] Dense Regions: a Different Type of Event in Graph Streams
[2019-04-22][04-23] Toward Smarter Continuous Integration: Automated Fault Finding and Fixing with Sapienz at...
[2019-03-26][03-29] Supporting Edge Computing through Resource Management and Energy Efficient Hardware Design
[2019-02-21][02-25] Towards Verified and Certifiable Subsystems
[2019-01-08][01-09] Graph Based Nonparametric Testing for High Dimensional Data
[2019-01-02][01-03] In-Network Support for End-to-End Diagnostics and Security
[2018-12-20][12-21] Linear Recurrence Sequences: Theory and Algorithms
[2018-12-10][12-13] 交互式制造與制造交互式物品
[2018-12-04][12-04] A component-based approach for cyber-physical systems in differential dynamic logic
[2018-11-20][11-22] An Introduction to Automatic Structures
[2018-11-13][11-16] 智能化電子病歷分析及預后系統研究
[2018-11-12][11-12] Towards a Form-independent Semantics for NLP
[2018-09-13][09-13] A Verified Implementation of the Bounded List Container
[2018-08-15][08-16] The Limits of Symmetric Computation
[2018-06-28][06-29] Conditional Congruence Closure Algorithms for Uninterpreted and Interpreted symbols
[2018-06-26][06-27] “軟件智能分析”學術沙龍第六次活動
[2018-06-25][06-27] Design and Analysis for Real-Time Mixed-Criticality Scheduling
[2018-06-20][06-22] Historical and Futuristic Perspectives of Robotics
[2018-06-20][06-26] From algorithmic learning of languages to learning probability distributions (and back)
[2018-06-20][06-21] Superset Disassembly: Statically Rewriting x86/64 Binaries Without Heuristics

«1 2 345 »下5頁

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版權所有 © 中國科學院軟件研究所　京ICP備05046678號-1　文保網安備1101080077
電話：86-10-62661012　傳真：86-10-62562533　電子郵箱：info@iscas.ac.cn

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

久久久综合香蕉尹人综合网