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

International Symposium on Distributed Objects and Applications

作者： T. Nieva A. Fabri A. Benammour Institute for computer Communications and Applications ICA Communication Systems Department DSC Swiss Federal Institute of Technology Lausanne Switzerland Industrial Software Systems CHCRC. C2 Information Technologies Department ABB Corporate Research Limited Baden Switzerland

In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of networks is becoming increasingly complex. System administrators have to deal with many problems due to the increasingly distributed architecture of systems. Jini, a new paradigm for the development and management of distributed systems, provides mechanisms that enable systems to plug together to form an impromptu community. This practice report demonstrates how Jini can be applied in an industrial environment, or more exactly how it can be used in the integration of embedded devices on-board trains in the back-office IT infrastructure of railway operators. We present two use cases: the first is about an on-board service that allows for remote access to an on-board diagnosis database; the second is about automatically installing new services on-board trains. The results are encouraging and prove that Jini is the appropriate technology to link application servers and service gateways in embedded servers.

关键词： Rail transportation Embedded system computer network management Plugs Databases Office automation Management information systems Delay Manufacturing Communication networks

来源：评论

学校读者我要写书评

暂无评论

Implementing enhanced network maintenance for transaction access services: tools and applications

Implementing enhanced network maintenance for transaction ac...

引用

IEEE International Conference on Communications (ICC)

作者： S. Papavassiliou M. Pace A. Zawadzki L. Ho New Jersey Institute of Technology New Jersey Center for Multimedia Research Electrical and Computer Engineering Department University Heights Newark NJ USA AT&T Network Architecture Department AT and T Laboratories Middletown NJ USA Networking Research Laboratory Bell Laboratories Lucent Technologies Inc. Holmdel NJ USA

We describe the design and implementation of automated methodologies and tools that facilitate the implementation of an enhanced maintenance process in order to provide improved quality of service offered to the customers for the transaction access services (TAS) network. The emphasis of our work is placed on the identification, filtering and correlation of event occurrences that indicate problems that do not necessarily generate alarmed conditions on the conventional network management systems, and on the proactive service/fault management and detection based on dynamically defined violations of the base-lined performance profiles. Such an approach enhances considerably the network management and maintenance process, by identifying possible situations/incidents that may affect the network performance, and by correlating those incidents to the potentially affected elements, services and customer applications.

关键词： Filtering Humans Fault diagnosis Application software Quality of service Wide area networks Switches Laboratories computer architecture Event detection

来源：评论

学校读者我要写书评

暂无评论

On the implementation of the Opus coordination language

引用

Concurrency and Computation: Practice and Experience 2000年第4期12卷

作者： Erwin Laure Matthew Haines Piyush Mehrotra Hans Zima Institute for Software Technology and Parallel Systems University of Vienna Liechtensteinstrasse 22 A-1090 Vienna Austria Department of Computer Science University of Wyoming Laramie WY 82071-3682 U.S.A. Institute for Computer Applications in Science and Engineering NASA Langley Research Center Mail Stop 132C Hampton VA 23681-0001 U.S.A.

Opus is a new programming language designed to assist in coordinating the execution of multiple, independent program modules. With the help of Opus, coarse grained task parallelism between data parallel modules can be expressed in a clean and structured way. In this paper we address the problems of how to build a compilation and runtime support system that can efficiently implement the Opus constructs. Our design considers the often-conflicting goals of efficiency and modular construction through software re-use. In particular, we present the system requirements for an efficient Opus implementation, the Opus runtime system, and describe how they work together to provide the underlying services that the Opus compiler needs for a broad class of machines. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： Opus task parallelism data parallelism coordination

来源：评论

学校读者我要写书评

暂无评论

An operational component specification method 6

An operational component specification method

引用

6th Asia Pacific software Engineering Conference, APSEC 1999

作者： Kim, Hyung Ho Kim, Dong Ewan Jung, Hyo Taeg Chung, Yun Dae Bae, Doo Hwan Software Engineering Laboratory Korea Advanced Institute of Science and Technology Taejon Korea Republic of Computer Software Technology Laboratory Electronics and Telecommunications Research Institute Taejon Korea Republic of

ISBN: (纸本)0769505090

We propose an operational component specification method that provides execution models for analyzing behaviors as well as adopting checking rules for consistency. Our proposed operational component specification method will help the users to capture the meaning of components in a precise and abstract manner. Our method is mainly based on two ideas, object-orientation and the action system. Object-orientation makes specifications easy to understand and the action system leads to a simple and clear view of behaviors. Our method utilizes the Petri net formalism, especially the notion of tokens, in order to handle dynamic configuration in each component. We develop an extended version of Petri nets, called Object Petri Nets, to build execution models and extend analysis techniques of Petri nets. © 1999 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A 2d geometric constraint solver for parametric design using graph analysis and reduction 2nd

A 2d geometric constraint solver for parametric design using...

引用

2nd International Workshop on Automated Deduction in Geometry, ADG 1998

作者： Lee, Jae Yeo EC/CALS Department Computer Software Technology Lab Electronics and Telecommunications Research Institute Taejon305-350 Korea Republic of

ISBN: (纸本)3540666729

This paper proposes a DOF-based graph reduction approach to geometric constraint solving. The proposed approach incrementally solves a geometric constraint problem that is not ruler-and-compass constructible by incrementally identifying a set of constrained geometric entities with 3 DOF (degree of freedom) as a rigid body and determining the geometric entities in the rigid body using one of the two solving procedures: algebraic method and numerical method, instead of solving it simultaneously using a numerical method. However, the use of the numerical method is restricted to solve only those parts that must be solved numerically. By combining the advantages of algebraic solving with the universality of numerical solving, the proposed method can maximize the efficiency, robustness, and extensibility of a geometric constraint solver. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Numerical methods

