咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Exits in the refinement calculus
收藏 引用
Formal Aspects of computing 1995年 第1期7.0卷 54-76页
作者: King, Steve Morgan, Carroll Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD Wolfson Building Parks Rd United Kingdom
Although many programming languages contain exception handling mechanisms, their formal treatment - necessary for rigorous development - can be complex. Nevertheless, this paper presents a simple incorporation of exit... 详细信息
来源: 评论
A formal model of explanation
收藏 引用
Formal Aspects of computing 1995年 第2期7卷 207-225页
作者: Todd, Bryan S. Stamper, Richard The Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD Wolfson Building Parks Road United Kingdom
As information systems become more complex, formal methods offer a solution to the increasing problem of ensuring correctness of design and implementation. This paper illustrates the use of mathematical specification ... 详细信息
来源: 评论
Specification, Verification and Prototyping of an Optimized Compiler
收藏 引用
Formal Aspects of computing 1994年 第6期6卷 643-658页
作者: Jifeng, He Bowen, Jonathan Oxford University Computing Laboratory Programming Research Group Oxford OX1 3QD Wolfson Building Parks Road United Kingdom
This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existi... 详细信息
来源: 评论
Unification: A case-study in data refinement
收藏 引用
Formal Aspects of computing 1995年 第2期7卷 150-168页
作者: Spivey, J.M. Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD Wolfson Building Parks Road United Kingdom
In this paper, the Z notation is used to develop a small theory of terms and substitutions within which a simple unification algorithm can be specified and proved correct. Particular emphasis is placed on the use of Z... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Towards a provably correct compiler for OBJ3  6th
Towards a provably correct compiler for OBJ3
收藏 引用
6th International Symposium on programming Language Implementation and Logic programming, PLILP 1994
作者: Hamel, Lutz H. Goguen, Joseph A. Programming Research Group Oxford University Computing Laboratory Oxford0X1 3QD United Kingdom
Machines have proved very successful in the implementation of very high level logic and functional programming languages;in particular, we have the G-machine for functional programming languages and the WAM for Prolog... 详细信息
来源: 评论
A Couple of Novelties in the Propositional Calculus
收藏 引用
Mathematical Logic Quarterly 1985年 第9-12期31卷 173-178页
作者: Hóre, C.A.R. Oxford University Computing Laboratory Programming Research Group Oxford OX1 3QD 8‐11 Keble Road United Kingdom
The article discusses novelties in propositional calculus. It mentions the convenience of involving a dyadic operator as a curried monadic operator towards alleviation of its algebraic properties. It offers examples b... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The projection of systolic programs
收藏 引用
Formal Aspects of computing 1990年 第1期2卷 273-293页
作者: Lengauer, C. Sanders, J.W. Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD 8-11 Keble Road United Kingdom
A scheme is presented which transforms systolic programs with a two-dimensional structure to one dimension. The elementary steps of the transformation are justified by theorems in the theory of communicating sequentia... 详细信息
来源: 评论
Constructing hardware-software systems from a single description
收藏 引用
Journal of VLSI signal processing systems for signal, image and video technology 1996年 第1期12卷 87-107页
作者: Page, Ian Programming Research Group Oxford University Computing Laboratory Oxford England
The study of computing is split at an early stage between the separate branches that deal with hardware and software; there is also a corresponding split in later professional specialisation. This paper explores the e...
来源: 评论