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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

491 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

320 篇 工学
- 241 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 29 篇 控制科学与工程
- 21 篇 机械工程
- 18 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 建筑学
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 17 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 6 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 eiter thomas
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

506 篇 英文
5 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 511 条记录，以下是391-400 订阅

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

详细简洁

排序：

Handling Conflicts with Compiler's Help in Software Transactional Memory Systems

Handling Conflicts with Compiler's Help in Software Transact...

引用

international conference on Parallel Processing (ICPP)

作者： Sandya Mannarswamy R. Govindarajan SERC Indian Institute of Science Bangalore India Indian Institute of Science Bangalore India

Atomic sections are supported in software through the use of optimistic concurrency by using Software Transactional Memory (STM). However STM implementations incur high overheads which reduce the wide-spread use of this approach by programmers. Conflicts are a major source of overheads in STMs. the basic performance premise of a transactional memory system is the optimistic concurrency principle wherein data updates executed by the transactions are to disjoint objects/memory locations, referred to as Disjoint Access Parallel (DAP). Otherwise, the updates conflict, and all but one of the transactions are aborted. Such aborts result in wasted work and performance degradation. While contention management systems in STM implementations try to reduce conflicts by various runtime feedback control mechanisms, they are not aware of the application's structure and data access patterns and hence typically act after the conflicts have occurred. In this paper we propose a scheme based on compiler analysis, which can identify static atomic sections whose instances, when executed concurrently by more than one thread always conflict. Such an atomic section is referred to as Always Conflicting Atomic Section (ACAS). We propose and evaluate two techniques Selective Pessimistic Concurrency Control (SPCC) and compiler inserted Early Conflict Checks (ECC) which can help reduce the STM overheads caused by ACAS. We show that these techniques help reduce the aborts in 4 of the STAMP benchmarks by up to 27.52% while improving performance by 1.24% to 19.31%.

关键词： Parallel processing Concurrency control Runtime Concurrent computing Software programming Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs

Toward Harnessing DOACROSS Parallelism for Multi-GPGPUs

引用

international conference on Parallel Processing (ICPP)

作者： Peng Di Qing Wan Xuemeng Zhang Hui Wu Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney NSW Australia

To exploit the full potential of GPGPUs for general purpose computing, DOACR parallelism abundant in scientific and engineering applications must be harnessed. However, the presence of cross-iteration data dependences in DOACR loops poses an obstacle to execute their computations concurrently using a massive number of fine-grained threads. this work focuses on iterative PDE solvers rich in DOACR parallelism to identify optimization principles and strategies that allow their efficient mapping to GPGPUs. Our main finding is that certain DOACR loops can be accelerated further on GPGPUs if they are algorithmically restructured (by a domain expert) to be more amendable to GPGPU parallelization, judiciously optimized (by the compiler), and carefully tuned by a performance-tuning tool. We substantiate this finding with a case study by presenting a new parallel SSOR method that admits more efficient data-parallel SIMD execution than red-black SOR on GPGPUs. Our solution is obtained non-conventionally, by starting from a K-layer SSOR method and then parallelizing it by applying a non-dependence-preserving scheme consisting of a new domain decomposition technique followed by a generalized loop tiling. Despite its relatively slower convergence, our new method outperforms red-black SOR by making a better balance between data reuse and parallelism and by trading off convergence rate for SIMD parallelism. Our experimental results highlight the importance of synergy between domain experts, compiler optimizations and performance tuning in maximizing the performance of applications, particularly PDE-based DOACR loops, on GPGPUs.

关键词： Tiles Instruction sets Kernel Graphics processing unit Parallel processing Convergence Optimization

来源：评论

学校读者我要写书评

暂无评论

Multiple-Valued Reconfigurable VLSI Processor Based on Superposition of Data and Control Signals

Multiple-Valued Reconfigurable VLSI Processor Based on Super...

引用

39th IEEE international Symposium on Multiple-Valued logic

作者： Okada, Nobuaki Kameyama, Michitaka Tohoku Univ Grad Sch Informat Sci Sendai Miyagi 9808579 Japan

ISBN: (纸本)9781424438419

