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

M3-Simulation multidisciplinary simulation of sustainability strategies

Systems Analysis Modelling Simulation 2003年第9期43卷 1243-1247页

作者： Rosé, Helge GMD German National Research Center for Information Technology Research Institute for Computer Architecture and Software Technology Kekuléstr. 7 D-12489 Berlin Germany

Complex real world systems are currently developing to become a decisive instrument for IT-supported problem solving of a great number of problems posed by science, economy and society. By this, we for the first time face the chance of being able to find new solutions, visions, and strategies for sustainable development on the basis of complex, real world simulations. M3-Simulations is a simulation approach that actively involves man in a simulated world based on scientifically-founded simulation models driven by current data of measurement. This new kind of simulation concept combines reality-based modeling of scientific simulation systems with the intuitive graphic representation, complex communication and interaction structures of virtual worlds in order to support the process of investigation into the possibilities of sustainable development.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

A combined interval and floating-point comparator

A combined interval and floating-point comparator

引用

Asilomar Conference on Signals, Systems & computers

作者： C.M. Kaas J.E. Stine VLSI Computer Architecture Arithmetic and CAD Research Laboratory Department of Electrical and Computer Engineering Illinois Institute of Technology Chicago IL USA

Interval arithmetic provides an efficient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are often too slow for numerically intensive calculations. This paper presents the design of a comparator that performs either interval or two's complement/floating-point comparisons. This comparator requires only slightly more area than a conventional floating point comparator, and provides a significant performance improvement over software implementations of interval comparisons. Both serial and parallel designs are examined and the results are implemented in AMI 0.60 /spl mu/m technology.

关键词： Hardware Digital arithmetic Very large scale integration Error correction Upper bound Coprocessors Delay estimation computer architecture Laboratories computerized monitoring

来源：评论

学校读者我要写书评

暂无评论

Variations on truncated multiplication

Variations on truncated multiplication

引用

Euromicro Symposium on Digital System Design

作者： J.E. Stine O.M. Duverne VLSI Computer Architecture Arithmetic and CAD Research Laboratory Department of Electrical and Computer Engineering Illinois Institute of Technology Chicago IL USA

Truncated multiplication can be used to significantly reduce the power dissipation for applications that do not require correctly-rounded results. This paper presents an efficient method for truncated multiplication called hybrid-correction truncation that utilizes the advantages of two previous methods to obtain lower average and maximum absolute error. Comparisons are presented contrasting power, area, and delay for all three methods compared to standard parallel multipliers. Estimates indicate that hybrid truncated multipliers dissipate slightly less power and consume slightly less area than previous methods for truncated multiplication. In addition, utilization of the hybrid truncation method can provide a method for altering the implementation within certain limits to meet a given precision.

关键词： Power dissipation Digital signal processing Delay Hardware Very large scale integration computer architecture Digital arithmetic Laboratories Application software Clocks

来源：评论

学校读者我要写书评

暂无评论

Specification matching of object-oriented components

Specification matching of object-oriented components

引用

International Conference on software Engineering and Formal Methods (SEFM)

作者： F. Feiks D. Hemer Institute for Software Engineering and Theoretical Computer Science Technical University Berlin Germany Software Verification Research Centre School of Information Technology and Electrical Engineering University of Queensland Australia

Object-orientation supports software reuse via features such as abstraction, information hiding, polymorphism, inheritance and redefinition. However, while libraries of classes do exist, one of the challenges that still remains is to locate suitable classes and adapt them to meet the specific requirements of the software developer. Traditional approaches to library retrieval are text-based; it is therefore difficult for the developer to express their requirements in a precise and unambiguous manner. A more promising approach is specification-based retrieval, where library component interfaces and requirements are expressed using a formal specification language. In this case retrieval is based on matching formal specifications. In this paper, we describe how existing approaches to specification matching can be extended to handle object-oriented components.

关键词： software libraries Formal specifications software engineering Information retrieval computer science Information technology Specification languages

来源：评论

学校读者我要写书评

暂无评论

A text watermarking algorithm based on word classification and inter-word space statistics

A text watermarking algorithm based on word classification a...

引用

International Conference on Document Analysis and Recognition

作者： Young-Won Kim Kyung-Ae Moon Il-Seok Oh Department of Computer Science Chonbuk National University of Korea South Korea S/W Contents Technology Department Computer & Software Research Laboratory Electronics and Telecommunications Research Institute South Korea

ISBN: (纸本)0769519601

Text documents can be watermarked by patterning the inter-word spaces. This paper proposes a text watermarking algorithm that exploits the novel concepts of word classification and inter-word space statistics. The words are classified using some features. Several adjacent words are grouped into a segment, and the segments are also classified using the word class information. The same amount of information is inserted into each of the segment classes. The information is encoded by modifying some statistics of inter-word spaces of the segments belonging to the same class. Several advantages over the conventional word-shift algorithms are discussed.

关键词： Watermarking Statistics Space technology Image segmentation Copyright protection Gray-scale Moon computer science software Laboratories

来源：评论

学校读者我要写书评

暂无评论

Sketching informal presentations

Sketching informal presentations

引用

ICMI'03: Fifth International Conference on Multimodal Interfaces

作者： Li, Yang Landay, James A. Guan, Zhiwei Ren, Xiangshi Dai, Guozhong Group for User Interface Research Computer Science Division University of California Berkeley Berkeley CA 94720-1776 United States Intelligence Engineering Lab Institute of Software Chinese Academy of Sciences Beijing 100080 China Department of Information Systems Engineering Kochi University of Technology Tosayamada-cho Kochi 782-8502 Japan National Research Council in Software Engineering Automation Center Naval Postgraduate School Monterey CA 93940 United States

