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

7th international symposium on Code Generation and Optimization

作者： Kelsey, Kirk Bai, Tongxin Ding, Chen Hang, Chengliang Univ Rochester Dept Comp Sci Rochester NY 14627 USA Microsoft Corp Redmond WA 98052 USA

ISBN: (纸本)9780769535760

Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the correctness of the speculative code by running the original program on multiple processors. We present the interface design and system implementation for Fast Track. It lets a programmer or a profiling tool mark fast-track code regions and uses a run-time system to manage the parallel execution of the speculative process and its checking processes and ensures the correct display of program outputs. The core of the run-time system is a novel concurrent algorithm that balances exploitable parallelism and available processors when the fast track is too slow or too fast. The programming interface closely affects the run-time support. Our system permits both explicit and implicit end markers for speculatively optimized code regions as well as extensions that allow the use of multiple tracks and user defined correctness checking. We discuss the possible uses of speculative optimization and demonstrate the effectiveness of our prototype system by examples of unsafe semantic optimization and a general system for fast memory-safety checking, which is able to reduce the checking time by factors between 2 and 7 for large sequential code on a 8-CPU system.

关键词： software systems Tracking loops Programming profession Runtime Hardware Kirk field collapse effect Computer science Displays parallel processing Prototypes

来源：评论

学校读者我要写书评

暂无评论

Relaxation-based real-time transient stability simulation on distributed hardware

Relaxation-based real-time transient stability simulation on...

引用

41st North American Power symposium, NAPS 2009

作者： Jalili-Marandi, Vahid Dinavahi, Venkata Department of Electrical and Computer Engineering University of Alberta Edmonton AB T6G 2V4 Canada

ISBN: (纸本)9781424444281

Real-time transient stability simulation is of paramount importance for system security assessment and to initiate preventive control actions before catastrophic events such as blackouts happen. Transient stability simulation of realisticsize power systems involves the solution of a large set of non-linear differential-algebraic equations in the time-domain which requires significant computational resources. Exploitation of parallel processing techniques can provide an efficient and cost-effective solution to this problem. This paper proposes a fully parallel method known as instantaneous relaxation (IR) for real-time transient stability simulation. To validate and evaluate the proposed method a test system has been implemented on a distributed PC-Cluster based real-time simulator. A comparison of the captured real-time results with those from the PSS/E software shows high accuracy.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

Development of ISEE: An Information Security engineering Environment

Development of ISEE: An Information Security Engineering Env...

引用

international symposium on parallel and distributed Processing with Applications, ISPA

作者： Jingde Cheng Yuichi Goto Daisuke Horie Junichi Miura Toshio Kasahara Ahmad Iqbal Department of Information and Computer Sciences Saitama University Saitama Japan

Security engineering has some features that are intrinsically different from software (reliability) engineering. Traditional software engineering environments are not adequate and effective for designing, developing, managing, and maintaining secure software systems. This paper presents our development of ISEE, an information security engineering environment we are developing, that integrates various tools and provides comprehensive facilities to support design, development, management, and maintenance of security facilities of information/software systems continuously and consistently, and guides and helps all users to perform their tasks regularly according to ISO/IEC security standards. ISEE is the first real information security engineering environment.

关键词： Information security Maintenance engineering Reliability engineering Environmental management software development management engineering management software systems ISO standards IEC standards software reliability

来源：评论

学校读者我要写书评

暂无评论

Concurrent Data Processing for Fusion Simulation Through distributed CCA Components 22

Concurrent Data Processing for Fusion Simulation Through Dis...

引用

22nd international Conference on parallel and distributed Computing and Communication systems, PDCCS 2009

作者： Liu, Fang Wang, Nanbor Pundaleeka, Roopa Bramley, Randall Computer Science Indiana University BloomingtonIN47405 United States Tech-X Corporation BoulderCO80303 United States

ISBN: (纸本)9781615675777

Common Component Architecture (CCA) is an emerging effort to bring Component-based software engineering (CBSE) to High Performance Computing (HPC). Many scientific applications may benefit from CBSE paradigm whose effectiveness is demonstrated through the adoption of CCA. CCA strives to componentize and connects the scientific applications through the well defined interfaces. It is specifically designed to impose little limitation on the underlying parallel and distributed models. MPI can be used to connect the component cohorts running on other processes, while Babel RMI extends the CCA provides/uses semantic by making the components talk to the remote components. With incorporating parallel and distributed support from CCA, MPI and Babel RMI, scientific applications can easily add another level of parallelism by overlapping jobs between the remote components. We chose a real fusion simulation and its post processing application to demonstrate how users can construct powerful data analysis and modeling application with this approach. We compared both distributed CCA model and direct connected CCA model, with experiments based on the different problem sizes. The qualitative result shows that distributed CCA model achieves about 20% performance gain. The experiment also shows how a component based application could be easily switched from a distributed model to a direct connected model. Copyright © (2009) by the international Society for Computers and Their Applications. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A service-oriented programming platform for internet-based virtual computing environment

