咨询与建议

限定检索结果

文献类型

  • 149 篇 期刊文献
  • 90 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 146 篇 工学
    • 117 篇 计算机科学与技术...
    • 65 篇 软件工程
    • 21 篇 电气工程
    • 15 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 12 篇 电子科学与技术(可...
    • 10 篇 核科学与技术
    • 6 篇 光学工程
    • 6 篇 生物医学工程(可授...
    • 6 篇 生物工程
    • 4 篇 机械工程
    • 3 篇 安全科学与工程
    • 2 篇 力学(可授工学、理...
  • 105 篇 理学
    • 52 篇 物理学
    • 43 篇 数学
    • 8 篇 生物学
    • 6 篇 统计学(可授理学、...
    • 4 篇 系统科学
    • 2 篇 化学
    • 2 篇 地球物理学
  • 13 篇 管理学
    • 7 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 11 篇 医学
    • 9 篇 临床医学
    • 8 篇 基础医学(可授医学...
    • 3 篇 药学(可授医学、理...
    • 2 篇 公共卫生与预防医...
  • 3 篇 农学
  • 2 篇 哲学
    • 2 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 历史学

主题

  • 17 篇 laboratories
  • 7 篇 higgs bosons
  • 7 篇 computational mo...
  • 6 篇 concurrent compu...
  • 6 篇 supersymmetric m...
  • 6 篇 algebra
  • 6 篇 particle data an...
  • 5 篇 computer archite...
  • 5 篇 software enginee...
  • 5 篇 supersymmetry
  • 5 篇 semantics
  • 5 篇 hadron colliders
  • 5 篇 hardware
  • 5 篇 functional progr...
  • 5 篇 top quark
  • 4 篇 parallel algorit...
  • 4 篇 electroweak inte...
  • 4 篇 logic programmin...
  • 4 篇 specifications
  • 4 篇 costs

机构

  • 41 篇 department of ph...
  • 41 篇 faculty of scien...
  • 41 篇 departamento de ...
  • 41 篇 department for p...
  • 41 篇 department of ph...
  • 41 篇 yerevan physics ...
  • 41 篇 institute of phy...
  • 41 篇 institute of phy...
  • 41 篇 department of ph...
  • 41 篇 physics departme...
  • 40 篇 kirchhoff-instit...
  • 40 篇 graduate school ...
  • 40 篇 instituto de fís...
  • 39 篇 dipartimento di ...
  • 39 篇 fakultät für phy...
  • 39 篇 tomsk state univ...
  • 39 篇 dipartimento di ...
  • 38 篇 department of ph...
  • 38 篇 department of ph...
  • 38 篇 department of ph...

作者

  • 33 篇 m. klein
  • 32 篇 c. alexa
  • 32 篇 j. m. izen
  • 32 篇 s. veneziano
  • 32 篇 g. bella
  • 32 篇 j. strandberg
  • 32 篇 d. calvet
  • 32 篇 c. amelung
  • 32 篇 n. orlando
  • 32 篇 h. a. gordon
  • 32 篇 y. tayalati
  • 32 篇 g. spigo
  • 32 篇 v. chiarella
  • 32 篇 f. siegert
  • 32 篇 a. c. könig
  • 32 篇 r. ströhmer
  • 32 篇 h. sakamoto
  • 32 篇 g. h. a. viehhau...
  • 32 篇 s. nektarijevic
  • 32 篇 m. rijssenbeek

语言

  • 233 篇 英文
  • 6 篇 其他
检索条件"机构=Oxford University Computing Laboratory Programming Research Group"
239 条 记 录,以下是101-110 订阅
排序:
Scale Saliency: a novel approach to salient feature and scale selection
Scale Saliency: a novel approach to salient feature and scal...
收藏 引用
2003 International Conference on Visual Information Engineering VIE 2003
作者: T. Kadir M. Brady Motorola Inc. USA Robotics Research Group Oxford University Computing Laboratory UK
This paper presents an overview of the Scale Saliency algorithm introduced in (Kadir and Brady, 2001). Scale Saliency is a novel method for measuring the saliency of image regions and selecting optimal scales for thei...
来源: 评论
How to prevent type flaw attacks on security protocols
收藏 引用
Journal of Computer Security 2003年 第2期11卷 217-244页
作者: Heather, James Lowe, Gavin Schneider, Steve Department of Computing School of Electronics Computing and Mathematics University of Surrey Guildford Surrey GU2 7XH UK. E-mail: Programming Research Group Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD UK. E-mail: Royal Holloway University of London Egham Hill Egham Surrey TW20 0EX UK. E-mail:
A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number of type flaw attacks have appeared in the...
来源: 评论
Managing external workload with BSP time warp
Managing external workload with BSP time warp
收藏 引用
Proceedings of the 2002 Winter Simulation Conference
作者: Low, Malcolm Yoke Hean Programming Research Group Computing Laboratory University of Oxford Parks Road Oxford OX1 3QD United Kingdom
An extension to the existing bulk synchronous parallel time warp (BSP-TW) dynamic load-balancing algorithms was presented. The algorithm allowed the management to work without interruption from external workload. Expe... 详细信息
来源: 评论
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Quantitative program logic and expected time bounds in proba...
收藏 引用
Real Time and Probabilistic Systems (ARTS '99)
作者: McIver, A.K. Programming Research Group Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom
In this paper we show how quantitative program logic (Morgan et al., ACM Trans. programming Languages Systems 18 (1996) 325) provides a formal framework in which to promote standard techniques of program analysis to a... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Weakest specifunctions for BSP
收藏 引用
Parallel Processing Letters 2001年 第4期11卷 439-454页
作者: Chen, Yifeng Sanders, J.W. Department of Maths and Computer Science University of Leicester University Road Leicester LE1 7RH United Kingdom Programming Research Group Oxford University Computing Laboratory Parks Road Oxford OX1 3QD United Kingdom
This paper introduces a calculus of weakest specification for supporting reuse of established components in deriving a design (in the sense of formal methods). The weakest specifunction generalizes the notions of weak... 详细信息
来源: 评论
Consistent modeling of distributed mutual exclusion protocol using optimistic simulation  01
Consistent modeling of distributed mutual exclusion protocol...
收藏 引用
Proceedings of the fifteenth workshop on Parallel and distributed simulation
作者: Malcolm Yoke Hean Low David M. Nicol Programming Research Group Computing Laboratory University of Oxford Dept. of Computer Science Dartmouth College
This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented...
来源: 评论
Consistent modeling of distributed mutual exclusion protocol using optimistic simulation
Consistent modeling of distributed mutual exclusion protocol...
收藏 引用
Workshop on Principles of Advanced and Distributed Simulation (PADS)
作者: M.Y.H. Low D.M. Nicol Programming Research Group Computing Laboratory University of Oxford UK Department of Computer Science Dartmouth College USA
This paper discusses the problem of risk in optimistic simulation protocols, using as an example, simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augme... 详细信息
来源: 评论
Almost-certain eventualities and abstract probabilities in quantitative temporal logic
Almost-certain eventualities and abstract probabilities in q...
收藏 引用
computing: The Australasian Theory Symposium (CATS 2001)
作者: McIver, Annabelle Morgan, Carroll Programming Research Group University of Oxford Oxford OX1 3QD United Kingdom Dept. of Engineering and Computer Science University of New South Wales Sydney 2052 Australia Dept. of Computing Macquarie University Sydney 2019 Australia
'Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' are probabilities in transition systems about which we know only that they are neither 0 no... 详细信息
来源: 评论