State Key Laboratory of Computer Science
State Key Laboratory of Information Security
State Key Laboratory of Integrated Information System Technology
National Engineering Research Center of Fundamental Software
National Engineering Research Center of Information Security
Division of National Engineering Research Center of Satellite Navigation Application
Laboratory of Parallel Software and Computational Science
Technology Center of Software Engineering
Intelligence Engineering Laboratory
[5-20]Automata for counting data, and some logic
[5-17]Develop Fine-Grained Access Control Systems for Smartphones
[5-16]High-Level Parallel Programming with Parallel Skeletons in Ha...
[5-10]Making Software Reliable in the Multicore Era
[5-9]Detection and Tracking of Dynamic Amorphous Events in Wireless...
[4-26]Reasoning about State Invariants and Constraints in Artificia...
[4-25]A Controlled Experiment on Software Documentation Benefits an...
[4-19] Turing's Computable Real Numbers and Why They Are Still Impo...
[4-18]Document and model annotation: a formal view and a system for...
[3-17]Randomized Postoptimization of Covering Arrays
[3-7]Provably correct conflict prevention bands algorithms
[1-23]Spotting Code Optimizations in Data-Parallel Pipelines throug...
2013-05-13
2013-05-17
2013-05-10
2013-04-24
2013-05-06
2013-04-22
2013-04-24
2013-04-15
2013-04-16
2013-03-16
2013-03-01
2013-01-16
A Toolkit for Generating Sentences from Context-Free Grammars 2011-10-21
Holographic Reduction: A Domain Changed Application and its Partial... 2011-10-21
Sequential Event Pattern Based Design of Context-Aware Adaptive App... 2011-02-24
Study on Cloud Computing Security 2010-12-28
Formalized Approach for Componentized Software Process Modeling 2010-12-28
SKLOIS and King Saud University Reached A Cooperation Agreement 2009-06-15
The 2nd ISCAS/USC/UMASS Workshop was held successfully 2009-06-10
ISCAS-UQ cooperation strengthened as new Joint Lab launched 2008-10-14