检索结果-内蒙古大学图书馆

International Conference on Computational science and Engineering

作者： Zhu, Yueting Zhang, Wu Jiang, Hai Lei, Yu Peng, Junjie Department of Computer Science and Engineering Shanghai University Shanghai China Department of Computer Science Arkansas State University Jonesboro AR United States Department of Computer Science and Engineering University of Texas Arlington TX United States Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China

ISBN: (纸本)9780769543239

Thread migration is an effective technique for fault resilience and load balancing in high performance computing. However, flexible thread migration is not easy to achieve. In this paper, we present an approach to creating migratory threads dynamically at application level. The targets must be executable source files. Compared to the static ones, the number of threads created during migration with the new scheme is independent from the context. Various thread cases are considered for migration. Thread state is handled at application level. Variables are saved in structures in C language for speedy state construction. In order to solve the inability of traditional methods in tracking the created threads, a tree of active function calls is used to record the callback. The preprocessor of the proposed one is written in YACC for accuracy and programmability. The migration enabling process is transparent to programmers with the help of the preprocess. The experimental results have demonstrated the effectiveness of this approach. © 2010 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

An efficient parity rearrangement coding scheme for RRAM thermal crosstalk effects 12

An efficient parity rearrangement coding scheme for RRAM the...

引用

2017 IEEE 12th International Conference on ASIC

作者： Yun Li Hai-hua Shen Ce Li Feng Zhang Key Laboratory of Microelectronics devices & Integrated Techonology Institute of Microelectronics of Chinese Academy of Sciences University of Chinese Academy of Science State Key Laboratory of Computer Architecture University of Chinese Academy of Science Institute of Computing Technology Chinese Academy of Sciences

ISBN: (纸本)9781509066261;9781509066254

Resistive random access memory（RRAM） is a promising non-volatile memory owing to its low operation voltage,small area,and good ***,the thermal crosstalk issue will significantly impact the retention properties of RRAM for high density integration and frequent writing operation,which commonly causes a series of error flips in some serious *** this paper,we propose an efficient parity rearrangement coding scheme,named PRCoder,to alleviate the influence of thermal crosstalk in *** implement the PRCoder at the algorithm level and simulated it at the hardware circuits level for different RRAM *** show that PRCoder can reduce the error flips caused by thermal crosstalk by about 32.7% on average with only one extra bit of redundancy per storage ***,PRCoder incurs a negligible performance overhead of .3% with less than 0.008% additional RRAM area.

关键词： RRAM thermal crosstalk PRCoder reset parity rearrangement algorithm

来源：评论

学校读者我要写书评

暂无评论

The synergistic interplay of artificial intelligence and digital twin in environmentally planning sustainable smart cities:A comprehensive systematic review

引用

Environmental science and Ecotechnology 2024年第4期20卷 79-104页

作者： Simon Elias Bibri Jeffrey Huang Senthil Kumar Jagatheesaperumal John Krogstie Swiss Federal Institute of Technology Lausanne(EPFL) Institute of Computer and Communication Sciences(IINFCOM)School of ArchitectureCivil and Environmental Engineering(ENAC)Media and Design Laboratory(LDM)1015LausanneSwitzerland Department of Electronics&Communication Engineering Mepco Schlenk Engineering CollegeSivakasi626005TamilnaduIndia Department of Computer Science Norwegian University of Science and Technology(NTNU)TrondheimNorway

The dynamic landscape of sustainable smart cities is witnessing a significant transformation due to the integration of emerging computational technologies and innovative *** advancements are reshaping data-driven planning strategies,practices,and approaches,thereby facilitating the achievement of environmental sustainability *** transformative wave signals a fundamental shift d marked by the synergistic operation of artificial intelligence(AI),artificial intelligence of things(AIoT),and urban digital twin(UDT)*** previous research has largely explored urban AI,urban AIoT,and UDT in isolation,a significant knowledge gap exists regarding their synergistic interplay,collaborative integration,and collective impact on data-driven environmental planning in the dynamic context of sustainable smart *** address this gap,this study conducts a comprehensive systematic review to uncover the intricate interactions among these interconnected technologies,models,and domains while elucidating the nuanced dynamics and untapped synergies in the complex ecosystem of sustainable smart *** to this study are four guiding research questions:*** theoretical and practical foundations underpin the convergence of AI,AIoT,UDT,data-driven planning,and environmental sustainability in sustainable smart cities,and how can these components be synthesized into a novel comprehensive framework?*** does integrating AI and AIoT reshape the landscape of datadriven planning to improve the environmental performance of sustainable smart cities?*** can AI and AIoT augment the capabilities of UDT to enhance data-driven environmental planning processes in sustainable smart cities?*** challenges and barriers arise in integrating and implementing AI,AIoT,and UDT in data-driven environmental urban planning,and what strategies can be devised to surmount or mitigate them?Methodologically,this study involves a rigorous analysis and synthesis of studies publis

