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

International Conference on Quality Software

作者： Tsong Yueh Chen Fei-Ching Kuo Huai Liu W. Eric Wong Faculty of Information and Communication Technologies Swinburne University of Technology Hawthorn VIC Australia Department of Computer Science University of Texas Dallas Richardson TX USA

ISBN: (纸本)9780769533124

Random testing (RT) is a fundamental software testing technique. Motivated by the rationale that neighbouring test cases tend to cause similar execution behaviours, adaptive random testing (ART) was proposed as an enhancement of RT, which enforces random test cases evenly spread over the input domain. ART has always been compared with RT from the perspective of the failure-detection capability. Previous studies have shown that ART can use fewer test cases to detect the first software failure than RT. In this paper, we aim to compare ART and RT from the perspective of program-based coverage. Our experimental results show that given the same number of test cases, ART normally has a higher percentage of coverage than RT. In conclusion, ART outperforms RT not only in terms of the failure-detection capability, but also in terms of the thoroughness of program-based coverage. Therefore, ART delivers a higher confidence of the software under test than RT even when no failure has been revealed.

关键词： Subspace constraints Power capacitors Testing Software Distance measurement Software algorithms Software reliability

来源：评论

学校读者我要写书评

暂无评论

An age estimation system on the AIBO

An age estimation system on the AIBO

引用

International Conference on Control, Automation and Systems ( ICCAS)

作者： Hironobu Fukai Yuuki Nishie Kohki Abiko Yasue Mitsukura Minoru Fukumi Masahiro Tanaka Graduate School of Bio-Applications & Systems Engineering Tokyo University of Agriculture슠and슠Technology Tokyo Japan Department of Computer and Information Science Tokyo University of Agriculture슠and슠Technology Tokyo Japan Faculty of Engineering University of Tokushima Tokushima Japan Department of Information Science and Systems Engineering Konan University Hyogo Japan

In this paper, we propose an age estimation system on the AIBO. AIBO is an entertainment robot produced by SONY co., Ltd.. AIBO has many sensors to get information around itself and moves according to its instinct. This autonomous action is considerably natural. However, it is inadequate to communicate with people. If AIBO can estimate the human age from a face image, it becomes more excellent entertainment robot. Then, we propose the age estimation method on the AIBO by using face image. In this paper, the apparent age feature is extracted by the fast Fourier transform (FFT), and it is selected by the GA. Moreover, the age is estimated by the 1-dimensional SOM. In order to show the effectiveness of the proposed method, we show the simulation examples.

关键词： Humans Robot sensing systems Agricultural engineering Systems engineering and theory Agriculture information science Face Feature extraction Genetic algorithms Organizing

来源：评论

学校读者我要写书评

暂无评论

DLM: A distributed Large Memory System using remote memory swapping over cluster nodes

DLM: A distributed Large Memory System using remote memory s...

引用

IEEE International Conference on Cluster Computing

作者： Hiroko Midorikawa Motoyoshi Kurokawa Ryutaro Himeno Mitsuhisa Sato Department of Computer and Information Science Seikei University Musashino Tokyo Japan Graduate School of Systems and Information Engineering University of Tsukuba Tennodai Tsukuba Ibaraki Japan Advanced Center of Computing and Communication Wako Saitama Japan Research Program for Computational Science RIKEN Wako Saitama Japan

Emerging 64 bitOSpsilas supply a huge amount of memory address space that is essential for new applications using very large data. It is expected that the memory in connected nodes can be used to store swapped pages efficiently, especially in a dedicated cluster which has a high-speed network such as 10 GbE and Infiniband. In this paper, we propose the distributed large memory system (DLM), which provides very large virtual memory by using remote memory distributed over the nodes in a cluster. The performance of DLM programs using remote memory is compared to ordinary programs using local memory. The results of STREAM, NPB and Himeno benchmarks show that the DLM achieves better performance than other remote paging schemes using a block swap device to access remote memory. In addition to performance, DLM offers the advantages of easy availability and high portability, because it is a user-level software without the need for special hardware. To obtain high performance, the DLM can tune its parameters independently from kernel swap parameters. We also found that DLMpsilas independence of kernel swapping provides more stable behavior.

