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

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication systems (MASCOTS)

作者： T. Kalibera L. Bulej P. Tuma Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Czech Republic

engineering a large software project involves tracking the impact of development and maintenance changes on the software performance. An approach for tracking the impact is regression benchmarking, which involves automated benchmarking and evaluation of performance at regular intervals. Regression benchmarking must tackle the nondeterminism inherent to contemporary computer systems and execution environments and the impact of the nondeterminism on the results. On the example of a fully automated regression benchmarking environment for the mono open-source project, we show how the problems associated with nondeterminism can be tackled using statistical methods.

关键词： MONOS devices Benchmark testing software performance software testing software quality Quality assurance Automatic testing Robustness Performance analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

Testing and Certification of Trustworthy systems Introduction to Minitrack

Testing and Certification of Trustworthy Systems Introductio...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： A.R. Hevner R.C. Linger G.H. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA Software Engineering Institute CERT Research Center Carnegie Mellon University Pittsburgh PA USA Department of Mathematics & Computer Science Florida Southern College Lakeland FL USA

来源：评论

学校读者我要写书评

暂无评论

Prototype of fault adaptive embedded software for large-scale real-time systems

Prototype of fault adaptive embedded software for large-scal...

引用

International Conference and Workshop on engineering of computer-Based systems

作者： D. Messie M. Jung J.C. Oh Shweta Shetty S. Nordstrom M. Haney Department of Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Institute for Software Integrated Systems Vanderbilt University Nashville TN USA High Energy Physics University of Illinois Urbana-Champaign Urbana-Champaign IL USA

This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight self-optimizing agents embedded within Level 1 of the prototype are responsible for proactive and reactive monitoring and mitigation based on specified layers of competence. The agents are self-protecting, detecting cascading failures using a distributed approach. Adaptive, reconfigurable, and mobile objects for reliablility are designed to be self-configuring to adapt automatically to dynamically changing environments. These objects provide a self-healing layer with the ability to discover, diagnose, and react to discontinuities in real-time processing. A generic modeling environment was developed to facilitate design and implementation of hardware resource specifications, application data flow, and failure mitigation strategies. Level 1 of the planned BTeV trigger system alone will consist of 2500 DSPs, so the number of components and intractable fault scenarios involved make it impossible to design an 'expert system' that applies traditional centralized mitigative strategies based on rules capturing every possible system state. Instead, a distributed reactive approach is implemented using the tools and methodologies developed by the Real-Time Embedded systems group.

关键词： software prototyping Embedded software Large-scale systems Real time systems Prototypes Condition monitoring Power system faults Power system protection Hardware Digital signal processing

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

2005 14TH IEEE-NPSS Real Time Conference

作者： Haney, Michael J. Ahuja, Shikha Bapty, Ted Cheung, Harry Kalbarczyk, Zbigniew Khanna, Akhilesh Kowalkowski, Jim Messie, Derek Mossé, Daniel Neema, Sandeep Nordstrom, Steve Oh, Jae Sheldon, Paul Shetty, Shweta Volper, Dmitri Wang, Long Yao, Di IEEE High Energy Physics University of Illinois 1110 W. Green Street Urbana IL 61801 United States Institute for Software Integrated Systems Vanderbilt University Nashville TN 37235 United States Fermi National Accelerator Laboratory Batavia IL 60510 United States Electrical and Computer Science University of Illinois Urbana IL 61801 United States Electrical Engineering and Computer Science Syracuse University Syracuse NY 13244 United States Computer Science University of Pittsburgh Pittsburgh PA 15250 United States Physics and Astronomy Department Vanderbilt University Nashville TN 37235 United States

ISBN: (纸本)0780391837

The Real Time Embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm;a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems. ©2005 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Service-oriented software reengineering: Bertie3 as Web services

Service-oriented software reengineering: Bertie3 as Web serv...

引用

IEEE International Conference on Web Services (ICWS)

作者： S. Chung P.S. Young J. Nelson Computing & Software Systems Institute of Technology University of Washington Tacoma Tacoma WA USA Department of Computer Science College of Engineering University of Illinois Urbana-Champaign Urbana IL USA Interdisciplinary Arts & Sciences University of Washington Tacoma Tacoma WA USA

This research proposes to modernize a legacy software system by using Web services as the main building blocks of the software reengineering. For this purpose, a legacy theorem proof checking and derivation tool called Bertie3 is reengineered in terms of service-oriented architecture, service-oriented componentization, and external data representation and serialization. With the Web services of derivation checking engines and first-order markup languages, a minimal amount of development time can be spent working on well-known and well-developed components. More time can be spent updating the features that make the tool unique. This case study shows that modernizing a software system with Web services will allow the business components of the system to be easily expanded and integrated with other application components for future demands.

关键词： Web services Logic Markup languages Engines software systems Lifting equipment Business Distributed computing User interfaces Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

The RTES project - BTeV, and beyond

The RTES project - BTeV, and beyond

引用

IEEE NPSS Conference on Real Time

