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

SIGMOD Record 1993年第2期22卷 227-236页

作者： Sean Wang, X. Jajodia, Sushil Subrahmanian, V.S. Department of Information and Software Systems Engineering George Mason University FairfaxVA22030 United States Department of Computer Science University of Mardland College ParkMD29742 United States

In a federated database environment, different constituents of the federation may use different temporal models or physical representations for temporal information. This paper introduces a new concept, called a temporal module, to resolve these differences, or mismatches, among the constituents. Intuitively, a temporal module hides the implementation details of a temporal relation by exposing its information only through two windowing functions: The first function associates each time point with a set of tuples and the second function links each tuple to a set of time points. A calculus-style language is given to form queries on temporal *** modules are then extended to resolve another type of mismatch among the constituents of a federation, namely, the mismatch involving different time units (e.g., month, week and day) used to record temporal information. Our solution relies on "information conversions"provided by each constituent. Specifically, each temporal module is extended to provide several "windows"to its information, each in terms of a different time unit. The first step to process a query addressed to the federation is to select suitable windows to the underlying temporal modules. In order to facilitate such a process, time units are formally defined and studied. A federated temporal database model and its query language are proposed. The query language is an extension of the above calculus-style language. © 1993 ACM.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Determining cost-effective multiple issue processor designs

Determining cost-effective multiple issue processor designs

引用

IEEE International Conference on computer Design: VLSI in computers and Processors, (ICCD)

作者： T.M. Conte W. Mangione-Smith Department of Electrical and Computer Engineering University of South Carolina Columbia SC USA Corporate Software Systems Research Laboratory Motorola Inc. Rolling Meadows IL USA

Several commercial processors, including the Motorola 88110 and the DEC Alpha, are capable of issuing multiple operations per clock cycle. Optimization of the pipeline depth and number of function units in these processors has been largely ignored due to limited semiconductor resources. Recently, advances in feature size and packaging technologies have removed these limitations. It is possible that next-generation processor designs may benefit from multiple function unit copies and optimize pipeline depths. The paper investigates the feasibility of performing synthesis at the architectural specification level. The design space is optimized for performance constrained by a hardware model of silicon area. The results of this study indicate that cost-effective high performance can be achieved with the addition of small amounts of function unit duplication. These results are also used to comment on the validity of the "benchmark suite" approach to performance evaluation and machine design.< >

关键词： Process design Pipelines Space technology Clocks Design optimization Hardware Semiconductor device packaging Constraint optimization Silicon software systems

来源：评论

学校读者我要写书评

暂无评论

HIGH-LEVEL software SYNTHESIS

引用

INCOSE International Symposium 1993年第1期3卷 207-214页

作者： Brackett, John W. Pyster, Arthur B. Software Productivity Consortium and Department of Electrical Computer and Systems Engineering Boston University 44 Cummington Street BostonMA22015 United States Software Productivity Consortium 2214 Rock Hill Road HerndonVA22070 United States

High-Level software Synthesis (HLSS) is an advanced model-based, product-line-oriented software development process being developed by the software Productivity Consortium (Consortium). The HLSS process is based upon thorough requirements- and design-level validation through the use of models that can predict important properties of the software to be built. The HLSS process is designed to enable an organization to produce members of an embedded system product line at reduced cost, with higher quality, and more rapidly than conventional software production methods. © 1993 The Authors.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

STATISTICAL PROCESS-CONTROL FOR software IN THE MAINTENANCE PHASE

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 192-200页

作者： LUKE, SR JACOBS, DA REED, BM Stephen R. Luke:is a registered professional engineer in the Commonwealth of Virginia. He received his B.S. in mechanical engineering from Virginia Polytechnic Institute in 1983 and is presently pursuing a master's degree in engineering management at Old Dominion University. Mr. Luke is experienced as a test engineer at the Norfolk Naval Shipyard (1978–1989) and as a reliability/quality engineer at the Naval Undersea Warfare Center Detachment Norfolk (1989-Present). Currently he is the group leader of the RMA/QA group for the AN/SQQ-89(V) Antisubmarine Warfare System at Naval Undersea Warfare Center Detachment Norfolk. Mr. Luke is a member of ASNE IEEE (Reliability Society) and ASQC and is an ASQC certified quality engineer and reliability engineer. Derya Alasya Jacobs:is an assistant professor in the Engineering Management Department at Old Dominion University (ODU). She has a B.S. in computer science and an M.S. and Ph.D in engineering management from the University of Missouri-Rolla. Prior to joining ODU Dr. Jacobs worked as a research engineer at the Center for Technology Transfer and Economic Development at the University of Missouri-Rolla. During the same period she served as a consultant in software development for Missouri Enterprise Rolla Missouri. Dr. Jacobs' research interests are in the areas of applied artificial intelligence decision support systems operations research and computer integrated manufacturing. Billie M. Reed:is an assistant professor in the Engineering Management Department at Old Dominion University. He received a B.S. degree in mechanical engineering from Auburn University in 1971. After completing undergraduate studies Dr. Reed was commissioned as an officer in the U.S. Navy where he served in the nuclear submarine force until 1982. Following his military career Dr. Reed worked for nine years as a systems engineer and human-machine interface designer of complex interactive computer based systems for use in aircraft space and ship systems. He received his M.S. and Ph

