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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是4981-4990 订阅

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

详细简洁

排序：

Beam Pattern Synthesis in the Presence of Interference and Multipath

Beam Pattern Synthesis in the Presence of Interference and M...

引用

international symposium on Wireless Communication systems (ISWCS)

作者： Lin Qu Wee Ser Zhenhai Shao Masayuki Fujise Centre for Signal Processing School of Electrical & Electronic Engineering Nanyang Technological University Singapore Singapore Wireless Communication Laboratory Singapore

In this paper, an improved beampattern synthesis technique based on generalized sidelobe canceller (GSC) structure is proposed. Constrained optimization algorithm is used to control the beampattern from the main beam. Instead of selecting the blocking matrix in the noise subspace which is orthogonal to the signal-plus-interference subspace, we use the cyclostationary property of the transmitting signals to ensure that the blocking matrix spans the interference-plus-noise subspace. This can help us to get a better control of the beampattern, especially in the interference-limited and time-varying environment and when the interference is close to the look direction. We also consider the case when multipath signals exist along with the desired signal, and put forward an improved structure to solve this problem. Numerical results show that compared with other GSC-based structures, our proposed beampattern synthesis technique is able to reject strong directional interferences and multipath signal.

关键词： Signal synthesis Multiaccess communication Wireless communication Covariance matrix Communication system control Working environment noise Quadratic programming Interference suppression Signal processing Laboratories

来源：评论

学校读者我要写书评

暂无评论

Transforming a control design model into an efficient production application

Transforming a control design model into an efficient produc...

引用

IEEE international Conference on Computer-Aided Design

作者： Michael Beine Ulrich Eisemann Rainer Otterbach dSPACE GmbH Germany

Model-based design methods are well-established for the development of embedded control systems. Rapid control prototyping and automatic production code generation are widely applied to decisively speed up the software development process of electronic control units (ECUs). This paper describes the necessary transformation steps of the controller model from early controller design to final implementation on production hardware

关键词： Control design Production Automatic control Automatic generation control Application software Design methodology Control system synthesis Software prototyping programming Process control

来源：评论

学校读者我要写书评

暂无评论

A Candidate Fault Model for AspectJ Pointcuts

A Candidate Fault Model for AspectJ Pointcuts

引用

international symposium on Software Reliability Engineering (ISSRE)

作者： Jon S. Baekken Roger T. Alexander School of Electrical Engineering and Computer Science Washington State University Pullman WA USA School of Electrical Engineering and Computer Science Washington State University Pullman Washington

We present a candidate fault model for pointcuts in AspectJ programs. The fault model identifies faults that we believe are likely to occur when writing pointcuts in the AspectJ language. Categories of fault types are identified, and each individual fault type is described as categorized. We argue that a fault model that focuses on the unique constructs of the AspectJ language is needed for the systematic and effective testing of AspectJ programs. Our pointcut fault model is a first step towards such a model

关键词： Object oriented modeling Fault diagnosis System testing Java programming profession Software systems Computer languages Computer science Writing Costs

来源：评论

学校读者我要写书评

暂无评论

The FMICS-jETI Platform: Status and Perspectives

The FMICS-jETI Platform: Status and Perspectives

引用

international symposium on Leveraging Applications of Formal Methods, Verification and Validation ( ISoLA)

作者： Tiziana Margaria Christian Kubczak Bernhard Steffen Stefan Naujokat Chair of Service and Software Engineering Universität Postdam Potsdam Germany Chair of Software Engineering Universität Dortmund Dortmund Germany Chair of Programming Systems Universität Dortmund Dortmund Germany

One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified Software Repository Grand Challenge [11] offers a great opportunity to reach this goal, resulting in a more robust and solid software industry in Europe. We demonstrate here the current status of the FMICS-jETIplatform1, a collaborative demonstrator based on the jETI technology2, that provides as repository a collection of verification tools stemming from the activities of the FMICS working group and facilities to orchestrate them in a remote and simple way. At the same time FMICS-jETI itself is a contribution to the VSR repository and thus to the Grand Challenge.

关键词： Software tools Application software Computer industry Testing Software engineering Collaborative tools Collaborative software Robustness Solids Europe

来源：评论

学校读者我要写书评