作者： M.J. Haney S. Ahuja G. Bapty H. Cheung Z. Kalbarczyk A. Khanna J. Kowalkowski D. Messie D. Mosse S. Neema S. Nordstrom Jae Oh P. Sheldon S. Shetty D. Volper Long Wang Di Yao High Energy Physics University of Illinois Urbana IL USA Institute for Software Integrated Systems Vanderbilt University Nashville TN USA Fenni National Accelerator Laboratory Batavia IL USA Electrical and Computer Science University of Illinois Urbana IL USA Electrical Engineering and Computer Science Syracuse University Syracuse NY USA Computer Science University of Pittsburgh Pittsburgh PA USA Physics and Astronomy Department Vanderbilt University Nashville TN USA

The real time embedded systems (RTES) project was created to study the design and implementation of high-performance, heterogeneous, and fault-adaptive real time embedded systems. The driving application for this research was the proposed BTeV high energy physics experiment, which called for large farms of embedded computational elements (DSPs), as well as a large farm of conventional high-performance processors to implement its Level 1 and Level 2/3 triggers. At the time of BTeV's termination early in 2005, the RTES project was within days of completing a prototype implementation for providing a reliable and fault-adaptive infrastructure to the L2/3 farm; a prototype for the L1 farm had been completed in 2003. This paper documents the conclusion of the RTES focus on BTeV, and provides an evaluation of the applicability of the RTES concepts to other systems

关键词： USA Councils Real time systems Physics computing Runtime computer science Embedded system Domain specific languages Embedded computing Prototypes Fault detection

来源：评论

学校读者我要写书评

暂无评论

Enabling collaborative adaptation across legacy components

Enabling collaborative adaptation across legacy components

引用

3rd Workshop on Adaptive and Reflective Middleware, ARM '04

作者： Yang, Z. Zhou, Z. Cheng, B.H.C. McKinley, P.K. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)1581139497

software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adaptation. Composing a single adaptive system from existing adaptive components requires an "adaptation infrastructure" to integrate and arbitrate adaptive behaviors. This paper proposes a model for such an infrastructure and describes the design and operation of M2, a prototype implementation. M2 uses a technique called transparent shaping to modify existing components so that they can report events of interest to the M2 core and implement appropriate responses. The architecture and communication infrastructure of M2 are described, followed by a case study in which M2 is used to construct an adaptive multimedia conferencing application from otherwise incompatible components. Copyright 2004 ACM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Predictors of success in diagrammatic problem solving

Predictors of success in diagrammatic problem solving

引用

3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004

作者： Yoon, Daesub Narayanan, N. Hari Intelligent and Interactive Systems Laboratory Department of Computer Science and Software Engineering Auburn University AuburnAL36849 United States

ISBN: (纸本)354021268X

We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected and analyzed for 72 problem-solving episodes (9 subjects solving 8 problems each). Results indicate that longer response times and visually attending to more components of a device do not necessarily lead to increased accuracy. However, more focus shifts, visually attending to components in the order of causal propagation, and longer durations of visual attention allocated to critical components of the devices appear to be characteristics that separate successful problem solvers from unsuccessful ones. These findings throw light on effective diagrammatic reasoning strategies, provide empirical support to a cognitive model of comprehension, and suggest ideas for the design of information displays that support causal reasoning. © 2004, Springer-Verlag Berlin Heidelberg, All rights Reserved.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

Understanding the behavior and performance of non-blocking communications in MPI

引用

10th International European Conference on Parallel Processing, Euro-Par 2004

作者： Saif, Taher Parashar, Manish The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University PiscatawayNJ08854 United States

ISBN: (纸本)3540229248

The behavior and performance of MPI non-blocking message passing operations are sensitive to implementation specifics as they are heavily dependant on available system level buffers. In this paper we investigate the behavior of non-blocking communication primitives provided by popular MPI implementations and propose strategies for these primitives than can reduce processor synchronization overheads. We also demonstrate the improvements in the performance of a parallel Structured Adaptive Mesh Refinement (SAMR) application using these strategies. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

A hierarchical extraction policy for content extraction signatures: Selectively handling verifiable digital content

引用

International Journal on Digital Libraries 2004年第3期4卷 208-222页

作者： Bull, Laurence McG. Squire, David Zheng, Yuliang School of Computer Science and Software Engineering Monash University Caulfield VIC 3145 900 Dandenong Road Australia Department of Software and Information Systems University of North Carolina at Charlotte Charlotte NC 28223 United States

Content extraction signatures (CES) enable the selective disclosure of verifiable content from signed documents. We have previously demonstrated a CES Extraction Policy for fragment grouping to allow the document signer to designate which subsets of the original document are valid subdocuments. Extending this ability, we introduce a new Hierarchical Grouping Extraction Policy that is more powerful, and for which the encoding is dramatically smaller, than the existing Grouping Extraction Policy. This new Extraction Policy maps naturally onto the hierarchically structured documents commonly found in digital libraries. After giving a motivating example involving digital libraries we then conjecture as to how to enrich their functionality through the use of CESs. We also show how to implement the new extraction policy using XML signatures with a custom transform along with an improved design for the XML signature structure in order to achieve CES functionality. © Springer-Verlag 2004.

关键词： Content extraction signatures Hierarchical extraction policy Privacy-enhancing signatures Selective content disclosure Xml signature custom transforms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：