咨询与建议

限定检索结果

文献类型

  • 73 篇 期刊文献
  • 72 篇 会议
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 112 篇 工学
    • 102 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 18 篇 电气工程
    • 16 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 10 篇 电子科学与技术(可...
    • 4 篇 机械工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
  • 43 篇 理学
    • 36 篇 数学
    • 7 篇 物理学
    • 4 篇 统计学(可授理学、...
    • 2 篇 地球物理学
    • 2 篇 系统科学
  • 8 篇 管理学
    • 5 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 公共管理
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
    • 1 篇 公共卫生与预防医...

主题

  • 15 篇 laboratories
  • 7 篇 software enginee...
  • 7 篇 algebra
  • 6 篇 concurrent compu...
  • 6 篇 computational mo...
  • 5 篇 hardware
  • 4 篇 parallel algorit...
  • 4 篇 logic programmin...
  • 4 篇 specifications
  • 4 篇 costs
  • 4 篇 protocols
  • 4 篇 formal specifica...
  • 4 篇 formal methods
  • 4 篇 functional progr...
  • 4 篇 field programmab...
  • 3 篇 computer archite...
  • 3 篇 prototypes
  • 3 篇 algorithms
  • 3 篇 discrete event s...
  • 3 篇 parallel program...

机构

  • 18 篇 programming rese...
  • 5 篇 oxford universit...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 programming rese...
  • 3 篇 oxford universit...
  • 3 篇 oxford universit...
  • 3 篇 computing labora...
  • 2 篇 school of mathem...
  • 2 篇 oxford universit...
  • 2 篇 programming rese...
  • 2 篇 international in...
  • 2 篇 department of ps...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 oxford universit...
  • 2 篇 languages and pr...
  • 2 篇 programming rese...

作者

  • 7 篇 hoare car
  • 5 篇 sanders j.w.
  • 4 篇 bowen jonathan
  • 4 篇 he jf
  • 4 篇 j. e. nicholls
  • 4 篇 he jifeng
  • 3 篇 hoare c.a.r.
  • 3 篇 m.y.h. low
  • 3 篇 w. luk
  • 3 篇 jifeng he
  • 3 篇 wood kenneth r.
  • 2 篇 j. graham-cummin...
  • 2 篇 josephs mark b.
  • 2 篇 schneider steve
  • 2 篇 woodcock j.c.p.
  • 2 篇 k.r. sujithan
  • 2 篇 cannataro mario
  • 2 篇 mosses p.d.
  • 2 篇 de moor oege
  • 2 篇 jones g

语言

  • 139 篇 英文
  • 10 篇 其他
检索条件"机构=1. Oxford University Computing Laboratory Programming Research Group"
149 条 记 录,以下是31-40 订阅
排序:
Unifying theories of healthiness condition
Unifying theories of healthiness condition
收藏 引用
Asia-Pacific Conference on Software Engineering
作者: He Jifeng C.A.R. Hoare International Institute for Software Technology United Nations University Macau Macao China Computing Laboratory Programming Research Group Oxford University Oxford UK
A theory of programming starts with a complete Boolean algebra of specifications, and defines healthiness conditions which exclude infeasibility of implementation. These are expressed as algebraic laws useful for tran... 详细信息
来源: 评论
Implementation lessons of performance prediction tool for parallel conservative simulation  6
收藏 引用
6th International European Conference on Parallel computing, Euro-Par 2000
作者: Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore
Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorit... 详细信息
来源: 评论
PRAM programming: in theory and in practice
收藏 引用
Concurrency and Computation: Practice and Experience 2000年 第4期12卷
作者: D. S. Lecomber C. J. Siniolakis K. R. Sujithan Programming Research Group Oxford University Computing Laboratory Oxford OX1 3QD U.K.
That the influence of the PRAM model is ubiquitous in parallel algorithm design is as clear as the fact that it is technologically infeasible for the forseeable future. The current generation of parallel hardware prom... 详细信息
来源: 评论
Hardware/software codesign for FPGA-based systems
Hardware/software codesign for FPGA-based systems
收藏 引用
Annual Hawaii International Conference on System Sciences (HICSS)
作者: J.M. Saul Computing Laboratory Programming Research Group Oxford University Oxford UK
A new codesign compiler called Dash (Design Automation for Software and Hardware) provides a co-synthesis and co-simulation environment for mixed FPGA/processor architectures. It compiles a C-like description to a sol... 详细信息
来源: 评论
A framework for model-checking timed CSP
A framework for model-checking timed CSP
收藏 引用
IEE Colloquium on Applicable Modelling, Verification and Analysis Techniques for Real-Time Systems (Ref. No. 1.99/006)
作者: J. Ouaknine Programming Research Group Oxford University Computing Laboratory UK
Timed CSP is a well-known process algebra, built as an extension to Hoare's original CSP, designed to handle concurrency combined with timing considerations. It achieves this over a continuous time domain (the non...
来源: 评论
Efficient deterministic sorting on the BSP model
收藏 引用
Parallel Processing Letters 1999年 第1期9卷 69-79页
作者: Gerbessiotis, Alexandros V. Programming Research Group Computing Laboratory Oxford University Oxford OX1 3QD United Kingdom
We present a new algorithm for deterministic sorting on the Bulk-Synchronous Parallel (BSP) model of computation. We sort n keys using a partitioning scheme that achieves the requirements of efficiency (one-optimality... 详细信息
来源: 评论
Re-synthesis in technology mapping for heterogeneous FPGAs
Re-synthesis in technology mapping for heterogeneous FPGAs
收藏 引用
IEEE International Conference on Computer Design: VLSI in Computers and Processors, (ICCD)
作者: M. Inuani J. Saul Programming Research Group Oxford University Computing Laboratory Oxford UK
Field programmable gate arrays containing more than one size of lookup-table occupy a large and growing portion of the market, but technology mapping for these architectures has hardly been considered. New algorithms ... 详细信息
来源: 评论
PRAM programming: theory vs. practice
PRAM programming: theory vs. practice
收藏 引用
Euromicro Workshop on Parallel and Distributed Processing
作者: A.V. Gerbessiotis D.S. Lecomber C.J. Siniolakis K.R. Sujithan Programming Research Group Computing Laboratory Oxford University Oxford UK
We investigate the practical viability of PRAM programming within the BSP framework. We argue that there is a necessity for PRAM computations in situations where the problem exhibits poor data locality. We introduce a... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Event-driven hard-particle molecular dynamics using bulk-synchronous parallelism
收藏 引用
COMPUTER PHYSICS COMMUNICATIONS 1997年 第1-3期102卷 81-96页
作者: Marin, M Programming Research Group Wolson Building Parks Road Computing Laboratory University of Oxford Oxford OX1 3QD England UK
We describe and analyse a new parallel algorithm for event-driven simulation of hard-particle systems that is based on the ideas of the bulk-synchronous parallel (BSP) model. This model provides a unifying approach fo... 详细信息
来源: 评论