暂无评论

programming Hierarchical TS Fuzzy systems

Programming Hierarchical TS Fuzzy Systems

引用

international Workshop on Genetic and Evolving systems, GEFS

作者： Yuehui Chen Lizhi Peng Ajith Abraham School of Information Science and Engineering Jinan University Jinan Shandong China School of Computer Science and Engineering Chung-Ang University Seoul South Korea

In this paper, we focus on an evolutionary algorithm to design hierarchical or multilevel fuzzy system (architecture and parameters) automatically. This research work presents an automatic way of evolving hierarchical Takagi-Sugeno fuzzy systems (TS-FS). The hierarchical structure is evolved using probabilistic incremental program evolution (PIPE) with specific instructions. The fine tuning of the if-then rule's parameters encoded in the structure is accomplished using particle swarm optimization (PSO). The proposed method interleaves both PIPE and PSO optimizations. Except for the randomly initialized hierarchical structure and parameters, we further explore the embedding of a clustering algorithm to speed up the learning algorithm. The new method results in a smaller rule-base and good learning ability. The proposed hierarchical TS-FS is evaluated by using Mackey-Glass chaotic time-series forecasting problem. When compared to other hierarchical TS-FS the proposed approach exhibits competing results with high accuracy and smaller size of hierarchical architecture

关键词： Fuzzy systems Function approximation Clustering algorithms Input variables Fuzzy control Takagi-Sugeno model Associative memory Binary trees Genetics Optimization methods

来源：评论

学校读者我要写书评

暂无评论

LogTM: log-based transactional memory

LogTM: log-based transactional memory

引用

IEEE symposium on High-Performance Computer Architecture

作者： K.E. Moore J. Bobba M.J. Moravan M.D. Hill D.A. Wood Department of Computer Sciences University of Wisconsin Madison USA

Transactional memory (TM) simplifies parallel programming by guaranteeing that transactions appear to execute atomically and in isolation. Implementing these properties includes providing data version management for the simultaneous storage of both new (visible if the transaction commits) and old (retained if the transaction aborts) values. Most (hardware) TM systems leave old values "in place" (the target memory address) and buffer new values elsewhere until commit. This makes aborts fast, but penalizes (the much more frequent) commits. In this paper, we present a new implementation of transactional memory, log-based transactional memory (LogTM), that makes commits fast by storing old values to a per-thread log in cacheable virtual memory and storing new values in place. LogTM makes two additional contributions. First, LogTM extends a MOESI directory protocol to enable both fast conflict detection on evicted blocks and fast commit (using lazy cleanup). Second, LogTM handles aborts in (library) software with little performance penalty. Evaluations running micro- and SPLASH-2 benchmarks on a 32-way multiprocessor support our decision to optimize for commit by showing that only 1-2% of transactions abort.

关键词： Hardware Proposals Memory management Protocols Concurrent computing Parallel programming Software libraries Software performance Yarn Software systems

来源：评论

学校读者我要写书评

暂无评论

Continuous Software Test Distributed Execution and Integrated into the Globus Toolkit

Continuous Software Test Distributed Execution and Integrate...

引用

international symposium on Parallel and Distributed Computing

作者： Christoph Reich Bettina Scharpf Hochschule Furtwangen University Furtwangen Germany

ISBN: (纸本)9780769526381;0769526381

This article shows how the idea of continuous software testing by Rothermel and Harrold (1996) of a world wide working group can be well integrated into the grid computing paradigm using the Globus Toolkit (Saff and Ernst, 2004). This kind of testing assumes a lot of computational resources provided by a regression test center. The interaction with the test center is done through Web services implemented by the new developed Unit Test Center Grid Web Service (UTCGWS). UTCGWS is the interface to the developer IDEs and does compiling, deploying, distributing regression test and information managing. For the distribution of unit tests in a grid environment a simple distribution algorithm has been developed

关键词： Software tools Software testing Web services Information management Software performance programming Collaborative software System testing Grid computing Software systems

来源：评论

学校读者我要写书评

暂无评论

Transparent Distributed programming under Linux

Transparent Distributed Programming under Linux

引用

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

作者： K. Karimi M. Sharifi School of Computer Science University of Windsor Windsor ONT Canada Department of Computer Engineering Iran University of Science and Technology Tehran Iran

