咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Billiards and related systems on the bulk-synchronous parallel model
Billiards and related systems on the bulk-synchronous parall...
收藏 引用
11th Workshop on Parallel and Distributed Simulation
作者: Marin, M Programming Research Group Computing Laboratory University of Oxford Oxford UK
With two examples we show the suitability of the bulk-synchronous parallel (BSP) model for discrete-event simulation of homogeneous large-scale systems. This model provides a unifying approach for general purpose para... 详细信息
来源: 评论
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...
来源: 评论
A framework for model-checking timed CSP
A framework for model-checking timed CSP
收藏 引用
作者: Ouaknine, Joël Programming Research Group Oxford Univ. Computing Laboratory
A framework for model-checking timed CSP processes within a new model of standard CSP was discussed. The timing of events was provided by the consistent and regular communication of a special tock event, analogous to ... 详细信息
来源: 评论
A pragmatic basis for the formal development of distributed systems  7
A pragmatic basis for the formal development of distributed ...
收藏 引用
7th International Workshop on Software Specification and Design, IWSSD 1993
作者: Wood, Kenneth R. Programming Research Group Oxford University Computing Laboratory United Kingdom
We present a basis for the formal specification and stepwise development of distributed systems, i.e. programs which are intended (at least conceptually) to run on distributed-memory parallel machines which communicat... 详细信息
来源: 评论
Software engineering: A keynote address  3
Software engineering: A keynote address
收藏 引用
3rd International Conference on Software Engineering, ICSE 1978
作者: Hoare, C.A.R. Oxford University Computing Laboratory Programming Research Group United Kingdom
This paper argues that our recent progress in the development of a sound programming methodology should not lead us to ignore the more difficult aspects of engineering;and that in future we should pay more attention t... 详细信息
来源: 评论
Probabilistic models for the guarded command language
收藏 引用
SCIENCE OF COMPUTER programming 1997年 第2-3期28卷 171-192页
作者: He, JF Seidel, K McIver, A Oxford University Computing Laboratory Programming Research Group 11 Keble. Road Oxford OX1 3QD UK
The two models presented in this paper provide two different semantics for an extension of Dijkstra's language of guarded commands. The extended language has an additional operator, namely probabilistic choice, wh... 详细信息
来源: 评论
A CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES
收藏 引用
SCIENCE OF COMPUTER programming 1981年 第1-2期1卷 49-72页
作者: HOARE, CAR Oxford University Computing Laboratory Programming Research Group Oxford OX2 6PE United Kingdom
A process communicates with its environment and with other processes by syncronized output and input on named channels. The current state of a process is defined by the sequences of messages which have passed along ea...
来源: 评论
PROBABILISTIC AND PRIORITIZED MODELS OF TIMED CSP
收藏 引用
THEORETICAL COMPUTER SCIENCE 1995年 第2期138卷 315-352页
作者: LOWE, G Programming Research Group Computing Laboratory Oxford University 8-11 Keble Road Oxford OX1 3QD UK
In this paper we present two languages that are refinements of timed CSP (Davies and Schneider, this volume): a probabilistic language, and a fully deterministic language with a notion of priority. In the first part o... 详细信息
来源: 评论
A THEORY FOR THE DERIVATION OF COMBINATIONAL C-MOS CIRCUIT DESIGNS
收藏 引用
THEORETICAL COMPUTER SCIENCE 1991年 第1期90卷 235-251页
作者: HOARE, CAR Oxford University Computing Laboratory Programming Research Group 8-11 Keble Road Oxford OX1 3QD UK
This paper shows how propositional logic may be used to reason about synchronous combinational switching circuits implemented in C-mos. It develops a simple formalism and theory for describing and predicting their beh... 详细信息
来源: 评论
Scalability, portability and predictability: The BSP approach to parallel programming
收藏 引用
FUTURE GENERATION COMPUTER SYSTEMS 1996年 第4期12卷 265-272页
作者: McColl, WF Programming Research Group Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD UK
General purpose parallel computing systems come in a variety of forms. We have various kinds of distributed memory architectures, shared memory multiprocessors, and clusters of workstations. New technologies may incre... 详细信息
来源: 评论