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

10th International Colloquium on Automata, Languages and programming, ICALP 1983

作者： Olderog, E.-R. Hoare, C.A.R. Programming Research Group Oxford University United Kingdom Institut für Informatik Universität Kiel Germany Programming Research Group Oxford University Computing Laboratory 8–11 Keble Road Oxford0X1 3QD United Kingdom

ISBN: (纸本)9783540123170

We are aiming at a classification of semantical models for Communicating Processes that will enable us to recommend certain models which are just detailed enough for particular applications. But before such an aim can be fully realised, more sophisticated models of processes should be studied. For example, we have not considered the notion of state so far. This would allow to add assignment and explicit value passing between processes, thus combining sequential programs with Communicating Processes. It is also important to ensure that the operators satisfy the usual algebraic laws, for example parallel composition should be associative. And the relationship between specification-oriented denotational semantics used here and the operational semantics used in [12,13,16] should be studied. This requires an explicit concept of divergence. In particular, it is interesting to investigate how the criterion P sat S can be derived systematically from the operational semantics. A significant step in this direction has already been made in [14]. Finally, an explicit syntax for specifications and proof systems for the relation P sat S should be developed. First proposals for such proof systems can be found in [5,9]. © 1983, Springer-Verlag.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Binomial filters

引用

Journal of VLSI signal processing systems for signal, image and video technology 1996年第1期12卷 35-50页

作者： Aubury, Matthew Luk, Wayne Programming Research Group Oxford University Computing Laboratory Oxford England Department of Computing Imperial College London England

Binomial filters are simple and efficient structures based on the binomial coefficients for implementing Gaussian filtering. They do not require multipliers and can therefore be implemented efficiently in programmable hardware. There are many possible variations of the basic binomial filter structure, and they provide a wide range of space-time trade-offs; a number of these designs have been captured in a parametrised form and their features are compared. This technique can be used for multi-dimensional filtering, provided that the filter is separable. The numerical performance of binomial filters, and their implementation using field-programmable devices for an image processing application, are also discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A theory of conjunction and concurrency

A theory of conjunction and concurrency

引用

International Conference on Databases, Parallel Architectures and Their Applications

作者： C.A.R. Hoare Programming Research Group Oxford University Computing Laboratory UK

Some general conditions under which the specification of a concurrent system can be expressed as the conjunction of specifications for its component processes are explored. A lattice-theoretic fixed-point theorem about increasing functions is proved, and examples of its application in several areas of computing science are given. Some consequences are drawn for the design of concurrent algorithms, high-level programming languages, and fine-grained concurrent computer architectures.< >

关键词： Concurrent computing Assembly Hardware Equations Laboratories Algorithm design and analysis Computer languages Computer architecture Design engineering Software design

来源：评论

学校读者我要写书评

暂无评论

Some laws of non-interference (CSP algebra)

Some laws of non-interference (CSP algebra)

引用

Computer Security Foundations Workshop

作者： J. Graham-Cumming Programming Research Group Oxford University Computing Laboratory Oxford UK

The author defines non-interference in the algebra of CSP; that definition leads to simple proof rules for non-interference concerning, amongst other things, composition of systems exhibiting non-interference. The aut... 详细信息

关键词： Algebra Security Computational modeling Laboratories Design methodology Multilevel systems Interference

来源：评论

学校读者我要写书评

暂无评论

Re-synthesis in technology mapping for heterogeneous FPGAs

Re-synthesis in technology mapping for heterogeneous FPGAs

引用

IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)

作者： M. Inuani J. Saul Programming Research Group Oxford University Computing Laboratory Oxford UK

Field programmable gate arrays containing more than one size of lookup-table occupy a large and growing portion of the market, but technology mapping for these architectures has hardly been considered. New algorithms have been developed for decomposition, covering and restructuring targeted at these architectures. Benchmark results show that the new method produces circuits which are on average 15% smaller than the best previous approach we know of.

关键词： Field programmable gate arrays Table lookup Cost function Logic circuits Laboratories Programmable logic arrays Consumer electronics Reconfigurable logic Prototypes Integrated circuit interconnections