Developing parallel and distributed programs is usually considered a hard task. One has to have a good understanding of the problem domain, as well as the target hardware, and map the problem to the available hardware resources. The resulting program is often hard to port to another system. The development and maintenance process may thus be costly and time-consuming. In this paper we propose giving priority to hiding the details of distributed programming behind normal data sharing and synchronisation mechanisms. The programs are thus written as if they are meant to be run on a single, parallel computer. The developers still have to divide the task and make sure that the problem is solved in parallel, but the details of data transfer and synchronisation over a network are hidden. The resulting programs can thus be developed on nondistributed, non-parallel environments, and then be run on a variety of distributed and/or parallel platforms. Though such programs may not be as optimised as programs written specifically for a distributed computer, the speedups in programming time and costs may offset the losses. In this paper we introduce Distributed Inter-Process Communication (DIPC), a heterogeneous distributed programming system that hides inside Linux’s kernel, traps access requests to System V IPC mechanisms (messages, semaphores and shared memories) and delegates them for execution on other computers as needed. The results are then handed back through the kernel to the calling process, which is unaware of any distributed activity. DIPC currently supports Intel, PowerPC, ALPHA, MIPS, SPARC and Motorola 68k processors.

关键词： Linux Kernel Distributed computing Hardware Memory management Concurrent computing Computer science Cost function Performance gain Debugging

来源：评论

学校读者我要写书评

暂无评论

Stabilization of sampled-data T-S fuzzy systems

Stabilization of sampled-data T-S fuzzy systems

引用

systems and Control in Aerospace and Astronautics, 2006. ISSCAA 2006. 1st international symposium on

作者： Huijun Gao Tongwen Chen Space Control and Inertial Technology Research Center Harbin Institute of Technology China Department of Electrical and Computer Engineering University of Alberta Edmonton Canada

ISBN: (纸本)0780393953

This paper investigates the problem of stabilization for a Takagi-Sugeno (T-S) fuzzy system with nonuniform uncertain sampling. The sampling is not required to be periodic, and the only assumption is that the distance between any two consecutive sampling instants is less than a given bound. By using the input delay approach, the T-S fuzzy system with variable uncertain sampling is transformed into a continuous-time T-S fuzzy system with a delay in the state. A new condition guaranteeing asymptotic stability of the closed-loop sampled-data system is derived by a Lyapunov approach plus the free weighting matrix technique. Based on this stability condition, two procedures for designing state-feedback control laws are given: one casts the controller design into a convex optimization by introducing some over design, and the other utilizes the cone complementarity linearization (CCL) idea to cast the controller design into a sequential minimization problem subject to linear matrix inequality (LMI) constraints, which can be readily solved using standard numerical software.

关键词： Lyapunov matrix equations asymptotic stability closed loop systems controllers convex programming fuzzy systems linear matrix inequalities minimisation state feedback Lyapunov approach Takagi-Sugeno fuzzy system asymptotic stability closed-loop sampled-d

来源：评论

学校读者我要写书评

暂无评论

A Metric for Identifying System Exploitation using Buffer Overflow

A Metric for Identifying System Exploitation using Buffer Ov...

引用

IEEE international symposium on Signal Processing and Information Technology (ISSPIT)

作者： Michelle Allgeier Ahmed Desoky Computer Engineering and Computer Science Department University of Louisville Louisville KY USA

Buffer overflow attacks affect the workings of different processes within any computer. It is hypothesized that the number of processes running on the system will change when a buffer overflow has occurred. This hypothesis is tested by gathering data from a Red Hat Linux 9 system and a Windows XP system both before and after exploitation. By using statistical analysis, the data from both systems are compared. The results from the experiment support the hypothesis. On the Red Hat system, the number of processes running after exploitation increases. On the Windows system, the number of processes running decreases due to the fact that explorer responds to the change by restarting itself. Thus, the results support the hypothesis that the number of processes running on a system change after an exploit occurs. These results indicate that a program that monitors the number of processes running on the system and provides statistical feedback about that data will offer a warning if a system has been compromised

关键词： Buffer overflow Computer worms Operating systems programming profession Computer languages Internet Signal processing Information technology Computer science System testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：