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

IEEE Workshop on Industrial Strength Formal Specification Techniques

作者： M.P.E. Heimdahl C.L. Heitmeyer Department of Computer Science and Engineering University of Minnesota Minneapolis MN USA Center for High Assurance Computer Systems Naval Research Laboratory Inc. Washington D.C. DC USA

The Second International Workshop on Industrial-Strength Formal Techniques (WIFT'98) was held in October, 1998, in Boca Raton, Florida. At the workshop, four different discussion groups investigated various topics. This report summarizes the discussions conducted on the topic Formal Methods for Developing high Assurance Systems. The consensus of the group was that formal methods are mature enough to be applied in software development. The methods have proven their worth in numerous industrial projects, and there is little doubt that they have an important place in the software development process. Transferring formal methods technology to industry is largely a non-technical problem (it is often a culture clash) and the transfer is happening (slowly). The group agreed that there have been few major breakthroughs in formal methods usage since WIFT'95. The one notable exception is the increased use of model checking technology in microprocessor design. In the hardware community, the use of formal methods has moved into the rapid adoption stage, and some formal analysis tools have become part of the standard practice. The use of formal methods in software engineering is currently limited to the early adopters. The challenge for the software community for the next few years is to follow the lead of the hardware community by successfully transferring formal methods technology into the development of high-assurance software systems.

关键词： computer industry Safety Medical control systems Communication system control Control systems computer science Laboratories Communication system security Telephony Cellular networks

来源：评论

学校读者我要写书评

暂无评论

Analysis of internal PD pulses accompanying with electrical tree in LDPE

Analysis of internal PD pulses accompanying with electrical ...

引用

International Symposium on Electrical Insulation

作者： S.H. Kang Y.G. Park T.S. Shin K.J. Lim M. Zahn Department of Industrial Safety Eng Chung Cheong College South Korea High Voltage Laboratory School of Electrical and Electronics Engineering Chungbuk National University South Korea Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology USA

The correlation between propagation of electrical tree and internal partial discharges is discussed. We used specimens with needle-plane electrode system made of LDPE, observed inception and propagation of electrical tree by optical microscopy and investigated the characteristics of the partial discharge (PD) pulses accompanying with propagation of electrical tree. In the case of branch type tree, the length of the tree had a good linear relation with average discharge power of PD pulses. On the other hand, in the case of bush type tree, the area of the tree had a good linear relation with the average discharge power of PD pulses.

关键词： Partial discharges Electrodes Voltage Trees - insulation Optical propagation Optical microscopy Optical pulses Needles Surface discharges Application software

来源：评论

学校读者我要写书评

暂无评论

Tunneling devices and applications in high functionality/speed digital circuits

引用

SOLID-STATE ELECTRONICS 1997年第10期41卷 1515-1524页

作者： Haddad, GI Mazumder, P Center for High Frequency Microelectronics Solid State Electronics Laboratory Electrical Engineering and Computer Science Department University of Michigan Ann Arbor MI 48 U.S.A.

Tunneling phenomena can be used to realize devices with unique IT-V characteristics (negative differential resistance) which can be employed to design various types of digital circuits with a significantly lower number of transistors, extremely fast switching speeds, very low power consumption and pipelining capability at the basic gate level (nanopipelining) which results in higher system throughput. In this article, we will present the basic properties of various types of devices which have been proposed for these applications including resonant tunneling diodes (RTDs), Esaki tunnel diodes (ETDs), and various types of transistors including resonant hot electron transistors (RHETs) and tuaneling bipolar transistors (TBTs). We will also compare the anticipated performance of various types of logic gates and digital circuit implementations utilizing these devices with conventional CMOS circuits. (C) 1997 Elsevier science Ltd.

关键词： Digital circuits

来源：评论

学校读者我要写书评

暂无评论

A flexible, extensible simulation environment for testing real-time specifications

A flexible, extensible simulation environment for testing re...

引用

3rd IEEE Real-Time Technology and Applications Symposium

作者： Brockmeyer, M Jahanian, F Heitmeyer, C Labaw, B Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109-2122 United States Center for High Assurance Computer Systems Naval Research Laboratory Washington DC 20375 United States

ISBN: (纸本)0818680164

This paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT) [3]. MTSim provides support for ''plugging in'' user-defined viewers useful in, simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation an the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-specific component of MTSim, which displays the cock-pit of an F-18 aircraft and models its bomb release function.

关键词： simulation specification symbolic execution monitoring and assertion checking formal methods

来源：评论

学校读者我要写书评

暂无评论

Parallel computing on SCSI network

Parallel computing on SCSI network

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： G.H. Young V.S. Yiu Lai-Man Wan High Performance Computer Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Sha Tin Hong Kong China High Performance Computing Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Sha Tin Hong Kong China

Different architectures of multicomputers have emerged rapidly in the last two decades. In this paper, we present the implementation of a network parallel system using the homogeneous Unix machines on SCSI networks. The system is different from the traditional systems in that we applied general purpose peripheral buses to connect the workstations. In this paper, we discuss the low level operations of the interconnecting network and the isomorphic property of SCSI.

关键词： Parallel processing Workstations Hardware Costs Communication system control high performance computing Laboratories computer science computer architecture Communication system software

来源：评论

学校读者我要写书评

