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

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

来源：评论

学校读者我要写书评

暂无评论

An associative memory system for incremental learning and temporal sequence

An associative memory system for incremental learning and te...

引用

2010 6th IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 International Joint Conference on Neural Networks, IJCNN 2010

作者： Shen, Furao Yu, Hui Kasai, Wataru Hasegawa, Osamu State Key Laboratory for Novel Software Technology Jiangyin Information Technology Research Institute Nanjing University Nanjing 210093 China Department of Computer Intelligence and Systems Science Tokyo Institute of Technology Yokohama 226-8503 Japan Imaging Science and Engineering Lab. Tokyo Institute of Technology R2-52 4259 Nagatsuda Midori-ku Yokohama 226-8503 Japan

ISBN: (纸本)9781424469178

An associative memory (AM) system is proposed to realize incremental learning and temporal sequence learning. The proposed system is constructed with three layer networks: The input layer inputs key vectors, response vectors, and the associative relation between vectors. The memory layer stores input vectors incrementally to corresponding classes. The associative layer builds associative relations between classes. The proposed method can incrementally learn key vectors and response vectors;store and recall both static information and temporal sequence information;and recall information from incomplete or noise-polluted inputs. Experiments using binary data, real-value data, and temporal sequences show that the proposed method works well. © 2010 IEEE.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

On signalling over Through-Silicon Via (TSV) interconnects in 3-D Integrated Circuits 10

On signalling over Through-Silicon Via (TSV) interconnects i...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Roshan Weerasekera Matt Grange Dinesh Pamunuwa Hannu Tenhunen Centre of Microsystems Engineering Faculty of Science & Technology Lancaster University Lancaster UK Department of Electronics Computer and Software Systems KTH School of Information and Communication Technologies Kista Sweden

ISBN: (纸本)9783981080162

This paper discusses signal integrity (SI) issues and signalling techniques for Through Silicon Via (TSV) interconnects in 3-D Integrated Circuits (ICs). Field-solver extracted parasitics of TSVs have been employed in Spice simulations to investigate the effect of each parasitic component on performance metrics such as delay and crosstalk and identify a reduced-order electrical model that captures all relevant effects. We show that in dense TSV structures voltage-mode (VM) signalling does not lend itself to achieving high data-rates, and that current-mode (CM) signalling is more effective for high throughput signalling as well as jitter reduction. Data rates, energy consumption and coupled noise for the different signalling modes are extracted.

关键词： Through-silicon vias Integrated circuit interconnections Three-dimensional integrated circuits Crosstalk Silicon Circuit simulation Measurement Delay effects Voltage Virtual manufacturing

来源：评论

学校读者我要写书评

暂无评论

The Discovery of Agile Service Networks through the Use of Social Network Analysis

The Discovery of Agile Service Networks through the Use of S...

引用

International Conference on Service sciences (ICSS)

作者： Noel Carroll Eoin Whelan Ita Richardson Lero-the Irish Software Engineering Research Centre Department of Computer Science & Information Systems University of Limerick Limerick Ireland Department of Management and Marketing Kemmy Business School University of Limerick Limerick Ireland

ISBN: (纸本)9781424466030;9780769540177

There is a need to address the significant gap in our ability to measure and monitor the Key Performance Indicators (KPIs) across service networks. The unprecedented growth in service-based business processes over a short period of time has underscored the need for understanding the mechanisms and theorising the business models and business process management adopted across many organisations today. This research presents a survey of the literature and argues that the inability of current Business Process Management (BPM) techniques to visualise and monitor web-enabled business processes prevents us from transforming information on network activity and infrastructures. This inhibits managers in anticipating change and adapting to more agile business practices in service science. Thus, this research-in-progress sets out to propose the need to develop a framework to enhance a manager's ability to monitor key performance indicators (KPIs) while improving business process restructuring practices through social network analysis (SNA).

关键词： Business Web services Monitoring Social network services Biological system modeling Information systems

来源：评论

学校读者我要写书评

