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

MICRO-38: 38th Annual IEEE/ACM International Symposium on Microarchitecture

作者： Wu, Qiang Reddi, V.J. Wu, Youfeng Lee, Jin Connors, Dan Brooks, David Martonosi, Margaret Clark, Douglas W. Depts. of Computer Science Electrical Engjneering Princeton University Dept. of Electrical and Computer Engineering U. of Colorado Boulder Programming Systems Lab. Corporate Tech. Group Intel Corporation Division of Engineering and Applied Science Harvard University

ISBN: (纸本)0769524400

Dynamic voltage and frequency scaling (DVFS) is an effective technique for controlling microprocessor energy and performance. Existing DVFS techniques are primarily based on hardware, OS timeinterrupts, or static-compiler techniques. However, substantially greater gains can be realized when control opportunities are also explored in a dynamic compilation environment. There are several advantages to deploying DVFS and managing energy/performance tradeoffs through the use of a dynamic compiler. Most importantly, dynamic compiler driven DVFS is fine-grained, code-aware, and adaptive to the current microarchitecture environment. This paper presents a design framework of the run-time DVFS optimizer in a general dynamic compilation system. A prototype of the DVFS optimizer is implemented and integrated into an industrialstrength dynamic compilation system. The obtained optimization system is deployed in a real hardware platform that directly measures CPU voltage and current for accurate power and energy readings. Experimental results, based on physical measurements for over 40 SPEC or Olden benchmarks, show that significant energy savings are achieved with little performance degradation. SPEC2K FP benchmarks benefit with energy savings of up to 70% (with 0.5% performance loss). In addition, SPEC2K INT show up to 44% energy savings (with 5% performance loss), SPEC95 FP save up to 64% (with 4.9% performance loss), and Olden save up to 61% (with 4.5% performance loss). On average, the technique leads to an energy delay product (EDP) improvement that is 3X-5X better than static voltage scaling, and is more than 2X (22% vs. 9%) better than the reported DVFS results of prior static compiler work. While the proposed technique is an effective method for microprocessor voltage and frequency control, the design framework and methodology described in this paper have broader potential to address other energy and power issues such as di/dt and thermal control. © 2005 IEEE.

关键词： Microprocessor chips

来源：评论

学校读者我要写书评

暂无评论

programming software agents as designing executable business processes: A Model-driven perspective 1

Programming software agents as designing executable business...

引用

First International Workshop ProMAS 2003: programming Multi-Agent systems

作者： Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany

ISBN: (纸本)9783540221807

The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling of services that are employed to actually implement processes. Second, we demonstrate how the Model-Driven Architecture (MDA) paradigm can be beneficially employed at all three layers of the agent-enabled business process architecture. Third, we describe an instance of a platform independent model based on the new UML2 standard, and sketch a mapping to a platform dependent model based on the Business Process Execution Language for Web Services (BPEL4WS). Fourth, we point out the relationship between the programming of multiagent systems, and the design of agent-enabled business processes. Our key thesis is that designing business processes based on an agent-enabled business processes modeling and enactment framework is a useful way of programming agents - a way that may help agent technology to gain much wider acceptance in industry. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

Scalable QoS approach in a core internet network

Scalable QoS approach in a core internet network

引用

International Conference on Web Engineering, ICWE 2003

作者： Barenco Abbas, Cláudia J. García Villalba, L. Javier Dept. Electric Engineering University of Brasilia Brazil Dept. Computer Systems and Programming Complutense University of Madrid Spain

ISBN: (纸本)9783540450689

A special attention about scalability has to be paid to QoS solutions for Core Internet Networks as they deal with a lot of flows and demand many resources. This paper analyses and proposes integrated solutions from the physical layer (SDH/SONET and DTM) to the IP layer (IntServ and DiffServ), concentrating not only on scalability, but also QoS guarantees. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Why not RSVP over DTM ?

Why not RSVP over DTM ?

引用

International Conference on Web Engineering, ICWE 2003

作者： Barenco Abbas, Cláudia J. García Villalba, L. Javier Dept. Electrical Engineering University of Brasilia Brazil Dept. Computer Systems and Programming Complutense University of Madrid Spain

ISBN: (纸本)9783540450689

This paper suggests the use of the DTM technology as a solution to the transmission of applications with strict need of bandwidth, instead of the use of the traditional ATM technology. The DTM is a broadband network architecture based on synchronous fast circuit switching solution with a constant delay, perfect to the telephony network which is optimized for the characteristics of voice communication, that is, fixed-sized channels and provision of QoS real-time guarantees. Furthermore, the users require access to new services like audio, video and data which is discussed in this paper by proposing the IETF IntServ and the DTM integration supporting dynamic allocation of resources in a circuit switching network. An overview of the integration of the IntServ guaranteed service/RSVP protocol with the DTM technology on the signalling, reservation and management of the allocated bandwidth before the DTM channel establishment is presented. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Functional testing of object-oriented software 03

