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

International Symposium on Code Generation and Optimization (CGO)

作者： Yuelu Duan Xiaobing Feng Lei Wang Chao Zhang Pen-Chung Yew Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Computer Science and Engineering University of Minnesota Twin-Cities Minneapolis USA

ISBN: (纸本)9780769535760

When a concurrent shared-memory program written with a sequential consistency (SC) model is run on a machine implemented with a relaxed consistency (RC) model, it could cause SC violations that are very hard to debug. To avoid such violations, programmers need to provide explicit synchronizations or insert fence instructions. In this paper, we propose a scheme to detect and eliminate potential SC violations by combining Shasha/Snir's conflict graph and delay set theory with existing data race detection techniques. For each execution, we generate a race graph, which contains the improperly synchronized conflict accesses, called race accesses, and race cycles formed with those accesses. As a race cycle would probably lead to a non-sequential-consistent execution, we call it a potential violation of sequential consistency (PVSC) bug. We then compute the race delays of race cycles, and suggest programmers to insert fences into source code to eliminate PVSC bugs. We further convert a race graph into a PC race graph, and improves cycle detection and race delay computation to O(n 2 ), where n is the number of race access instructions. We evaluate our approach with the SPLASH-2 benchmarks, two large real-world applications (MySQL and Apache), and several multi-threaded Cilk programs. The results show that (1) the proposed approach could effec-tively detect PVSC bugs in real-world applications with good scalability; (2) it retains most of the performance of the concurrent program after inserting required fence instructions, with less than 6.3% performance loss; and (3) the additional cost of our approach over traditional race detection techniques is quite low, with 3.3% on average.

关键词： Programming profession Delay Set theory computer bugs Performance loss Chaos computer science Laboratories Concurrent computing computer architecture

来源：评论

学校读者我要写书评

暂无评论

Web Service Selection Algorithm Based on Particle Swarm Optimization

Web Service Selection Algorithm Based on Particle Swarm Opti...

引用

IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)

作者： Hong Xia Yan Chen Zengzhi Li Haichang Gao Yanping Chen Institute of Computer System Architecture and Network Xi'an Jiaotong University Xi'an China Software Engineering Institute Xidian University Xi'an China Department of Computer Science and Technology Xi'an Institute of Post and Telecommunications Xi'an China

A novel multi-objective optimization based particle swarm optimization algorithm is presented to solve the global optimization problem for based services selecting in Web services composition technology. This algorithm takes Web services selection as a multi-objective constrained optimization problem with constraints. It introduces multi-objective PSO intelligent theory to optimize multi parameters simultaneously, and produces a set of constraints to meet the Pareto optimal solution. The experiments show that the algorithm is a feasible and efficient method for Web services selection.

关键词： Web services Particle swarm optimization Quality of service Constraint optimization computer networks Software algorithms Service oriented architecture Linear programming Optimization methods Telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

Robotics-mechatronics design competition in Kyushu area, Japan

Robotics-mechatronics design competition in Kyushu area, Jap...

引用

SICE Annual Conference

作者： Taisuke Sakaki Takanori Kiyota Hitoshi Kino Shinichi Sagara Ryuichi Oguro Shunji Moromugi Keiji Imado Hidetaka Ikeuchi Manabu Fukushima Takeshi Ikeda Kanta Aoki Nobuhiro Ushimi Department of Engineering Kyushu Sangyo University Fukuoka Japan Department of Mechanical Systems Engineering University of Kitakyushu Kitakyushu Japan Department of Intelligent Mechanical Engineering Fukuoka Institute of Technology Fukuoka Japan Department of Control Engineering Kyushu Institute of Technology Kitakyushu Japan Department of Computer Science and System Engineering Kyushu Institute of Technology Lizuka Japan Department of Mechanical Systems Engineering Nagasaki University Nagasaki Japan Department of Architecture and Mechatronics Oita University Oita Japan Department of Media Technology Nippon Bunri University Oita Japan Department of Mechanical Engineering Kyushu University Fukuoka Japan Department of Art Kyushu Sangyo University Fukuoka Japan

We describe a unique competition based on the novel concept of robotics and mechatronics products that included evaluation of the products' engineering function and interface design. Seventy-seven students of eleven teams from seven universities in the Kyushu area participated in the competition, whose subject was ldquoHealth care, life supporting and communication or other technical aids for the elderly or *** Many of the plans presented ideas that balanced function and design, showing the results of collaboration among students studying engineering and students studying product design.

关键词： Design engineering Electronic mail Mechatronics Educational institutions Senior citizens Service robots systems engineering and theory Art Educational robots Collaborative work

来源：评论

学校读者我要写书评

暂无评论