关键词： Sustainable smart cities Artificial intelligence Artificial intelligence of things Urban digital twin Data-driven urban planning Environmental planning Environmental sustainability

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of an intelligent web-based interactive language learning system

Design and implementation of an intelligent web-based intera...

引用

2001 IEEE International Conference on Multimedia and Expo, ICME 2001

作者： Kuo, Chin-Hwa Wible, David Chen, Meng-Chang Sung, Li-Chun Tsao, Nai-Lung Chio, Chia-Lin Computers and Networking Laboratory Department of Computer Science and Information Engineering Tamkang University Taiwan Graduate Institute of Western Languages and Literature Tamkang University Taiwan Institute of Information Science Academia Sinica Taiwan

ISBN: (纸本)0769511988

The design and implementation of an Intelligent Web-based Interactive Language Learning (IWiLL) system to support English learning on the Internet is described. We designed two kinds of learning environments: (1) interactive English writing environment and (2) mining movies for real English. These are intended to improve learners' basic language skills such as listening, reading, and writing. In addition, the system also offers authoring tools that facilitate teachers' content preparation. The system not only provides multimedia learning environments for users, but also builds a learner corpus, an archive of annotated English texts written by learners for whom English is a second language. Further analysis of the learner corpus creates the potential to detect the users' persistent errors and then provide adequate help to the users.

关键词： computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

Predoop: Preempting reduce task for job execution accelerations

Predoop: Preempting reduce task for job execution accelerati...

引用

4th and 5th Workshops on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 2014

作者： Liang, Yi Wang, Yufeng Fan, Minglu Zhang, Chen Zhu, Yuqing Department of Computer Science Beijing University of Technology Beijing China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy Sciences Beijing China

ISBN: (纸本)9783319130200

Map/Reduce is a popular parallel processing framework for data intensive computing. For overlapping the Map task’s execution phase and the Reduce task’s intermediate data fetching and merging phase, existing Map/ Reduce schedulers always pre-launch the Reduce task at the specific threshold where its map tasks have been launched, and this pattern incurs the occupation of the consuming resources of the reduce task during its idle time on waiting for fetching the intermediate data from map tasks. To address this issue, we propose an extension version of Hadoop map/reduce framework, called Predoop, in this paper. The basic idea of Predoop is to preempt the reduce task during its idle time and allocate the released resource to the map tasks on schedule. To achieve this goal, first, we introduce the preemptive mechanism for reduce tasks and map tasks respectively to enable Map/Reduce tasks to be preempted or resumed with correct status;second, we adopt the preempting-resuming model for the reduce task with the consideration of the progress of Reduce task data fetching & merging and the Map task execution so as to determine the timing of Reduce task preemption and resuming;third, we introduce the preemption-aware task scheduling strategy to allocate the released resources to the on-schedule Map tasks with the consideration of data locality. Experimental result demonstrates that Predoop outperforms Hadoop on various workload and the average job turnaround time can be reduced by maximum of 66.57 %. © Springer International Publishing Switzerland 2014.

关键词： Multitasking

来源：评论

学校读者我要写书评

暂无评论

Dynamic and adaptive calling context encoding

Dynamic and adaptive calling context encoding

引用

12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014

作者： Li, Jianjun Wang, Zhenjiang Wu, Chenggang Hsu, Wei-Chung Xu, Di State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China Department of Computer Science National Taiwan University Taipei Taiwan IBM Research-China Beijing China

ISBN: (纸本)9781450326704

Calling context has been widely used in many software development processes such as testing, event logging, and program analysis. It plays an even more important role in data race detection and performance bottleneck analysis for multi-threaded programs. This paper presents DACCE (Dynamic and Adaptive Calling Context Encoding), an efficient runtime encoding/decoding mechanism for singlethreaded and multi-threaded programs that captures dynamic calling contexts. It can dynamically encode all call paths invoked at runtime, and adjust the encodings according to program's execution behavior. In contrast to existing context encoding method, DACCE can work on incomplete call graph, and it does not require source code analysis and offline profiling to conduct context encoding. DACCE has significantly expanded the functionality and applicability of calling context with even lower runtime overhead. DACCE is very efficient based on experiments with SPEC CPU2006 and Parsec 2.1 (with about 2% of runtime overhead) and effective for all tested benchmarks. Copyright © 2014 by the Association for Computing Machinery, Inc. (ACM).

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

EDOA: an efficient delay optimization approach for mixed-polarity Reed-Muller logic circuits under the unit delay model

