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

2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07 and PADTAD-V Workshop

作者： Quinlan, Daniel J. Vuduc, Richard W. Misherghi, Ghassan Center for Applied Scientific Computing Lawrence Livermore National Laboratory 7000 East Avenue Livermore CA United States Department of Computer Science University of California Davis Davis CA United States

ISBN: (纸本)159593748X

We present our on-going work to develop techniques for specifying source code signatures of bug patterns. Specifically, we discuss two approaches. The first approach directly analyzes a program in the intermediate representation (IR) of the ROSE compiler infrastructure using ROSE's API. The second analyzes the program using the bddbddb system of Lam, Whaley, et al.. In this approach, we store the IR produced by ROSE as a relational database, express patterns as declarative inference rules on relations in the language Datalog, and bddbddb implements the Datalog programs using binary decision diagram (BDD) techniques. Both approaches readily apply to large-scale applications, since ROSE provides full type analysis, control flow, and other available analysis information. In this paper, we primarily consider bug patterns expressed with respect to the structure of the source code or the control flow, or both. More complex techniques to specify patterns that are functions of data flow properties may be addressed by either of the above approaches, but are not directly treated here. Our Datalog-based work includes explicit support for expressing patterns on the use of the Message Passing Interface (MPI) in parallel distributed memory programs. We show examples of this on-going work as well. Copyright 2007 ACM.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Sense-enabled mixed reality museum exhibitions

Sense-enabled mixed reality museum exhibitions

引用

8th International Symposium on Virtual Reality, Archaeology, and Intelligent Cultural Heritage, VAST 2007

作者： Liarokapis, F. Newman, R.M. Mount, S. Goldsmith, D. Macan, L. Malone, G. Shuttleworth, J. Coventry University Cogent Computing Applied Research Centre Department of Computer Science Coventry CV1 5FB United Kingdom University of Wolverhampton School of Computing and IT Wolverhampton WV1 1SB United Kingdom

ISBN: (纸本)9783905674019

During the past few years museums and other cultural heritage institutions have started making use of handheld technologies to provide tourist guides to their visitors. For open-air sites, a number of experimental and commercial applications have been developed based on location-based guides. However, in museum environments static audiovisual guides are the dominant technologies used. In this paper, we present a novel pervasive mixed reality framework to a sensor network capturing ambient noise that can be used to create tangible cultural heritage exhibitions. Localisation of the visitors can be established in a hybrid manner based on machine vision and a wireless sensor network allowing visitors to interact naturally or with the help of sensors. In terms of interface design, a multimodal mixed reality visualisation domain allows for an audio-visual presentation of cultural heritage artefacts. © The Eurographics Association 2007.

关键词： Mixed reality

来源：评论

学校读者我要写书评

暂无评论

Preface

Communications in Computer and Information Science

引用

Communications in computer and Information science 2008年 15卷 V-VI页

作者： Huang, De-Shuang Wunsch, Donald Levine, Daniel S. Jo, Kang-Hyun Institute of Intelligent Machines Intelligent Computing Laboratory Chinese Academy of Sciences HefeiAnhui230031 China Missouri University of Science & Technology Department of Electrical and Computer Engineering Applied Computational Intelligence Laboratory RollaMO65409-0040 United States University of Texas at Arlington Department of Psychology ArlingtonTX76019-0528 United States University of Ulsan Graduate School of Electrical Engineering Ulsan680-749 Korea Republic of

来源：评论

学校读者我要写书评

暂无评论

MuMHR: Multi-path, Multi-hop Hierarchical Routing

MuMHR: Multi-path, Multi-hop Hierarchical Routing

引用

International Conference on Sensor Technologies and Applications, SensorComm

作者： Mohammad Hammoudeh Alexander Kurz Elena Gaura Cogent Computing Applied Research Centre Department of Creative Computing Coventry University Coventry UK Department of Computer Science University of Leicester Leicester UK

This paper proposes a self-organizing, cluster based protocol - multi-path, multi-hop hierarchical routing (MuMHR) - for use in large scale, distributed wireless sensor networks (WSN). With MuMHR, robustness is achieved by each node learning multiple paths and election of cluster-head backup node(s). Energy expenditure is reduced by shortening the distance between the node and its cluster-head and by reducing the setup communication overhead. This is done through incorporating the number-of-hops metric in addition to the back-off waiting time. Simulation results show that MuMHR performs better than LEACH, which is the most promising hierarchical routing algorithm to date; MuMHR reduces the total number of set-up messages by up to 65% and enhances the data delivery ratio by up to 0.83.

