首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 125 毫秒
1.
Dynamic optimization relies on runtime profile information to improve the performance of program execution. Traditional profiling techniques incur significant overhead and are not suitable for dynamic optimization. In this paper, a new profiling technique is proposed, that incorporates the strength of both software and hardware to achieve near-zero overhead profiling. The compiler passes profiling requests as a few bits of information in branch instructions to the hardware, and the processor executes profiling operations asynchronously in available free slots or on dedicated hardware. The compiler instrumentation of this technique is implemented using an Itanium research compiler. The result shows that the accurate block profiling incurs very little overhead to the user program in terms of the program scheduling cycles. For example, the average overhead is 0.6% for the SPECint95 benchmarks. The hardware support required for the new profiling is practical. The technique is extended to collect edge profiles for continuous phase transition detection. It is believed that the hardware-software collaborative scheme will enable many profile-driven dynamic optimizations for EPIC processors such as the Itanium processors.  相似文献   

2.
New Model and Algorithm for Hardware/Software Partitioning   总被引:1,自引:0,他引:1       下载免费PDF全文
This paper focuses on the algorithmic aspects for the hardware/software (HW/SW) partitioning which searches a reasonable composition of hardware and software components which not only satisfies the constraint of hardware area but also optimizes the execution time. The computational model is extended so that all possible types of communications can be taken into account for the HW/SW partitioning. Also, a new dynamic programming algorithm is proposed on the basis of the computational model, in which source data, rather than speedup in previous work, of basic scheduling blocks are directly utilized to calculate the optimal solution. The proposed algorithm runs in O(n·A) for n code fragments and the available hardware area A. Simulation results show that the proposed algorithm solves the HW/SW partitioning without increase in running time, compared with the algorithm cited in the literature.  相似文献   

3.
In this paper,a learning-based high-speed reconstruction system for ultra-low resolution faces is implemented using a software/hardware co-design paradigm.The hardware component working at 60 MHz contains a field programmable gate array,which is reconfigured to contain parallel processing units,and multiple memories to create parallel data.The hardware component effectively handles generating and sorting computationally intensive similarity metrics.This solves the processing speed problem in learning-based super-resolution reconstruction for ultra-low resolution faces.The system can reconstruct faces using 8 × 6,16 × 12,and 32 × 24 sized images,with 4 × 4,8 × 8,or 16 × 16 times magnification.The experimental results verify the effectiveness of our system in terms of both visual effect and low root mean square errors.The processing speed can be improved up to a maximum of 7900 times faster than a pure software implementation using C.  相似文献   

4.
The education of software talent is the basis of the development of China's software industry.This article demonstrates the software training goals for undergraduate students in the School of Software Engineering of Chongqing University,and put forwards the education program of the software talent based on project-driven.The program aims to cultivate software talents of "compound,application-oriented,international" characteristics to meet the development of China's software industry through a series of integrated courses on project practice and training.  相似文献   

5.
The object oriented software development is a kind of promising software methodology and leading to awholly new way for solving problems. In the research on the rapid construction of Structured Development Envi-ronment (SDE)that supports detailed design and coding in software development, a generator that can gener-ate the SDE has been applied as a metatool. The kernel of SDE is a syntax-directed editor based on the ob-ject-oriented concepts. The key issue in the design of SDE is how to represent the elements of target languagewith the class concept and a program internally. In this paper, the key concepts and design of the SDE and itsgenerator as well as the implementation of a prototype are to be discussed.  相似文献   

6.
The object-oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems.In the research on the rapid construction of Structured Development Environment(SDE)that supports detailed design and coding in software development,a generator that can generate the SE has been applied as a metatool.The kernel of SDE is a syntax-directed editor based on the object-oriented concepts.The key issue in the design of SDE is how to represent the elements of target language with the class concept and a program internally.In this paper,the key concepts and design of the SDE and its generator as well as the implementation of a prototype are to be discussed.  相似文献   

7.
Various 3D modeling software has been developed for design and manufacturing.Most of the commercially available software uses native file formats,which may not be able to be read or understood by other software.This paper deals with the development of a generic approach of a 3D model conversion program for virtual manufacturing(VM),using a lexical analyzer generator Lex and the Open Graphic Library(OpenGL).The program is able to convert 3D mesh data between four universal file formats,i.e.,Stereolithography(STL),Virtual Reality Modeling Language(VRML),eXtensible Markup Language(XML),and Object(OBJ).Simple assembly functions can be applied to the imported models.The quaternion angle is used for object rotation to overcome the problem of gimbal lock or a loss of one degree of rotational freedom.The program has been validated by importing the neutral format models into the program,applying the transformation,saving the new models with a new coordinate system,and lastly exporting into other commercial software.The results showed that the program is able to render and re-arrange accurately the geometry data from the different universal file formats and that it can be used in VM.Therefore,the output models from a VM system can be transferred or imported to another VM system in a universal file format.  相似文献   