A Self-Repairable Microprocessor

引用

ECS Transactions 2009年第1期18卷

作者： Yuanjiang Xie Xiang Fu Zijian He Yang Zhao Yu Hu Xiaowei Li Institute of Computing Technology Chinese Academy of Sciences Department of Computer Science and Engineering University of California Riverside Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences No. 6 Ke-Xue-Yuan South Road Beijing Beijing 100190 China

With increasing defect density, microprocessors, especially the embedded caches, will encounter more faults. Adding spare resources to replace defective components is a widely accepted method for yield enhancement. In this work, a repair method using content addressable memory combined with spare bits, as well as a novel fault injection method is proposed. With the proposed fault injection technique, various numbers and types of faults can be flexibly injected into the silicon. A wireless sensor network system using our self-repairable microprocessor (SRP) is developed to prove the effectiveness of the proposed technique.

关键词：

来源：评论

学校读者我要写书评

暂无评论

architecture of timing synchronization for MIMO-OFDM WLAN systems

Architecture of timing synchronization for MIMO-OFDM WLAN sy...

引用

2008 4th IEEE International Conference on Circuits and systems for Communications, ICCSC

作者： Cho, Jongmin Huynh, Trong Anh Kim, Jinsang Cho, Won-Kyung Computer System Architecture and VLSI Design Laboratory Department of Electronics and Radio Engineering Kyung Hee University 1 Seocheon Kihung Yongin Kyungki 449-701 Korea Republic of

ISBN: (纸本)9781424417087

In this paper, we present a timing synchronization scheme of the next generation IEEE 802.11n wireless LAN standard which is based on MIMO-OFDM technique. The proposed timing synchronization method takes two steps which consist of two modified auto-correlators. For coarse timing synchronization, a sliding window differentiator is used after a conventional auto-correlation in order to avoid plateau problem. The conjugate symmetry property of L-LTS is used for fine timing synchronization. Since cross-correlation based methods are not required, the computational complexity and the number of multiplier can be reduced. In order to reduce the hardware complexity, we have used sign comparators (SC) instead of using multipliers. Based on simulation results, the proposed method outperforms a conventional method. The proposed scheme can be applied to IEEE 802.11n systems and can easily be expanded to frequency synchronization scheme. ©2008 IEEE.

关键词： Orthogonal frequency division multiplexing

来源：评论

学校读者我要写书评

暂无评论

Improving data availability for a cluster file system through replication

Improving data availability for a cluster file system throug...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Jin Xiong Jianyu Li Rongfeng Tang Yiming Hu Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China Department of Electrical & Computer Engineering and Computer Science University of Cincinnati USA

Data availability is a challenging issue for large- scale cluster file systems built upon thousands of individual storage devices. Replication is a well-known solution used to improve data availability. However, how to efficiently guarantee replicas consistency under concurrent conflict mutations remains a challenge. Moreover, how to quickly recover replica consistency from a storage server crash or storage device failure is also a tough problem. In this paper, we present a replication-based data availability mechanism designed for a large-scale cluster file system prototype named LionFS. Unlike other replicated storage systems that serialize replica updates, LionFS introduces a relaxed consistency model to enable concurrent updating all replicas for a mutation operation, greatly reducing the latency of operations. LionFS ensures replica consistency if applications use file locks to synchronize the concurrent conflict mutations. Another novelty of this mechanism is its light-weight log, which only records failed mutations and imposes no overhead on failure-free execution and low overhead when some storage devices are unavailable. Furthermore, recovery of replica consistency needs not stop the file system services and running applications. Performance evaluation shows that our solution achieves 50-70% higher write performance than serial replica updates. The logging overhead is shown to be low, and the recovery time is proportional to the amount of data written during the failure.

关键词： File systems Genetic mutations computer crashes Large-scale systems Availability Peer to peer computing Delay Bandwidth Laboratories computer architecture

来源：评论

学校读者我要写书评

暂无评论

MSys: An activities tracking tool for E-learning systems

MSys: An activities tracking tool for E-learning systems

引用

Frontiers in Education (FIE) Conference

作者： Christiane Meiler Baptista Regina Melo Silveira Wilson Vicente Ruggiero Laboratory of Architecture and Network Computers Department of Computer and Digital System Engineering of Polytechnic School University of Sao Paulo Sao Paulo Brazil

