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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

7,642 篇 会议
333 篇 期刊文献
250 册 图书

馆藏范围

8,225 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,047 篇 工学
- 2,991 篇 计算机科学与技术...
- 1,847 篇 软件工程
- 985 篇 电气工程
- 581 篇 控制科学与工程
- 350 篇 信息与通信工程
- 336 篇 电子科学与技术（可...
- 188 篇 机械工程
- 87 篇 仪器科学与技术
- 78 篇 化学工程与技术
- 49 篇 生物医学工程（可授...
- 48 篇 材料科学与工程（可...
- 41 篇 生物工程
- 37 篇 动力工程及工程热...
- 37 篇 交通运输工程
- 36 篇 土木工程
- 36 篇 航空宇航科学与技...
- 33 篇 建筑学
- 33 篇 环境科学与工程（可...
- 31 篇 安全科学与工程
927 篇 理学
- 730 篇 数学
- 142 篇 系统科学
- 98 篇 物理学
- 97 篇 统计学（可授理学、...
- 68 篇 生物学
488 篇 管理学
- 398 篇 管理科学与工程(可...
- 121 篇 工商管理
- 99 篇 图书情报与档案管...
57 篇 医学
- 46 篇 临床医学
46 篇 经济学
- 41 篇 应用经济学
32 篇 法学
29 篇 教育学
- 29 篇 教育学
20 篇 文学
20 篇 农学
6 篇 艺术学
5 篇 军事学

主题

1,298 篇 programming
768 篇 linear programmi...
579 篇 programming prof...
487 篇 application soft...
485 篇 parallel program...
374 篇 computer archite...
371 篇 computer science
361 篇 hardware
351 篇 dynamic programm...
311 篇 software systems
311 篇 logic programmin...
269 篇 software enginee...
267 篇 concurrent compu...
265 篇 optimization
258 篇 computational mo...
244 篇 object oriented ...
239 篇 parallel process...
232 篇 control systems
207 篇 costs
198 篇 operating system...

机构

19 篇 department of el...
16 篇 carnegie mellon ...
16 篇 school of electr...
12 篇 school of electr...
11 篇 ibm thomas j. wa...
10 篇 georgia inst tec...
10 篇 department of el...
9 篇 department of el...
9 篇 oak ridge nation...
9 篇 department of el...
8 篇 univ hong kong d...
8 篇 institute of dig...
7 篇 department of el...
7 篇 chair for progra...
7 篇 department of co...
7 篇 department of co...
7 篇 department of co...
6 篇 inria
6 篇 school of comput...
6 篇 department of el...

作者

24 篇 steffen bernhard
14 篇 w.-s. lu
13 篇 liu derong
12 篇 anon
11 篇 josef börcsök
10 篇 wei qinglai
9 篇 bernhard steffen
9 篇 wu-sheng lu
9 篇 tiziana margaria
9 篇 margaria tiziana
8 篇 p. hasler
8 篇 a. antoniou
8 篇 m.r. lyu
8 篇 derong liu
8 篇 lu w.-s.
7 篇 wu youfeng
7 篇 t.m. khoshgoftaa...
7 篇 k.h. kim
7 篇 sitek pawel
7 篇 leucker martin

语言

8,069 篇 英文
100 篇 其他
33 篇 中文
19 篇 葡萄牙文
5 篇 西班牙文

检索条件"任意字段=International Symposium on Programming and Systems"

共 8225 条记录，以下是4851-4860 订阅

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

详细简洁

排序：

High-level execution and communication support for parallel grid applications in JGrid 06

High-level execution and communication support for parallel ...

引用

international symposium on Parallel and Distributed Processing (IPDPS)

作者： S. Pota Z. Juhasz Department of Information Systems University of Veszprem Veszprem Hungary

ISBN: (纸本)9781424400546

This paper describes the high-level execution and communication support provided in JGrid, a service-oriented dynamic grid framework. One of its core services, the compute service, is the key component in creating dynamic computational grid systems that enable the execution of sequential and parallel interactive grid applications. A fundamental set of program execution modes supported by the service is described, then a programming model and its corresponding application programming interface is presented. The execution support of the service architecture is described in detail illustrating how remote evaluation and run-time task spawning are provided. The paper also shows in detail how task spawning and dynamic proxies can be used for a service-oriented communication mechanism for coarse-grain parallel grid applications

关键词： Grid computing Java Concurrent computing Computer architecture Dynamic programming Runtime Fabrics Metacomputing Information systems Distributed computing

来源：评论

学校读者我要写书评

暂无评论

Linear programming Detection and Decoding for MIMO systems

Linear Programming Detection and Decoding for MIMO Systems

引用

IEEE international symposium on Information Theory

作者： Tao Cui Tracey Ho Chintha Tellambura Department of Electrical Engineering California Institute of Technology Pasadena CA USA Department of Electrical and Computer Engineering University of Alberta Edmonton AB Canada

We develop an efficient linear programming detector (LPD) for multiple-input multiple-output (MIMO) systems. Instead of using the usual l 2 norm, our proposed LPD uses the l 1 norm as the detection metric, resulting in a mixed-integer linear program (MILP). Two branch-and-bound algorithms are proposed to solve the MILP. The solution of the MILP achieves the same full diversity order as the maximum likelihood detector. The MILP is further relaxed to a linear program (LP), which can be readily solved using the standard simplex method. We show that in some cases the solution of the LP is guaranteed to be that of the MILP. The LPD is also extended to the joint detection and decoding of linear block coded MIMO systems. Our LPD can be immediately implemented using mature circuits design for the simplex algorithm

关键词： Linear programming MIMO Detectors Maximum likelihood decoding Maximum likelihood detection AWGN Receiving antennas Transmitting antennas Circuit synthesis Scattering

来源：评论

学校读者我要写书评

暂无评论

Keynote The Renaissance of Decentralized systems

Keynote The Renaissance of Decentralized Systems

引用

international symposium on High Performance Distributed Computing

作者： P. Druschel Max Planck Institute for Software Systems

Provides an abstract of the keynote presentation and a brief professional biography of the presenter. The complete presentation was not made available for publication as part of the conference proceedings.

关键词： Peer to peer computing Monitoring programming profession Parallel programming Software systems Computer networks Application software Parallel architectures Parallel machines Strategic planning

来源：评论

学校读者我要写书评

暂无评论

Understanding the Parallel Programmer

Understanding the Parallel Programmer

引用

IEEE international symposium on High Performance Computing systems and Applications (HPCS)

作者： R. Eccles D.A. Stacey Oculus Info Inc. Toronto Canada Computing and Information Science University of Guelph Guelph ONT Canada

As low-cost multiprocessing reaches a wider market, a greater number of programmers will need to be trained for parallel programming. Current studies exploring usability engineering for parallel programming focus only on experienced parallel programmers. This paper applies the card sorting method used in psychology research to understanding the software needs of the novice parallel programmer. This paper demonstrates that novices organize parallel problems by domain type whereas experts use parallel communication type.

关键词： programming profession Parallel programming Usability Software libraries Concurrent computing Sorting Psychology Problem-solving Information science Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Removing superfluous versions in polyvariant specialization of prolog programs

引用

15th international symposium on Logic Based Program Synthesis and Transformation

作者： Ochoa, Claudio Puebla, German Hermenegildo, Manuel Tech U Madrid Sch Comp Sci Madrid Spain Univ New Mexico Dept Comp Sci & Elect Albuquerque NM 87131 USA Univ New Mexico Dept Comp Engn Albuquerque NM 87131 USA

ISBN: (纸本)3540326545

Polyvariant specialization allows generating multiple versions of a procedure, which can then be separately optimized for different uses. Since allowing a high degree of polyvariance often results in more optimized code, polyvariant specializers, such as most partial evaluators, can generate a large number of versions. This can produce unnecessarily large residual programs. Also, large programs can be slower due to cache miss effects. A possible solution to this problem is to introduce a minimization step which identifies sets of equivalent versions, and replace all occurrences of such versions by a single one. In this work we present a unifying view of the problem of superfluous polyvariance. It includes both partial deduction and abstract multiple specialization. As regards partial deduction, we extend existing approaches in several ways. First, previous work has dealt with pure logic programs and a very limited class of builtins. Herein we propose an extension to traditional characteristic trees which can be used in the presence of calls to external predicates. This includes all builtins, libraries, other user modules, etc. Second, we propose the possibility of collapsing versions which are not strictly equivalent. This allows trading time for space and can be useful in the context of embedded and pervasive systems. This is done by residualizing certain computations for external predicates which would otherwise be performed at specialization time. Third, we provide an experimental evaluation of the potential gains achievable using minimization which leads to interesting conclusions.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Lyapunov-based stability analysis automated by genetic programming

Lyapunov-based stability analysis automated by genetic progr...

引用

IEEE international Conference on Computer-Aided Design

作者： Benyamin Grosman Daniel R. Lewin PSE Research Group Department of Chemical Engineering Technion-Israel Institute of Technology Haifa Israel

This contribution describes an automatic technique for detecting maximal domains of attraction for nonlinear systems using genetic programming (GP). The theoretical basis for the work is Lyapunov's direct method, which provides sufficient conditions for the existence of a region of attraction of a stable focus. In work presented here, our GP approach for defining Lyapunov functions that accurately predict the maximum region of attraction has been extended by defining a target function accounting for level sets. We demonstrate the approach on the analysis of two dynamic systems: (a) van der Pol's equation, which features both a stable and unstable limit cycle; and (b) a model of an exothermic, continuous stirred tank reactor (CSTR), whose stable trajectories tend to move away from the origin before converging

关键词： Stability analysis Genetic programming Lyapunov method Nonlinear systems Level set Continuous-stirred tank reactor Nonlinear control systems Control systems System analysis and design Sufficient conditions

来源：评论

学校读者我要写书评

暂无评论

Robust design of hybrid filter bank A/D converters using second order cone programming

Robust design of hybrid filter bank A/D converters using sec...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： S.H. Zhao S.C. Chan Department of Electrical and Electronic Engineering University of Hong Kong Hong Kong China

This paper studies the optimal least squares (LS) and minimax design of hybrid filter bank analog to digital converters (HFB ADCs) using second order cone programming (SOCP). The resulting problem is convex and it allows linear and quadratic constraints such as prescribed signal reconstruction magnitude flatness and aliasing canceling error to be incorporated. Two new robust HFB ADC design algorithms based on stochastic uncertainty and worst-case uncertainty models are also proposed. Design results show that the SOCP approach offers more flexibility than conventional methods and the robust design algorithms are more robust to parameter uncertainties than the SOCP design when the uncertainties are not taken into account

关键词： Robustness Filter bank Algorithm design and analysis Uncertainty Least squares methods Minimax techniques Analog-digital conversion Signal reconstruction Stochastic processes Uncertain systems

来源：评论

学校读者我要写书评

暂无评论

Power-balanced reconfigurable floating-gate-MOS logic circuit for tamper resistant VLSI

Power-balanced reconfigurable floating-gate-MOS logic circui...

引用

IEEE international symposium on Circuits and systems (ISCAS)

作者： B. Tongprasit T. Shibata Department of Frontier Informatics University of Tokyo Tokyo Japan

Design and experimental evaluation of power-balanced reconfigurable floating-gate-MOS logic circuit is presented. The circuit can represent all 512 symmetric Boolean functions for eight inputs and 256 Boolean functions for three-input symmetric/asymmetric functions. The programming of function is done by control signals. Namely, no change in hardware configuration is required. The proposed circuit employs a highly symmetric architecture. The input data and the control signals are broadcasted in pairs with their complementary values. As a result, the power consumption of the circuit is independent of the input data and the logic function. Hence, the proposed circuit is resistant to the power analysis attack

关键词： Logic circuits Very large scale integration Reconfigurable logic Energy consumption Informatics Hardware Application specific integrated circuits CMOS technology Boolean functions Functional programming

来源：评论

学校读者我要写书评

暂无评论

Minimum-time feedforward control with input and output constraints

Minimum-time feedforward control with input and output const...

引用

IEEE international Conference on Computer-Aided Design

作者： Luca Consolini Aurelio Piazzi Dipartimento di Ingegneria dell'Informazione Università degli Studi di Parma Parma Italy

For linear continuous-time scalar systems, the paper proposes the problem of synthesizing a minimum-time rest-to-rest feedforward control with input and output constraints. In a behavioral framework, simple sufficient conditions for the problem to have a solution are provided. Then using discretization, an arbitrarily good approximation to the global minimum-time solution is found by solving a sequence of linear programming problems. Computational examples to show the effectiveness of the proposed approach are included

关键词： Linear programming Control systems Continuous time systems Sampling methods Control system synthesis Linear systems Optimal control Sufficient conditions Control engineering Books

来源：评论

学校读者我要写书评

暂无评论

Optical Routing in Massively Dense Networks: Practical Issues and Dynamic programming Interpretation

Optical Routing in Massively Dense Networks: Practical Issue...

引用

international symposium on Wireless Communication systems (ISWCS)

作者： R. Catanuto G. Morabito S. Toumpis Dipartimento di Matematica e Informatica Universita Catania Italy Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Universita Catania Italy Department of Electrical and Computer Engineering University of Cyprus Cyprus

A form of routing based on an analogy with geometrical optics has recently been proposed for use in wireless networks with a very large number of nodes. The analogy hinges on taking a macroscopic view of the network, and describing it solely in terms of a cost function, that is analogous to the refractive index of optics. In this setting, optimal routes resemble rays of light propagating through a properly defined optical medium. This method has intuitive appeal and leads to insightful results; nevertheless many issues remain unresolved. Two of these issues are treated here. First, we discuss the problem of route discovery, also considering the challenging cases where the optimal routes starting from a given node intersect themselves, and also fail to cover the whole network in a reasonable manner. Then, we show how optical routing can be derived using dynamic programming. The derivation illuminates the connection between this form of routing and traditional routing algorithms that are also based on dynamic programming.

关键词： Optical fiber networks Routing Dynamic programming Optical refraction Optical variables control Geometrical optics Wireless networks Fasteners Cost function Refractive index

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 482 483 484 485 486 487 488 489 490 491 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：