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

iEEE Workshop on Program Comprehension

作者： P.K. Linos Zhi-hong Chen S. Berrier B. O'Rourke Center for Applied Software Engineering Research Department of Computer Science and Software Engineering Butler University Indianapolis IN USA

This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool maintains a repository of host-to-foreign language dependencies between C/C++ and Java code. We describe some program comprehension features of the tool and we discuss a preliminary case study performed in order to verify its functionality and validate its usefulness. Based on the results of this study, we continue improving the tool.

关键词： computer languages software engineering software tools software maintenance Java Application software Productivity LAN interconnection computer science software prototyping

来源：评论

学校读者我要写书评

暂无评论

High performance code generation through lazy activation records 7

High performance code generation through lazy activation rec...

引用

7th Workshop on interaction between Compilers and computer Architectures, iNTERACT-7 2003

作者： Satpathy, M. Mahapatrg, R.N. Choudhuri, S. Chitnis, S.V. Applied Software Engineering Group Department of Computer Science University of Reading ReadingRG6 6AY United Kingdom Hardware Software Codesign Group Department of Computer Science Texas AandM University College StationTX77843-5534 United States CMG Wireless Data Solutions B.V. Merweplein 5 Nieuwegein3432 GNß Netherlands

ISBN: (纸本)0769518893

For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to memory spills are much more pronounced in presence of recursion. A function call is usually accompanied by the creation of its activation record at function entry. in this paper, we will deviate from this usual practice;we create an activation record only when we find it necessary. The result is that on many occasions we can execute a function call without actually creating its activation record. We call our strategy lazy activation record strategy (LARS) and show how this strategy is particularly important for call-intensive programs. The LARS subsumes many traditional techniques like leaf-call optimization and tail-recursion optimization, and in addition, it extends Chow's shrink-wrapping in terms of scope and granularity. We also demonstrate how the LARS can be an effective optimization strategy in the case of battery operated embedded systems, since not only can it reduce execution time but also energy consumption. © 2003 iEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

XML and the semantic web: What is the future?

Proceedings of the 36th Annual Hawaii International Conferen...

引用

Proceedings of the 36th Annual Hawaii international Conference on System sciences, HiCSS 2003 2003年 123-124页

作者： Chen, P. Bryan, George Vouk, Mladen Potok, Thomas E. Elmore, Mark Department of Computer Science Louisiana State University United States Centre for Advanced Systems Engineering University of Western Sydney Australia Department of Computer Science North Carolina State University United States Applied Software Engineering Research Group Oak Ridge National Laboratory United States

来源：评论

学校读者我要写书评

暂无评论

Advanced topics in workflow management: issues, requirements, and solutions

引用

Journal of integrated Design and Process science 2003年第3期7卷 49-77页

作者： Van der Aalst, Wil M.P. Weske, Mathias Wirtz, Guido Department of Information and Technology Eindhoven University of Technology Eindhoven NL-5600 MB PO Box 513 Netherlands Hasso Plattner Institute for Software Systems Engineering Potsdam D-14482 Prof. Dr.-Helmert-Straße 2-3 Germany Distributed and Mobile Systems Group Faculty of Information Systems and Applied Computer Science Otto-Friedrich-Universität Bamberg Bamberg D-96045 Feldkirchenstraße 21 Germany

This paper surveys and investigates the strengths and weaknesses of a number of recent approaches to advanced workflow modelling. Rather than inventing just another workflow language, we briefly describe recent workflow languages, and we analyse them with respect to their support for advanced workflow topics. Object Coordination Nets, Workflow Graphs, WorkFlow Nets, and an approach based on Workflow Evolution are described as dedicated workflow modelling approaches. in addition, the Unified Modelling Language as the de facto standard in object-oriented modelling is also investigated. These approaches are discussed with respect to coverage of workflow perspectives and support for flexibility and analysis issues in workflow management, which are today seen as two major areas for advanced workflow support. Given the different goals and backgrounds of the approaches mentioned, it is not surprising that each approach has its specific strengths and weaknesses. We clearly identify these strengths and weaknesses, and we conclude with ideas for combining their best features. © 2003, iOS Press. All rights reserved.

