搜索结果: 1-2 共查到“计算机科学技术 Extensible”相关记录2条 . 查询时间(0.062 秒)
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
The Globally Asynchronous Locally Synchronous
Network on Chip (GALS NoC) is the most efficient solution that
provides low latency transfers and power efficient System on Chip
(SoC) interconnect. T...