As technology advances and our dependency on software increases, the requirement to develop the correct means to improve quality in both the deveiopment phase and the maintenance phase of software life cycle support becomes increasingly significant. The focus of this paper is on the dilemma facing software engineering in maintaining quality within the constraints of the maintenance phase. The paper further proposes that the software maintenance process can also be analvzed and improved using statistical process control (SPC) techniques. The methods discussed in this paper have been proposed for use in the software Maintenance project at NUWC Detachment Norfolk. Upon successful testing at NUWC Detachment Norfolk, they will be forwarded to the AN/SQQ-89(V) (interagencv) software Quality Evaluation Committee for use by other agencies which are developing and maintaining AN/SQQ-89(V) software.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SHIPBOARD DAMAGED STABILITY ASSESSMENT - THE FLOODING CASUALTY CONTROL software

引用

NAVAL ENGINEERS JOURNAL 1993年第3期105卷 152-166页

作者： ZAHN, PB ROSBOROUGH, J CARLSTROM, R Peter B. Zahn:is a section chief in the Naval Architecture Department at Advanced Marine Enterprises. He is responsible for software development and special trials support. He has led the Flooding Casualty Control Software (FCCS) development effort since joining AME in 1989. He is also responsible for the material handling strikedown and stowage (MHS&S) software development program as well as special trials support for the ACVLAP and T-AGOS 19 programs. Prior to joining AME Mr. Zahn spent nine years with various companies of the ARCTEC Group. His experience includes field trials in venues from the Caribbean to the Bering Sea as well as model tests and engineering design and development efforts. Mr. Zahn received his B.S. in naval architecture and marine engineering from Webb Institute in 1980 and has published various papers on pollution prevention offshore systems and icebreaker design and performance. He is a member of ASNE and SNAME. John Rosborough:has been a naval architect for the Naval Sea Systems Command (NavSea) for the past 15 years. He is currently assigned to the Hydrodynamics Division with responsibility for aircraft carrier stability evaluations and as a task leader for computer-aided ship design development. In the Stability Division he was previously responsible for stability analyses on various amphibious ships SWATHs and foreign ships. He manages the upgrade and augmentation of SHCP at NavSea and is the Navy's technical point of contact for evaluating shipboard stability software and transitioning technology to the fleet. Mr. Rosborough received his B.S. in naval architecture and marine engineering from the University of Michigan in 1977. He is a member of USNI and the Association of Scientists and Engineers at NavSea. Richard Carlstrom:is a naval architect with Advanced Marine Enterprises. He has been responsible for software development in support of a variety of major programs including FCCS and SHCP and is a specialist in stability evaluations for complex ships such as CVs CVNs

The Flooding Casualty Control software (FCCS) was developed under the auspices of the Naval Sea systems Command (NavSea) and is currently being deployed on a variety of ships in the neets of both the U.S. Navy and the U.S. Coast Guard. The primary objective of FCCS is to enable damage control personnel to identify critical stability conditions, especially when related to the loss of reserve buoyancy due to battle damage and the destabilizing effects of large quantities of firefighting water, in a timely manner. FCCS was initially deploved in 1990. It utilizes the standard algorithms of the Ship Hull Characteristics Program (SHCP). The user interface was designed to allow quick familiarity for shipboard users, primarily the damage control assistant (DCA) and his staff. Intact stability evaluations include the effects of topside icing, high winds, personnel crowding, heavy lifts over the side, high speed turns, and towing. FCCS also supports ballasting analysis for amphibious ships as well as providing bottom reaction and beached stability data for grounding incidents. Bv providing a tool for the ''fuel king'' and DCA to generate the required daily updates on the current ship load and liquids status, FCCS is assured of an accurate baseline in the event of damage. The design allows the evaluation of the ultimate ship stability status for a damage event using simple compartmentation and flooding status inputs. Evaluation of the adequacy of resulting stabilitv, as well as identification of such critical stability parameters as off center loading, margin line immersion, and negative GM, are accomplished by the program. Guidance is provided for the user to initiate appropriate flooding related damage control activities. Initially fitted on USS Oliver Hazard Perry Class frigates, FCCS databases have been for the USCG Hamilton class high endurance cutters, USS Arleigh Burke class Aegis destroyers, and a variety of other U.S. Navy and U.S. Coast Guard ship classes. The progra

