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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

370 篇 会议
112 篇 期刊文献
10 册 图书

馆藏范围

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

日期分布

学科分类号

304 篇 工学
- 202 篇 计算机科学与技术...
- 151 篇 软件工程
- 46 篇 信息与通信工程
- 46 篇 控制科学与工程
- 26 篇 电气工程
- 25 篇 机械工程
- 24 篇 生物医学工程（可授...
- 23 篇 土木工程
- 22 篇 电子科学与技术（可...
- 18 篇 建筑学
- 18 篇 生物工程
- 16 篇 安全科学与工程
- 14 篇 船舶与海洋工程
- 13 篇 仪器科学与技术
- 13 篇 化学工程与技术
- 12 篇 交通运输工程
- 12 篇 网络空间安全
164 篇 理学
- 87 篇 数学
- 29 篇 物理学
- 24 篇 统计学（可授理学、...
- 23 篇 生物学
- 21 篇 系统科学
- 14 篇 海洋科学
- 13 篇 化学
78 篇 管理学
- 58 篇 管理科学与工程(可...
- 34 篇 工商管理
- 28 篇 图书情报与档案管...
14 篇 医学
- 13 篇 临床医学
- 12 篇 基础医学(可授医学...
12 篇 教育学
- 12 篇 教育学
7 篇 经济学
7 篇 法学
6 篇 农学
1 篇 文学
1 篇 军事学

主题

12 篇 optimization
11 篇 computer science
11 篇 support vector m...
10 篇 wireless sensor ...
9 篇 artificial intel...
8 篇 software enginee...
8 篇 computational mo...
8 篇 software
7 篇 neural networks
7 篇 monitoring
7 篇 navigation
7 篇 analytical model...
6 篇 reliability
6 篇 decision support...
6 篇 graphics process...
6 篇 robot sensing sy...
6 篇 predictive model...
6 篇 visualization
6 篇 decision making
6 篇 artificial neura...

机构

15 篇 department of co...
14 篇 department of sy...
12 篇 department of co...
9 篇 department of co...
8 篇 department of co...
8 篇 computer techniq...
7 篇 department of co...
6 篇 department of ap...
6 篇 programming lang...
6 篇 department of co...
6 篇 computer enginee...
5 篇 computer enginee...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 department of co...
5 篇 national technic...
5 篇 programming lang...
5 篇 mart learning ed...
5 篇 computer enginee...

作者

12 篇 mostafa abotaleb
10 篇 gurkan tuna
10 篇 xue jingling
8 篇 tuna gurkan
8 篇 kayhan gulez
8 篇 börcsök josef
8 篇 hayek ali
8 篇 kuchuk nina
8 篇 krini abderrahim
8 篇 abdelhameed ibra...
7 篇 boercsoek josef
7 篇 lee jaejin
7 篇 nina kuchuk
6 篇 sarkar biswajit
6 篇 gulez kayhan
6 篇 hovorushchenko t...
6 篇 v. cagri gungor
6 篇 josef börcsök
6 篇 roy abi zeid dao...
6 篇 abotaleb mostafa

语言

433 篇 英文
55 篇 其他
2 篇 中文
1 篇 日文
1 篇 土耳其文

检索条件"机构=Computer Programming Engineering"

共 492 条记录，以下是401-410 订阅

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

详细简洁

排序：

Practical weak-atomicity semantics for Java STM 08

Practical weak-atomicity semantics for Java STM

引用

20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08

作者： Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)9781595939739

As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead. As an alternative, many in the community have informally proposed that a single global lock semantics [18, 10], where transaction semantics are mapped to those of regions protected by a single global lock, provide an intuitive and efficiently implementable model for programmers. In this paper, we explore the implementation and performance implications of single global lock semantics in a weakly atomic STM from the perspective of Java, and we discuss why even recent STM implementations fall short of these semantics. We describe a new weakly atomic Java STM implementation that provides single global lock semantics while permitting concurrent execution, but we show that this comes at a significant performance cost. We also propose and implement various alternative semantics that loosen single lock requirements while still providing strong guarantees. We compare our new implementations to previous ones, including a strongly atomic STM. [24] Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Assessing game-themed programming assignments for CS1/2 courses 08

Assessing game-themed programming assignments for CS1/2 cour...

引用

3rd International Conference on Game Development in computer Science Education, GDCSE 2008

作者： Sung, Kelvin Panitz, Michael Rosenberg, Rebecca Anderson, Ruth Computing and Software Systems University of Washington Bothell United States Software Programming Cascadia Community College United States Teaching and Learning Center University of Washington Bothell United States Computer Science and Engineering University of Washington Seattle United States

ISBN: (纸本)9781605580579

We have designed and implemented game-themed programming assignment modules targeted specifically for adoption in existing introductory programming classes. These assignments are self-contained, so that faculty members with no background in graphics/gaming can selectively pick and choose a subset to combine with their own assignments in existing classes. This paper begins with a survey of previous results, followed by a description of the game-themed assignment modules. The paper then focuses on our efforts in assessing the assignments: including details of the procedures and instruments for evaluating student achievement of learning outcomes and attitudes towards the assignments, as well as the extra effort required of faculty to adopt the assignments in existing clases. Copyright 2008 ACM.

关键词： Education computing

来源：评论

学校读者我要写书评

暂无评论

The design of an asynchronous web-based project review system to support studio-based learning in computing education

The design of an asynchronous web-based project review syste...

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Anukrati Agrawal Christopher D. Hundhausen Visualization and End User Programming Laboratory School of Electrical Engineering and Computer Science Washington State University Pullman WA USA

ISBN: (纸本)9781424425280

Learning computer science is no longer simply a matter of learning computer programming. Indeed, modern day computing jobs demand design, communication and collaborative skills as well. In order to address this need and make computing education more engaging, motivating, and community-oriented, we have been exploring a ldquostudio basedrdquo approach in which students (a) construct computational solutions to problems that have many possible solution strategies, and then (b) present their solutions to their peers and instructors for feedback and discussion. In the fall of 2007, we implemented this approach in a pre-CS1course by requiring students to present their solutions to five course programming projects in face-to-face review sessions. Interview and observational data collected in this course pointed out several practical and logistical problems surrounding the face-to-face review sessions that diminished their educational effectiveness. To address these problems, we describe the preliminary design of a novel asynchronous Web-based project review system to support and augment face-to-face studio-based review sessions.

关键词： Book reviews Education computer science Learning systems computers programming Interviews

来源：评论

学校读者我要写书评

暂无评论

The design and experimental evaluation of a tool to support the construction and wizard-of-oz testing of low fidelity prototypes

The design and experimental evaluation of a tool to support ...

引用

IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC)