A service-oriented programming platform for internet-based v...

引用

15th international Conference on parallel and distributed systems, ICPADS '09

作者： Cao, Donggang Xiao, Zan Shao, Weizhong School of Electronics Engineering and Computer Science Peking University Key Laboratory of High Confidence Software Technology Beijing 100871 China

ISBN: (纸本)9780769539003

This paper describes a service oriented programming platform for Internet-based Virtual Computing Environment (iVCE), which is targetted for enabling collaboration among autonomous entities over Internet. This platform provides mechanisms and facilities to help iVCE programmers write and run applications in a relatively stable and trusted environment. In this platform , autonomous entities first voluntarily join in virtual community attracted by common interests. Then entities will selectively play specific roles predefined in collaboration process which is specified in a declarative language named APEL. Capability requirements and environment specifications are also provided to enable negotiation and adaptation while process is executed. All business interfaces and negotiation interfaces are published using standard Web Services to maximize reuse and interoperation. © 2009 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A HW/SW Co-design Methodology: An Accurate Power Efficiency Model and Design Metrics for Embedded System

A HW/SW Co-design Methodology: An Accurate Power Efficiency ...

引用

3rd international Workshop on e-Activity (IWEA2009)/10th ACIS international Conference on software engineering Artificial Intelligence, Networking and parallel/distributed Computing

作者： Iftikhar, Khan Jeong, Taikyeong Ted Park, Gyungleen Ambler, Anthony P. Myongji Univ Dept Commun Eng Seoul South Korea Jeju Natl Univ Dept Comp Stat Jeju-do South Korea Univ Texas Austin Dept Elect & Comp Eng Austin TX 78712 USA

ISBN: (纸本)9780769536422

Low-power embedded system design has become extremely important in the most recent years. To fulfill system-level design requirements and time-to-market constraints, a power-driven methodology is essential during embedded system design. The aim of this paper is to introduce accurate and efficient power metrics included in a hardware/software (HW/SW) co-design environment to show the system-level partitioning and design. In order to verify the design effectiveness of hardware/software co-design synthesis, we consider the digital power dissipation methodology and its power reduction techniques. To maximize the performance of system, we developed hierarchical design technique and co-design synthesis for power efficient HW/SW co-design process. In the end, we provided simulation results for single circuit with new design vs. circuit integration with hierarchical power efficiency system (HPES), multiple circuits with new design vs. circuit integration with HPES, new design and no load vs. circuit integration with HPES, new design with load vs. circuit integration with HPES.

关键词： Embedded systems hardware/software codesign low-power power metrics

来源：评论

学校读者我要写书评

暂无评论

Managing parallel and distributed Monte Carlo Simulations for Computational Finance in a Grid Environment

引用

international symposium on Grid Computintg (ISGC 2007)

作者： Stokes-Ress, Ian Baude, Francoise Doan, Viet-Dung Bossy, Mireille Harvard Univ Sch Med SBGrid SGM-105250 Longwood Ave Boston MA 02115 USA

ISBN: (纸本)9780387784168

Computing in financial services consists of a combination of time-critical computations completed during trading hours, such as Monte Carlo simulations for option pricing, and over-night calculations on massive data sets, such as those required for market risk measurement. To date, this has typically been done using traditional parallel or cluster computing techniques. The French National Research Agency (ANR), along with several banks and financial software companies have partnered with INRIA to explore the application of grid computing to this domain. The PicsouGrid project utilizes the ProActive Java distributed computing library to parallelize and distribute Monte Carlo option pricing simulations, concurrently utilizing 102-103 workers. PicsouGrid has been deployed on various grid systems to evaluate its scalability and performance. Issues arising from the heterogeneity and layering of grid infrastructures are addressed via an abstract process model which is applied at each layer. Timings of both the algorithms and the grid infrastructures are carefully measured to provide better insight into the behavior and utilization of computational grids for this important class of parallel simulations.

关键词： Computational grid computational finance grid performance

来源：评论

学校读者我要写书评

暂无评论

Growing Structure Multiple Model systems for Anomaly Detection and Fault Diagnosis

引用

JOURNAL OF DYNAMIC systems MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME 2009年第5期131卷 051001页