关键词： Kernel Arrays Memory management Servers Bandwidth Performance evaluation Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Using a literature-based NMF model for discovering gene functional relationships

Using a literature-based NMF model for discovering gene func...

引用

IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)

作者： Elina Tjioe Michael Berry Ramin Homayouni Genome Science and Technology Graduate School University of Tennessee Knoxville TN USA Department of Electrical Engineering and Computer Science University of Tennessee Knoxville TN USA Bioinformatics Program Department of Biology University of Memphis Memphis TN USA

The rapid growth of the biomedical literature and genomic information presents a major challenge for determining the functional relationships among genes. In this study, we develop a Web-based bioinformatics software environment called FAUN or feature annotation using nonnegative matrix factorization (NMF) to facilitate both the discovery and classification of functional relationships among genes. Both the computational complexity and parameterization of NMF for processing gene sets are discussed. We tested FAUN on three manually constructed gene document collections, and then used it to analyze several microarray-derived gene sets obtained from studies of the developing cerebellum in normal and mutant mice. FAUN provides utilities for collaborative knowledge discovery and identification of new gene relationships from text streams and repositories (e.g., MEDLINE). It is particularly useful for the validation and analysis of gene associations suggested by microarray experimentation.

关键词： Bioinformatics Genomics Data mining Matrix decomposition Large scale integration Feature extraction Iterative methods Biological system modeling computer science Computational biology

来源：评论

学校读者我要写书评

暂无评论

Syntactically Controlled Generation of the Test programs for Microprocessor Verification

Syntactically Controlled Generation of the Test Programs for...

引用

第二届国际测量仪器与测试自动化学术会议

作者： Ghennady Bodean Diana Bodean Serghei Borshevich Designing and Manufacture Electronic Apparatuses Dep.Radio-electronics and Telecommunication Faculty Technical University TUM KishinauR.Moldova Computer Science and Technology School of Information Renmin University Beijing

This paper presents an approach to synthesis of stylistically and syntactically controlled generator of the microprocessor test *** dependence of test length of the confidence level and the probabilities repartition of coverage metric is *** procedure of synthesis of a test program generator is developed,represented by a stochastic grammar for a known *** performed test experiments clearly demonstrate the advantages of the proposed syntactic approach in comparison with other competitive methods of generation stimuli for verification of microprocessors

关键词： test program microprocessor verification constrained-random generation

来源：评论

学校读者我要写书评

暂无评论

A Novel Technique for Input Vector Compression in System-on-Chip Testing

A Novel Technique for Input Vector Compression in System-on-...

引用

International Conference on information technology (ICIT)

作者： Satyendra N. Biswas Sunil R. Das Mansour H. Assaf Department of Electrical Engineering Technology Georgia Southern University Statesboro GA USA School of Information Technology and Engineering Faculty of Engineering University of Ottawa Ottawa ONT Canada Department of Computer and Information Science College of Arts and Sciences Troy University Montgomery AL USA University of Trinidad and Tobago Arima Trinidad and Tobago

A software based hybrid test vector compression technique for testing system-on-chip integrated circuits using an embedded processor core was previously discussed by the authors. In this approach, a software program is loaded into the on-chip processor memory along with the compressed test data sets. To minimize on-chip storage besides testing time, the test data volume is first reduced by compaction in a hybrid manner before downloading into the processor. The proposed method utilizes a set of adaptive coding techniques for realizing lossless compression. The compaction program need not be loaded into the embedded processor, as only the decompression of test data is required for the automatic test equipment. The developed scheme necessitates minimal hardware overhead, while the on-chip embedded processor can be reused for normal operation on completion of testing. As an extension of this prior work, this paper reports further results on studies of the problem based on the use of Limpel-Ziv-Walsh coding besides Burrows-Wheeler transformation and demonstrates the feasibility of the suggested methodology with simulation results on ISCAS 85 combinational and ISCAS 89 full-scan sequential benchmark circuits.

关键词： System-on-a-chip System testing Circuit testing Software testing Integrated circuit testing Compaction Embedded software Hybrid integrated circuits Adaptive coding Automatic testing

