咨询与建议

限定检索结果

文献类型

  • 69 篇 期刊文献
  • 65 篇 会议
  • 4 册 图书

馆藏范围

  • 138 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 102 篇 工学
    • 91 篇 计算机科学与技术...
    • 46 篇 软件工程
    • 18 篇 电气工程
    • 12 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 3 篇 机械工程
    • 3 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
  • 35 篇 理学
    • 32 篇 数学
    • 4 篇 物理学
    • 3 篇 统计学(可授理学、...
    • 1 篇 系统科学
  • 6 篇 管理学
    • 4 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 公共管理
  • 4 篇 医学
    • 3 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 16 篇 laboratories
  • 8 篇 software enginee...
  • 7 篇 computer archite...
  • 6 篇 concurrent compu...
  • 6 篇 computational mo...
  • 6 篇 formal specifica...
  • 5 篇 hardware
  • 5 篇 algebra
  • 4 篇 parallel algorit...
  • 4 篇 costs
  • 4 篇 protocols
  • 4 篇 formal methods
  • 4 篇 functional progr...
  • 4 篇 field programmab...
  • 4 篇 data refinement
  • 3 篇 simulation
  • 3 篇 operating system...
  • 3 篇 prototypes
  • 3 篇 discrete event s...
  • 3 篇 parallel program...

机构

  • 21 篇 programming rese...
  • 6 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 computing labora...
  • 2 篇 oxford universit...
  • 2 篇 programming rese...
  • 2 篇 international in...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 oxford universit...
  • 2 篇 institute of nuc...
  • 2 篇 programming rese...
  • 2 篇 programming rese...

作者

  • 7 篇 hoare car
  • 5 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 he jifeng
  • 4 篇 luk w
  • 3 篇 todd bs
  • 3 篇 m.y.h. low
  • 3 篇 jifeng he
  • 3 篇 j. e. nicholls
  • 3 篇 wood kenneth r.
  • 2 篇 hoare c.a.r.
  • 2 篇 j. graham-cummin...
  • 2 篇 josephs mark b.
  • 2 篇 schneider steve
  • 2 篇 woodcock j.c.p.
  • 2 篇 lano k
  • 2 篇 k.r. sujithan
  • 2 篇 mosses p.d.

语言

  • 131 篇 英文
  • 7 篇 其他
检索条件"机构=Computing Laboratory Programming Research Group"
138 条 记 录,以下是91-100 订阅
Specification-oriented semantics for communicating processes  10th
Specification-oriented semantics for communicating processes
收藏 引用
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
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... 详细信息
来源: 评论
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...
来源: 评论
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 abou... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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
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 an... 详细信息
来源: 评论
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 carrie... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论