A multiple-valued reconfigurable VLSI useful for improving the utilization ratio of hardware resources is proposed. Hybrid architecture based on wired programming and dynamic data-path control can be effectively employed for high utilization ratio of hardware resources with small overhead of additional hardware resources. A 2-to-1 multiplexer is provided it? each cell. Accordingly, distributed control can be realized simply, so that interconnections between arithmetic logic modules and controllers become very short. Moreover superposition of data and control signals is introduced to reduce not only complexity of interconnections but also switch block area.

关键词： logic devices

来源：评论

学校读者我要写书评

暂无评论

MAP-AMVA: Approximate Mean Value Analysis of Bursty Systems

MAP-AMVA: Approximate Mean Value Analysis of Bursty Systems

引用

39th Annual IEEE/IFIP international conference on Dependable Systems and Networks

作者： Casale, Giuliano Smirni, Evgenia SAP Res CEC Belfast Antrim North Ireland Coll William & Mary Williamsburg VA 23187 USA

ISBN: (纸本)9781424444229

MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected by burstiness. Although MAP networks do not admit a simple product form solution, performance metrics can be estimated accurately by linear programming bounds, yet these are expensive to compute under large populations. In this paper, we introduce an approximate mean value analysis (AMVA) approach to MAP network solution that significantly reduces the computational cost of model evaluation. We define a number of balance equations that relate mean performance indices such as utilizations and response times. We show that the quality of a MAP-AMVA solution is competitive with much snore complex bounds which evaluate the state space of the underlying Markov chain. Numerical results on stress cases indicate that the MVA approach is much more scalable than existing evaluation methods for MAP networks.(1)

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Demand-Driven Normalisation for ACD Term Rewriting

Demand-Driven Normalisation for ACD Term Rewriting

引用

25th international conference on logic programming (ICLP)

作者： De Koninck, Leslie Duck, Gregory J. Stuckey, Peter J. Katholieke Univ Leuven Dept Comp Sci Louvain Belgium NICTA Victoria Lab Sydney NSW Australia

ISBN: (纸本)9783642028458

ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implementation for ACDTR. based on bottom-up eager normalisation, extended to support the conjunctive context. this paper investigates the possibility of using a demand-driven normalisation strategy for ACDTR. Again, dealing with the conjunctive context proves to be challenging. the alternative normalisation strategy is compared with the current form of eager normalisation and potential further improvements on the strategy are investigated.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Work in progress - Development of an environment for diverse learners and accessible learning

Work in progress - Development of an environment for diverse...

引用

Frontiers in Education (FIE) conference

作者： Shohreh Hadian Bill Wadge Instructor Camosun College Victoria BC Canada University of Victoria Victoria BC Canada

the objective of the current study is to research, design, implement and test a tool that provides a repository of learning objects and records a profile of the learners, in order to deliver a customized version of the learning object to the learners taking into account their optimal learning profile and inclusive design in mind. the intention is to package and deliver content taking into account the diversity in learning subjects and materials encountered by teachers and learners. To this end, Intensional logic and programming is introduced to address learner diversity in a Web-based teaching and learning environment. Intensional programming is used to make adaptations on the server as it transforms Web pages ¿on the fly¿ without requiring Web content to be re-written for each specific user. this project has been supported with a grant from the Canadian Council on Learning and CanAssist at the University of Victoria.

关键词： programming profession logic programming Education Web pages Computer aided instruction Markup languages Testing Packaging Councils Usability

来源：评论

学校读者我要写书评

暂无评论

Application of modified perceived learning Problem Inventory (PLPI) to investigate performance in introductory programming

Application of modified perceived learning Problem Inventory...

引用

Frontiers in Education (FIE) conference

作者： Paul Golding Opal Donaldson Vanesa Tennant University of Technology Jamaica Jamaica

programming has been recognized by universities as a complex and difficult intellectual activity, with students struggling through their first programming subject and educators struggling to teach it. Several universities have embarked on using innovative practices to improve students' performance in introductory programming. To no avail many students still fail. this paper postulated that a holistic approach should be used to evaluate the factors contributing to the low pass rate in an introductory programming course. the authors developed a modified version of Perceived Learning Problem Inventory (PLPI) to evaluate student performance. the model suggested that the factors that affect student performance in programming squarely lies with the subject content and other factors play no role in determining performance. the findings are consistent with earlier research which indicated that problem solving skills, mathematical capabilities, logical reasoning and previous programming experience as contributing factors to failure.

