咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 16 篇 laboratories
  • 7 篇 software enginee...
  • 6 篇 concurrent compu...
  • 6 篇 computational mo...
  • 6 篇 algebra
  • 5 篇 computer archite...
  • 5 篇 hardware
  • 4 篇 parallel algorit...
  • 4 篇 costs
  • 4 篇 semantics
  • 4 篇 protocols
  • 4 篇 formal specifica...
  • 4 篇 formal methods
  • 4 篇 functional progr...
  • 4 篇 field programmab...
  • 3 篇 prototypes
  • 3 篇 discrete event s...
  • 3 篇 parallel program...
  • 3 篇 interference
  • 3 篇 programmable log...

机构

  • 18 篇 programming rese...
  • 6 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 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...
  • 2 篇 oxford universit...

作者

  • 7 篇 hoare car
  • 5 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 he jifeng
  • 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.
  • 2 篇 jones g
  • 2 篇 udding jan tijme...

语言

  • 126 篇 英文
  • 5 篇 其他
检索条件"机构=Computing Laboratory Programming Research Group"
131 条 记 录,以下是81-90 订阅
排序:
Functional geometry  82
Functional geometry
收藏 引用
1982 ACM Symposium on LISP and Functional programming, LFP 1982
作者: Henderson, Peter Oxford University Computing Laboratory Programming Research Group 45 Sanbury Road Oxford0X2 6PE United Kingdom
A method of describing pictures is introduced. The equations, which describe the appearance of a picture, also form a purely functional program which can be used to compute the set of lines necessary to plot the pictu...
来源: 评论
A time-interval calculus  2nd
A time-interval calculus
收藏 引用
2nd International Conference on Mathematics of Program Construction, 1992
作者: Brien, S.M. Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road OxfordOX1 3QD United Kingdom
The purpose of this paper is to introduce a notation for expressing the requirements of time-critical systems and a calculus for reasoning about them. The Actions, Events and States of a system are represented by sets... 详细信息
来源: 评论
Some laws of non-interference
Some laws of non-interference
收藏 引用
1992 Computer Security Foundations Workshop V, CSFW 1992
作者: Graham-Cumming, John Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road Oxford0X1 3QD United Kingdom
We define 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. We work through a...
来源: 评论
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... 详细信息
来源: 评论
A framework for model-checking timed CSP
A framework for model-checking timed CSP
收藏 引用
IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1999/006)
作者: J. Ouaknine Programming Research Group Oxford University Computing Laboratory UK
Timed CSP is a well-known process algebra, built as an extension to Hoare's original CSP, designed to handle concurrency combined with timing considerations. It achieves this over a continuous time domain (the non...
来源: 评论
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... 详细信息
来源: 评论