搜索结果: 1-2 共查到“计算机科学技术 Extensible”相关记录2条 . 查询时间(0.118 秒)
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
font style='font-size:12px;'>
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...
A Generic and Extensible Spidergon NoC
Dynamic arbiter Generic router Spidergon NoC SoC
font style='font-size:12px;'>
2010/2/2
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...