咨询与建议

限定检索结果

文献类型

  • 65 篇 会议
  • 62 篇 期刊文献

馆藏范围

  • 127 篇 电子文献
  • 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
  • 6 篇 concurrent compu...
  • 6 篇 computational mo...
  • 5 篇 computer archite...
  • 5 篇 hardware
  • 5 篇 algebra
  • 4 篇 parallel algorit...
  • 4 篇 software enginee...
  • 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...

机构

  • 14 篇 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 篇 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...
  • 2 篇 j.m. saul

语言

  • 122 篇 英文
  • 5 篇 其他
检索条件"机构=Programming Research Group Computing Laboratory"
127 条 记 录,以下是121-130 订阅
排序:
Compiler generation using denotational semantics  5th
Compiler generation using denotational semantics
收藏 引用
5th Symposium on Mathematical Foundations of Computer Science, MFCS 1976
作者: Mosses, P.D. Programming Research Group Oxford University Computing Laboratory 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
Relations between programs with different storage requirements  5th
Relations between programs with different storage requiremen...
收藏 引用
5th Symposium on Mathematical Foundations of Computer Science, MFCS 1976
作者: Harrison, M.D. Oxford University Computing Laboratory Programming Research Group 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
First-order reduction of call-by-name to call-by-value  4th
First-order reduction of call-by-name to call-by-value
收藏 引用
4th Symposium on Mathematical Foundations of Computer Science, MFCS 1975
作者: de Roever, Willem P. Programming Research Group Oxford University Computing Laboratory 45 Banbury Road OxfordOX2 6PE United Kingdom
The input-output behaviour of recursive program schemes with parameters called-by-name is expressed as a non-deterministic choice between calls of recursive program schemes with parameters called-by-value, and can the... 详细信息
来源: 评论
The semantics of semantic equations  3rd
收藏 引用
3rd Symposium on Mathematical Foundations of Computer Science, MFCS 1974
作者: Mosses, P.D. Oxford University Computing Laboratory Programming Research Group 45 Banbury Road OxfordOX2 6PE United Kingdom
来源: 评论
Os6-an experimental operating system for a small computer. Part 2: Input/output and filing system
收藏 引用
Computer Journal 1972年 第3期15卷 195-203页
作者: Stoy, J.E. Strachey, C. Oxford University Computing Laboratory Programming Research Group United Kingdom
This is a continuation of the description of OS6, and it covers the facilities for input/output, and the handling of files on the disc. The input/output system uses a very general form of stream;the filing system is d...
来源: 评论
Os6-an experimental operating system for a small computer. Part 1: General principles and structure
收藏 引用
Computer Journal 1972年 第2期15卷 117-124页
作者: Stoy, J.E. Strachey, C. Oxford University Computing Laboratory Programming Research Group United Kingdom
This paper is a description of a simple operating system, which runs in a virtual machine (implemented on a real machine by an interpreter). OS6 copes with only one user at a time, and is not a multi-programming syste...
来源: 评论
An Estimate of the Store Size Necessary for Dynamic Storage Allocation
收藏 引用
Journal of the ACM (JACM) 1971年 第3期18卷 416-423页
作者: Robson, J.M. Oxford University Programming Research Group Oxford University Computing Laboratory Oxford United Kingdom
Dynamic storage allocation using fixed blocks is usually inefficient in its use of store. The amount of store needed depends on the allocation strategy used. It is proved that for any strategy the amount of store need... 详细信息
来源: 评论