检索结果-内蒙古大学图书馆

作者： Heather, James Lowe, Gavin Schneider, Steve Department of Computing Sch. of Electron. Comp./Mathematics University of Surrey Guildford Surrey GU2 7XH United Kingdom Programming Research Group Computing Laboratory Oxford University Parks Road Oxford OX1 3QD United Kingdom Royal Holloway University of London Egham Hill Egham Surrey TW20 0EX United Kingdom

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 academic literature. In this paper we prove that type flaw attacks can be prevented using a simple technique of tagging each field with some information indicating its intended type.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Lattice boltzmann, A robust and accurate solver for interactive computational hemodynamics

Lattice boltzmann, A robust and accurate solver for interact...

引用

International Conference on Computational Science, ICCS 2003

作者： Artoli, A.M. Kandhaiy, D. Hoefsloot, H.C.J. Hoekstra, A.G. Sloot, P.M.A. Section Computational Science Laboratory for Computing Systems Architecture and Programming Faculty of Science University of Amsterdam Kruislaan 403 Amsterdam1098 SJ Netherlands Kramers Laboratorium voor Fysische Technologie Faculty of Applied Sciences Delft Netherlands Department of Chemical Engineering Faculty of Science University of Amsterdam Amsterdam Netherlands

ISBN: (纸本)9783540448600

Surgical planning as a treatment for vascular diseases re- quires fast blood ow simulations that are eÆcient in handling changing geometry. It is, for example, necessary to try diþerent paths of a planned bypass and study the resulting hemodynamic ow ýelds before decid- ing the ýnal geometrical solution. With the aid of a real time interactive simulation environment that uses an eÆcient ow solver, this allows ex- ible treatment planning. In this article, we demonstrate that the lattice Boltzmann method can be an alternative robust CFD technique for such kind of applications. Steady ow in a 2D symmetric bifurcation is studied and the obtained ow ýelds and stress tensor components are compared to those obtained by a Navier-Stokes (NS) solver. We also demonstrate that the method is fully adaptive to interactively changing geometry. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Geometry

来源：评论

学校读者我要写书评

暂无评论

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:

关键词：

来源：评论

学校读者我要写书评

暂无评论

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. Experiments results on a manufacturing simulation model showed that significance performance improvement could be achieved with external workload management.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

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 context where probability and nondeterminism interact, a situation common to probabilistic distributed algorithms. We show that overall expected time can be formulated directly in the logic and that it can be derived from local properties of components. We illustrate the methods with an analysis of expected running time of the probabilistic dining philosophers (Lehmann and Ravin, Proc 8th Annu. ACM. Symp. on principles of programming Languages, ACM, New York, 1981, p. 133). © 2002 Published by Elsevier Science B.V.

关键词： Probabilistic logics

来源：评论

学校读者我要写书评

暂无评论

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 carried out on a manufacturing simulation model using different partition strategies with and without interruption from external workload show that significant performance improvement can be achieved with external workload management.

关键词： Computational modeling Protocols Virtual manufacturing Heuristic algorithms Concurrent computing Time warp simulation Costs Laboratories Partitioning algorithms Interference

来源：评论

学校读者我要写书评

暂无评论

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 parallel simulation systems employ user-defined static partitioning. However static partitioning requires in-depth domain knowledge of the specific simulation model in the study. It is not effective if the workload of a simulation model could not be quantified accurately or changes over time during a simulation run. Dynamic load-balancing allows the simulation system to automatically balance the workload of different simulation models without user's input. In this paper the use of dynamic load-balancing in the context of the BSP Time Warp optimistic protocol is examined. Based on the BSP cost model, a dynamic load-balancing algorithm for the BSP Time Warp protocol is developed. Using different simulation models, the paper shows that to achieve consistent performance, the dynamic load-balancing algorithm for BSP Time Warp needs to consider both computation and communication workload, as well as lookaheads between processors.

关键词： Computational modeling Costs Protocols Concurrent computing Heuristic algorithms Time warp simulation Computational efficiency Algorithm design and analysis Parallel programming Load modeling

来源：评论

学校读者我要写书评

暂无评论

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 weakest pre-specification and weakest parallel environment;but instead of calculating the weakest required component of a target specification, it calculates the weakest specification function whose value refines the target when applied to an established component. In particular it overcomes the restriction of those other calculi to taking merely one required component at a time. The theory of specifunctions is applied to a new weakest-design calculus in the context of BSP. The calculus is based on the par-seq specifunction which involves two required components: it places one established component in parallel with one required component and the result in sequence with another required component to meet a given specification. A calculus is provided for the par-seq specifunction and it is applied to the derivation of a distributed BSP algorithm for greatest common divisor.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9780769511047

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 to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance trade-off for adding them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)076951104X

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 augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem, we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance tradeoff for adding them.

关键词： Protocols Computational modeling Libraries Hazards Computer simulation Laboratories Computer science Educational institutions Computer errors Parallel processing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：