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

AUTOTESTCON 2003 conference

作者： Sacher, E Lonngren, D Serendip Syst Inc Sedona AZ 86339 USA

ISBN: (纸本)0780378377

Writing functional digital tests has always been a taxing process. Traditionally, every digital test hardware manufacturer provided software tools that operated similarly yet different than the competing product. This is particularly true of the proprietary test systems prevalent circa 1970s and 1980s. This caused a proliferation of different test languages and test programming tools throughout the test industry. This paper describes software that was designed to provide a test program application bridge between legacy digital test hardware and modern digital test automatic test equipment (ATE) Furthermore, the software provides contemporary users with a common language and operating framework for supporting digital test programs over competing digital test hardware. Description of the application is augmented by design discussion and implementation details.

关键词： Automatic testing

来源：评论

学校读者我要写书评

暂无评论

Polychrony for formal refinement-checking in a system-level design methodology 3

Polychrony for formal refinement-checking in a system-level ...

引用

3rd International conference on Application of Concurrency to System design

作者： Talpin, JP Le Guernic, P Shukla, SK Gupta, R Doucet, F IRISA INRIA Rennes France

ISBN: (纸本)0769518877

The productivity gap incurred by the rising complexity of system-on-chip design have necessitated newer design paradigms to be introduced based on system-level design languages. A gating factors for widespread adoption of these new paradigms is a lack of formal tool support of refinement based design. A system level representations may be refined manually (in absence of adequate behavioral synthesis algorithms and tools) to obtain an, implementation, but proving that the lower level representation preserves the correctness proved at higher level models is still an unsolved problem. We address the issue of formal refinement proofs between design abstraction levels using the concepts of polychronous design. Refinement of synchronous high-level designs. into globally asynchronous and locally synchronous architectures is formally supported in this methodology. The polychronous (i.e. multi-clocked) model of, the SIGNAL design language offers formal support for the capture of behavioral abstractions for both very,high-level system descriptions (e.g. SYSTEMC/SPECC) and behavioral-level IP components (e.g. VHDL). Its platform, POLYCHRONY, provides models and methods for a rapid, refinement-based, integration and a formal conformance-checking of GALS hardware/software architectures. We demonstrates the effectiveness of our approach by the experimental, comparative, case study of an even-parity checker design in SPECC. It highlights the benefits of the formal models, methods and tools provided in POLYCHRONY, in representing functional, architectural, communication and implementation abstractions of the design, and the successive refinements.

关键词： Concurrent computing System-level design

来源：评论

学校读者我要写书评

暂无评论

Verification of transaction-level SystemC models using RTL testbenches 1

Verification of transaction-level SystemC models using RTL t...

引用

1st acm/IEEE International conference on Formal Methods and Models for Co-design (MEMOCODE 03)

作者： Jindal, R Jain, K CRnD ST Microelect Noida India

ISBN: (纸本)0769519237

System architects working on SoC design have traditionally been hampered by the lack of a coherente methodology for architecture evaluation and co-verification of hardware and software. SystemC 2.0 facilitates the development of Transaction-Level Models (TLMs) which are models of the hardware system components at higher level of abstraction than RTL. Due to lower modeling effort yet higher simulation speed, TLMs are useful for architectural exploration, algorithmic evaluation, hardware-software partitioning and software development. The problems posed by SOC design methodologies require development of models at higher abstraction also for the earlier developed IP's. The development time of a TLM IP is already low, so if we can reduce the verification time by re-use of the earlier RTL test benches we can reduce the overall cost of such an IP TLM. This paper focusses on the methodology to use the RTL testbenches for verification of a SvstemC model of the same IP at a higher abstraction level (Transaction level), some tools available in the market to support this testbench reuse and the implementation challenges posed by the mentioned verification technique.

关键词： Costs design engineering design methodology Hardware Microelectronics Partitioning algorithms programming Software algorithms System testing Yarn

来源：评论