来源：评论

学校读者我要写书评

暂无评论

A decision support system for evaluating international student applications

A decision support system for evaluating international stude...

引用

37th Annual Frontiers in EducationConference

作者： Hien, Nguyen Thi Ngoc Haddawy, Peter Computer Science and Information Management Program Asian Institute of Technology

ISBN: (纸本)9781424410835

In today's transnational admission environment, evaluating applicant qualifications is becoming increasingly challenging. While standardized tests can be helpful, studies have shown that they are rather noisy predictors of performance. Predicting educational outcome is a viable alternative in such heterogeneous environments. Performance prediction models can be built by applying data mining techniques to enrollment data. In this paper we present an approach to using Bayesian networks to predict graduating cumulative Grade Point Average based on applicant background at the time of admission. While such prediction models can be helpful, their recommendations may not be followed by departmental faculty members making admission decisions if they are presented as black boxes. We thus present a novel approach to deriving a case-based retrieval mechanism from the Bayesian network prediction model in such a way that the similarity measure used by the case-based system is consistent with the predictive model. The case-based component retrieves the past student most similar to the applicant being evaluated. The Bayesian network model is evaluated using stratified ten-fold cross validation.

关键词： Bayesian networks case-based retrieval student evaluation

来源：评论

学校读者我要写书评

暂无评论

A new multisignature scheme using re-encryption technique

引用

Journal of Applied sciences 2007年第13期7卷 1813-1817页

作者： Aboud, Sattar J. Al-Fayoumi, Mohammed A. Department of Computer Information Science Faculty of IT The University for Graduate Studies Amman Jordan

A new multisignature scheme using re-encryption technique based on the RSA algorithm is suggested what enhance version of Okamoto scheme. The suggested scheme results bit expansion in block length of the multisignature, but the bit size of the expansion is not larger than the number of signers irrespective of their modulus. In addition, the new scheme has no limitations in signing order and in fact is more efficient than the Okamoto scheme. © 2007 Asian Network for Scientific information.

关键词： Expansion

来源：评论

学校读者我要写书评

暂无评论

PRISM: A logic programming language and system for probabilistic modeling

Computer Software

引用

computer Software 2007年第4期24卷 2-22页

作者： Kameya, Yoshitaka Sato, Taisuke Izumi, Yusuke Iwasaki, Tatsuya Zhou, Neng-Fa Dept. of Computer Science Graduate School of Information Science and Engineering Tokyo Institute of Technology CUNY Brooklyn College

In recent artificial intelligence research, one of the fundamental problems is to handle uncertainty in symbolic data. To handle such uncertainty, one promising way is to construct a probabilistic model that represents the data well, and then to make probabilistic inferences based on the model. Furthermore, as the data get more complicated than traditional data matrices, like sequence data or relational databases, the importance of the expressivity of the modeling language has been increased. From such a background, there have been proposed plenty of formalisms that attempt to integrate first-order logic and probability. In this paper, we present a probabilistic logic programming system called PRISM, which is expected as an efficient tool for probabilistic modeling which features declarative semantics, high expressivity originated from logic programs, and built-in fast routines for various probabilistic inferences. We describe PRISM as an implemented tool with program examples, its functionalities, and the result of a benchmark evaluation of computing performance.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Identity authentication and key agreement schemes for ad hoc networks

引用

Journal of Applied sciences 2007年第12期7卷 1638-1642页

作者： Al-Fayoumi, Mohammad A. Aboud, Sattar J. Department of Computer Information Science Faculty of IT The Middle East University for Graduate Studies Amman Jordan

Identity authentication and key agreement schemes play significant role in ad hoc networks. In this study, a new identity authentication scheme relies on the threshold group signature is introduced. Compared with the current schemes it is secure, efficient and adaptable to a multi-hop feature of ad hoc networks. In addition, a new key agreement scheme based on the threshold cryptography using the Lagrange interpolation theorem is suggested, its efficiency and security are examined and is claimed to be more efficient than the existing schemes. © 2007 Asian Network for Scientific information.

关键词： Ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：