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

1st International ACPC conference on Parallel Computation, 1991

ISBN: (纸本)9783540554370

The proceedings contain 33 papers. The special focus in this conference is on Parallel Computation. The topics include: Scalable cache coherence for shared memory multiprocessors;new program restructuring technology;data parallel program design;a powerful high-level debugger for parallel programs;the PCP/PFP programming models on the BBN TC2000;knowledge-based parallelization for distributed memory systems;parallelization for multiprocessors with memory hierarchies;data structures for optimizing programs with explicit parallelism;MODULA-S: a language to exploit two dimensional parallelism;ADAPTing fortran 90 array programs for distributed memory architectures;evolution of massive parallel compute servers from a research object to a production pool;processor scheduling in multiprocessor systems;multipacket routing on rings;massively parallel processing in high energy physics: the CERN-MPPC project;a heuristic algorithm for dynamic task allocation in highly parallel systems;analysis of parallel lisp programs based on a trace mechanism;a distributed implementation of flat concurrent prolog on multi-transputer environments;negation in conclog;symbolic computation and parallel software;on the parallelization of characteristic-set-based algorithms;multiplication as parallel as possible;on the existence of an efficient parallel algorithm for a graph theoretic problem;on the multi-threaded computation of modular polynomial greatest common divisors;a buchberger algorithm for distributed memory multiprocessors;computational biology on massively parallel machines;time-parallel multigrid in an extrapolation method for time-dependent partial differential equations;parallelization of simulation tasks: methodology - implementation -application;parallel algorithms for stress analysis on shared-memory multiprocessors and elastic load-balancing for image processing algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Application-driven design automation for microprocessor design

Application-driven design automation for microprocessor desi...

引用

design Automation conference

作者： I. Pyo C.-L. Su I.-J. Huang K.-R. Pan Y. Koh C.-Y. Tsui H.-T. Chen G. Cheng S. Liu S. Wu A.M. Despain Department of Electrical Engineering-Systems University of Southern California USA FM3-95 Intel Corporation Folsom CA USA

The authors present an overview of the application-driven design automation system (ADAS) for microprocessor design. ADAS accepts a specification of the instruction set architecture as input, and produces both layout specified in Caltech Intermediate Form, and a reorder table for the language compiler as output. The system spans language design, compiler design, instruction set design, microarchitecture, and VLSI implementation. Another goal of the project is to determine the feasibility of applying formal methodology to design automation and the usefulness of formal syntax and semantics in defining the meaning of specifications. The system implementation on a real industrial example, the TDY-43 processor, is discussed.< >

关键词： design automation Microprocessors Hardware Application specific processors Space exploration Very large scale integration design optimization Control systems Instruction sets Process design

来源：评论

学校读者我要写书评

暂无评论

ISIS: a system for performance driven resource sharing

ISIS: a system for performance driven resource sharing

引用

design Automation conference

作者： B. Gregory D. Macmillen D. Fogg Synopsys Inc. Mountain View CA USA

The authors establish the importance of accurate bit-level area and delay modeling to the quality of circuits synthesized by resource sharing systems. They show that bit-level accuracy and integration with logic optimization are both desirable and feasible, since the added execution time is a small fraction of the total optimization time. The implementation of a resource sharing system called ISIS, which uses bit-level modeling, accounts for control delays, and optimizes sharing and resource performance selection together to generate high-quality circuits from register transfer language (RTL) descriptions, is described.< >

关键词： Intersymbol interference Resource management design optimization Delay estimation Context modeling Timing Circuits Control system synthesis Logic design Costs

来源：评论

学校读者我要写书评

暂无评论

Object-oriented programming in Ada

Object-oriented programming in Ada

引用

IEEE National conference on Aerospace and Electronics (NAECON)

作者： P. Brashear CTA Inc.orporated USA

It is shown that object-oriented designs requiring inheritance and run-time polymorphism can be implemented in Ada. A technique for specifying object classes and relationships is described. Package specifications and subprogram stubs that implement the specified system are automatically generated; the programmer only writes the actual method implementation bodies. The technique presented is an application of the principles presented by P. Baker (1990). Ada is used as a preprocessing language, providing two levels of checking by the compiler. The OOP (object-oriented programming) programmer writes two Ada package specifications and a main program (procedure). One package provides the names of types, classes, and methods that will be used by the object system; the other provides information about the types that are to be declared. The main program specifies methods, classes, inheritance structures, and structures for dealing with polymorphism.< >

关键词： Object oriented programming Packaging programming profession Runtime Software design Application software Computer aided software engineering Concrete

来源：评论

学校读者我要写书评

暂无评论

Distributed EZ (string processing language)

Distributed EZ (string processing language)

引用

IEEE Annual International Computer Software and Applications conference (COMPSAC)

