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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

146 篇 期刊文献
90 篇 会议
5 册 图书

馆藏范围

241 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

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

主题

17 篇 laboratories
8 篇 software enginee...
7 篇 higgs bosons
7 篇 computational mo...
7 篇 algebra
6 篇 concurrent compu...
6 篇 supersymmetric m...
6 篇 particle data an...
5 篇 computer archite...
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

语言

236 篇 英文
5 篇 其他

检索条件"机构=Oxford University Computing Laboratory Programming Research Group"

共 241 条记录，以下是91-100 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

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 semantics and also a number of algebraic refinement laws. The laws allow convenient reasoning and transformation of programs. In particular, a compiler for a sequential subset of the language is defined as a set of theorems relating high-level program constructs to a low-level machine specified as an interpreter in the high-level language. In addition, a prototype compiler may be produced very directly from Ihe lheorems in Ihe form of a logic program.

关键词： Computer languages Real time systems Concurrent computing Program processors Prototypes Logic Embedded computing Embedded system

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9780818663154

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 and software can be captured concisely in this framework, and their validity can be checked wing algebraic reasoning. The method has been used to guide the development of prototype compilers capable of producing, from a Ruby expression, a variety of implementations involving field programmable gate arrays (FPGAs) and microprocessors. The viability of this approach is illustrated using a number of examples for two reconfigurable systems, one containing an array of Algotronix devices and a PC host, and the other containing a transputer and a Xilinx device.< >

关键词： Software tools Field programmable gate arrays Process design Laboratories Software prototyping Prototypes Program processors Microprocessors Hardware design languages Signal design

来源：评论

学校读者我要写书评

暂无评论

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 "merge" phases carried out by a general-purpose processor, while the "conquer" phase is handled by application-specific hardware. The partitioning strategy has been captured in a simple functional language, and we have automated the production of partitioned programs in this language. Our approach has been tested on an FPGA-based system using a number of computer vision algorithms, including the Canny edge detector, and the performance is compared against executing the programs on the PC host.< >

关键词： Multidimensional systems Hardware Programmable logic arrays Computer vision Partitioning algorithms Field programmable gate arrays Laboratories Acceleration Coprocessors Software testing

来源：评论

学校读者我要写书评

暂无评论

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 solution containing both processors and custom hardware, and allows the descriptions of FPGA-based processors to be heavily parametrised. The user may add instructions to the processors, and the Dash software architecture allows the user to add facilities for targeting these extra instructions to the compiler. This system is being used to design a number of case studies, and a single-chip codesign of an Internet video game is used to illustrate the design flow.

关键词： Hardware Field programmable gate arrays Software systems Computer architecture Design automation Application software Software tools Acceleration Laboratories Hip

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

CodeQuest: Scalable source code queries with datalog

引用

20th European Conference on Object-Oriented programming, ECOOP 2006

作者： Hajiyev, Elnar Verbaere, Mathieu De Moor, Oege Programming Tools Group Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)3540357262

Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines two previous proposals, namely the use of logic programming and database systems. As the query language we use safe Datalog, which was originally introduced in the theory of databases. That provides just the right level of expressiveness;in particular recursion is indispensable for source code queries. Safe Datalog is like Prolog, but all queries are guaranteed to terminate, and there is no need for extra-logical annotations. Our implementation of Datalog maps queries to a relational database system. We are thus able to capitalise on the query optimiser provided by such a system. For recursive queries we implement our own optimisations in the translation from Datalog to SQL. Experiments confirm that this strategy yields an efficient, scalable code querying system. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

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 combined into the direction determination of the succeeding simplex. In this way, the new method reflects a more reasonable descendant search nature of the simplex method. The performance of this improved method over the traditional approach is compared based on the standard subroutine fmins of the MATLAB.

关键词： Minimization methods Functional programming Laboratories Algorithms MATLAB Reflection Shape

来源：评论

学校读者我要写书评

暂无评论

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 transformations are employed to derive a wide range of implementations with different space-time trade-offs. The approach has been used in synthesising designs based on field-programmable gate arrays, and is illustrated by the development of a number of circuits including sorters and convolvers.< >

关键词： Circuits Signal design Equations Erbium Calculus

来源：评论

学校读者我要写书评

暂无评论

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-negative real numbers), which has the drawback of precluding standard model-checking approaches, as the state-space of any process is naturally a priori (uncountably) infinite. This paper shows how to circumvent this problem by translating and reinterpreting timed CSP processes within a new model of standard CSP. In this discrete model, which draws on previous work by A.W. Roscoe (1997) and A. Mukkaram (1993), timing of events is provided by the consistent and regular communication of a special tock event, analogous to the 'tick' of a clock. The various parallel components of a process are therefore required to synchronise on tock, ensuring a uniform rate of passage of time. General results yielding tight bounds on the loss of information inherent to the translation are given.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共25页 << < 6 7 8 9 10 11 12 13 14 15 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：