E-learning content creation is not an easy task, but its evaluation is even more complex. In order to evaluate if the content is adequate to the studentspsila needs, it would be helpful to know how the student assimilated the learning content, how he/she reacted to it and the period of time spent on the learning object. Besides, considering the different cognitive features of learning and the possibility of adjusting the didactic content, it could help teacherpsilas evaluation in an available online course. This work describes a monitoring system (Msys) able to track the level of utilization of studentpsilas activities, and presents summarized and comparative results to the teacher and to the student. This paper describes how the MSys tool was created using current standards on digital content construction, defining functional requirements of interface to its development, presenting a proof-of concept and how it could be integrate to online learning systems, providing benefits to the teacherpsilas evaluation.

关键词： Electronic learning Least squares approximation computer networks Monitoring Student activities Learning systems Internet computer interfaces Information analysis Laboratories

来源：评论

学校读者我要写书评

暂无评论

architecture of Timing Synchronization for MIMO-OFDM WLAN systems

Architecture of Timing Synchronization for MIMO-OFDM WLAN Sy...

引用

IEEE International Conference on Circuits and systems for Communications (ICCSC)

作者： Jongmin Cho Huynh Trong Anh Jinsang Kim Won-Kyung Cho Computer System Architecture & VLSI Design Laboratory Department of Electronics and Radio Engineering Kyung Hee University Yongin si Kyunggi South Korea

In this paper, we present a timing synchronization scheme of the next generation IEEE *** wireless LAN standard which is based on MIMO-OFDM technique. The proposed timing synchronization method takes two steps which consist of two modified auto-correlators. For coarse timing synchronization, a sliding window differentiator is used after a conventional auto-correlation in order to avoid plateau problem. The conjugate symmetry property of L-LTS is used for fine timing synchronization. Since cross-correlation based methods are not required, the computational complexity and the number of multiplier can be reduced. In order to reduce the hardware complexity, we have used sign comparators (SC) instead of using multipliers. Based on simulation results, the proposed method outperforms a conventional method. The proposed scheme can be applied to IEEE 802.1 In systems and can easily be expanded to frequency synchronization scheme.

关键词： Timing Wireless LAN Frequency synchronization OFDM Autocorrelation Hardware MIMO computer architecture Very large scale integration Laboratories

来源：评论

学校读者我要写书评

暂无评论

Channel Width Utilization Improvement in Testing NoC-Based systems for Test Time Reduction

Channel Width Utilization Improvement in Testing NoC-Based S...

引用

IEEE International Workshop on Electronic Design, Test and Applications (DELTA)

作者： Jia Li Qiang Xu Yu Hu Xiaowei Li Key Laboratory of Computer System and Architecture ICT CAS Beijing China Department of Computer Science & Engineering Chinese University of Hong Kong Hong Kong China Chinese Academy and Sciences Beijing China

Testing NoC-based systems mainly relies on reusing the Network-on-Chip architecture as the test access mechanism (TAM). This, however, implies that the core's test wrapper is supplied with full NoC channel width even if there is a mismatch between the two. How to effectively and efficiently make better utilization of the NoC channels for test data transferring is therefore an interesting and challenging problem. In this paper, we propose to combine a new wrapper design with interleaved test scheduling. Compared to [8], the proposed method can achieve better NoC channel utilization for test without manipulating test frequencies, which not only reduces test power, but also saves design effort for the test engineers. Consequently, the testing time of the NoC-based system is considerably reduced with the proposed technique (especially under stringent power constraints), as shown in the experimental results on circuits crafted from ITC02 benchmarks.

关键词： system testing Network-on-a-chip Circuit testing system-on-a-chip Electronic equipment testing Frequency Logic testing Clocks Application software Content addressable storage

来源：评论

学校读者我要写书评

暂无评论

On reducing both shift and capture power for scan-based testing

On reducing both shift and capture power for scan-based test...

引用

Asia and South Pacific Design Automation Conference

作者： Jia Li Qiang Xu Yu Hu Xiaowei Li Chinese Academy of Sciences Beijing China Department of Computer Science and Engineering Chinese University of Hong Kong Hong Kong China Key Laboratory of Computer System and Architecture ICT Chinese Academy and Sciences Beijing China

ISBN: (纸本)9781424419210

Power consumption in scan-based testing is a major concern nowadays. In this paper, we present a new X-fllling technique to reduce both shift power and capture power during scan tests, namely LSC-filling . The basic idea is to use as few as possible X-bits to keep the capture power under the peak power limit of the circuit under test (CUT), while using the remaining X-bits to reduce the shift power to cut down the CUT's average power consumption during scan tests as much as possible. In addition, by carefully selecting the X-filling order, our X-filling technique is able to achieve lower capture power when compared to existing methods. Experimental results on ISCAS'89 benchmark circuits show the effectiveness of the proposed methodology.

关键词： Circuit testing Energy consumption Power dissipation system testing Electrical fault detection Fault detection Circuit faults Benchmark testing Laboratories Power engineering computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：