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

VERSION MANAGEMENT FOR ROPCO - A MICROINCREMENTAL REUSE ENVIRONMENT

INFORMATION AND SOFTWARE TECHNOLOGY 1993年第11-12期35卷 627-637页

作者： ZAND, MK SAMADZADEH, MH SAIEDIAN, H OKLAHOMA STATE UNIV DEPT COMP SCISTILLWATEROK 74078

Version management is a pervasive issue in computer science. It is an important part of database theory, software engineering, distributed systems, etc. This paper focuses on version management for software being developed in a software development environment or a software factory. The main objective of the paper is to present a new approach on version management Of reusable units of software by using modules/templates as the reusable units. This approach is adopted in the design of a software development environment called ROPCO. Reuse Of Persistent code and object code is an integrated collection of techniques, tools, and structures to facilitate the reusability of persistent code and object code.

关键词： REUSABLE UNITS ROPCO VERSION MANAGEMENT PERSISTENT code object code SOFTWARE REUSE

来源：评论

学校读者我要写书评

暂无评论

Approximate prefix coding for system-on-a-chip programs

引用

JOURNAL OF SYSTEMS ARCHITECTURE 2003年第13-15期48卷 367-375页

作者： Weiss, S Tsikel, R Tel Aviv Univ Dept Elect Engn Syst IL-69978 Tel Aviv Israel

The redundancy available in binary programs presents an opportunity for better utilization of limited memory resources in systems-on-a-chip by compressing the instruction memory. Class-based coding, a form of approximate prefix coding, simplifies the code and thus is a suitable compression method for low-cost systems. We present a detailed frequency analysis of the SPEC2000 Alpha binary programs. Based on the results of this analysis, we introduce a new method for constructing classes. Then we apply this method and use it to compress the SPEC2000 Alpha binaries, and show that, in comparison with optimal prefix coding, the loss in compression efficiency is minimal. With some hardware support, the proposed method reduces the on-chip code by 43%. (C) 2003 Elsevier Science B.V. All rights reserved.

关键词： computer architecture object code system-on-a-chip RISC

来源：评论

学校读者我要写书评

暂无评论

HOIST: A system for automatically deriving static analyzers for embedded systems

HOIST: A system for automatically deriving static analyzers ...

引用

11th International Conference on Architectural Support for Programming Languages and Operating Systems

作者： Regehr, J Reid, A Univ Utah Sch Comp Salt Lake City UT 84112 USA

ISBN: (纸本)1581138040

Embedded software must meet conflicting requirements such as being highly reliable, running on resource-con strained platforms, and being developed rapidly. Static program analysis can help meet all of these goals. People developing analyzers for embedded object code face a difficult problem: writing an abstract version of each instruction in the target architecture(s). This is currently done by hand, resulting in abstract operations that are both buggy and imprecise. We have developed Hoist: a novel system that solves these problems by automatically constructing abstract operations using a microprocessor (or simulator) as its own specification. With almost no input from a human, Hoist generates a collection of C functions that are ready to be linked into an abstract interpreter. We demonstrate that Hoist generates abstract operations that are correct, having been extensively tested, sufficiently fast, and substantially more precise than manually written abstract operations. Hoist is currently limited to eight-bit machines due to costs exponential in the word size of the target architecture. It is essential to be able to analyze software running on these small processors: they are important and ubiquitous, with many embedded and safety-critical systems being based on them.

关键词： reliability languages verification abstract interpretation static analysis program verification object code

来源：评论

学校读者我要写书评

暂无评论

On the Generation of Full-fledged code from UML Profiles and ALF for Complex Systems 12

On the Generation of Full-fledged Code from UML Profiles and...

引用

12th International Conference on Information Technology: New Generations ITNG

作者： Ciccozzi, Federico Cicchetti, Antonio Sjodin, Mikael Malardalen Univ MRTC Vasteras Sweden

ISBN: (纸本)9781479988280

