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

International Conference on Parallel Processing Workshops (ICPPW)

作者： Jun Feng Yu Chen Wei-Shinn Ku Pu Liu Department of Electrical & Computer Engineering State University of New York Binghamton Binghamton NY USA Department of Computer Science & Software Engineering Aubum University Auburn AL USA Systems and Technology Group IBM Endicott Endicott NY USA

Data storage technologies have been recognized as one of the major dimensions of information management along with the network infrastructure and applications. The prosperity of cloud computing requires the migration from server-attached storage to network-based distributed storage. Along with variant advantages, distributed storage also poses new challenges in creating a secure and reliable data storage and access facility. The data security in cloud is one of the challenges to be addressed before the novel pay-as-you-go business model can be accepted and applied widely. Concerns are raised from both insecure/unreliable service providers and potential malicious users. In this article, we analyze the integrity vulnerability existing in the current cloud storage platforms and show the problem of repudiation. A novel non-repudiation (NR) protocol specifically designed in the context of cloud computing environment is proposed. We have also discussed the robustness of the NR protocol against typical attacks in the network environments.

关键词： Clouds Cloud computing Protocols Authentication Google

来源：评论

学校读者我要写书评

暂无评论

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

MaramaAI: Automated and Visual Approach for Inconsistency Ch...

引用

IEEE International Conference on Requirements engineering

作者： Massila Kamalrudin John Hosking John Grundy Department of Electrical & Computer Engineering University of Auckland Auckland New Zealand Department of Computer Science University of Auckland Auckland New Zealand Systems & Services Centre of Complex Software Swinburne University of Technology Hawthorn VIC Australia

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high-level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing.

关键词： Visualization Natural languages Libraries Unified modeling language software engineering Conferences software

来源：评论

学校读者我要写书评

暂无评论

Use of super resolution algorithms for indoor positioning keeping novel designed WLAN signal structure 10

Use of super resolution algorithms for indoor positioning ke...

引用

1st International Workshop on Digital engineering, IWDE 2010

作者： Khanzada, Tariq J.S. Ali, Ali R. Napoleon, Sameh A. Omar, Abbas S. Department of Microwave and Communication Engineering Faculty of Electrical Engineering and Information Technology P.O. BOX 4120 D-39106 Germany University of Magdeburg Germany Department of Computer Systems and Software Engineering Mehran University of Engineering and Technology Jamshoro Pakistan Department of Electronics and Electrical Communications Faculty of Engineering Tanta Egypt

ISBN: (纸本)9781605589923

This paper presents the utilization of super resolution algorithms for the indoor positioning applications in order to estimate Time Difference of Arrival (TDOA) and distances using Orthogonal Frequency Division Multiplexing (OFDM) transceiver. Optimal reduction in Distance Measurement Error (DME) is achieved. We have utilized OFDM/Single Carrier-Decision Feedback Equalizer (OFDM/SC-DFE) signal structure presented in our previous works. The super resolution algorithms Estimation of Signal Parameters via Rotational Invariance Technique (ESPRIT), Root Multiple Signal Classification (Root-MUSIC) and Matrix Pencil (MP) are compared for DME estimation. We have applied Minimum Descriptive Length (MDL) criterion to these algorithms, that provides optimized estimate of the length of actual Channel Impulse Response (CIR) by eliminating the noise component from the dispersive CIR. Our scheme is based on two different antennas used to transmit the pre-half-zero-carriers and post-half-zero-carriers OFDM symbols respectively, mapped to multiple carriers using Wireless Local Area Network (WLAN) system and received by the object to be positioned. © 2010 ACM.

关键词： Orthogonal frequency division multiplexing

来源：评论

学校读者我要写书评

暂无评论

Energy-Aware Loop Parallelism Maximization for Multi-core DSP Architectures

Energy-Aware Loop Parallelism Maximization for Multi-core DS...

引用

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)

作者： Meikang Qiu Jian-Wei Niu Laurence T. Yang Xiao Qin Senlin Zhang Bin Wang Department of Electrical and Computer Engineering University of Kentucky KY USA State Key Laboratory of Software Development Environment Beihang University Beijing China Department of Computer Science Saint Francis Xavier University NS Canada Department of Computer Science and Software Engineering Aubum University Auburn AL USA Department of Systems Science and Engineering University of Zhejiang Hangzhou China Department of Computer Science and Engineering Wright State University Dayton OH USA