学校读者我要写书评

暂无评论

Accurate garbage collection in an uncooperative environment

引用

acm sigplan NOTICES 2003年第2期38卷 256-262页

作者： Henderson, F Univ Melbourne Dept Comp Sci & Software Engn Melbourne Vic 3010 Australia

Previous attempts at garbage collection in uncooperative environments have generally used conservative or mostly-conservative approaches. We describe a technique for doing fully type-accurate garbage collection in an uncooperative environment, using a "shadow stack" to link structs of pointer-containing variables, together with the data or code needed to trace them. We have implemented this in the Mercury compiler, which generates C code, and present preliminary performance data on the overheads of this technique. We also show how this technique can be extended to handle multithreaded applications.

关键词： algorithms design experimentation measurement performance reliability languages garbage collection programming language implementation multithreading C

来源：评论

学校读者我要写书评

暂无评论

Deadlock resolution via exceptions for dependable Java applications

Deadlock resolution via exceptions for dependable Java appli...

引用

International conference on Dependable Systems and Networks

作者： Zeng, FC Rutgers State Univ Dept Comp Sci Piscataway NJ 08854 USA

ISBN: (纸本)0769519520

Deadlock occurrences represent not only abnormal states but also fatal errors, thus it is natural to consider deadlock occurrences as runtime exceptions. Exception handlers can be exploited to resolve potential deadlock occurrences during the execution of code that is not deadlock free and that can be unchangeable, invisible, or dynamically loaded from networks. This paper describes an approach of deadlock resolution via exceptions with an emphasis on the design, application and implementation of deadlock exceptions and their handlers, and shows that the approach is practical and effective in incorporating code that is not deadlock free into dependable Java applications.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Parallel skeletons for Divide-and-Conquer and Branch-and-Bound techniques 11

Parallel skeletons for Divide-and-Conquer and Branch-and-Bou...

引用

11th Euromicro conference on Parallel, Distributed and Network-Based Processing

作者： Dorta, I León, C Rodríguez, C Rojas, A Univ La Laguna Dept Estadist IO & Computac E-38271 San Cristobal la Laguna Tenerife Spain

ISBN: (纸本)0769518753

This article describes the parallel implementation of skeletons for the Divide-and-Conquer and Branch-and-Bound techniques. The user has to choose a paradigm and has to specify for it the type of the problem, the type of the solution and the specific characteristics of the technique using the C- programming language. This information is combined with the provided resolution skeleton to obtain a sequential program and a parallel program. The paper describes the parallel implementation of the skeletons using MPI. Computational results on a Linux-cluster of PCs, Cray T3E and Origin 3000 are presented.

关键词： Acceleration Algorithm design and analysis Application software Computer languages Concurrent computing Dynamic programming Libraries Personal communication networks Skeleton Software tools

来源：评论

学校读者我要写书评

暂无评论

The AEP toolkit for agent design and simulation

The AEP toolkit for agent design and simulation

引用

1st German conference on Multiagent System Technologies (MATES 2003)

作者： Bach, J Vuine, R Humboldt Univ Inst Informat D-10099 Berlin Germany

ISBN: (纸本)3540201246

The design of artificial agents that are meant to model behavioral, cognitive, economic or social structures asks for tools that aid in layout and implementation of agent architectures. To implement agents based on Dorner's Psi theory of emotion and cognition, our group has introduced a toolkit that assists in designing modular architectures, as well as representational structures, such as semantic networks, control scripts and connectionist structures by means of a graphical editor. At the same time, the framework supports the inclusion of functionality written in a native programming language. This paper gives an overview over the implementation of agents according to Dorner's theory, and while it also aims at giving an insight into the functioning of these agents (which we call "MicroPsi" agents), its main purpose is the explanation of the use of the toolkit.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

A lightweight java taskspaces framework for scientific computing on computational grids 03

A lightweight java taskspaces framework for scientific compu...

引用