ISBN: (纸本)1581136218

Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford fluid sketching of graphs, words and other expressive symbols. Unlike existing authoring tools that are designed for formal presentations, we created SketchPoint to help presenters design informal presentations via freeform sketching. In SketchPoint, presenters can quickly author presentations by sketching slide content, overall hierarchical structures and hyperlinks. To facilitate the transition from idea capture to communication, a note-taking workspace was built for accumulating ideas and sketching presentation outlines. Informal feedback showed that SketchPoint is a promising tool for idea communication. Copyright 2003 ACM.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

A channel estimator for OFDM transmitter diversity systems without a cyclic prefix

A channel estimator for OFDM transmitter diversity systems w...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： K.F. Lee D.B. Williams Multimedia Architecture Laboratory Motorola Research Laboratory Schaumburg IL USA School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta GA USA

OFDM transmitter diversity systems that do not required a cyclic prefix have recently been proposed as means to improve bandwidth efficiency. For these systems, knowledge of the channel parameters is required at the receivers for interference cancellation, diversity combining, and decoding. In this paper, we propose a low complexity pilot-symbol-assisted channel estimator for OFDM transmitter diversity systems without a cyclic prefix. The pilot symbols are constructed to be periodic within an OFDM symbol interval in order to avoid ISI and ICI and to be non-overlapping in frequency to allow for the simultaneous sounding of the multiple diversity channels. The time-varying channel responses are then tracked by interpolating a set of estimates obtained through periodically transmitted pilot symbols. The effectiveness and limitations of the proposed estimator are verified by computer simulations.

关键词： OFDM Transmitters Diversity reception Bandwidth Interference cancellation Decoding Intersymbol interference Frequency diversity Time-varying channels computer simulation

来源：评论

学校读者我要写书评

暂无评论

Design of automated test and evaluation system architecture for a smart proving ground

Design of automated test and evaluation system architecture ...

引用

IEEE International Symposium on Virtual Environments, Human-computer Interfaces and Measurement Systems (VECIMS)

作者： Kyu-Chang Kang Dong-Eun Heo Embedded SMr Technology Center Computer and Software Technology Laboratory Electronics and Telecommunications Research Institute Daejeon South Korea Defense Systems Test Center ADD Chungnam South Korea

ISBN: (纸本)0780377850

There are many choices of structuring a test and evaluation system in the proving ground. We need systems that are connected and automated to integrate many different components and parts supplied by different manufacturers. To get a highly optimized system, we need a flexible framework enabling to plug/unplug components in a dynamic fashion, function-based components, and security considerations based on RBAC (role-based access control). OSGi (Open service Gateway initiative) is one solution for a flexible framework. We design the test and evaluation system architecture allowing hot-pluggable function components to be installed/managed and controlled by remote users based on role based access. This system has extensible and scalable characteristics using the OSGi-compatible framework, as well as distributed processing characteristics.

关键词： Automatic testing System testing Weapons Sequential analysis Fires Control systems Projectiles Delay computer architecture Embedded computing

来源：评论

学校读者我要写书评

暂无评论

Towards a specification scheme for context-aware security policies for networked appliances

Towards a specification scheme for context-aware security po...

引用

IEEE Workshop on software Technologies for Future Embedded Systems

作者： T. Watanabe K. Yamada N. Nagatou Department of Computer Science Tokyo Institute of Technology Meguro Tokyo Japan Software Research Division National Institute of Information Chiyoda Tokyo Japan Japan Advanced Institute of Science and Technology School of Information Science Tatsunokuchi Ishikawa Japan

This paper describes a secure execution scheme for mobile programs running in networked appliances. The potential threat we are considering is the malicious behaviour of the mobile programs. Our security architecture, called Taurus-1, adopts monitored execution as a basic mechanism for enforcing security policies at runtime. To describe a policy for this architecture, we designed an algebraic policy description language Polaris, in which we can specify a policy as a process consisting of abstract events in a monitored program. The program is modified beforehand for effective detection of its malicious behaviour We discuss how Taurus-1 can provide a security enhancement mechanism for context-aware systems such as networked appliances, and discuss how to specify security policies for them.

关键词： Home appliances Context-aware services Monitoring Polarization Runtime computer architecture Information security Mobile computing Public key computer security

来源：评论

学校读者我要写书评

暂无评论

Towards a standard family of languages for matching patterns in source code

Towards a standard family of languages for matching patterns...

引用

IEEE International Conference on software-Science, technology & Engineering (SwSTE)

作者： U. Dekel T. Cohen S. Porat ISRI School of Computer Science Carnegie Mellon University Pittsburgh PA USA Department of Computer Science Technion-Israel Institute of Technology Haifa Israel Software and Systems IBM Haifa Research Laboratory Haifa Israel

We make a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that it attempts to provide a unified solution to the problem of searching for patterns in multiple programming languages, and in that it focuses on the semantics of the program rather than on its syntactic structure, all while striving to ensure simplicity and ease-of-use. We present the motivation and the unique difficulties involved in defining such languages, discuss strategies for dealing with these problems, and propose a prototype family of code pattern languages (CPLs).

关键词： Code standards Pattern matching software prototyping Prototypes Database languages computer science software systems computer languages Relational databases software standards

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：