关键词： applied workflow systems Flexible workflow management Workflow analysis

来源：评论

学校读者我要写书评

暂无评论

Locally testable cyclic codes

Locally testable cyclic codes

引用

Annual iEEE Symposium on Foundations of computer science

作者： L. Babai A. Shpilka D. Stefankovic Department of Computer Science University of Chicago Chicago IL USA Mathematics Institute Hungarian Academy of Sciences (ATOMKI) Budapest Hungary Laboratory for Computer Science M.I.T. Cambridge MA USA Division of Engineering and Applied Sciences Harvard University Cambridge MA USA Department of Computer Science Comenius University Bratislava Slovakia

Cyclic linear codes of block length n over a finite field F/sub q/ are the linear subspaces of F/sub q//sup n/ that are invariant under a cyclic shift of their coordinates. A family of codes is good if all the codes in the family have constant rate and constant normalized distance (distance divided by block length). it is a long-standing open problem whether there exists a good family of cyclic linear codes based on F.J. MacWilliams and N.J.A. Sloane (1977). A code C is r-testable if there exist a randomized algorithm which, given a word x /spl isin/ F/sub q//sup n/, adaptively selects r positions, checks the entries of x in the selected positions, and makes a decision (accept or reject x) based on the positions selected and the numbers found, such that (i) if x /spl isin/ C then x is surely accepted; (ii) if dist(x,C) /spl ges/ /spl epsi/n then x is probably rejected (dist refers to Hamming distance). A family of codes is locally testable if all members of the family are r-testable for some constant r. This concept arose from holographic proofs/PCPs. O. Goldreich and M. Sudan (2002) asked whether there exist good, locally testable families of codes. in this paper we address the intersection of the two questions stated.

关键词： Testing computer science

来源：评论

学校读者我要写书评

暂无评论

Using empirical studies during software courses

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial intelligence and Lecture Notes in Bioinformatics) 2003年 2765卷 81-103页

作者： Carver, Jeffrey Jaccheri, Letizia Morasca, Sandro Shull, Forrest Experimental Software Engineering Group Dept. of Computer Science University of Maryland College Park MD 20742 United States Department of Computer and Information Science Norwegian University of Science and Technology Sem Sælands vei 7-9 7491 Trondheim Norway Dipartimento di Scienze Chimiche Fisiche e Matematiche Università degli Studi dell'Insubria Via Valleggio 11 I-22100 Como Italy Fraunhofer USA Center for Experimental Software Engineering Maryland 4321 Hartwick Road College Park MD 20742 United States

A number of empirical studies using students as subjects has been carried out in the last few years. These studies are usually conducted as pilot experiments that allow researchers to fine-tune an experiment before deploying it in an industrial environment. Though one of the issues usually taken into account with these experiments is their external validity, other issues need to be considered, such as the usefulness of these experiments in the context of a software engineering course. This chapter concisely reports on three empirical studies performed at the Università degli Studi dell'insubria during the ESERNET project and two other empirical studies that we carried out previously, all with students as subjects, so as to provide the context for a discussion on the research and the educational goals that should be taken into account when carrying out an experiment with students to make it successful from both an empirical and an educational viewpoint. Finally, we provide some advice on how to carry out empirical studies with students based on our experiences. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Simple Analytic Rules for Balanced Tuning of Pi Controllers

引用

iFAC Proceedings Volumes 2003年第18期36卷 47-52页

作者： P. Klán R. Gorez Institute of Computer Science Pod vodárenskou veží 2 182 07 Prague 8 Czech Republic Tel.: +420-266053850； fax.: +420-286585789 Centre for Systems Engineering and Applied Mechanics Univ. Louvain Avenue Georges Lemaitre 4 B-I348 Louvain-la-Neuve Belgium