暂无评论

Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers

引用

Information Visualization 1997年第3期3卷 209-222页

作者： Summers, Kenneth L. Caudell, Thomas Preston Berkbigler, Kathryn Bush, Brian Davis, Kei Smith, Steve Center for High Performance Computing University of New Mexico Albuquerque NM United States Department of Electrical & Computer Engineering University of New Mexico Albuquerque NM United States Los Alamos National Laboratory Los Alamos NM United States

We are exploring the development and application of information visualization techniques for the analysis of new massively parallel supercomputer architectures. Modern supercomputers typically comprise very large clusters of commodity SMPs interconnected by possibly dense and often non-standard networks. The scale, complexity, and inherent non-locality of the structure and dynamics of this hardware, and the operating systems and applications distributed over them, challenge traditional analysis methods. As part of the á la carte (A Los Alamos computer Architecture Toolkit for Extreme-Scale Architecture Simulation) team at Los Alamos National laboratory, who are simulating these new architectures, we are exploring advanced visualization techniques and creating tools to enhance analysis of these simulations with intuitive three-dimensional representations and interfaces. This work complements existing and emerging algorithmic analysis tools. In this paper, we give background on the problem domain, a description of a prototypical computer architecture of interest (on the order of 10,000 processors connected by a quaternary fat-tree communications network), and a presentation of three classes of visualizations that clearly display the switching fabric and the flow of information in the interconnecting network. © 2004, SAGE Publications. All rights reserved.

关键词： graph visualization scalable representations virtual environments

来源：评论

学校读者我要写书评

暂无评论

A lifetime-sensitive scheduling method

A lifetime-sensitive scheduling method

引用

Proceedings of the Advances in Parallel and Distributed Computing

作者： Xinda Lu Yi Hu Jie Chen High Performance Computing Lab Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai China

ISBN: (纸本)0818678763

This paper presents a lifetime-sensitive scheduling method. By shortening lifetimes of variables in scheduling phase, it can lighten register pressure in register allocation phase, lessen spill codes and result in more efficient object codes. The preliminary experimental results show that this method is an effective scheduling method.

关键词： Costs Processor scheduling Optimizing compilers Registers Parallel processing high performance computing computer science Reduced instruction set computing Upper bound performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Java Message Passing Interface

Java Message Passing Interface

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： G.H. Young Lai-Man Wan V.S. Yiu High Performance Computing Laboratory Department of Computer Science and Engineering Chinese University of Hong Kong Sha Tin Hong Kong China

The emergence of World Wide Web and Java technologies has altered the view of the Internet. It provides an open standard interface among the heterogeneous computers on the Internet. To exploit the enormous computational resources on the Internet, we have developed a Java-based parallel programming environment called Java Message Passing Interface (JMPI). It runs on different machines regardless of their computer architecture or operating systems. It uses arbitrary machines on the Internet as computation nodes, and provides an application programming interface which follows the semantic of Message Passing Interface standard. In this paper, we present the overview of the infrastructure of this parallel programming environment.

关键词： Java Message passing Internet computer interfaces Parallel programming Web sites Concurrent computing computer architecture Operating systems Application software

来源：评论

学校读者我要写书评

暂无评论

A secure communications infrastructure for high-performance distributed computing 97

A secure communications infrastructure for high-performance ...

引用

International Symposium on high performance Distributed Computing

作者： I. Foster N.T. Karonis C. Kesselman G. Koenig S. Tuecke Mathematics and Computer Science Argonne National Laboratory Argonne IL USA High-Performance Computing Laboratory Department of Computer Science Northern Illinois University DeKalb IL USA Information Sciences Institute University of Southern California Marina Del Rey CA USA

ISBN: (纸本)9780818681172

Applications that use high-speed networks to connect geographically distributed supercomputers, databases, and scientific instruments may operate over open networks and access valuable resources. Hence, they can require mechanisms for ensuring integrity and confidentiality of communications and for authenticating both users and resources. Security solutions developed for traditional client-server applications do not provide direct support for the program structures, programming tools, and performance requirements encountered in these applications. We address these requirements via a security-enhanced version of the Nexus communication library, which we use to provide secure versions of parallel libraries and languages, including the Message Passing Interface. These tools permit a fine degree of control over what, where, and when security mechanisms are applied. In particular, a single application can mix secure and nonsecure communication allowing the programmer to make fine-grained security/performance tradeoffs. We present performance results that quantify the performance of our infrastructure.

关键词： Distributed computing Data security Supercomputers Instruments Libraries computer science Laboratories Application software high-speed networks Distributed databases

来源：评论

学校读者我要写书评

暂无评论

A flexible, extensible simulation environment for testing real-time specifications

A flexible, extensible simulation environment for testing re...

引用

Real-Time Technology and Applications Symposium

作者： M. Brockmeyer F. Jahanian C. Heitmeyer B. Labaw Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA Center for High Assurance Computer Systems Naval Research Laboratory Inc. Washington D.C. DC USA

This paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for "plugging in" user-defined viewers useful an simulating system behavior in different ways, including application-specific ways. MTSim also supports full user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user-specified handlers upon assertion violation. This paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an an application-specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.

关键词： Monitoring Displays Analytical models Computational modeling Costs computer errors Formal specifications computer simulation System testing Debugging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：