咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
On the refinement of non-interference
On the refinement of non-interference
收藏 引用
Computer Security Foundations Workshop
作者: J. Graham-Cumming J.W. Sanders Programming Research Group Oxford University Computing Laboratory Oxford UK
It is known that functional refinement does not preserve the security properties of a system. The authors propose a trace-based method for specifying the security properties of a system and a method which ensures that... 详细信息
来源: 评论
Time interval semantics and implementation of a real-time programming language
Time interval semantics and implementation of a real-time pr...
收藏 引用
Euromicro Conference on Real-Time Systems
作者: He Jifeng J. Bowen Programming Research Group Oxford University Computing Laboratory Oxford UK
The authors present a real-time programming language, including concurrency, which could be used in the formal development of embedded systems. The semantics of the language is provided in the form of a time interval ... 详细信息
来源: 评论
An object model of data, based on the ODMG industry standard for database applications
An object model of data, based on the ODMG industry standard...
收藏 引用
International Seminar on Client/Server computing. Seminar Proceedings (Digest No. 1995/184)
作者: K.R. Sujithan Programming Research Group Oxford University Computing Laboratory Oxford UK
The computational requirements of modern information systems, coupled with the inherent limitations of the relational databases, are stimulating research into post-relational database systems. The recent advances in o...
来源: 评论
Towards a declarative framework for hardware-software codesign  94
Towards a declarative framework for hardware-software codesi...
收藏 引用
International Workshop on Hardware/Software Codesign (CODES)
作者: W. Luk T. Wu Programming Research Group Oxford University Computing Laboratory Oxford UK
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for parametrised partitioning into hardware an... 详细信息
来源: 评论
Managing external workload with BSP Time Warp
Managing external workload with BSP Time Warp
收藏 引用
Simulation Winter Conference
作者: M.Y.H. Low Programming Research Group Computing Laboratory University of Oxford Oxford UK
This paper describes an extension to the existing BSP Time Warp (Bulk Synchronous Parallel Time Warp) dynamic load-balancing algorithm to allow the management of interruption from external workload. Experiments carrie... 详细信息
来源: 评论
Hardware-software codesign of multidimensional programs
Hardware-software codesign of multidimensional programs
收藏 引用
IEEE Workshop on FPGAs for Custom computing Machines
作者: W. Luk T. Wu I. Page Programming Research Group Oxford University Computing Laboratory Oxford UK
Presents a method for parametrised partitioning of multidimensional programs for acceleration using a hardware coprocessor. The method involves a divide-and-conquer structure, with the "divide" and "mer... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Dynamic load-balancing for BSP Time Warp
Dynamic load-balancing for BSP Time Warp
收藏 引用
Annual Symposium on Simulation
作者: M.Y.H. Low Programming Research Group Computing Laboratory University of Oxford Oxford UK
The performance of a parallel simulation system depends very much on partitioning simulation workload evenly among the set of processors in the computing environment to ensure load-balance between processors. Most par... 详细信息
来源: 评论
Transformation techniques for serial array design
Transformation techniques for serial array design
收藏 引用
International Conference on Application Specific Array Processors
作者: W.W.C. Luk Programming Research Group Oxford University computing Laboratory Oxford UK
This paper describes a design framework for developing application-specific serial array circuits. Starting from a description of the state-transition logic or a fully-parallel architecture, correctness-preserving tra... 详细信息
来源: 评论
An improved simplex method for function minimization
An improved simplex method for function minimization
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: Yuguang Huang W.F. McColl Programming Research Group Oxford University Computing Laboratory Oxford UK
In this paper, an improved method based on Nelder and Mead's simplex method (1965) is described for unconstrained function minimization. The information of the function values evaluated in the previous steps is co... 详细信息
来源: 评论