proceedings of the 2003 acm Symposium on Applied Computing

作者： De Sterck, H. Markel, R.S. Pohl, T. Rüde, U. Department of Applied Mathematics University of Colorado at Boulder Campus Box 526 Boulder CO 80309-0526 United States Advansys Inc. 4950 Meredith Way #202 Boulder CO 80303 United States Lehrstuhl für Informatik 10 Department of Computer Science University of Erlangen-Nürnberg Cauerstraße 6 D-91058 Erlangen Germany

ISBN: (纸本)9781581136241

A prototype Taskspaces framework for grid computing of scientific computing problems that require intertask communication is presented. The Taskspaces framework is characterized by three major design choices: decentralization provided by an underlying tuple space concept, enhanced direct communication between tasks by means of a communication tuple space distributed over the worker hosts, and object orientation and platform independence realized by implementation in Java. Grid administration tasks, for example resetting worker nodes, are performed by mobile agent objects. We report on large-scale grid computing experiments for iterative linear algebra applications showing that our prototype framework scales well for scientific computing problems that require neighbor-neighbor intertask communication. It is shown in a computational fluid dynamics simulation using a Lattice Boltzmann method that the Taskspaces framework can be used naturally in interactive collaboration mode. The scalable Taskspaces framework runs fully transparently on heterogeneous grids while maintaining a low complexity in terms of installation, maintenance, application programming and grid operation. It thus offers a promising roadway to push scientific grid computing with intertask communication beyond the experimental research setting.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Object oriented design approach to OriNet system: On line lexical database for oriya language

Object oriented design approach to OriNet system: On line le...

引用

language Engineering conference

作者： Mohanty, S Santi, PK Utkal Univ Dept Comp Sc & Applicat Bhubaneswar 751004 Orissa India

ISBN: (纸本)0769518850

One of the major problems in the implementation of Natural language Processing (NLP) or Machine Translation(MT) is a complete lexicon: the place where the systems information about words is stored. There are difficulties in deciding what information should be stored in a lexicon and even greater difficulties in acquiring this information in proper form. OriNet system designed to incorporate multiple lexical database and tools under one consistent functional interface in order to facilitate systems requiring syntactic, semantic and lexical information of Oriya language. We divide the whole work into two independent task. One task is to write the source file that contains the basic lexical data and the content of those files are the lexical substance of OriNet. Lexicographer did the major work of this task. In the second task was to create a set of programs those would accept the source files and processing it ultimately to display for the user. This paper describes an ongoing work on designing an Object Oriented model for OriNet system. The technology of Object Oriented programming in particular the rich library of classes and programming principles in which Java offers. It also provides a convenient tool to conceptualise the process of OriNet system. This technique also allows flexibility and extensibility of the system with more robustness.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

implementation of a scripting language for VRML/X3D-based embodied agents

Implementation of a scripting language for VRML/X3D-based em...

引用

proceedings Web3D 2002 Symposium: 7th International conference on 3D Web Technology

作者： Huang, Zhisheng Eliëns, Anton Visser, Cees Intelligent Multimedia Group Div. of Mathematics and Comp. Sci. Vrije University Amsterdam Amsterdam Netherlands

Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages for embodied agents, many of which are of a somewhat ad hoc nature lacking clear semantics. In this paper, we discuss the implementation of a scripting language for humanoid avatars in VRML/X3D-based environments. The scripting language STEP is based on dynamic logic, which provides a clear semantics for complex behavioral patterns. Moreover, the implementation of STEP is realized in a platform that extends VRML/X3D with distributed logic programming (DLP), which provides the computational support necessary to realize such complex behavioral patterns as well as the interaction with a (rich media) 3D environment. As an application example, we will discuss the development of an instructional VR for Tai Chi (the Chinese art of movement), illustrating how our approach allows for the creation of reusable libraries of behavioral patterns. We will discuss some implementation issues, in particular how to realize parallel actions and synchronization within an environment.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：