With the advance of semiconductor, multi-core architecture is inevitable in today's embedded system design. Nested loops are usually the most critical part in multimedia and high performance DSP (Digital Signal Processing) systems. Hence, maximizing loop parallelism is an important issue to improve the performance of a modern compiler. This paper studies how to maximize the system performance with the consideration of energy reduction for applications with multidimensional nested loops on multi-core DSP architectures. An algorithm, EALPM (Energy-Aware Loop Parallelism Maximization), is proposed in this paper. We implemented a two phase strategy. First, the strategy uses retiming and loop transformation to parallelize nested loops. Then the strategy employs a novel voltage assignment algorithm to reduce total energy consumption. The experimental results show that on average, both performance and energy-saving can be significantly improved using the EALPM algorithm.

关键词： Parallel processing Energy consumption Voltage control Optimization Algorithm design and analysis computer architecture Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

Time-scale domain characterization of nonstationary wideband vehicle-to-vehicle propagation channel

Time-scale domain characterization of nonstationary wideband...

引用

Asia-Pacific Conference on Applied Electromagnetics, APACE

作者： Uche A.K. Chude Okonkwo Siti Zaiton Mohd Hashim Razali Ngah N.F. Nanyan Tharek Abd. Rahman Wireless Communication Center (WCC) Faculty of Electrical Engineering Universiti Teknologi Malaysia Skudai Johor Malaysia Department of Software Engineering b Faculty of Computer Science & Information Systems Universiti Teknologi Malaysia Skudai Johor Malaysia

The design and deployment of efficient vehicle-to-vehicle (V2V) communications systems require the knowledge of the propagation channel in which it will operate. Due to the mobility of the transmitter/receiver terminals as well as the existence of dynamic scatterers, the V2V channel is nonstationary. To account for the nonstationarity, channel characterization methods that employs the non wide-sense stationary uncorrelated scattering (non-WSSUS) approach are often desired. More also the inadequacy of the Doppler shift operator to properly account for frequency variation effects by the wideband channel operator implies that the time-frequency characterization methods that employ the Doppler shift operator are not appropriate for wideband V2V channels. In this paper we present the time-scale domain characterization of the non-WSSUS channel which employs time scaling operator to account for frequency variation and also emphasizes on the non-stationary property of the channel. The non-WSSUS statistical property termed local sense stationary uncorrelated scattering (LSSUS) is employed. The effect of the channel nonstationarity on the channel capacity is also addressed. From the simulated example, it is inferred that the assumption of ergodic capacity depend on the number of available independent fades which invariably depend on the degree of the V2V channel nonstationarity.

关键词： Scattering Wideband Delay Time frequency analysis Correlation Wireless communication Mobile communication

来源：评论

学校读者我要写书评

暂无评论

A efficient channel utilization to increase in the number of users in multi-user direct-sequence spread spectrum (DSSS) systems

A efficient channel utilization to increase in the number of...

引用

International Waveform Diversity and Design Conference

作者： Ilteris Demirkiran Donald D. Weiner Braham Himed Andrew Drozd Irina Kasperovich Electrical Computer Software and Systems Engineering Embrey-Riddle Aeronautical University Daytona Beach FL USA Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Wright-Patterson Air Force Base Dayton OH USA ANDRO Computational Solutions Limited Liability Company Rome NY USA

When the number of these DSSS radios is increased, capacity of the existing wireless system has become an issue. In this paper, a novel approach is presented that provides an efficient channel utilization for a signif... 详细信息

关键词： Spread spectrum communication Approximation methods Bandwidth Interference Receivers Upper bound Correlation

来源：评论

学校读者我要写书评

暂无评论

Using launch-on-capture for testing BIST designs containing synchronous and asynchronous clock domains

Using launch-on-capture for testing BIST designs containing ...

引用

作者： Wang, Laung-Terng Wen, Xiaoqing Wu, Shianling Furukawa, Hiroshi Chao, Hao-Jan Sheu, Boryau Guo, Jianghao Jone, Wen-Ben SynTest Technologies Inc. Sunnyvale CA 94086 United States Department of Electrical Engineering Graduate Institute of Electronics Engineering National Taiwan University Taipei 106 Taiwan Department of Creative Informatics Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan School of Software Tsinghua University Beijing 100084 China SynTest Technologies Inc. Princeton Junction NJ 08550 United States Department of Creation Informatics Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan With NEC Micro Systems Ltd. Kumamoto 861-2202 Japan SynTest Technologies Inc. Hsinchu 300 Taiwan Sigma Designs Milpitas CA 95035 United States Department of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States