关键词： programming profession Mathematical programming Problem-solving Educational institutions Computer science Resource management logic programming Computer languages Mathematics Psychology

来源：评论

学校读者我要写书评

暂无评论

Embedded systems in an engineering science curriculum

Embedded systems in an engineering science curriculum

引用

Frontiers in Education (FIE) conference

作者： Kevin Nickels Matt Sealey Trinity University USA

the Embedded Systems Portability project investigates how to acquaint students in an engineering science curriculum with several important modern trends and practices in embedded system design. An overview of the program is given, and the specific objectives of several elective courses in electrical engineering are presented. the project also aims to provide a flexible but powerful controller for use in designs, most notably the open-ended senior design course. As these students are largely not deeply disciplinary, the trends of modular programming and functional portability need to be presented while minimizing prerequisite knowledge and skillsets. An embedded System on a Chip utilizing an ARM or a Power Architecture core is connected to a PCI-connected Complex Programmable logic Device to provide computation power, flexible input/output, and a high bandwidth connection between the two. this powerful combination is connected to one of three representative plants for control. Example projects illustrating the portions of the system under study in several courses at Trinity are described.

关键词： Embedded system Systems engineering and theory Design engineering Power engineering and energy Electrical engineering Functional programming Computer architecture Programmable logic devices Embedded computing Bandwidth

来源：评论

学校读者我要写书评

暂无评论

COMPACT ALL SOLID STATE PULSED POWER GENERATOR DRIVEN BY FPGA

COMPACT ALL SOLID STATE PULSED POWER GENERATOR DRIVEN BY FPG...

引用

17th IEEE international Pulsed Power conference

作者： Akiyama, M. Kouno, K. Kawamoto, K. Sakugawa, T. Akiyama, H. Suematsu, K. Kouda, A. Watanabe, M. Kumamoto Univ Grad Sch Sci & Technol Kurokami 2-39-1 Kumamoto 8608555 Japan Suematsu Elect Co Ltd Yatsushiro 8694615 Japan

ISBN: (纸本)9781424440641

High-reliability, high repetition rate and compactness of pulsed power generators have been required for spreading industrial applications. the control of pulsed power generator becomes more complicated with the increase of functions. An all solid state pulsed power generator can be easily controlled by using a field programmable gate array (FPGA). the pulsed power generator is consisted of a controller, a charger, insulated gate bipolar transistor (IGBT) switches, magnetic switches and etc. the performance of the pulsed power generator such as variable pulse repetition rate and diagnosis of incorrect operation is achieved by rewriting the programming of Verilog hardware description language (HDL). the pulsed power generator using a FPGA becomes more compact in comparison with conventional pulsed power generators using logic ICs.

关键词： Pulse repetition rate

来源：评论

学校读者我要写书评

暂无评论

AQL : AAA query language for action domains modelled using answer set programming

引用

10th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2009

作者： Hopton, Luke Cliffe, Owen De Vos, Marina Padget, Julian Department of Computer Science University of Bath BATH BA2 7AY United Kingdom

ISBN: (纸本)3642042376

We present a new general purpose query and abduction language for reasoning about action domains that allows the processing of simultaneous actions, definition of conditions and reasoning about fluents and actions. AQL provides a simple declarative syntax for the specification of constraints on the histories (the combination of action traces and state transitions) within the modelled domain. Its semantics, provided by the translation of AQL queries into Ans-Prolog, acquires the benefits of the reasoning power provided by Answer Set programming (ASP). the answer sets obtained from combining the query and the domain description correspond to those histories of the domain changing over time that satisfy the query. the result is a simple, high-level query and constraint language that builds on ASP. through the synthesis of features it offers a more flexible, versatile and intuitive approach compared to existing languages. Due to the use of ASP, AQL can also be used to reason about partial histories. © 2009 Springer Berlin Heidelberg.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：