CONCURRENT

作品数：368被引量：579H指数：12
导出分析报告
相关领域：医药卫生更多>>
相关作者：乔建军方红陈东立马春晖史艳维更多>>
相关机构：浙江大学医学院附属第一医院南京航空航天大学上海交通大学徐州医科大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Science China（Information Sciences）x
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
A novel approach to public-coin concurrent zero-knowledge and applications on resettable security
《Science China(Information Sciences)》2019年第3期127-140,共14页Zhenbin YAN Yi DENG 
supported in part by National Natural Science Foundation of China (Grant No. 61772521);Key Research Program of Frontier Sciences, Chinese Academy of Sciences (Grant No. QYZDB-SSW-SYS035);Open Project Program of the State Key Laboratory of Cryptology
Canetti, Lin and Paneth in TCC 2013 showed a O(log^(1+ε)n) rounds public-coin concurrent zeroknowledge argument system(CZK) based on the existence of collision resistant hash functions, which is currently known as ro...
关键词：ZERO-KNOWLEDGE CONCURRENT ZERO-KNOWLEDGE resettable ZERO-KNOWLEDGE CONCURRENT SECURE computation computational COMPLEXITY 
Bi-directional and concurrent proof of ownership for stronger storage services with de-duplication
《Science China(Information Sciences)》2018年第3期80-90,共11页Taek-Young YOUN Ku-Young CHANG 
supported by Electronics and Telecommunications Research Institute(ETRI)grant funded by the Korean government(17ZH1700,Development of Storage and Search Technologies over Encrypted Database)
In storage service, data de-duplication is a specialized technique for eliminating duplicate copies of repeating data in storage. Especially, client-side de-duplication has more merits than server-side de- duplication...
关键词：cloud storage secure de-duplication data out-source proof of ownership bi-directional andconcurrent proof 
Decidability of linearizabilities for relaxed data structures
《Science China(Information Sciences)》2018年第1期109-118,共10页Chao WANG Yi LV Peng WU 
supported by National Natural Science Foundation of China (Grants Nos. 61672504, 60721061, 60833001, 61572478, 61672503, 61100069, 61161130530);National Basic Research Program of China (973 Program) (Grant No. 2014CB340700)
Many recent implementations of concurrent data structures relaxed their linearizability requirements for better performance and scalability. Quasi-linearizability, k-linearizability and regular-relaxed linearizability...
关键词：concurrent data structures quantitative relaxation LINEARIZABILITY DECIDABILITY finite automata 
Towards dataflow based graph processing被引量：3
《Science China(Information Sciences)》2017年第12期270-272,共3页Hai JIN Pengcheng YAO Xiaofei LIAO 
supported by National High Technology Research and Development Program of China(863 Program)(Grant No.2015AA015303)
Modern graph processing is widely used for solving a vast variety of real-world problems,e.g.,web sites ranking[1]and community detection[2].To better adapt and express the procedure of graph iteration,a wide spectrum...
关键词：CONCURRENT PARTITION ITERATION RANKING instructions branch ADAPT processor scheduling operations 
HyBar:high efficient barrier synchronization based on a hybrid packet-circuit switching Network-on-Chip
《Science China(Information Sciences)》2017年第6期233-244,共12页Zhenqi WEI Peilin LIU Rongdi SUN 
partially supported by Equipment Pre-Research Foundation of China(Grant No.9140A08010414JW03025)
Realizing barrier synchronization in multi-/many-core processors with high efficiency becomes more and more challenging as the number of cores integrated in a single chip keeps growing. Quite a few barrier solutions h...
关键词：NOC barrier synchronization packet-circuit switching concurrent barriers routing algorithm 
Towards context consistency by concurrent checking for Internetware applications被引量：5
《Science China(Information Sciences)》2013年第8期65-84,共20页XU Chang LIU YePang CHEUNG S.C. CAO Chun LV Jian 
funded by National Basic Research Program of China (973 Program) (Grant No.2009CB320702);National High-tech R&D Program (863 Program) (Grant No. 2012AA011205);National Natural Science Foundation of China (Grant Nos. 61100038,61021062);Research Grants Council (612210) of HongKong;Chang Xu was also partially supported by Program for New Century Excellent Talents in University,China (Grant No. NCET-10-0486)
Internetware applications are emerging and being widely used. They can adapt their behavior based on environmental contexts and deliver smart services. These contexts can be subject to various noises, which cause them...
关键词：concurrent checking consistency constraint context inconsistency pervasive computing Internet-ware 
Finding shrink critical section refactoring opportunities for the evolution of concurrent code in trustworthy software被引量：1
《Science China(Information Sciences)》2013年第1期74-93,共20页QIAN Ju CHEN Lin XU BaoWen 
supported by National Natural Science Foundation of China (Grant Nos. 90818027,91018005,60903026,61003020)
With the keyword synchronized, Java provides a simple but often over-used synchronization mech- anism. Many programmers tend to use a big synchronized section to protect a large block of statements even if many of the...
关键词：CONCURRENT SYNCHRONIZATION REFACTORING DEPENDENCE escape analysis 
A verifiable low-level concurrent programming model based on colored Petri nets
《Science China(Information Sciences)》2011年第10期2013-2027,共15页WANG ShengYuan DONG Yuan 
supported by the National Natural Science Foundation of China (Grant Nos.90818019,60573017);the National High-Tech Research and Development Plan of China (Grant No.2008AA01Z102)
Concurrent programs written in a machine-level language are being used in many areas, but the verification of such programs brings various new challenges to the programming language community. Most of existing contrib...
关键词：low-level concurrent programs colored Petri nets abstract machine VERIFICATION 
Precise bounded-concurrent zero-knowledge proofs for NP被引量：1
《Science China(Information Sciences)》2010年第9期1738-1752,共15页DING Ning GU DaWu 
supported by the Specialized Research Fund for the Doctoral Program of Higher Education(GrantNo.200802480019)
Precise concurrent zero-knowledge is a new notion introduced by Pandey et al. in Eurocrypt'08. This notion captures the idea that the view of any verifier in concurrent interaction can be reconstructed in almost the s...
关键词：interactive proofs and arguments ZERO-KNOWLEDGE precise zero-knowledge proofs of knowledge bounded concurrency 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部