This paper presents a new at-speed logic built-in self-test (BIST) architecture supporting two launch-on-capture schemes, namely aligned double-capture and staggered double-capture, for testing multi-frequency synchronous and asynchronous clock domains in a scan-based BIST design. The proposed architecture also includes BIST debug and diagnosis circuitry to help locate BIST failures. The aligned scheme detects and allows diagnosis of structural and delay faults among all synchronous clock domains, whereas the staggered scheme detects and allows diagnosis of structural and delay faults among all asynchronous clock domains. Both schemes solve the long-standing problem of using the conventional one-hot scheme, which requires testing each clock domain one at a time, or the simultaneous scheme, which requires adding isolation logic to normal functional paths across interacting clock domains. Physical implementation is easily achieved by the proposed solution due to the use of a slow-speed, global scan enable signal and reduced timing-critical design requirements. Application results for industrial designs demonstrate the effectiveness of the proposed architecture. © 2010 IEEE.

关键词： Built-in self test

来源：评论

学校读者我要写书评

暂无评论

Integrated Monitoring and Control for Performance Management of Distributed Enterprise systems

Integrated Monitoring and Control for Performance Management...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication systems (MASCOTS)

作者： Rajat Mehrotra Abhishek Dubey Sherif Abdelwahed Asser Tantawi Electrical and Computer Engineering Mississippi State University MS USA Institute for Software Integrated Systems Vanderbilt University Nashville TN USA IBM Thomas J. Watson Research Center Hawthorne NY USA

This paper describes an integrated monitoring and control framework for managing performance of distributed enterprise systems.

关键词： Power demand Predictive models Time factors Autoregressive processes Kalman filters Frequency control Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Reports on the AAAI 2009 fall symposia

Reports on the AAAI 2009 fall symposia

引用

作者： Azevedo, Roger Bench-Capon, Trevor Biswas, Gautam Carmichael, Ted Green, Nancy Hadzikadic, Mirsad Koyejo, Oluwasanmi Kurup, Unmesh Parsons, Simon Pirrone, Roberto Prakken, Henry Samsonovich, Alexei Scott, Donia Souvenir, Richard Department of Psychology Institute for Intelligent Systems University of Memphis United States Department of Computer Science University of Liverpool United Kingdom Center for Intelligent Systems Vanderbilt University United States Department of Computer Science University of North Carolina Charlotte United States Department of Computer Science University of North Carolina Greensboro United States Department of Software and Information Systems University of North Carolina Charlotte United States Complex Systems Institute United States Department of Electrical and Computer Engineering University of Texas Austin United States Department of Cognitive Science Rensselaer Polytechnic Institute Troy NY United States Department of Computer and Information Science Brooklyn College City University New York United States University of Palermo Italy Computer Science Department Utrecht University Netherlands Department of Law and IT Law Faculty University of Groningen Netherlands Krasnow Institute for Advanced Study George Mason University United States Computational Linguistics Department Informatics at the University of Sussex United Kingdom

The Association for the Advancement of Artificial Intelligence was pleased to present the 2009 Fall Symposium Series, held Thursday through Saturday, November 5-7, at the Westin Arlington Gateway in Arlington, Virginia. The Symposium Series was preceded on Wednesday, November 4, by a one-day AI funding seminar. The titles of the seven symposia were as follows: (1) Biologically Inspired Cognitive Architectures, (2) Cognitive andMetacognitive Educational systems, (3) Complex Adaptive systems and the Threshold Effect: Views from the Natural and Social Sciences, (4) Manifold Learning and Its Applications, (5) Multirepresentational Architectures for Human-Level Intelligence, (6) The Uses of Computational Argumentation, and (7) Virtual Healthcare Interaction. Copyright © 2010, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

A dynamic and secure Arabic Text compression technique using bitwise Lempel-Ziv algorithm

引用

Information Technology Journal 2010年第4期9卷 673-679页

作者： Musa, A. Al-Dmour, A. Fraij, F. Al-Khaleel, O. Irshid, M. Department of Computer Engineering Al-Hussein Bin Talal University P.O. Box 20 Ma'an 71111 Jordan Department of Computer Information Systems Al-Hussein Bin Talal University P.O. Box 20 Ma'an 71111 Jordan Department of Software Engineering Al-Hussein Bin Talal University P.O. Box 20 Ma'an 71111 Jordan Department of Computer Engineering Jordan University of Science and Technology Irbid 22110 Jordan Department of Electrical Engineering Jordan University of Science and Technology Irbid 22110 Jordan

This study presented a new Arabic text compression technique in which an input file is preprocessed to produce a new binary file. The preprocessing maps a codeword to each character based on its occurrences in the input file. The binary file is then compressed using a bit-wise Lempel-Ziv algorithm. The new technique has been implemented and examined using different files. The results showed that the new technique, using extension-order of 8 or 4, achieves a compression ratio with the range of 4.25 to 4.7 bits/character, respectively. The improvement in compression efficiency is due to the significant reduction in the number of symbols in the generated binary file. It is noteworthy that embedded security on the compressed file is naturally acquired due to the automatic generation of the private key via mapping. © 2010 Asian Network for Scientific Information.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：