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

SCALABLE: 作品数：384被引量：603H指数：10; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：万晓霞洛佳男刘水清王宇柳玲更多>>; 相关机构：杭州电子科技大学南京农业大学上海交通大学暨南大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国博士后科学基金更多>>

The Memory-Bounded Speedup Model and Its Impacts in Computing: 《Journal of Computer Science & Technology》2023年第1期64-79,共16页孙贤和鲁潇阳; supported in part by the U.S.National Science Foundation under Grant Nos.CCF-2029014 and CCF-2008907.; With the surge of big data applications and the worsening of the memory-wall problem,the memory system,instead of the computing unit,becomes the commonly recognized major concern of computing.However,this“memorycent...; 关键词：memory-bounded speedup scalable computing memory-wall performance modeling and optimization data-centric design

Verification of Real Time Operating System Exception Management Based on SPARCv8被引量：2: 《Journal of Computer Science & Technology》2021年第6期1367-1387,共21页Zhi Ma Lei Qiao Meng-Fei Yang Shao-Feng Li Jin-Kun Zhang; supported by the National Natural Science Foundation of China under Grant Nos.61632005 and 62032004.; Exception management,as the lowest level function module of the operating system,is responsible for making abrupt changes in the control flow to react to exception events in the system.The correctness of the exception...; 关键词：operating system EXCEPTION Scalable Processor Architecture Version 8(SPARCv8) COQ formal verification

Modular Verification of SPARCv8 Code被引量：1: 《Journal of Computer Science & Technology》2020年第6期1382-1405,共24页Jun-Peng Zha Xin-Yu Feng Lei Qiao; This work was supported by the National Natural Science Foundation of China under Grant No.61632005.; Inline assembly code is common in system software to interact with the underlying hardware platforms. The safety and correctness of the assembly code is crucial to guarantee the safety of the whole system. In this pap...; 关键词：Scalable Processor Architecture Version 8(SPARCv8) assembly code verification context switch COQ refinement verification

Scalable and Privacy-Preserving Data Sharing Based on Blockchain被引量：21: 《Journal of Computer Science & Technology》2018年第3期557-567,共11页Bao-Kun Zheng Lie-Huang Zhu Meng Shen Feng Gao Chuan Zhang Yan-Dong Li Jing Yang; With the development of network technology and cloud computing, data sharing is becoming increasingly popular, and many scholars have conducted in-depth research to promote its flourish. As the scale of data sharing e...; 关键词：data sharing PRIVACY-PRESERVING cloud computing blockchain Paillier cryptosystem

GPU-Driven Scalable Parser for OBJ Models被引量：1: 《Journal of Computer Science & Technology》2018年第2期417-428,共12页Sunghun Jo Yuna Jeong Sungkil Lee; This paper presents a scalable parser framework using graphics processing units （GPUs） for massive text-based files. Specifically, our solution is designed to efficiently parse Wavefront OBJ models texts of which sp...; 关键词：3D model Wavefront OBJ PARSER GPU

CHAUS:Scalable VM-Based Channels for Unbounded Streaming: 《Journal of Computer Science & Technology》2017年第6期1288-1304,共17页Yu Zhang Yu-Fen Yu Hui-Fang Cao Jian-Kang Chen Qi-Liang Zhang; Stream processing is a special form of the dataflow execution model that offers extensive opportunities for optimization and automatic parallelism. A streaming application is represented by a graph of computation stag...; 关键词：STREAMING thread model pipeline parallelism unbounded channel virtual memory

SUBic:A Scalable Unsupervised Framework for Discovering High Quality Biclusters: 《Journal of Computer Science & Technology》2013年第4期636-646,共11页Jooil Lee Yanhua Jin Won Suk Lee; supported by the National Research Foundation of Korea (NRF) funded by the Ministry of Education,Science and Technology (MEST) of Korea under Grant No. 2011-0016648; A biclustering algorithm extends conventional clustering techniques to extract all of the meaningful subgroups of genes and conditions in the expression matrix of a microarray dataset. However, such algorithms are ver...; 关键词：BICLUSTERING CLUSTERING expression matrix frequent itemset sub-matrix

A Scalable Testing Framework for Location-Based Services被引量：1: 《Journal of Computer Science & Technology》2009年第2期386-404,共19页Jiang Yu Andrew Tappenden James Miller Michael Smith; A novel testing framework for location based services is introduced. In particular, the paper showcases a novel architecture for such a framework. The implementation of the framework illustrates both the functionality...; 关键词：location based applications location-based services M-COMMERCE software testing

Scalable Base-Station Model-Based Multicast in Wireless Sensor Networks被引量：1: 《Journal of Computer Science & Technology》2008年第5期780-791,共12页彭绍亮李姗姗陈雷彭宇行肖侬; supported by the National Natural Science Foundation of China under Grant Nos. 60433040 and 60736013;the National Grand Fundamental Research 973 Program of China under Grant Nos. 2002CB312105 and 2006CB3030000;the China 973 WSNs Joint Lab at Shanghai.; Multicast is essential for wireless sensor network （WSN） applications. Existing multicast protocols in WSNs are often designed in a P2P pattern, assuming small number of destination nodes and frequent changes in net...; 关键词：scalable multicast SenCast wireless sensor

Scalable and Practical Nonblocking Switching Networks: 《Journal of Computer Science & Technology》2006年第4期466-475,共10页郑斯清 Ashwin Gumastet; Large-scale strictly nonblocking （SNB） and wide-sense nonblocking （WSNB） networks may be infeasible due to their high cost. In contrast, rearrangeable nonblocking （RNB） networks are more scalable because of thei...; 关键词：switching network rearrangeable nonblocking network wide-sense nonblocking network strictly nonblockingnetwork circuit switching optical switching

SCALABLE