咨询与建议

限定检索结果

文献类型

  • 94 篇 会议
  • 74 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 117 篇 工学
    • 109 篇 计算机科学与技术...
    • 60 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 信息与通信工程
    • 17 篇 控制科学与工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 3 篇 建筑学
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 土木工程
    • 2 篇 化学工程与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 航空宇航科学与技...
    • 1 篇 核科学与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 网络空间安全
  • 48 篇 理学
    • 42 篇 数学
    • 7 篇 物理学
    • 4 篇 统计学(可授理学、...
    • 2 篇 化学
    • 2 篇 系统科学
    • 1 篇 地质学
  • 14 篇 管理学
    • 10 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 17 篇 laboratories
  • 8 篇 software enginee...
  • 7 篇 computational mo...
  • 7 篇 hardware
  • 6 篇 concurrent compu...
  • 6 篇 functional progr...
  • 5 篇 computer archite...
  • 5 篇 buildings
  • 5 篇 interference
  • 5 篇 costs
  • 5 篇 semantics
  • 5 篇 algebra
  • 5 篇 delay
  • 4 篇 parallel algorit...
  • 4 篇 discrete event s...
  • 4 篇 program processo...
  • 4 篇 protocols
  • 4 篇 formal specifica...
  • 4 篇 formal methods
  • 4 篇 field programmab...

机构

  • 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 篇 german research ...
  • 2 篇 international in...
  • 2 篇 programming rese...
  • 2 篇 programming mode...
  • 2 篇 programming rese...
  • 2 篇 programming rese...
  • 2 篇 oxford universit...
  • 2 篇 institute of nuc...
  • 2 篇 languages and pr...

作者

  • 7 篇 hoare car
  • 4 篇 bowen jonathan
  • 4 篇 w. luk
  • 4 篇 he jf
  • 4 篇 sanders j.w.
  • 4 篇 he jifeng
  • 4 篇 felix wolf
  • 3 篇 edson borin
  • 3 篇 atef hamouda
  • 3 篇 m.y.h. low
  • 3 篇 jifeng he
  • 3 篇 j. e. nicholls
  • 3 篇 wood kenneth r.
  • 2 篇 mauricio bretern...
  • 2 篇 hoare c.a.r.
  • 2 篇 cheng wang
  • 2 篇 sloot p.m.a.
  • 2 篇 amaral josé nels...
  • 2 篇 j. graham-cummin...
  • 2 篇 josephs mark b.

语言

  • 166 篇 英文
  • 6 篇 其他
检索条件"机构=Laboratory of Computing Programming"
172 条 记 录,以下是51-60 订阅
排序:
When is a function a fold or an unfold?
When is a function a fold or an unfold?
收藏 引用
CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001)
作者: Gibbons, Jeremy Hutton, Graham Altenkirch, Thorsten Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom Languages and Programming Group School of Computer Science and IT University of Nottingham Jubilee Campus Wollaton Road Nottingham NG8 1BB United Kingdom
We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, pract... 详细信息
来源: 评论
When is a function a fold or an unfold?
收藏 引用
Electronic Notes in Theoretical Computer Science 2001年 第1期44卷 146-160页
作者: Jeremy Gibbons Graham Hutton Thorsten Altenkirch Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom Languages and Programming Group School of Computer Science and IT University of Nottingham Jubilee Campus Wollaton Road Nottingham NG8 1BB United Kingdom
We give a necessary and sufficient condition for when a set-theoretic function can be written using the recursion operator fold, and a dual condition for the recursion operator unfold. The conditions are simple, pract...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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. 1999/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...
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论