| Pushing the Limits - Searching for Implementations with the Smallest Area for Lightweight S-Boxes. | 0 | 0.34 | 2021 |
| Massive Superpoly Recovery with Nested Monomial Predictions. | 0 | 0.34 | 2021 |
| BGRA-Net - Boundary-Guided and Region-Aware Convolutional Neural Network for the Segmentation of Breast Ultrasound Images. | 0 | 0.34 | 2021 |
| Verification Of Concurrent Code From Synchronous Specifications | 0 | 0.34 | 2021 |
| Smart Contract Microservitization | 0 | 0.34 | 2020 |
| NTT_CQUPT@TRECVID2019 ActEV - Activities in Extended Video. | 0 | 0.34 | 2019 |
| Template-based AADL automatic code generation | 0 | 0.34 | 2019 |
| Qiniu Submission to ActivityNet Challenge 2018. | 0 | 0.34 | 2018 |
| Multi-tenant Verification-as-a-Service (VaaS) in a cloud | 3 | 0.37 | 2016 |
| Towards a verified compiler prototype for the synchronous language SIGNAL | 1 | 0.35 | 2016 |
| Simulation of real-time systems with clock calculus. | 2 | 0.37 | 2015 |
| Internet Traffic Matrix Structural Analysis Based on Multi-Resolution RPCA | 0 | 0.34 | 2015 |
| Exploring AADL verification tool through model transformation | 8 | 0.52 | 2015 |
| A verified transformation: from polychronous programs to a variant of clocked guarded actions | 6 | 0.44 | 2014 |
| From AADL to Timed Abstract State Machines: A verified model transformation. | 14 | 0.61 | 2014 |
| Multi-threaded code generation from Signal program to OpenMP | 6 | 0.44 | 2013 |
| Baselining Network-Wide Traffic by Time-Frequency Constrained Stable Principal Component Pursuit | 0 | 0.34 | 2013 |
| Structural analysis of network traffic matrix via relaxed principal component pursuit | 14 | 0.72 | 2012 |
| An Improved Traffic Matrix Decomposition Method With Frequency-Domain Regularization | 0 | 0.34 | 2012 |
| Structure Analysis of Network Traffic Matrix Based on Relaxed Principal Component Pursuit | 0 | 0.34 | 2011 |
| Two Formal Semantics of a Subset of the AADL | 7 | 0.51 | 2011 |
| An Analytical Model of k-Ary n-Cube under Spatial Communication Locality | 0 | 0.34 | 2010 |
| A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts | 5 | 0.44 | 2009 |
| Towards a formal semantics for the AADL behavior annex | 17 | 1.03 | 2009 |
| An Expanded Stochastic Model in DAG Schemes | 0 | 0.34 | 2008 |
| Implementation of Virtual Dynamic Personal Cluster | 0 | 0.34 | 2008 |
| A Novel Approach to Evaluate Trustworthiness and Uncertainty of Trust Relationships in Peer-to-Peer Computing | 7 | 1.29 | 2005 |
| Security design of mobile agent system | 0 | 0.34 | 2000 |
| Task Scheduling Onto Dynamic Large-Scale Parallel Cluster (DLPC) | 0 | 0.34 | 2000 |