关键词： Routing Clustering algorithms Wireless sensor networks Spread spectrum communication Telecommunication network reliability Steady-state Nominations and elections Robustness Energy consumption Time division multiple access

来源：评论

学校读者我要写书评

暂无评论

Search engine overlaps: Do they agree or disagree?

Search engine overlaps: Do they agree or disagree?

引用

ICSE 2007 Workshops: Second International Workshop on Realising Evidence-Based Software Engineering, REBSE'07

作者： Bailey, John Zhang, Cheng Budgen, David Turner, Mark Charters, Stuart University of Durham Department of Computer Science South Road DH1 3LE United Kingdom University of Keele School of Computing and Mathematics Staffordshire ST5 5BG United Kingdom Applied Computing Group Lincoln University Lincoln 7647 New Zealand

ISBN: (纸本)0769529623

Context: Secondary studies, such as systematic literature reviews and mapping studies, are an essential element of the evidence-based paradigm. A critical part of the review process is the identification of all relevant research. As such, any researcher intending to conduct a secondary review should be aware of the strengths and weakness of the search engines available. Objectives: Analyse the overlap between search engine results for software engineering studies. Methods: Three independent studies were conducted to evaluate the overlap between multiple search engines for different search areas. Results: The findings indicate that very little overlap was found between the search engines. Conclusions of the study: To complete a systematic review, researchers must use multiple search terms and search engines. The lack of overlap might also be caused by inconsistent keyword selection amongst authors. © 2007 IEEE.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

Determining the effectiveness of the 3D alice programming environment at the computer science i level

引用

Journal of Educational computing Research 2007年第2期36卷 223-244页

作者： Sykes, Edward R. Sheridan Institute of Technology and Advanced Learning Canada Department of Computer Science School of Applied Computing and Engineering Sciences Sheridan Institute of Technology and Advanced Learning Oakville Ont. L6H 2L1 1430 Trafalgar Road Canada

Student retention in computer science is becoming a serious concern among Educators in many colleges and universities. Most institutions currently face a significant drop in enrollment in computer science. A number of different tools and strategies have emerged to address this problem (e.g., BlueJ, Karel Robot, etc.). Although these tools help to minimize attrition, they have not made significant improvements to this widespread problem. A newcomer to the scene called Alice has been met with positive results by captivating student interest through its rich 3D visual programming environment. During the fall of 2005, Alice, a newly published textbook, and numerous resources were used in computer science I at McMaster University. This article provides an overview of Alice, an assessment of this new course including qualitative surveys, informal observations, and quantitative analysis including student performance score results. Despite numerous technical problems, it was found that the Alice Group exceeded the performance of Comparison Groups: F(1, 93) = 30.322, p < .001 (between C1 and Alice group);F(1, 81) = 4.182, p = .044 (between C2 and Alice Group). © 2007, Baywood Publishing Co., Inc.

关键词： computer Software Student Interests Programming computer science Enrollment Student Attrition Course Descriptions Surveys Student Evaluation Scores Comparative Analysis Course Evaluation Instructional Effectiveness

来源：评论

学校读者我要写书评

暂无评论

Language classification using n-grams accelerated by FPGA-based Bloom Filters

Language classification using n-grams accelerated by FPGA-ba...

引用

1st International Workshop on High-Performance Reconfigurable computing Technology and Applications, HPRCTA'07, Held in Conjunction with SC07

作者： Jacob, Arpith Gokhale, Maya Department of Computer Science and Engineering Washington University in St. Louis St. Louis MO 63130-4899 United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory Livermore CA 94551-0808 United States

ISBN: (纸本)9781595938947

