the Hi-Tech Research and Development Pro-gram (863) of China (No. 2006AA01Z431);the Giant Project of Zhejiang Province, China (No. 2006C11105)
This study proposes a recoverable stress testing algorithm (RSTA) for such special devices as compression/decompression card and encryption/deeryption card. It uses a chaos function to generate a random sequence, an...
Project supported by the National Natural Science Foundation of China (No. 60173033) and the Shanghai Science and Technology Development Foundation (No. 03DZ15027), China
This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-interfering) processes to run in parallel if they do not acce...