作者： Liu, Jianbo Djurdjanovic, Dragan Marko, Kenneth Ni, Jun Univ Texas Austin Dept Mech Engn Austin TX 78712 USA Gen Motors Res & Dev Mfg Syst Res Lab Warren MI 48090 USA ETAS Inc Ann Arbor MI 48103 USA Univ Michigan Dept Mech Engn Ann Arbor MI 48109 USA

A new anomaly detection scheme based on growing structure multiple model system (GSMMS) is proposed in this paper to detect and quantify the effects of anomalies. The GSMMS algorithm combines the advantages of growing self-organizing networks with efficient local model parameter estimation into an integrated framework for modeling and identification of general nonlinear dynamic systems. The identified model then serves as a foundation for building an effective anomaly detection and fault diagnosis system. By utilizing the information about system operation region provided by the GSMMS, the residual errors can be analyzed locally within each operation region. This local decision making scheme can accommodate for unequally distributed residual errors across different operational regions. The performance of the newly proposed method is evaluated through anomaly detection and quantification in an electronically controlled throttle system, which is simulated using a high-fidelity engine simulation software package provided by a major automotive manufacturer for control system development.

关键词： digital simulation fault diagnosis self-organising feature maps structural engineering computing

来源：评论

学校读者我要写书评

暂无评论

A high level development, modeling and simulation methodology for complex multicore network processors

A high level development, modeling and simulation methodolog...

引用

2009 international symposium on Performance Evaluation of Computer and Telecommunication systems, SPECTS 2009

作者： Antichi, Gianni Callegari, Christian Pietro, Andrea Di Ficara, Domenico Giordano, Stefano Vitucci, Fabio Meneghin, Massimiliano Torquati, Massimo Vanneschi, Marco Coppola, Massimo Dept. of Information Engineering University of Pisa Italy Computer Science Dept. University of Pisa Italy ISTI-CNR Pisa Italy

ISBN: (纸本)1565553306

Network Processors (NPs) are attracting and powerful platforms for the fast development of high performance network applications. However, despite their greater flexibility and limited cost with respect to specialized hardware design, NP still face developers with significant difficulties. As they target complex and high-performance applications, programmers are often forced to write assembly code in order to better exploit the hardware. In this paper we propose an approach to NP programming which is based on a three-phase development methodology, and we apply it to Intel NPs of the IXP2XXX family. By exploiting a composition of software tools, a high-level definition of the application is turned first into a distributed program, then into an NP prototype, and finally into an efficient NP executable. The methodology we describe takes advantage of the ASSIST technology, which allows for the porting, testing, modeling and profiling of parallel applications on a cluster of standard PCs. We developed a C library that acts as a communication layer, hiding the hardware details of NP programming and allowing for high performance code development. The ultimate goal of this approach is to let programmers write C code, exploiting ASSIST-provided hints to (1) perform functional debugging and performance analysis and (2) to experiment with different parallel structures. The resulting code can be then directly compiled for the NP without modifications, largely reducing the overall coding effort.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Thermal/acoustic trade-off design for consumer electronics in a distributed design environment

Thermal/acoustic trade-off design for consumer electronics i...

引用

19th Annual international symposium of the international Council on systems engineering, INCOSE 2009

作者： Seki, Kenichi Nishimura, Hidekazu Ishii, Kosuke Balmelli, Laurent Graduate School of System Design and Management Keio University 4-1-1 Hiyoshi Kouhoku-ku Yokohama Japan Department of Mechanical Engineering Stanford University Stanford CA 94305-4022 United States Product Lifecycle Management Solutions IBM Software Group United States Product Lifecycle Management Solutions Management Keio University Japan

ISBN: (纸本)9781615674398

Today's market demand for smaller, more powerful consumer electronics poses a major challenge to the rapid design of products. In addition, the ability to perform strategic coordination amongst different stakeholders within the enterprise increasingly becomes an important criterion to enable global engineering. We begin the paper with an introduction to a typical design process involving distributed design teams In particular the process allows the thermal-acoustic design of cavities, i.e. air space inside the enclosure, in terms of flow rate and acoustic radiation resistance. Then we proceed with the investigation of an approach leveraging recent modelling technology to support such a process efficiently. The process makes use of the system modelling language (SysML.) as product description support and the Design Structure Matrix as an analytical design tool. We use the model and the DSM as a means to drive numerical simulation and perform trade-off studies. Simulation results show that performing trade-off study in the early system design phase leads to a potentially optimal module layout for the problem studied. © 2009 SEKI, K Nishimura, H Balmelli, L.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：