来源：评论

学校读者我要写书评

暂无评论

PRAM programming: theory vs. practice

PRAM programming: theory vs. practice

引用

Euromicro Workshop on Parallel and Distributed Processing

作者： A.V. Gerbessiotis D.S. Lecomber C.J. Siniolakis K.R. Sujithan Programming Research Group Computing Laboratory Oxford University Oxford UK

We investigate the practical viability of PRAM programming within the BSP framework. We argue that there is a necessity for PRAM computations in situations where the problem exhibits poor data locality. We introduce a C++ PRAM simulator that is built on top of the Oxford BSP Toolset, BSPlib, and provide a succinct PRAM language. Our approach achieves simplicity of programming over direct-mode BSP programming for reasonable overhead cost. We objectively compare optimized BSP algorithms with PRAM algorithms implemented with our library and provide encouraging experimental results for the latter style of programming.

关键词： Phase change random access memory Concurrent computing Computational modeling Costs Memory management Hardware Automatic programming Laboratories DSL Libraries

来源：评论

学校读者我要写书评

暂无评论

On the refinement of non-interference

On the refinement of non-interference

引用

Computer Security Foundations Workshop

作者： J. Graham-Cumming J.W. Sanders Programming Research Group Oxford University Computing Laboratory Oxford UK

It is known that functional refinement does not preserve the security properties of a system. The authors propose a trace-based method for specifying the security properties of a system and a method which ensures that this security is preserved under refinement. They include an example to illustrate the use of the definitions and make use of non-interference (as defined in their notation).< >

关键词： Multilevel systems Information security Investments Laboratories Functional programming Natural languages Computer languages Proposals Displays Interference

来源：评论

学校读者我要写书评

暂无评论

Towards a declarative framework for hardware-software codesign 94

Towards a declarative framework for hardware-software codesi...

引用

International Workshop on Hardware/Software Codesign (CODES)

作者： W. Luk T. Wu Programming Research Group Oxford University Computing Laboratory Oxford UK

ISBN: (纸本)9780818663154

We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for parametrised partitioning into hardware and software can be captured concisely in this framework, and their validity can be checked wing algebraic reasoning. The method has been used to guide the development of prototype compilers capable of producing, from a Ruby expression, a variety of implementations involving field programmable gate arrays (FPGAs) and microprocessors. The viability of this approach is illustrated using a number of examples for two reconfigurable systems, one containing an array of Algotronix devices and a PC host, and the other containing a transputer and a Xilinx device.< >

关键词： Software tools Field programmable gate arrays Process design Laboratories Software prototyping Prototypes Program processors Microprocessors Hardware design languages Signal design

来源：评论

学校读者我要写书评

暂无评论

Managing external workload with BSP Time Warp

Managing external workload with BSP Time Warp

引用

Simulation Winter Conference

作者： M.Y.H. Low Programming Research Group Computing Laboratory University of Oxford Oxford UK

This paper describes an extension to the existing BSP Time Warp (Bulk Synchronous Parallel Time Warp) dynamic load-balancing algorithm to allow the management of interruption from external workload. Experiments carried out on a manufacturing simulation model using different partition strategies with and without interruption from external workload show that significant performance improvement can be achieved with external workload management.

关键词： Computational modeling Protocols Virtual manufacturing Heuristic algorithms Concurrent computing Time warp simulation Costs Laboratories Partitioning algorithms Interference

来源：评论

学校读者我要写书评

暂无评论

Time interval semantics and implementation of a real-time programming language

Time interval semantics and implementation of a real-time pr...

引用

Euromicro Conference on Real-Time Systems

作者： He Jifeng J. Bowen Programming Research Group Oxford University Computing Laboratory Oxford UK

The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval semantics and also a number of algebraic refinement laws. The laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the language is defined as a set of theorems relating high-level program constructs to a low-level machine specified as an interpreter in the high-level language. In addition, a prototype compiler may be produced very directly from Ihe lheorems in Ihe form of a logic program.

关键词： Computer languages Real time systems Concurrent computing Program processors Prototypes Logic Embedded computing Embedded system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：