Modern software systems are becoming more and more complex thus demanding for new powerful development mechanisms. Model-driven engineering has been recognised as a promising paradigm for the development of complex systems especially for its capability of abstracting the problem through models and then manipulating them to reach the implementation. In this work we provide a solution for the problem of automatically generating target code from models expressed in CHESS-ML, a UML profile that leverages the Action Language for Foundational UML. The goal is to produce code that does not require any manual intervention after its automatic generation to be executed on the target platform. Focus is on the generation of complex systems targeting both single and multi process deployment configurations as well as different execution platforms.

关键词： Complex systems GTF2A1L gene UML object code PROBLEM SOLUTION autogeneration Software systems codes

来源：评论

学校读者我要写书评

暂无评论

Static Analysis of CPU Execution Time Using Implict Path Enumeration Techniques

Static Analysis of CPU Execution Time Using Implict Path Enu...

引用

1st International Conference on Computational Intelligence and Information Technology (CIIT 2011)

作者： Manjunath, T. K. Sharmila, Chidaravalli Amruta Inst Engn & Management Sci Dept Comp Sci & Engn Bengaluru 562109 India

ISBN: (纸本)9783642257339

Static Analysis of CPU execution time using implicit path enumeration is an approach where translator predicts the execution time of a program. Basically translator is a System Software which converts computer languages to machine understandable formats. Generally these translators will not estimate the CPU execution time of a given program, because execution time usually depends on execution environment like user inputs, system status, and system architecture and so on. This paper provides approach of to predict the CPU execution time of a given program during translation process.

关键词： Execution time Path Analysis Timing Analysis Static Analysis object code

来源：评论

学校读者我要写书评

暂无评论

An Effective Conversion Algorithm of Arithmetic Expression from Infix Form to Prefix Form

引用

International Conference on Information Technology for Manufacturing Systems (ITMS 2011)

作者： Wang Ting Tan Haoxun Liu Renren Xiangtan Univ Inst Informat Engn Xiangtan Hunan Peoples R China Energy Engn Inst Xiangtan Univ Hunan Peoples R China

ISBN: (纸本)9783037851494

Generally, when we optimize the object code of expression in source program, we get the optimizing code in the binary tree of this expression. Expressions in source program are in infix form, while the prefix form is more efficient for the binary tree. Hence this paper is to provide an effective transition algorithm of arithmetic expression from infix form to prefix form.

关键词： Algorithm Compiler object code Optimize

来源：评论

学校读者我要写书评

暂无评论

A Method for Computer Software Security Detection

A Method for Computer Software Security Detection

引用

7th International Conference on MEMS, NANO and Smart Systems (ICMENS 2011)

作者： Yong, Cheng Ling, Yang Jin Wenjia Yang Wenzhong Wang Wei Wang Feng Zhou Yong Nanjing Univ Informat Sci & Technol Jiangsu Technol & Engn Ctr Meteorol Sensor Networ Nanjing 210044 Jiangsu Peoples R China Nanjing Univ Informat Sci & Technol Beijing Coll Nanjing 210044 Jiangsu Peoples R China Nanjing Univ Informat Sci & Technol Coll Elect & Informat Engn Nanjing 210044 Jiangsu Peoples R China XinJiang Univ Sch Informat Sci & Engn Urumqi 830046 Xinjiang Peoples R China Wuhan Univ Comp Sch Wuhan 430072 Hubei Peoples R China

ISBN: (纸本)9783037853122

This paper proposed a method and a prototype using static analysis to detect security of computer software. There are many buffer overflow vulnerabilities in released software. It uses the static object code analysis technology to detect buffer overflow, and analysis some unsafe function to determine whether the software has some default. It compares the different results of the proposed tool and traditional buffer overflow detecting tools, the false alarm rate is less than others, false negative rate is same as others.

关键词： Buffer overflow detection object code unsafe function static analysis

来源：评论

学校读者我要写书评

暂无评论

Burroughs :: B6500 6700 :: 1042447 B6500 McP Refman Aug69