咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 95 篇 工学
    • 87 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 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...
  • 5 篇 computer archite...
  • 5 篇 hardware
  • 5 篇 algebra
  • 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 篇 其他
检索条件"机构=Programming Research Group Computing Laboratory"
131 条 记 录,以下是61-70 订阅
排序:
FROM ALGEBRA TO OPERATIONAL SEMANTICS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第2期45卷 75-80页
作者: HE, JF HOARE, CAR Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD United Kingdom
There is a general agreement among theoretical computing scientists that a programming language, or its underlying computational paradigm, may be clarified by a mathematical investigation of its formal semantics. The... 详细信息
来源: 评论
SYSTEMATIC SERIALIZATION OF ARRAY-BASED ARCHITECTURES
收藏 引用
INTEGRATION-THE VLSI JOURNAL 1993年 第3期14卷 333-360页
作者: LUK, WWC Programming Research Group Oxford University Computing Laboratory 11 Keble Road Oxford OX1 3QD United Kingdom
This paper describes the use of Ruby, a language of functions and relations, to develop serialised implementations of array-based architectures. Our Ruby expressions contain parameters which can be varied to produce a... 详细信息
来源: 评论
NORMAL-FORM APPROACH TO COMPILER DESIGN
收藏 引用
ACTA INFORMATICA 1993年 第8期30卷 701-739页
作者: HOARE, CAR HE, JF SAMPAIO, A 1. Oxford University Computing Laboratory Programming Research Group 11 Keble Road OX1 3QD Oxford England
This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of ...
来源: 评论
An overview of D-I algebra  26
An overview of D-I algebra
收藏 引用
26th Hawaii International Conference on System Sciences, HICSS 1993
作者: Josephs, Mark B. Udding, Jan Tijmen Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom Dept. of Computing Science Groningen University Groningen Netherlands
An overview is given of D-I algebra, an algebra for the specification of the safety and progress properties of delay-insensitive circuits in terms of voltage-level transitions on wires. The algebraic laws make it poss... 详细信息
来源: 评论
Hardware acceleration of divide-and-conquer paradigms: A case study
Hardware acceleration of divide-and-conquer paradigms: A cas...
收藏 引用
1993 IEEE Workshop on FPGAs for Custom computing Machines, FCCM 1993
作者: Luk, W. Lok, V. Page, I. Programming Research Group Oxford University Computing Laboratory 11 Keble Road OxfordOX13QD United Kingdom
The authors describe a method for speeding up divide-and-conquer algorithms with a hardware coprocessor, using sorting as an example. The method employs a conventional processor for the 'divide' and 'merge... 详细信息
来源: 评论
Hybrid parallel programming and implementation of synchronised communication  18th
收藏 引用
18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993
作者: Jifeng, He Oxford University Computing Laboratory Programming Research Group 11 Keble Road OxfordOX1 3QD United Kingdom
An occam program is usually translated into a machine program executed in parallel with a set of system processes such as communication protocol and scheduler, where the target program appears in a form which cannot b... 详细信息
来源: 评论
Encoding W: A logic for Z in 2OBJ  1st
Encoding W: A logic for Z in 2OBJ
收藏 引用
1st International Symposium of Formal Methods Europe, FME 1993
作者: Martin, Andrew Programming Research Group Oxford University Computing Laboratory 11 Keble Road OxfordOX1 3RQ United Kingdom
A prototype proof system for "W: A Logic for Z" has been produced using the 2OBJ metalogical theorem-prover. 2OBJ permits an encoding which is very similar in structure to that of W, and the details are pres... 详细信息
来源: 评论
A practical approach to software engineering using Z and the refinement calculus  1
A practical approach to software engineering using Z and the...
收藏 引用
1st ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1993
作者: Wood, Kenneth R. Programming Research Group Oxford University Computing Laboratory 11 Keble Road Oxford0X1 3QD United Kingdom
We present a methodology for the formal specification and development of software systems using Z and the refinement calculus. The methodology combines the data structuring capabilities and the codified discrete mathe... 详细信息
来源: 评论
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... 详细信息
来源: 评论
An overview of D-I algebra
An overview of D-I algebra
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: M.B. Josephs J.T. Udding Programming Research Group Oxford University Computing Laboratory Oxford UK Department of Computing Science Groningen University Groningen Netherlands
An overview is given of D-I algebra, an algebra for the specification of the safety and progress properties of delay-insensitive circuits in terms of voltage-level transitions on wires. The algebraic laws make it poss... 详细信息
来源: 评论