关键词：

来源：评论

学校读者我要写书评

暂无评论

TQL: A tasking query language for concurrent program analysis 12

TQL: A tasking query language for concurrent program analysi...

引用

12th International Conference on Distributed Computing systems, ICDCS 1992

作者： Black, S. Shatz, S.M. Upp, S. Concurrent Software Systems Laboratory Department of Electrical Engineering and Computer Science University of Illinois at Chicago ChicagoIL60680 United States

ISBN: (纸本)0818628650

A tasking query language (TQL) for aiding very general analysis of Ada tasking in a Petri-net-based environment is discussed. An important principle of TQL's design is that of hiding the formalism upon which the analysis framework is built. Instead, TQL defines a language by which queries of Ada interactions themselves can be expressed. Examples of TQL's capabilities are presented, and a sample analysis session using the gas station program is described. © 1992 IEEE.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Solving maximum likelihood equations for two-parameter software reliability models using grouped data 3

Solving maximum likelihood equations for two-parameter softw...

引用

3rd International Symposium on software Reliability engineering, ISSRE 1992

作者： Knafl, George J. Institute for Software Engineering Department of Computer Science and Information Systems DePaul University 243 South Wabash Avenue ChicagoIL60614 United States

Existence conditions are given for maximum likelihood parameter estimates for several commonly employed twoparameter software reliability models. For these models, the maximum likelihood equations can be expressed in terms of a single equation in one unknown. Bounds are given on solutions to these single equation problems to serve as initial intervals for search algorithms like bisection. Uniqueness of the solutions is established in some cases. Results are given for the case of grouped failure data. Index list. Maximum likelihood estimation, nonhomogeous Poisson processes, software reliability models, grouped failure data. © 1992 IEEE.

关键词： Maximum likelihood estimation

来源：评论

学校读者我要写书评

暂无评论

An algorithm for dynamic data distribution 2

An algorithm for dynamic data distribution

引用

2nd Workshop on the Management of Replicated Data, MRD 1992

作者： Wolfson, O. Jajodia, S. Department of Electrical Engineering and Computer Science University of Illinois ChicagoIL60680 United States Information and Software Systems Engr. Department George Mason University FairfaxVA22030-4444 United States

ISBN: (纸本)0818631708

The replication scheme of a distributed database determines how many replicas of each object are created, and to which processors these replicas are allocated. This scheme critically affects the performance of a distributed system, since reading an object locally is less costly than reading it from a remote processor. Therefore in a read-intensive network a widely distributed replication is mandated. On the other hand, an update of an object is usually written to all, or a majority of the replicas, and therefore in a write-intensive network a narrowly distributed replication is mandated. In other words, the optimal replication scheme depends on the read-write pattern for each object. The authors propose a practical algorithm, called dynamic-data-allocation (DDA), that changes the replication scheme of an object (i.e. the processors which store a replica of the object) dynamically as the read-write pattern of the object changes in the network. They assume that the changes in the read-write pattern are not known a priori. © 1992 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Solving maximum likelihood equations for two-parameter software reliability models using grouped data

Solving maximum likelihood equations for two-parameter softw...

引用

International Symposium on software Reliability engineering (ISSRE)

作者： G.J. Knafl Institute for Software Engineering Department of Computer Science & Information Systems De Paul University Chicago IL USA

Existence conditions are given for maximum likelihood parameter estimates for several commonly employed two-parameter software reliability models. For these models, the maximum likelihood equations can be expressed in terms of a single equation in one unknown. Bounds are given on solutions to these single equations problems to serve as initial intervals for search algorithms like bisection. Uniqueness of the solutions is established in some cases. Results are given for the case of grouped failure data.< >

关键词： software reliability Maximum likelihood estimation Poisson equations Random variables software engineering computer science Information systems Parameter estimation Predictive models Bibliographies

来源：评论

学校读者我要写书评

暂无评论

TQL: a tasking query language for concurrent program analysis

TQL: a tasking query language for concurrent program analysi...

引用

International Conference on Distributed Computing systems

作者： S. Black S.M. Shatz S. Upp Concurrent Software Systems Laboratory Department of Electrical Engineering and Computer Science University of Illinois Chicago Chicago IL USA

关键词： Database languages User interfaces Concurrent computing System recovery software systems Laboratories State-space methods Processor scheduling Algorithm design and analysis History

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：