作者： Christopher Hundhausen Stephen Trent Anzor Balkar Mohamed Nuur Visualization and End User Programming Laboratory School of Electrical Engineering and Computer Science Washington State University Pullman WA USA

ISBN: (纸本)9781424425280

Because they are easy to create and modify, low fidelity prototypes are commonly used in early evaluations of user interface designs. Designers typically use either pen-and-paper or various computer-based tools to create and test low fidelity prototypes. However, our informal analyses of these technologies indicate that they do not optimally support the two key, complementary tasks of (a) prototype creation and (b) wizard-of-oz testing. To address this problem, we have developed WOZ PRO, a pen-based software environment for the quick and easy creation and testing of low fidelity user interface prototypes. When designing interface screens in WOZ PRO, designers can easily (a) propagate a design change to other related screens, and (b) specify the set of screens that are reachable from a given screen. In a wizard-of-oz test, WOZ PRO aims to reduce the cognitive load on the wizard by allowing navigation only to those next screens that are valid. An experimental comparison of WOZ PRO and pen-and-paper provides evidence of WOZ PROpsilas potential, and insight into how its design might be improved.

关键词： Prototypes Subspace constraints Navigation Art User interfaces Construction industry Particle measurements

来源：评论

学校读者我要写书评

暂无评论

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...

引用

2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1

作者： Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan

This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads. A DC-to-DC converter is connected to the output terminals of the studied SOFC for stabilizing output voltage and current fluctuations under different loading conditions. The PWM inverter connected to the output terminals of the DC-to-DC converter is operated under voltage-controlled mode to regulate the voltage profile across the connected loads. It can be concluded from the simulation results that the proposed voltage and frequency droop controllers of the PWM inverter may operate satisfactory under stand-alone mode.

关键词： Solid oxide fuel cells (SOFC) DC-to-DC converter PWM inverter Stand-alone mode

来源：评论

学校读者我要写书评

暂无评论

Redundant optical data transmission using semiconductor lasers

Redundant optical data transmission using semiconductor lase...

引用

ACS/IEEE International Conference on computer Systems and Applications

作者： H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY

This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected error for some binary symmetric and non-symmetric channels protected by appropriate codes. In detail, communication via different binary symmetric channels (BSCs), generalized erasure channels and symmetrized binary non symmetric channels (BNSCs) is investigated. Simple upper bounds are given, relating the new formulas to that one of the BSC Finally the results in connection with an inequality for proper codes are applied to multi wavelength optical transmission through channels generated by semiconductor lasers.

关键词： Data communication Semiconductor lasers Error probability Optical transmitters Protection Safety Wavelength division multiplexing Laser theory Upper bound Linear code

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on Software engineering Advances - ICSEA 2007

作者： Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany

ISBN: (纸本)0769529372

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical E-Commerce applications. We present an approach to model these applications with the unified modeling language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

ITKBoard: A visual dataflow language for biomedical image processing

ITKBoard: A visual dataflow language for biomedical image pr...

引用

2nd International Conference on Software and Data Technologies

作者： Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)9789898111050

Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides a complete framework for a range of image processing tasks, and is specifically aimed at segmentation and registration tasks for both two and three dimensional images. This paper describes a visual dataflow language, ITKBoard, designed to simplify building, and more significantly, experimenting with ITK applications. The ease with which image processing experiments can be interactively modified and controlled is an important aspect of the design. The experimenter can focus on the image processing task at hand, rather than worry about the underlying software. ITKBoard incorporates composite and parameterised components, and control constructs, and relies on a novel hybrid dataflow model, combining aspects of both demand and data-driven execution.

关键词： dataflow programming visual programming languages image processing software ITK ITKBoard

来源：评论

学校读者我要写书评

暂无评论

Attracting and retaining women in computer science and engineering: Evaluating the results

Attracting and retaining women in computer science and engin...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Keathly, David Akl, Robert Garlick, Ryan University of North Texas United States IEEE Computer Society ACM and the UNT Programming Teams IEEE University of North Texas Department of Computer Science and Engineering United States

computer science and engineering communities have been exploring a variety of activities and techniques to attract and retain more students, especially women and minorities, to computer science and computer engineering degree programs1. This paper briefly describes the efforts and results of a plan for actively recruiting young women into undergraduate computer engineering and computer science programs hosted by the University of North Texas (UNT). It also describes a series of activities aimed at improving the retention rate of students already in our programs, particularly during the freshman year. Such recruitment and retention efforts are critical to the country's efforts to increase the number of engineering professionals, and are a priority for the computer Science and engineering (CSE) Department at UNT. We initially designed a three-part plan to achieve our recruitment and retention goals: Sponsorship of portable and mobile summer computer engineering robotics camps for middle and high-school women students, coordinating with the regional Girl Scouts councils and other organizations to help with the recruitment;Creation of an Ambassador program using young women currently enrolled in the upper division of current computer science and computer engineering programs as a form of outreach to area high schools and junior colleges;and Expansion of our successful undergraduate mentoring program by using the Ambassador cohort mentioned above as mentors for incoming freshman and first-year transfer women entering our programs. This paper will focus primarily on the summer camp program and present an analysis of the results we have seen to date after 2 years of camp activities. Results from student surveys and parent surveys will be presented. The paper concludes with recommended changes and improvements in the program, as well as a discussion of adaptations that would create programs suitable for implementation at other institutions as well as programs aimed at a dif

关键词： computer science

来源：评论

学校读者我要写书评

暂无评论

Transactional programming in a multi-core environment 07

Transactional programming in a multi-core environment

引用

2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPoPP'07

作者： Adl-Tabatabai, Ali-Reza Kozyrakis, Christos Saha, Bratin Programming Systems Lab. Microprocessor Technology Lab. Intel Corporation Computer Systems Lab. Electrical Engineering Department Stanford University

ISBN: (纸本)1595936025

With single thread performance starting to plateau, HW architects have turned to chip level multiprocessing (CMP) to increase processing power. All major microprocessor companies are aggressively shipping multi-core products in the mainstream computing market. Moore's law will largely be used to increase HW thread-level parallelism through higher core counts in a CMP environment. CMPs bring new challenges into the design of the software system stack. In this tutorial, we talk about the shift to multi-core processors and the programming implications. In particular, we focus on transactional programming. Transactions have emerged as a promising alternative to lock-based synchronization that eliminates many of the problems associated with lock-based synchronization. We discuss the design of both hardware and software transactional memory and quantify the tradeoffs between the different design points. We show how to extend the Java and C languages with transactional constructs, and how to integrate transactions with compiler optimizations and the language runtime (e.g., memory manager and garbage collection).

关键词： computer programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共50页 << < 37 38 39 40 41 42 43 44 45 46 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：