引用

Frontiers of computer science 2019年第5期13卷 1102-1115页

作者： Zhenxue HE Limin XIAO Fei GU Li RUAN Zhisheng HUO Mingzhe LI Mingfa ZHU Longbing ZHANG Rui LIU Xiang WANG College of Information Science and Technology Hebei Agricultural University Baoding 071001 China State Key Laboratory of Software Development Environment Beihang University Beijing 100083 China School of Computer Science and Engineering Beihang University Beijing 100083 China School of Electronic and Information Engineering Beihang University Beijing 100083 China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China National Engineering Research Center for Science & Technology Resources Sharing Service Beijing 100083 China

Delay optimization has recently attracted signif-icant attention. However, few studies have focused on the delay optimization of mixed-polarity Reed-Muller (MPRM) logic circuits. In this paper, we propose an efficient delay op-timization approach (EDOA) for MPRM logic circuits under the unit delay model, which can derive an optimal MPRM logic circuit with minimum delay. First, the simplest MPRM expression with the fewest number of product terms is ob-tained using a novel Reed-Muller expression simplification approach (RMESA) considering don't-care terms. Second, a minimum delay decomposition approach based on a Huffman tree construction algorithm is utilized on the simplest MPRM expression. Experimental results on MCNC benchmark cir-cuits demonstrate that compared to the Berkeley SIS 1.2 and ABC, the EDOA can significantly reduce delay for most cir-cuits. Furthermore, for a few circuits, while reducing delay, the EDOA incurs an area penalty.

关键词： delay optimization mixed-polarity Reed-Muller logic circuits unit delay model don't-care terms,

来源：评论

学校读者我要写书评

暂无评论

Parallel optimization of geometric correction algorithm based on CPU-GPU hybrid architecture

Parallel optimization of geometric correction algorithm base...

引用

International Conference on Vehicle and Mechanical Engineering and Information Technology, VMEIT 2014

作者： Bai, Hong Tao Li, Yu Gang Chen, Li Ying Wang, Yan Ling Beijing Lab of Intelligent Information Technology School of Computer Science Beijing Institute of Technology Beijing 100081 China Beijing Lab of Intelligent Information Technology School of Computer Science Beijing Institute of Technology Beijing China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783038350606

Geometric correction is an essential processing procedure in remote sensing image processing. The algorithms used in geometric correction are time intensive and the size of remote sensing images is very large. Meanwhile, the data to be calculated is in huge size and is accumulating rapidly every day. Hence, the fast processing of geometric correction of remote sensing image becomes an urgent research problem. Through the rapid development of GPU, the current GPU has a great advantage in processing speed and memory bandwidth over CPU. It provides a new way for high performance computing. In this paper, we present three optimization solutions based on CPU-GPU hybrid architecture and the analysis of their performances. Experiments are also given and the results are consistent with the analysis. © (2014) Trans Tech Publications, Switzerland.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Data Availability Optimization for Cyber-Physical Systems 15

Data Availability Optimization for Cyber-Physical Systems

引用

2022 IEEE Congress on Cybermatics: 15th IEEE International Conferences on Internet of Things, iThings 2022, 18th IEEE International Conferences on Green Computing and Communications, GreenCom 2022, 2022 IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2022 and 8th IEEE International Conference on Smart Data, SmartData 2022

作者： Li, Liying Cong, Peijin Zhou, Junlong Gu, Zonghua Li, Keqin School of Computer Science and Engineering Nanjing University of Science and Technology China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China Department of Applied Physics and Electronics Ume˚a University Sweden Department of Computer Science State University of New York United States

ISBN: (数字)9781665454179

ISBN: (纸本)9781665454179

As the backbone of Industry 4.0, Cyber-Physical Systems (CPSs) have attracted extensive attention from industry, academia, and government. Missing data is a common problem in CPS data processing and may cause incorrect results and eventually serious malfunction. Existing data availability optimization methods either rely on a large amount of complete training data or suffer from poor performance. To solve these problems, this paper proposes an iterative data availability optimization method for CPSs. Specifically, the proposed method first pre-processes the raw dataset by using a Singular Value Decomposition-based feature selection approach to identify crucial features and reduce computation overheads. It then makes an initial guess for missing values via a designed K-Means-based imputation approach. The appropriate initial estimation decreases the probability of the proposed method falling into the local optimum. Finally, the proposed method iteratively estimates missing data based on the Orthogonal Matching Pursuit algorithm. The proposed method optimizes data availability by accurately imputing missing values. Simulation results on two datasets demonstrate that compared to multiple state-of-the-art approaches, the proposed data availability optimization method can reduce imputation error by up to 99.65%. © 2022 IEEE.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：