8.
In this paper a new generator for parametric drafting program is presented.The func-tions and the syntax of the parametric drafting program are described.This software has been suc-cessfully used to generate a parametric drafting program for designs of motors.  相似文献   

9.
The need to improve software productivity and software quality has put forward the research on software metrics technology and the development of software metrics tool to support related activities.To support object-oriented software metrics practice efectively,a model-absed approach to object-oriented software metrics is proposed in this paper.This approach guides the metrics users to adopt the quality metrics model to measure the object-oriented software products .The development of the model can be achieved by using a top-down approach.This approach explicitly proposes the conception of absolute normalization computation and relative normalization computation for a metrics model.Moreover,a generic software metrics tool-Jade Bird Object-Oriented Metrics Tool(JBOOMT)is designed to implement this approach.The parser-based approach adopted by the tool makes the information of the source program accurate and complete for measurement.It supports various customizable hierarchical metrics models and provides a flexible user interface for users to manipulate the models.It also supports absolute and relative normalization mechanisms in different situations.  相似文献   

10.
This retrospective essay summarizes 50 years experience of a first-generation programmer in Japan focusing on his thoughts on software process issues. It started from strong concern of the structure of program execution processes inside computer hardware, then went out of digital box to think about software development and maintenance processes, namely how to deal with issues between people and software. Finally his main concern turned to the social issues of software evolution processes in the Internet society. The concept of "immaterial labor" seems to be important to think about today''s process issues outside of digital boxes.  相似文献   

11.
A Model for Slicing JAVA Programs Hierarchically   总被引:3,自引:0,他引:3       下载免费PDF全文
Program slicing can be effectively used to debug, test, analyze, understand and maintain objectoriented software. In this paper, a new slicing model is proposed to slice Java programs based on their inherent hierarchical feature. The main idea of hierarchical slicing is to slice programs in a stepwise way, from package level, to class level, method level, and finally up to statement level. The stepwise slicing algorithm and the related graph reachability algorithms are presented, the architecture of the Java program Analyzing TOol (JATO) based on hierarchical slicing model is provided, the applications and a small case study are also discussed.  相似文献   

12.
Software configuration management(SCM)is an important key technology in software development.Component-based software development (CBSD)is an emerging paradigm in software development.However,to apply CBSD effectively in real world practice,supporting SCM in CBSD needs to be further investigated.In this paper,the objects that need to be managed in CBSD is analyzed and a component-based SCM model is presented.In this model,Components,as the integral logical constituents in a system,are managed as the basic configuration items in SCM,and the relationships between/among components are defined and maintained.Based on this model.a configuration management system is implemented.  相似文献   

