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

program PERSPECTIVES - RELATIONAL REPRESENTATION OF measurement DATA

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1977年第4期3卷 296-300页

作者： RIPLEY, GD UNIV ARIZONA TUCSONAZ 85721

This paper concems the representation and processing of data resulting from the measurement of programs written in high-level programming languages. The value of various "perspectives" of measurement results, especially in languages having many levels of activity, is illustrated. A representation of measurement data based on ideas from relational data bases is presented, in which perspectives can be represented as hierarchically-organized permuted projections of measurement data. Applications described include measurement of Snobol4 and Fortran programs.

关键词： perspective Profile program measurement relational data

来源：评论

学校读者我要写书评

暂无评论

COMPLEXITY MEASURE EVALUATION AND SELECTION

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1995年第8期21卷 641-650页

作者： TIAN, J ZELKOWITZ, MV UNIV MARYLAND DEPT COMP SCICOLLEGE PKMD 20742 UNIV MARYLAND INST ADV COMP STUDIESCOLLEGE PKMD 20742

A formal model of program complexity developed earlier by the authors is used to derive evaluation criteria for program complexity measures. This is then used to determine which measures are appropriate within, a particular application domain. A set of rules for determining feasible measures for a particular application domain are given, and an evaluation model for choosing among alternative feasible measures is presented. This model is used to select measures from the classification trees produced by the empirically guided software development environment of Selby and Porter, and early experiments show it to be an effective process.

关键词： program COMPLEXITY program measurement MEASURE EVALUATION SELECTION CRITERIA OPTIMIZATION

来源：评论

学校读者我要写书评

暂无评论

Tools of the trade - The way we program

引用

IEEE SOFTWARE 2008年第4期25卷 89-91页

作者： Spinellis, Diomidis Athens Univ Econ & Business Dept Management Sci & Technol Athens Greece

Code lacking comments, meaningful identifiers, and correct indentation is a nightmare. By studying 30 programs of various sizes to measure what percentage of their source code consisted of comments, meaningful identifiers, and whitespace, the author found that more than half of the code served developers rather than the compiler. The relative composition of the three elements was equally distributed and didn't appear to vary with project size. This finding substantiates the view of programming as an art form and the importance of source code in the software development process. Therefore we need to focus management's attention on code and its developers.

关键词： programming Software Metrics programming Style program Comments program Identifier program measurement Software Project Size Software Development Process program Indentation Tools Linux programming Profession Business Size measurement Writing Source Code Comments Meaningful Identifiers Indentation Whitespace Art

来源：评论

学校读者我要写书评

暂无评论

WORKING-SETS PAST AND PRESENT

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1980年第1期6卷 64-84页

作者： DENNING, PJ Department of Computer Science Purdue University

A program's working set is the collection of segments recently referenced. This concept has led to efficient methods for measuring a program's intrinsic memory demand. It has assisted in understanding and modeling program behavior, and it has been used as the basis of optimal multiprogrammed memory management. The total cost of a working set dispatcher is no larger than the total cost of other common dispatchers. It is unlikely that anyone will find a cheaper nonlookahead memory policy that delivers significantly better *** with real programs revealed that the working set policy is the most likely to generate minimum space-time for any given program, and that one properly chosen control parameter value is normally sufficient to cause any program's working-set space-time to be within 10% of the minimum possible for that program. Working set dispatchers automatically control the level of multiprogramming while maintaining near-minimum space-time for each program.

关键词： Working Sets Dispatchers Lifetime Curves Memory Management Memory Space Time Product Multiprogrammed Load Controllers Multiprogramming Optimal Multiprogramming Phase Transition Behavior program Behavior program Locality program measurement Stochastic program Models Virtual Memory Working Set Dispatchers

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE OF STORAGE MANAGEMENT IN AN IMPLEMENTATION OF SNOBOL4

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1978年第2期4卷 130-137页

作者： RIPLEY, GD GRISWOLD, RE HANSON, DR Department of Computer Science The University of Arizona

Results of measuring the performance of the storage management subsystem in an implementation of SNOBOL4 are described. By instrumenting the storage management system, data concerning the size, lifetime, and use of storage blocks were collected. These data, like those obtained from conventional time measurement techniques, were used to locate program inefficiencies. In addition, these measurements uncovered some deficiencies in the storage management system, and provided the basis upon which to judge the heuristics used in the garbage collector.

关键词： Storage Management program measurement SNOBOL 4

来源：评论

学校读者我要写书评

暂无评论

A PORTABLE STORAGE MANAGEMENT-SYSTEM FOR THE ICON programMING LANGUAGE

引用

SOFTWARE-PRACTICE & EXPERIENCE 1980年第6期10卷 489-500页