作者： A.E. Campos D.R. Hanson Department of Computer Science Princeton University Princeton NJ USA

EZ is a system that integrates traditional operating systems and programming languages into a very-high-level persistent string processing language. The authors describe the design and initial implementation of a distributed memory manager that distributes EZ's virtual address space transparently among a network of homogeneous computers. The design adapts the techniques used in recent implementation of shared virtual memory for use in EZ's persistent environment. Unlike most implementations of shared virtual memory, control information is distributed and migrates. This memory manager works in concert with a distributed mark-and-sweep garbage collector, which is also concurrent and real-time. This collector trades time for space and minimal disruption of mutators, which reduces communication costs.< >

关键词： Operating systems programming environments Memory management File systems High level languages Computer science Computer languages Computer network management Computer networks Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Synthesis from production-based specifications

Synthesis from production-based specifications

引用

design Automation conference

作者： A. Seawright F. Brewer Department of Electrical and Computer Engineering University of California Santa Barbara CA USA

The authors describe a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant machine is derived from a hierarchy of sub-machine descriptions, each represented by a production. The production-based specification (PBS) consists of productions annotated with HDL action code, and forms the input to a design tool which outputs procedural HDL tailored for hardware synthesis. Due to the concise nature of this form of specification, the technique can save enormous labor in the construction of procedural specifications for these machines. Novel aspects of this research include the compilation of a PBS with HDL action clauses into synthesizable procedural HDL and the approach to specification of machine behavior in the event of exceptional conditions.< >

关键词： Hardware design languages Production Protocols Communication system control Software tools Adaptive coding design automation Software design

来源：评论

学校读者我要写书评

暂无评论

APL2 implementation of cross-system shared variables

引用

APL Quote Quad 1992年第1期23卷 34-39页

作者： Brown, James A. Kane, Erik IBM Santa Teresa San Jose United States

ISBN: (纸本)0897914775

This paper discusses the requirement for intermachine communication and how this requirement is met with APL2's cross-system shared variables. One problem encountered in the design is the mapping of APL2's cooperative peer-to-peer communication model onto a client server data transport mechanism. Another is the ability of APL2's sharing mechanism to address applications on other machines. The goal of the facility is to provide a high level of communication between applications running on different machines while introducing the minimum language extension.

关键词： APL (programming language)

来源：评论

学校读者我要写书评

暂无评论

Tachyon Common Lisp: an efficient and portable implementation of CLtL2 92

Tachyon Common Lisp: an efficient and portable implementatio...

引用

proceedings of the 1992 acm conference on LISP and functional programming

作者： Atsushi Nagasaka Yoshihiro Shintani Tanji Ito Hiroshi Gomi Junichi Takahashi

ISBN: (纸本)9780897914819

Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp optimization techniques. The compiler generates very fast codes comparable to, and sometimes faster than the code generated by UNIX C compiler. Comparing with the most widely used commercial Common Lisp, Tachyon Common Lisp compiled code is 2 times faster and the interpreter is 6 times faster than the Lisp in Gabriel benchmark suit. Tachyon Common Lisp is the fastest among the Lisp systems known to the authors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mapping of conceptual specifications into object-oriented programs

Mapping of conceptual specifications into object-oriented pr...

引用

International conference on Software Engineering and Knowledge Engineering

作者： N. Kraiem J. Brunet Laboratory MASI University of Paris VI Paris

This research is conducted as part of the Business Class European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The Business Class development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of mapping rules from O* specifications to an Eiffel implementation. The practical results as well as the mismatch difficulties can be translated to other object-oriented methods and languages.< >

关键词： programming Management information systems design methodology

来源：评论

学校读者我要写书评

暂无评论

Flexible real-time programming of a distributed transputer-based vision system

Flexible real-time programming of a distributed transputer-b...

引用

International conference on Pattern Recognition

作者： G. Schwingshakl W. Polzleitner Joanneum Research Forschungsgesellschaft GmbH Graz Austria

The authors describe the major aspects in their transputer-based automatic vision system (TAVS) aiming to implement a scaleable and easily reconfigurable system, in which the mapping of image processing and recognition algorithms to the hardware is facilitated by automatic code generation schemes, separating methodic design and implementation details. The paper presents the system design and underlying hardware architecture first. The authors describe the modules available for iconic image processing and feature extraction and selection. The code generation for the hierarchical statistical decision network is then described, followed by the implementation of the language pi for process allocation. The various system parts were tested in an implementation of real-time wooden board inspection. For this example the authors present details on typical algorithms and how they were implemented on a maintainable and scaleable industrial system.< >

关键词： Image processing Hardware Machine vision Image recognition design methodology Algorithm design and analysis Feature extraction System testing Real time systems Inspection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：