Functional testing of object-oriented software

引用

Proceedings of the 4th international conference conference on computer systems and technologies: e-Learning

作者： Juliana Georgieva Veska Gancheva Dept. of Programming & Computer Systems App. Technical University of Sofia

ISBN: (纸本)9789549641332

The goal of functional testing is to prove that the software performs in conformance with its specification. Functional testing emphasizes the behavioral characteristics of objects by focusing on the interface that is the public, and defining, feature of a class. There are functional test cases for each individual method and functional test cases that treat the class as a unified component. An algorithm that guides the construction of functional test cases for a class is presented. That algorithm can easily be modified to produce test cases at a greater level of coverage. The input to the algorithm will be portions of the class specification that is produced to guide the design process as much as for the testing process.

关键词： inheritance functional class testing object-oriented systems object-oriented testing

来源：评论

学校读者我要写书评

暂无评论

Software cost estimation using economic production models

引用

Journal of Management Information systems 1998年第1期15卷 143-163页

作者： Hu, Q. Plant, R.T. Hertz, D.B. Dept. of Decis. and Info. Systems Florida Atlantic University United States University of Miami FL United States Dept. of Comp. Information Systems University of Miami Coral Gables FL United States University of Liverpool United Kingdom Programming Research Group Oxford University Wadham College Oxford United Kingdom Department of Computer Science Univ. of Wolverhampton in England Templeton College Oxford United Kingdom Dept. of Comp. Information Systems University of Miami United States Columbia University CEO Identification Technol. Intl. Inc. United States McKinsey and Co. New York City NY United States

One of the major difficulties in controlling software development project cost overruns and schedule delays has been developing practical and accurate software cost models. Software development could be modeled as an economic production process and we therefore propose a theoretical approach to software cost modeling. Specifically, we present the Minimum Software Cost Model (MSCM), derived from economic production theory and systems optimization. The MSCM model is compared with other widely used software cost models, such as COCOMO and SLIM, on the basis of goodness of fit and quality of estimation using software project data sets available in the literature. Judged by both criteria, the MSCM model is comparable to, if not better than, the SLIM, and significantly better than the rest of the models. In addition, the MSCM model provides some insights about the behavior of software development processes and environment, which could be used to formulate guidelines for better software project management polic es and practices.

关键词： Economic production theory Software cost estimation Software cost models Software production Software project management

来源：评论

学校读者我要写书评

暂无评论

Why you should establish a connection to the internet

引用

TechTrends 1996年第2期41.0卷 10-16页

作者： Hill, Judy A. Misic, Mark M. Information Systems and Computer Programming Dept. Purdue University-Calumet in Hammond Indiana United States College of Business Northern Illinois University in DeKalb United States

来源：评论

学校读者我要写书评

暂无评论

Formal specification of software systems using Two-Level Grammar 15

Formal specification of software systems using Two-Level Gra...

引用

15th Annual International computer Software and Applications Conference, CMPSAC 1991

作者： Bryant, Barrett R. Pan, Aiqin Computer and Information Sciences Dept. University of Alabama at Birmingham UAB Station Mail Stop 1170 BirminghamAL35294 United States Knowledge Based/Programming Systems IBM Santa Teresa Laboratory Department L78 555 Bailey Avenue San JoseCA95161 United States

ISBN: (纸本)0818621524

Two-Level Grammar (TLG) is proposed for the formal specification and automatic generation of software systems. TLG specifications are unique in that they are a structured form of natural language which is executable. This has the potential for greatly increasing the reliability of the developed software system for the following reasons. Because it is a form of natural language, TLG may be used as an effective communication medium between the system users, designers, and implementors, thereby reducing the likelihood of errors caused by miscommunication. Furthermore, we may automatically generate an efficient software system, expressed in C, from the specification in a provably correct way. Successful applications have included database/knowledge base systems and programming language compilers. © 1991 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Industrial machine vision: lessons and challenges

引用

Optics News 1987年第2期13卷 12-17页

作者： Steven W. Holland Robert B. Tilove STEVEN W. HOLLAND is an assistant department head in the Computer Science Dept. of General Motors Research Laboratories (GMR). He is responsible for research projects involving computer vision robotics mobile robotics process planning knowledge systems natural language advanced programming environments parallel processing and statistics. ROBERT B. TILOVE is senior staff research scientist and project leader of the machine perception project at GMR. His research interests include geometric modeling model-based programming and control of intelligent automation systems.

No abstract available.

关键词： Integral imaging Machine vision Measurement and metrology Optical systems Sensors Statistics

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and Information systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：