作者： HANSON, DR Department of Computer Science The University of Arizona Tucson Arizona 85721 U.S.A.

AbstractIcon is a new programming language designed primarily for non‐numerical applications. Its roots are in SNOBOL4 and SL5; as in those languages, execution‐time flexibility is an important attribute of Icon, although some aspects of programs are bound at compile time to improve efficiency. Icon, which is implemented in Ratfor, is also intended to be portable and suitable for 16‐bit computers. The storage management system in Icon is designed to meet the goals of portability, flexibility and efficiency. This is accomplished by subdividing the storage management system into a set of type‐specific storage management subsystems. This paper describes the implementation of these subsystems, their interaction, and their perf

关键词： Storage management Portability Icon SNOBOL4 Ratfor Fortran Garbage collection program measurement Modularity

来源：评论

学校读者我要写书评

暂无评论

MEASURING THE PERFORMANCE AND BEHAVIOR OF ICON programS

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1983年第1期9卷 93-103页

作者： COUTANT, CA GRISWOLD, RE HANSON, DR UNIV ARIZONA DEPT COMP SCITUCSONAZ 85721

It is important to have the ability to measure the performance of programs written in high-level languages since performance measurement enables users to locate and correct program inefficiencies where automatic optimizations fail. It also provides a tool for understanding program behavior. This study describes performance measurement facilities for the Icon programming language. It demonstrates: 1. how these facilities provided insight into program behavior, and 2. how they were utilized to improve the implementation. Experience with Icon affirms the importance of incorporating measurement facilities in the initial design of an implementation rather than postponing the task until the implementation is complete. Adding measurement facilities to a completed implementation is generally very difficult. Exhibits.

关键词： Storage Management Icon program measurement

来源：评论

学校读者我要写书评

暂无评论

COMPARING NAUTICAL BSC programS BY QUALITY INDICATORS 19

COMPARING NAUTICAL BSC PROGRAMS BY QUALITY INDICATORS

引用

19th Annual General Assembly (AGA) of the International-Association-of-Maritime-Universities (IAMU)

作者： Jensen, Tor Erik Resnes, Tron Univ Coll Southeast Norway Univ Coll Southeast Norway USN Dept Maritime Operat POB 235 N-3603 Kongsberg Norway Norwegian Univ Sci & Technol NTNU Dept Ocean Operat & Civil Engn Larsgardsveien 2 N-6002 Alesund Norway

来源：评论

学校读者我要写书评

暂无评论

Understanding Automatically-Generated Patches Through Symbolic Invariant Differences 34

Understanding Automatically-Generated Patches Through Symbol...

引用

34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Cashin, Padraic Martinez, Carianne Weimer, Westley Forrest, Stephanie Arizona State Univ Tempe AZ 85281 USA Univ New Mexico Albuquerque NM 87131 USA Univ Michigan Ann Arbor MI 48109 USA

ISBN: (纸本)9781728125084

Developer trust is a major barrier to the deployment of automatically-generated patches. Understanding the effect of a patch is a key element of that trust. We find that differences in sets of formal invariants characterize patch differences and that implication-based distances in invariant space characterize patch similarities. When one patch is similar to another it often contains the same changes as well as additional behavior;this pattern is well-captured by logical implication. We can measure differences using a theorem prover to verify implications between invariants implied by separate programs. Although effective, theorem provers are computationally intensive;we find that string distance is an efficient heuristic for implication-based distance measurements. We propose to use distances between patches to construct a hierarchy highlighting patch similarities. We evaluated this approach on over 300 patches and found that it correctly categorizes programs into semantically similar clusters. Clustering programs reduces human effort by reducing the number of semantically distinct patches that must be considered by over 50%, thus reducing the time required to establish trust in automatically generated repairs.

关键词： Automated program Repair Dynamic Invariants program measurement

来源：评论

学校读者我要写书评

暂无评论

YOUNG ADULT OUTREACH: AN EXAMINATION OF OUTREACH ATTEMPTS AT BRANCH LIBRARIES IN A LARGE URBAN PUBLIC LIBRARY SYSTEM

引用

JOURNAL OF LIBRARY ADMINISTRATION 2019年第2期59卷 202-213页

作者： Velasquez, Jennifer Santa Clara Cty Lib Dist Campbell CA USA

Although outreach is a stated or implied goal of nearly all library systems, there is no universal definition of what constitutes outreach and how to evaluate its success. A survey of institutional guidelines and scholarly work reveals a range of ideas and some discussion of the concept, but ultimately raises more questions than answers. However, one study of a single public library system provides a glimmer of insight. Focusing on outreach to organizations serving young adults (13 to 18-year-olds), the study articulates possible directions for further research on this vital issue.

关键词： library outreach defining outreach outreach literature outreach training program measurement service planning young adults

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：