暂无评论

TRACER: A Trace Replay Tool to Evaluate Energy-Efficiency of Mass Storage systems

TRACER: A Trace Replay Tool to Evaluate Energy-Efficiency of...

引用

IEEE International Conference on Cluster Computing

作者： Zhuo Liu Fei Wu Xiao Qin Changsheng Xie Jian Zhou Jianzong Wang Wuhan National Laboratory of Optoelectronics Key Laboratory of Data Storage Systems Ministry of Education of China School of Computer Science and Tech Huazhong University of Science and Technology Wuhan Hubei China Department of Computer Science and Software Engineering Aubum University Auburn AL USA

Improving energy efficiency of mass storage systems has become an important and pressing research issue in large HPC centers and data centers. New energy conservation techniques in storage systems constantly spring up; however, there is a lack of systematic and uniform way of accurately evaluating energy-efficient storage systems and objectively comparing a wide range of energy-saving techniques. This research presents a new integrated scheme, called TRACER, for evaluating energy-efficiency of mass storage systems and judging energy-saving techniques. The TRACER scheme consists of a toolkit used to measure energy efficiency of storage systems as well as performance and energy metrics. In addition, TRACER contains a novel and accurate workload-control module to acquire power varying with workload modes and I/O load intensity. The workload generator in TRACER facilitates a block-level trace replay mechanism. The main goal of the workload-control module is to select a certain percentage (e.g., anywhere from 10% to 100%) of trace entries from a real-world I/O trace file uniformly and to replay filtered trace entries to reach any level of I/O load intensity. TRACER is experimentally validated on a general RAID5 enterprise disk array. Our experiments demonstrate that energy-efficient mass storage systems can be accurately evaluated on full scales by TRACER. We applied TRACER to investigate impacts of workload modes and load intensity on energy-efficiency of storage devices. This work shows that TRACER can enable storage system developers to evaluate energy efficiency designs for storage systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A cost and space efficient method for unbalanced assignment problems

A cost and space efficient method for unbalanced assignment ...

引用

IEEE International Conference on Industrial engineering and engineering Management

作者： Anupong Iampang Veera Boonjing Pisit Chanvarasuth Software Systems Engineering Laboratory Department of Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand Sirindhorn International Institute of Technology Thammasat University Pathum Thani Thailand

ISBN: (纸本)9781424485017

In this paper, a new cost and space efficient solution to unbalanced assignment problems is presented. The new solution uses linear space complexity instead of polynomial complexity as used by the Hungarian method. Moreover, its optimal cost is lower than of the Kumar method - an existing linear space complexity solution to unbalanced assignment problems.

关键词： Complexity theory Simulation Space technology Electronic mail Polynomials Logistics

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Testing as a Service over Cloud

Testing as a Service over Cloud

引用

The Fifth IEEE International Symposium on Service-Oriented System engineering(第五届IEEE面向服务的系统工程国际研讨会 SOSE 2010)

作者： Lian Yu Xiangji Chen Yan Zhao Liangjie Tang Linqing Liu Wei-Tek Tsai Wei Zhao School of Software and Microelectronics Peking University P.R. China School of Computing Informatics and Decision Systems Engineering Department of Computer Science an China Research Center IBM Beijing 100094 PRC

Testing-as-a-service (TaaS) is a new model to provide testing capabilities to end users. Users save the cost of complicated maintenance and upgrade effort, and service providers can upgrade their services without impact on the end-users. Due to uneven volumes of concurrent requests, it is important to address the elasticity of TaaS platform in a cloud environment. Scheduling and dispatching algorithms are developed to improve the utilization of computing resources. We develop a prototype of TaaS over cloud, and evaluate the scalability of the platform by increasing the test task load;analyze the distribution of computing time on test task scheduling and test task processing over the cloud;and examine the performance of proposed algorithms by comparing others.

关键词： TaaS (Testing as a Service) SaaS (software as a Service) cloud computing ontology scheduling and dispatching

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：