New explicit design relations are proposed for setting the parameters of Pi controllers, from the knowledge of three parameters: gain, average residence time, and normalized dead time, characterizing the process to be controlled. These parameters can be obtained from the process step response or from the closed- loop response with any stabilizing Pi controller. Simulation results for different types of process transfer function, including non minimum-phase processes or processes with dead time, show well damped responses with smooth control actions minimizing the total variation of the controller input.

关键词： Pi Control Tuning methods Balanced tuning New design relations

来源：评论

学校读者我要写书评

暂无评论

Evaluation of MiRACLE approach results for CLEF 20031

Evaluation of MIRACLE approach results for CLEF 20031

引用

2003 Cross Language Evaluation Forum Workshop, CLEF 2003, co-located with the 7th European Conference on Digital Libraries, ECDL 2003

作者： Martínez, José Luis Román, Julio Villena Fombella, Jorge Serrano, Ana G. Ruiz, Alberto Martínez, Paloma Goñi, José M. González, José C. Computer Science Department Advanced Databases Group Universidad Carlos III de Madrid Leganés Madrid28911 Spain Department of Telematic Engineering Universidad Carlos III de Madrid Leganés Madrid28911 Spain DAEDALUS - Data Decisiond and Language S.A. Centro de Empresas la Arboleda Ctra. N-III km. 7 300 Madrid28031 Spain Artificial Intelligence Department ISYS group Technical University of Madrid Boadilla del Monte28660 Spain Department of Mathematics Applied to Information Techmologies E.T.S.I. Telecomunicación Universidad Politécnica de Madrid Avda. Ciudad Universitaria s/n Madrid28040 Spain

This paper describes MiRACLE (Multilingual information RetrievAl for the CLEf campaign) approach and results for the mono, bi and multilingual Cross Language Evaluation Forum tasks. The approach is based on the combin... 详细信息

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

MiRACLE evaluation of results for image CLEF 20031

MIRACLE evaluation of results for Image CLEF 20031

引用

2003 Cross Language Evaluation Forum Workshop, CLEF 2003, co-located with the 7th European Conference on Digital Libraries, ECDL 2003

作者： Román, Julio Villena Martínez, José Luis Fombella, Jorge Serrano, Ana G. Ruiz, Alberto Martínez, Paloma Goñi, José M. González, José C. Computer Science Department Advanced Databases Group Universidad Carlos III de Madrid Avda. Universidad 30 Leganés Madrid28911 Spain Department of Telematic Engineering Universidad Carlos III de Madrid Avda. Universidad 30 Leganés Madrid28911 Spain DAEDALUS - Data Decisiond and Language S.A. Centro de Empresas la Arboleda Ctra. N-III km. 7300 Madrid28031 Spain Artificial Intelligence Department ISYS group Technical University of Madrid Campus de Montegancedo s/n Boadilla del Monte28660 Spain Department of Mathematics Applied to Information Techmologies E.T.S.I. Telecomunicación Universidad Politécnica de Madrid Avda. Ciudad Universitaria s/n Madrid28040 Spain

image CLEF is a new pilot experiment introduced in CLEF 2003. it is devoted to the cross language retrieval of images using textual descriptions related to images contents. This paper presents MiRACLE research team ex... 详细信息

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

Maintenance of object oriented systems through re-engineering: a case study

Maintenance of object oriented systems through re-engineerin...

引用

international Conference on software Maintenance (iCSM)

作者： M. Satpathy N.T. Siebel D. Rodriguez Department of Computer Science Applied Software Engineering Group University of Reading Reading UK Applied Software Engineering Group Department of Computer Science The University of Reading Reading England

Unregulated evolution of software often leads to software ageing which not only makes the product difficult to maintain but also breaks the consistency between design and implementation. in such a case, it may become necessary to re-engineer the software so that it becomes maintainable again. in this paper we present the case study of the reengineering of the People Tracking subsystem of a surveillance system written in C++. We discuss the problems, the challenges and the approaches taken, and we show how the re-engineered product is now better maintainable. We also discuss the generation of the relevant artefacts - from requirement document through to design document.

关键词： computer aided software engineering software maintenance Reverse engineering software engineering Surveillance computer vision computer science Aging Hardware Preventive maintenance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：