咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 16 篇 laboratories
  • 8 篇 software enginee...
  • 6 篇 concurrent compu...
  • 6 篇 computer archite...
  • 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
  • 4 篇 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.

语言

  • 130 篇 英文
  • 7 篇 其他
检索条件"机构=Programming Research Group Computing Laboratory"
137 条 记 录,以下是101-110 订阅
POS - FORMAL SPECIFICATION OF A UNIX TOOL
收藏 引用
SOFTWARE ENGINEERING JOURNAL 1989年 第1期4卷 67-72页
作者: BOWEN, J Computing Laboratory Programming Research Group Oxford University Oxford UK
A simple text processing tool which allows positioning of lines within a document is presented using the formal specification language Z. Implementation details such as the use of tab characters and newline sequences ... 详细信息
来源: 评论
REGULAR PIPELINED MULTIPLIERS
收藏 引用
ELECTRONICS LETTERS 1989年 第20期25卷 1405-1407页
作者: LUK, W Programming Research Group Oxford University Computing Laboratory Oxford UK
Two regular processor arrays for multiplying unsigned numbers are described. The essence is a structure that allows designs with different degrees of pipelining to be synthesised. The impact of varying the degree of p... 详细信息
来源: 评论
Process simulation and refinement
收藏 引用
Formal Aspects of computing 1989年 第1期1卷 229-241页
作者: Jifeng, He Oxford University Computing Laboratory Programming Research Group Oxford OX1 3QD 8-11 Keble Road United Kingdom
In this paper we deal with the problem of (nondeterministic and parallel) process refinement. The basic notion of refinement is defined via the improved failure semantics of CSP [BHR84, BrR85, Hoa85, Ros88]. The conce... 详细信息
来源: 评论
SYSTOLIC RECURSIVE FILTERS
收藏 引用
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS 1988年 第8期35卷 1067-1068页
作者: LUK, W JONES, G Programming Research Group Computing Laboratory Oxford University Oxford UK
Two systolic arrays for recursive digital filtering are presented. Both have a rectangular structure and produce output for a particular computation in consecutive cycles. Their performance is analyzed and the design ... 详细信息
来源: 评论
AUXILIARY VARIABLES IN DATA REFINEMENT
收藏 引用
INFORMATION PROCESSING LETTERS 1988年 第6期29卷 293-296页
作者: MORGAN, C Computing Laboratory Programming Research Group Oxford University 8-11 Keble Road Oxford United Kingdom OXI 3QD
A set of local variables in a program is auxiliary if its members occur only in assignments to members of the same set. Data refinement transforms a program, replacing one set of local variables by another set, in ord... 详细信息
来源: 评论
THE LAWS OF OCCAM programming
收藏 引用
THEORETICAL COMPUTER SCIENCE 1988年 第2期60卷 177-229页
作者: ROSCOE, AW HOARE, CAR Oxford University Computing Laboratory Programming Research Group Oxford University Oxford England U.K. OX1 3QD
One of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs. We investigate these laws and, by discovering a normal form for WHILE-free programs, show that the... 详细信息
来源: 评论
DATA REFINEMENT BY MIRACLES
收藏 引用
INFORMATION PROCESSING LETTERS 1988年 第5期26卷 243-246页
作者: MORGAN, CC Programming Research Group Oxford University Computing Laboratory 8-11 Keble Road Oxford United Kingdom OX1 3QD
Data refinement is the transformation in a computer program of one data type to another. Usually, we call the original data type ‘abstract’ and the final data type ‘concrete’. The concrete data type is said to rep... 详细信息
来源: 评论
Using VDM with rely and guarantee-conditions: Experiences from a real project  2nd
Using VDM with rely and guarantee-conditions: Experiences fr...
收藏 引用
2nd VDM-Europe Symposium : The Way Ahead, 1988
作者: Woodcock, J.C.P. Dickinson, B. Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road OxfordOX1 3QD United Kingdom GEC Telecommunications Ltd Telephone Works P.O.Box No.53 CoventryCV3 1HJ United Kingdom
In his extension of VDM, Jones added a rely and a guarantee-condition to the usual pre and post-condition pair. This extension to the technique permits the specification and development of concurrent, shared-variable ... 详细信息
来源: 评论
SYSTOLIC ARRAYS FOR RECURSIVE DIGITAL FILTERING
收藏 引用
ELECTRONICS LETTERS 1987年 第22期23卷 1174-1175页
作者: LUK, W JONES, G Programming Research Group Oxford University Computing Laboratory Oxford UK
Two classes of systolic array for the implementation of recursive digital filters are presented, which overcome some of the limitations of earlier designs. The trade-off resulting from varying the degree of pipelining... 详细信息
来源: 评论
TRANSACTION PROCESSING PRIMITIVES AND CSP
收藏 引用
IBM JOURNAL OF research AND DEVELOPMENT 1987年 第5期31卷 535-545页
作者: WOODCOCK, JCP Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road OX1 3QD England UK
Several primitives for transaction processing systems are developed using the notations of Communicating Sequential Processes. The approach taken is to capture each requirement separately, in the simplest possible con... 详细信息
来源: 评论