13.
14.
15.
16.
This paper presents a methodology for estimating users’ opinion of the quality of a software product. Users’ opinion changes with time as they progressively become more acquainted with the software product. In this paper, we study the dynamics of users’ opinion and offer a method for assessing users’ final perception, based on measurements in the early stages of product release. The paper also presents methods for collecting users’ opinion and from the derived data, shows how their initial belief state for the quality of the product is formed. It adapts aspects of Belief Revision theory in order to present a way of estimating users’ opinion, subsequently formed after their opinion revisions. This estimation is achieved by using the initial measurements and without having to conduct surveys frequently. It reports the correlation that users tend to infer among quality characteristics and represents this correlation through a determination of a set of constraints between the scores of each quality characteristic. Finally, this paper presents a fast and automated way of forming users’ new belief state for the quality of a product after examining their opinion revisions. Dimitris Stavrinoudis received his degree in Computer Engineering from Patras University and is a Ph.D. student of Computer Engineering and Informatics Department. He worked as a senior computer engineer and researcher at the R.A. Computer Technology Institute. He has participated in research and development projects in the areas of software engineering, databases and educational technologies. Currently, he works at the Hellenic Open University. His research interests include software quality, software metrics and measurements. Michalis Xenos received his degree and Ph.D. in Computer Engineering from Patras University. He is a Lecturer in the Informatics Department of the School of Sciences and Technology of the Hellenic Open University. He also works as a researcher in the Computer Technology Institute of Patras and has participated in over 15 research and development projects in the areas of software engineering and IT development management. His research interests include, inter alia, Software Engineering and Educational Technologies. He is the author of 6 books in Greek and over 30 papers in international journals and conferences. Pavlos Peppas received his B.Eng. in Computer Engineering from Patras University (1988), and his Ph.D. in Computer Science from Sydney University (1994). He joined Macquarie University, Sydney, as a lecturer in September 1993, and was promoted to a senior lecturer in October 1998. In January 2000, he took up an appointment at Intrasoft, Athens, where he worked as a senior specialist in the Data Warehousing department. He joint Athens Information Technology in February 2003 as a senior researcher, and since November 2003 he is an associate professor at the Dept of Business Administration at the University of Patras. He also holds an adjunct associate professorship at the School of Computer Science and Engineering at the University of New South Wales. His research interests lie primarily within the area of Artificial Intelligence, and more specifically in logic-based approaches to Knowledge Representation and Reasoning with application in robotics, software engineering, organizational knowledge management, and the semantic web. Dimitris Christodoulakis received his degree in Mathematics from the University of Athens and his Ph.D. in Informatics from the University of Bonn. He was a researcher at the National Informatics Centre of Germany. He is a Professor and Vice President of Computer Engineering and Informatics Department of Patras University. Scientific Coordinator in many research and development projects in the followings sections: Knowledge and Data Base Systems, Very large volume information storage, Hypertext, Natural Language Technology for Modern Greek. Author and co-author in many articles published in international conferences. Editor in proceedings of conventions. Responsible for proofing tools development for Microsoft Corp. He is Vice Director in the Research Academic Computer Technology Institute (RACTI).  相似文献   

17.
This paper introduces a new algorithm of mining association rules.The algorithm RP counts the itemsets with different sizes in the same pass of scanning over the database by dividing the database into m partitions.The total number of pa sses over the database is only(k 2m-2)/m,where k is the longest size in the itemsets.It is much less than k .  相似文献   

18.
Given an m×n mesh-connected VLSI array with some faulty elements, the reconfiguration problem is to find a maximum-sized fault-free sub-array under the row and column rerouting scheme. This problem has already been shown to be NP-complete. In this paper, new techniques are proposed, based on heuristic strategy, to minimize the number of switches required for the power efficient sub-array. Our algorithm shows that notable improvements in the reduction of the number of long interconnects could be realized in linear time and without sacrificing on the size of the sub-array. Simulations based on several random and clustered fault scenarios clearly reveal the superiority of the proposed techniques.  相似文献   

19.
In this paper we introduce the logic programming languageDisjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs. Manolis Gergatsoulis, Ph.D.: He received his B.Sc. in Physics in 1983, the M.Sc. and the Ph.D. degrees in Computer Science in 1986 and 1995 respectively all from the University of Athens, Greece. Since 1996 he is a Research Associate in the Institute of Informatics and Telecommunications, NCSR ‘Demokritos’, Athens. His research interests include logic and temporal programming, program transformations and synthesis, as well as theory of programming languages. Panagiotis Rondogiannis, Ph.D.: He received his B.Sc. from the Department of Computer Engineering and Informatics, University of Patras, Greece, in 1989, and his M.Sc. and Ph.D. from the Department of Computer Science, University of Victoria, Canada, in 1991 and 1994 respectively. From 1995 to 1996 he served in the Greek army. From 1996 to 1997 he was a visiting professor in the Department of Computer Science, University of Ioannina, Greece, and since 1997 he is a Lecturer in the same Department. In January 2000 he was elected Assistant Professor in the Department of Informatics at the University of Athens. His research interests include functional, logic and temporal programming, as well as theory of programming languages. Themis Panayiotopoulos, Ph.D.: He received his Diploma on Electrical Engineering from the Department of Electrical Engineering, National Technical Univesity of Athens, in 1984, and his Ph.D. on Artificial Intelligence from the above mentioned department in 1989. From 1991 to 1994 he was a visiting professor at the Department of Mathematics, University of the Aegean, Samos, Greece and a Research Associate at the Institute of Informatics and Telecommunications of “Democritos” National Research Center. Since 1995 he is an Assistant Prof. at the Department of Computer Science, University of Piraeus. His research interests include temporal programming, logic programming, expert systems and intelligent agent architectures.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号