ATOMICITY

作品数：9被引量：9H指数：2
导出分析报告
相关作者：陈明更多>>
相关机构：上海水产大学更多>>
相关期刊：《China Communications》《Science China(Information Sciences)》《Journal of Systems Engineering and Electronics》《Wuhan University Journal of Natural Sciences》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Surveying concurrency bug detectors based on types of detected bugs被引量：2
《Science China(Information Sciences)》2017年第3期1-27,共27页Zhendong WU Kai LU Xiaoping WANG 
supported by National High Technology Research and Development Program of China(863 Program)(Grant Nos.2012AA01A301,2012AA010901);Program for New Century Excellent Talents in University and National Natural Science Foundation of China(Grant Nos.61402486,61402492,61272142);Moreover,it is a part of Innovation Fund Sponsor Project of Excellent Postgraduate Student(Grant No.B130608)
Concurrency bugs widely exist in concurrent programs and have caused severe failures in the real world. Researchers have made significant progress in detecting concurrency bugs, which improves software reliability. In...
关键词：concurrency bug detection data race atomicity violation order violation DEADLOCK 
An efficient method for detecting concurrency errors in object-oriented programs
《Science China(Information Sciences)》2012年第12期2774-2784,共11页HE YanXiang WU Wei CHEN Yong 
supported in part by National Natural Science Foundation of China(Grant Nos.90818018,9111800)
Multicore and multi-threaded processors have become the norm for modern processors. Accordingly, concurrent programs have become more and more prevalent despite being difficult to write and understand. Although errors...
关键词：concurrency error dynamic test data race atomicity violations test case generation 
Transactional Dependency for Failure Recovery in Web Services Composition System
《Chinese Journal of Electronics》2012年第2期241-248,共8页MEI Xiaoyong LI Shixian HUANG Changqin ZHENG Xiaolin 
Manuscript Received Nov. 2010; Accepted Feb. 2011. This work is supported by the National Key Technologies R＆D Program of China （No.2008BAH24B03）, the National Natural Science Foundation of China （No.60673122, No.60940033）, the Postdoctoral Sci- ence Foundation of China （No.20080440121）, the Natural Science Foundation of Province （No.06017089, No.60940033）, the Science and Technology Planning Project of Hunan Province （No.2010GK3020）.
With the advanced Internet technology, business applications across multiple enterprises based on Composition web services （CWS） paradigm are widely used. Since business processes among enterprises become complex, l...
关键词：Composition transaction~ ExtendedPetri-net Task dependency Execution log Relaxed-ACID（Atomicity~ Consistency Isolation Durability）. 
A Fast Algorithm of Scalar Multiplication Based on Side-Channel Atomicity
《China Communications》2011年第2期134-139,共6页郝玉洁 殷石 
sponsored and financial supported by National Natural Science Foundation of China (NSFC), grant No.61003121;Sichuan Province High Technology Program under No.2009CD00014
Simple power analysis is the most devastating attack on the security of elliptic curve scalar multiplication and can probably retrieve the secret key. In this paper,we analyze the formulas of point doubling and additi...
关键词：jacobi-quartic curve scalar multipli-cation simple power analysis side-channel atomicity 
An application-semantics-based relaxed transaction model for internetware被引量：6
《Science in China(Series F)》2006年第6期774-791,共18页HUANG Tao DING Xiaoning WEI Jun 
This work was supported by the Major State Basic Research Development Program of China （973 Program） （Grant No. 2002CB312005）;the National Natural Science Foundation of China （Grant No. 60573126）.
An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service （TCS...
关键词：INTERNETWARE service composition relaxed atomicity relaxed transaction mode. 
Atomic Electronic Contract ProtocolBased on Convertible Signature
《Wuhan University Journal of Natural Sciences》2005年第1期227-230,共4页LIUYi-chun WANGLi-na ZHANGHuan-guo 
SupportedbytheNationalNaturalScienceFoundationofChina(90104005,60473023,60373087)
A new class of atomicity, namely contract atomicity is presented. A newtechnical strategy based on convertible signature and two-phase commitment is proposed forimplementing atomicity of electronic contract protocol. ...
关键词：electronic contract ATOMICITY convertible signature 
Atomic and anonymous e-Cash transaction protocol with off-line TTP
《Journal of Harbin Institute of Technology(New Series)》2004年第5期558-563,共6页王茜 李朝阳 杨德礼 
SponsoredbytheNationalNaturalScienceFoundationofChina (GrantNo .70 0 31 0 2 0 ) .
Atomicity and anonymity are desirable properties for reliable and security e-Cash transaction and the guarantee of the participants’ interests. But there are conflicts between these two properties. In this paper, an ...
关键词：E-CASH ATOMICITY ANONYMITY security electronic commerce 
Atomic and efficient e-cash transaction protocol被引量：1
《Journal of Systems Engineering and Electronics》2004年第3期392-398,共7页王茜 杨德礼 
This project was supported by the National Natural Science Foundation of China (70031020).
Atomicity is necessary for reliable and secure electronic commerce transaction and to guarantee the participants' interests. An atomic and efficient e-cash (electronic cash) transaction protocol based on the classical...
关键词：E-CASH ATOMICITY ANONYMITY protocol. 
Remark on Regularity of Continuous Operators on AL-Spaces
《Journal of Southwest Jiaotong University(English Edition)》2004年第1期79-82,共4页冯勋省 陈滋利 
Let E and F be Banach lattices. It is known that if every continuous linear operator from E into F is regular, then, under some mild assumptions on E or F, either E is lattice isomorphic to an AL-space or F is lattice...
关键词：Banach lattice AL-space AM-space ATOMICITY REGULARITY 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部