云南高校图书馆联盟文献共享服务平台- CONCURRENT

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

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification被引量：1: 《Journal of Computer Science & Technology》2022年第1期4-28,共25页Inès Mouakher Fatma Dhaou J.Christian Attiogbé; UML 2.X sequence diagrams(SD)are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current systems.However,there are several issues related to the standard seman...; 关键词：UML 2.X sequence diagram formal semantics nested combined fragment partial order theory EVENT-B

Verifying Contextual Refinement with Ownership Transfer被引量：1: 《Journal of Computer Science & Technology》2021年第6期1342-1366,共25页Zhao-Hui Li Xin-Yu Feng; supported by the National Natural Science Foundation of China under Grant No.61632005。; Contextual refinement is a compositional approach to compositional verification of concurrent objects.There has been much work designing program logics to prove the contextual refinement between the object implementat...; 关键词：contextual refinement program logic concurrent object ownership transfer VERIFICATION

A Study on Modeling and Optimization of Memory Systems: 《Journal of Computer Science & Technology》2021年第1期71-89,共19页Jason Liu Pedro Espina Xian-He Sun; supported in part by the U.S.National Science Foundation under Grant Nos.CCF-2008000,CNS-1730488,and CCF-2008907;the U.S.Department of Homeland Security under Grant No.2017-ST-062-000002.; Accesses Per Cycle(APC),Concurrent Average Memory Access Time(C-AMAT),and Layered Performance Matching(LPM)are three memory performance models that consider both data locality and memory assess concurrency.The APC mod...; 关键词：performance modeling performance optimization memory architecture memory hierarchy concurrent average memory access time

CRL： Efficient Concurrent Regeneration Codes with Local Reconstruction in Geo-Distributed Storage Systems被引量：1: 《Journal of Computer Science & Technology》2018年第6期1140-1151,共12页Quan-Qing Xu Wei-Ya Xi Khai Leong Yong Chao Jin; As a typical erasure coding choice, Reed-Solomon （RS） codes have such high repair cost that there is a penaltyfor high reliability and storage efficiency, thereby they are not suitable in geo-distributed storage sys...; 关键词：CONCURRENT REGENERATION CODE local reconstruction geo-distributed storage system

A Task Execution Framework for Cloud-Assisted Sensor Networks被引量：1: 《Journal of Computer Science & Technology》2014年第2期216-226,共11页石海龙李栋邱杰凡侯陈达崔莉; supported in part by the Strategic Priority Research Program of the Chinese Academy of Sciences under GrantNo.XDA06010403;the International Science and Technology Cooperation Program of China under Grant No.2013DFA10690;the ational Natural Science Foundation of China under Grant No.61003293;the Beijing Natural Science Foundation under GrantNo.4112054; As sensor networks are increasingly being deployed, there will be more sensors available in the same region, making it strategic to select the suitable ones to execute users＇ applications. We propose a task execution...; 关键词：task execution framework sensor network concurrent task optimization Internet of Things

Resources Snapshot Model for Concurrent Transactions in Multi-Core Processors: 《Journal of Computer Science & Technology》2013年第1期106-118,共13页赵雷杨季文; supported by the National Natural Science Foundation of China under Grant No.61073061; Transaction parallelism in database systems is an attractive way of improving transaction performance. There exists two levels of transaction parallelism, inter-transaction level and intra-transaction level. With the ...; 关键词：MULTI-CORE database transaction PARALLELISM CONCURRENCY conflict detection

Efficient Execution of Multiple Queries on Deep Memory Hierarchy被引量：1: 《Journal of Computer Science & Technology》2007年第2期273-279,共7页张岩陈智峰周源源; This paper proposes a complementary novel idea, called MiniTasking to further reduce the number of cache misses by improving the data temporal locality for multiple concurrent queries. Our idea is based on the observa...; 关键词：cache performance temporal locality mini-task scheduling concurrent queries

Action Refinement for Real-Time Concurrent Processes with Urgency: 《Journal of Computer Science & Technology》2005年第4期514-525,共12页覃广平吴尽昭; 国家自然科学基金; Action refinement for real-time concurrent processes with urgent interactions is studied, where a partial-order setting, i.e., timed bundle event structures, is used as the system model and a real-time LOTOS-like proc...

VFSim： Concurrent Fault Simulation at Register Transfer Level: 《Journal of Computer Science & Technology》2005年第2期175-186,共12页LiShen; 国家高技术研究发展计划(863计划); VLSI testing is being pushed to the high-level based technology. In thispaper a Verilog Register transfer level Model (VRM) for integrated circuits is proposed. The modelprovides a text format file, which is convenien...; 关键词：high-level testing VERILOG RTL circuit modeling fault model concurrentfault simulation

Fault—Tolerant Systems with Concurrent Error—Locating Capability被引量：1: 《Journal of Computer Science & Technology》2003年第2期190-200,共11页江建慧闵应骅彭澄廉; 上海市高等学校优秀青年教师基金，国家自然科学基金; Fault-tolerant systems have found wide applications in military, industrial andcommercial areas. Most of these systems are constructed by multiple-modular redundancy or er-ror control coding techniques. They need some...

CONCURRENT