来源：评论

学校读者我要写书评

暂无评论

An efficient concurrency control algorithm for high-dimensional index structures

An efficient concurrency control algorithm for high-dimensio...

引用

1999 International Conference on Information Intelligence and Systems, ICIIS 1999

作者： Song, Seok-Il Lee, Seok Hee Yoo, Jae Soo Lee, Jang Sun Department of Computer and Communication Chungbuk National University Korea Republic of Electronics and Telecommunications Research Institute Computer and Software Technology Labs Internet Service Department Korea Republic of

ISBN: (纸本)0769504469

In this paper we propose an efficient concurrency control algorithm based on the link technique of RLink-Tree for high-dimensional index structures. Unlike the RLink-Tree concurrency control algorithm, it does not employ lock-coupling while ascending the index trees to process node splits and MBR (minimum bounding region) updates. Additionally, the algorithm provides the concurrency control mechanisms for forced reinsertion operations that are used to improve search performance in multi-dimensional index trees. We show through experiments that our proposed method outperforms the existing RLink-Tree algorithm. © 1999 IEEE.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

The Network RamDisk: Using remote memory on heterogeneous NOWs

引用

Cluster Computing 1999年第4期2卷 281-293页

作者： Flouris, Michail D. Markatos, Evangelos P. Computer Architecture and VLSI Systems Division Institute of Computer Science (ICS) Foundation for Research and Technology – Hellas (FORTH) Heraklion Crete Greece

Efficient data storage, a major concern in the modern computer industry, is mostly provided today by traditional magnetic disks. However, the cost of a disk transfer (measured in processor cycles) continues to increase with time, making disk accesses increasingly expensive. In this paper we describe the design, implementation and evaluation of a Network RamDisk device that uses main memory of remote workstations as a faster‐than‐disk storage device. In our study we propose various reliability policies, making the device tolerant to single workstation crashes. We show that the Network RamDisk is portable, flexible, and can operate under any of the existing Unix file systems. The Network RamDisk has been implemented both on the Linux and the Digital Unix operating systems, as a block device driver without any modifications to the kernel code. Using several real applications and benchmarks, we measure the performance of the Network RamDisk over an Ethernet and an ATM network, and find it to be usually four to eight times better than the magnetic disk. In one benchmark, our system was two orders of magnitude faster than the disk. We believe that a Network RamDisk can be efficiently used to provide reliable low‐latency access to files that would otherwise be stored on magnetic disks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Local detection of exclusive global predicates

Local detection of exclusive global predicates

引用

International Conference on Parallel Processing (ICPP)

作者： Eunjung Lee Computer-Software Technology Laboratory Electronics and Telecommunications Research Institute Daejeon South Korea

ISBN: (纸本)0769503500

Detecting global predicates in distributed program executions is a useful tool for debugging and testing. A new form of global predicates, called exclusive global predicates, is considered in this paper to provide a natural and efficient way to describe mutual exclusion conditions. One exclusive global predicate is enough to express mutual exclusion condition for n local predicates, one for each process; the O(n/sup 2/) conjunctive global predicates are required to describe the same condition. In this paper, a local on-line detection algorithm of exclusive global predicates is presented with formal proof. This algorithm detects a violation of mutual exclusion during the execution at each local process. This algorithm uses timestamps to get dependence relations between events. The n+2 numbers are piggybacked to each message, and no extra communication overhead for control information is required. This allows the proposed model to be useful and efficient for testing and debugging of distributed programs compared to the previous method with conjunctive global predicates.

关键词： Detection algorithms Event detection Debugging Laboratories Identity-based encryption Communication networks Runtime Proposals System testing

来源：评论

学校读者我要写书评

暂无评论

A fuzzy logic method on IC lead-frame surface inspection

引用

IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

作者： Jimin Li Weon-Geun Oh Chang-Joon Park Hyeon-Jin Kim Department of Computer Science Harbin Institute of Technology China Computer Vision Research Team Image Processing Department Computer & Software Technology Laboratory Electronics and Telecommunications Research Institute South Korea

ISBN: (纸本)0780354060

The inspection of lead-frame is important in semiconductor industry. During the production process, the quality control of lead-frame plays an important role. Here we introduce a method for inspection of contamination and plating quality of lead frame. The basic method of segmentation of interested lead surface into five classes is discussed based on the samples supplied from IC manufacturing company. A two-stage inspection method is introduced based on the basic five classes. The discussion of the system realization and experimental results show the idea.

关键词： Fuzzy logic Inspection Production Pattern recognition Photonic integrated circuits Shape Image processing Laboratories computer science Lead compounds

来源：评论

学校读者我要写书评

暂无评论

Robust speech recognition method based on discriminative learning of environmental features

Robust speech recognition method based on discriminative lea...

引用

IEEE Region 10 International Conference TENCON

作者： Jiqing Han Munsung Han Gyu-Bong Park Jeongue Park Chengfa Wang Department of Computer Science and Engineering Harbin Institute of Technology China Computer Software Laboratories Electronics and Telecommunications Research Institute South Korea

Learning the influence of additive noise and channel distortions from training data is an effective approach for robust speech recognition. We have proposed a novel method of discriminative learning of environmental features according to minimum classification error (MCE) criterion in previous work, in which additive noise is expressed by the weighted combination of multiple types of noises, and the channel distortions are assumed to consist of the channel distortions of the whole training data and the current utterance. In this paper, we use a Gaussian distribution to stand for the distribution of additive noise, and adaptively learn the combination factors of the channel distortions. The current method is proven better than the former one by experiments.

关键词： Robustness Speech recognition Additive noise Training data Speech enhancement Hidden Markov models Feature extraction Filters Cepstral analysis Mel frequency cepstral coefficient

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：