N-Gram (n-character sequences in text documents) counting is a well-established technique used in classifying the language of text in a document. In this paper, n-gram processing is accelerated through the use of reconfigurable hardware on the XtremeData XD1000 system. Our design employs parallelism at multiple levels, with parallel Bloom Filters accessing on-chip RAM, parallel language classifiers, and parallel document processing. In contrast to another hardware implementation (HAIL algorithm) that uses offchip SRAM for lookup, our highly scalable implementation uses only on-chip memory blocks. Our implementation of end-to-end language classification runs at 85 X comparable software and 1.45x the competing hardware design. Copyright. 2007 ACM.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Interactive hidden Markov models and their applications

引用

IMA Journal of Management Mathematics 2007年第1期18卷 85-97页

作者： Ching, W.K. Fung, E. Ng, M. Siu, T.K. Li, W.K. Advanced Modeling and Applied Computing Laboratory Department of Mathematics University of Hong Kong Pokfulam Road Hong Kong Hong Kong Department of Mathematics Hong Kong Baptist University Kowloon Tong Hong Kong Department of Actuarial Mathematics and Statistics School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh EH14 4AS United Kingdom Department of Statistics and Actuarial Science University of Hong Kong Pokfulam Road Hong Kong Hong Kong

In this paper, we propose an Interactive hidden Markov model (IHMM). In a traditional HMM, the observable states are affected directly by the hidden states, but not vice versa. In the proposed IHMM, the transitions of hidden states depend on the observable states. We also develop an efficient estimation method for the model parameters. Numerical examples on the sales demand data and economic data are given to demonstrate the applicability of the model.

关键词： categorical time series hidden Markov model prediction of demand steady-state probability distribution

来源：评论

学校读者我要写书评

暂无评论

Search Engine Overlaps : Do they agree or disagree?

Search Engine Overlaps : Do they agree or disagree?

引用

International Workshop on Realising Evidence-Based Software Engineering (REBSE)

作者： John Bailey Cheng Zhang David Budgen Mark Turner Stuart Charters Department of Computer Science University of Durham UK School of Computing and Mathematics University of Keele Staffordshire UK Applied Computing Group Lincoln University New Zealand

Secondary studies, such as systematic literature reviews and mapping studies, are an essential element of the evidence-based paradigm. A critical part of the review process is the identification of all relevant research. As such, any researcher intending to conduct a secondary review should be aware of the strengths and weakness of the search engines available. Analyse the overlap between search engine results for software engineering studies. Three independent studies were conducted to evaluate the overlap between multiple search engines for different search areas. The findings indicate that very little overlap was found between the search engines. To complete a systematic review, researchers must use multiple search terms and search engines. The lack of overlap might also be caused by inconsistent keyword selection amongst authors.

关键词： Search engines Software engineering Databases Software design Protocols Data analysis computer science Mathematics Aggregates Publishing

来源：评论

学校读者我要写书评

暂无评论

Compadres: a lightweight component middleware framework for composing distributed real-time embedded systems with real-time Java 2007

引用

Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware

作者： Jie Hu Shruti Gorappa Juan A. Colmenares Raymond Klefstad Department of Electrical Engineering and Computer Science University of California Irvine CA Department of Electrical Engineering and Computer Science University of California Irvine CA and Applied Computing Institute College of Engineering University of Zulia

ISBN: (纸本)9783540767770

Component frameworks simplify development of enterprise systems and enable code reuse, but most frameworks are unpredictable and hence unsuitable for embedded or real-time systems. Similarly, Java is increasingly being used to build embedded system software because of its portability and ease of use. The Real-Time Specification for Java (RTSJ) reduces the unpredictability in Java execution times by eliminating the need for a garbage collector. However, it introduces programming complexity that makes it difficult to build non-trivial applications. To bring the advantages of Java component development to DRE systems, while simultaneously simplifying the use of RTSJ, therefore, we have developed a new lightweight component model for RTSJ called Compadres. Compadres offers the following advantages: 1) Simple component definition in Java that abstracts away RTSJ memory management complexity; 2) System assembly from components by connecting ports that communicate through strongly-typed objects; 3) The Compadres compiler that automatically generates the scoped memory architecture for components, while the component framework handles communication between the components. To validate this work, we construct a non-trivial example application using the component framework, a simple real-time CORBA implementation. We then analyze the performance and efficiency of our component example versus a non-component example, RTZen. Our measurements show that our Compadres example built with components incurs only minor time overhead as compared to a comparable hand-coded example.

关键词： middleware RTSJ real-time java component framework

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：