搜索结果: 1-3 共查到“计算机科学技术 as strong as”相关记录3条 . 查询时间(0.046 秒)
We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that relaxes the dichotomy between stro...
The Capacity Region of the Discrete Memoryless Interference Channelwith Strong Interference
Capacity Region Discrete Memoryless Interference Channelwith Strong Interference
2015/8/12
The capacity region of the discrete memoryless interference channel with strong interference is established.
Polymorphic worm detection using strong token-pair signatures
Polymorphic worm worm detection
2009/7/28
Malicious software has become a big threat to information systems, which are widely used to store,
transfer and process information for many critical assets. Worms are one of the most harmful network...