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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,578 篇 会议
376 篇 期刊文献
93 册 图书
6 篇 学位论文
2 篇 科技报告

馆藏范围

2,055 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

558 篇 工学
- 378 篇 计算机科学与技术...
- 298 篇 软件工程
- 250 篇 电气工程
- 42 篇 控制科学与工程
- 37 篇 信息与通信工程
- 16 篇 电子科学与技术（可...
- 11 篇 仪器科学与技术
- 8 篇 航空宇航科学与技...
- 7 篇 机械工程
- 3 篇 核科学与技术
- 3 篇 生物医学工程（可授...
- 2 篇 材料科学与工程（可...
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 测绘科学与技术
- 2 篇 环境科学与工程（可...
41 篇 理学
- 15 篇 数学
- 10 篇 系统科学
- 9 篇 物理学
- 4 篇 科学技术史(分学科...
- 3 篇 生物学
- 3 篇 统计学（可授理学、...
32 篇 管理学
- 27 篇 管理科学与工程(可...
- 4 篇 公共管理
29 篇 教育学
- 29 篇 教育学
- 4 篇 心理学(可授教育学...
5 篇 文学
- 4 篇 新闻传播学
4 篇 医学
- 2 篇 临床医学
2 篇 经济学
- 1 篇 理论经济学
2 篇 农学
- 2 篇 作物学
1 篇 法学
1 篇 艺术学

主题

2,055 篇 programming envi...
435 篇 programming prof...
286 篇 application soft...
286 篇 computer languag...
264 篇 computer science
164 篇 hardware
159 篇 software enginee...
157 篇 visualization
150 篇 parallel program...
142 篇 java
138 篇 prototypes
137 篇 computer archite...
128 篇 concurrent compu...
128 篇 software tools
123 篇 libraries
115 篇 user interfaces
105 篇 distributed comp...
104 篇 parallel process...
99 篇 object oriented ...
96 篇 object oriented ...

机构

7 篇 ibm thomas j. wa...
6 篇 department of ed...
5 篇 department of co...
5 篇 department of co...
5 篇 oregon state uni...
5 篇 department of so...
5 篇 department of co...
5 篇 department of ap...
5 篇 department of co...
4 篇 department of co...
4 篇 department of co...
4 篇 carnegie mellon ...
4 篇 school of electr...
4 篇 department of co...
4 篇 univ bern softwa...
4 篇 department of el...
4 篇 department of co...
4 篇 department of ch...
4 篇 institute for sy...
4 篇 department of co...

作者

6 篇 j. sztipanovits
6 篇 caitlin kelleher
6 篇 v. dagdilelis
6 篇 m. burnett
6 篇 a. corradi
6 篇 hideo nagumo
6 篇 yasuhiro takemur...
6 篇 kelleher caitlin
5 篇 a. cockburn
5 篇 j. kramer
5 篇 g. costagliola
5 篇 girba tudor
5 篇 hidekuni tsukamo...
5 篇 michelle ichinco
5 篇 a. kalinov
4 篇 c. bonello
4 篇 r. kress
4 篇 m. engels
4 篇 g. karsai
4 篇 scott d. fleming

语言

1,984 篇 英文
69 篇 其他
2 篇 西班牙文
1 篇 葡萄牙文
1 篇 中文

检索条件"主题词=Programming Environments"

共 2055 条记录，以下是131-140 订阅

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

详细简洁

排序：

HaoCL: Harnessing Large-scale Heterogeneous Processors Made Easy

HaoCL: Harnessing Large-scale Heterogeneous Processors Made ...

引用

International Conference on Distributed Computing Systems

作者： Yao Chen Xin Long Jiong He Yuhang Chen Hongshi Tan Zhenxiang Zhang Marianne Winslett Deming Chen Advanced Digital Sciences Center Alibaba Group Institute of High Performance Computing A*Star National University of Singapore University of Illinois at Urbana-Champaign

ISBN: (数字)9781728170022

ISBN: (纸本)9781728170039

The pervasive adoption of Deep Learning (DL) and Graph Processing (GP) makes it a de facto requirement to build large-scale clusters of heterogeneous accelerators including GPUs and FPGAs. The OpenCL programming framework can be used on the individual nodes of such clusters but is not intended for deployment in a distributed manner. Fortunately, the original OpenCL semantics naturally fit into the programming environment of heterogeneous clusters. In this paper, we propose a heterogeneity-aware OpenCL-like (HaoCL) programming framework to facilitate the programming of a wide range of scientific applications including DL and GP workloads on large-scale heterogeneous clusters. With HaoCL, existing applications can be directly deployed on heterogeneous clusters without any modifications to the original OpenCL source code and without awareness of the underlying hardware topologies and configurations. Our experiments show that HaoCL imposes a negligible overhead in a distributed environment, and provides near-liner speedups on standard benchmarks when computation or data size exceeds the capacity of a single node. The system design and the evaluations are presented in this demo paper.

关键词： Program processors Semantics programming Topology System analysis and design Standards programming environments

来源：评论

学校读者我要写书评

暂无评论

MASA-StarPU: Parallel Sequence Comparison with Multiple Scheduling Policies and Pruning

MASA-StarPU: Parallel Sequence Comparison with Multiple Sche...

引用

International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)

作者： Rafael A. Lopes Samuel Thibault Alba C. M. A. Melo Department of Computer Science University of Brasilia (UnB) Brasilia Brazil Lab. Bordeleais de Recherche en Informatique INRIA Bordeaux Bordeaux France University of Brasilia Brasilia Brazil

ISBN: (数字)9781728199245

ISBN: (纸本)9781728199252

Sequence comparison tools based on the Smith-Waterman (SW) algorithm provide the optimal result but have high execution times when the sequences compared are long, since a huge dynamic programming (DP) matrix is computed. Block pruning is an optimization that does not compute some parts of the DP matrix and can reduce considerably the execution time when the sequences compared are similar. However, block pruning's resulting task graph is dynamic and irregular. Since different pruning scenarios lead to different pruning shapes, we advocate that no single scheduling policy will behave the best for all scenarios. This paper proposes MASA-StarPU, a sequence aligner that integrates the domain specific framework MASA to the generic programming environment StarPU, creating a tool which has the benefits of StarPU (i.e., multiple task scheduling policies) and MASA (i.e., fast sequence alignment). MASA-StarPU was executed in two different multicore platforms and the results show that a bad choice of the scheduling policy may have a great impact on the performance. For instance, using 24 cores, the 5M × 5M comparison took 1484s with the dmdas policy whereas the same comparison took 3601s with lws. We also show that no scheduling policy behaves the best for all scenarios.

关键词： Multicore processing Task analysis DNA Tools Graphics processing units Shape programming environments

来源：评论

学校读者我要写书评

暂无评论

Pocket Labs Development Using NI myDAQ Data Acquisition Device

Pocket Labs Development Using NI myDAQ Data Acquisition Devi...

引用

Problems of Automated Electrodrive. Theory and Practice (PAEP), IEEE

作者： Mykola Anishchenko Valentyn Zaleskyi National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine

ISBN: (数字)9781728199351

ISBN: (纸本)9781728199368

The paper presents the Pocket Lab for studying DC micro motors. The main goal of this laboratory is to study a DC motor with a pulse-width converter. The laboratory setup includes DC motor, voltage converter board and portable data acquisition device NI myDAQ. The main component of the converter board is an H-Bridge designed for driving DC and stepper motors. To perform the laboratory setup it's necessary to have installed drivers NI ELVISmx and the programming environment NI LabVIEW and NI myDAQ connected with the converter board plugged into PC. The control signals from digital outputs of the NI myDAQ allows to perform rotation direction change and braking of the tested DC motor. Virtual Instruments have been developed in NI LabVIEW for studying motor speed control, reversing and electric braking, pulse-width modulation, measuring speed and current, and plotting the speed-current diagram. The description of the experiment setup and the procedure of conducting experiments are given below. The results of some experiments have been presented. The advantages of Pocket Labs and the problems of their integration into the educational process are highlighted.

关键词： Pulse measurements Instruments Laboratories Data acquisition Velocity control DC motors programming environments

来源：评论

学校读者我要写书评

暂无评论

Implementing micro High Performance Computing (µHPC) artifact: Affordable HPC Facilities for Academia

Implementing micro High Performance Computing (µHPC) artifa...

引用

Frontiers in Education (FIE) Conference

作者： Nkundwe Moses Mwasaga Mike Joy School of Computing University of Eastern Finland Joensuu Finland Computer Science Warwick University Coventry UK

ISBN: (数字)9781728189611

ISBN: (纸本)9781728189628

This Research to Practice Full Paper presents the experience of implementing micro HPC (μHPC) clusters in the education context. In developing countries, access to and experience of High Performance Computing (HPC) facilities (which are important for the economic development of those countries) has presented challenges to academic institutions due to prohibitive costs of acquisition and maintenance of HPC systems. These challenges affect the delivery of courses, which include HPC and parallel computation in their syllabi. However, due to advancements in integrated circuit technologies, credit-card-sized personal computers (PCs) have emerged with the capabilities of a fully-fledged PC. These credit-card-sized PCs offer an opportunity for system integrators to build micro HPC (μHPC) clusters which, apart from their efficiency, scalability and availability, have a number of attributes which are not shared with conventional data-center based HPC clusters These include their low power consumption, portability, diskless nodes, cost-effectiveness and excellent price to performance ratios. μHPC clusters are, therefore, ideally suited to support curricula in all educational disciplines that demand parallel computation. The purpose of this study is to investigate the implementation of μHPC to find out from students how ease of use of a μHPC system is to acquire skills and knowledge of HPC. We used focus groups and surveys to gather data in the framework of the design science research paradigm. The implementation of μHPC clusters involved a demonstration of the system in the problem context that provided valuable lessons. The results indicate that μHPC is the ease of use HPC artifact for learning about management, integration, deployment, installation, downloading, and running of parallel programs.

关键词： Tools Linux Graphics processing units programming environments Usability Universal Serial Bus Scalability

来源：评论

学校读者我要写书评

暂无评论

Low-Cost Industrial Controller based on the Raspberry Pi Platform

Low-Cost Industrial Controller based on the Raspberry Pi Pla...

引用

IEEE International Conference on Industrial Technology (ICIT)

作者： Gustavo Vieira José Barbosa Paulo Leitão Lucas Sakurada Federal Center of Technology Education Celso Suckow da Fonseca (CEFET) Rio de Janeiro RJ Brasil Research Center in Digitalization and Intelligent Robotics (CeDRI) Instituto Politécnico de Bragança Campus de Santa Apolónia Bragança Portugal Federal Technological University of Paraná (UTFPR) Campus Campo Mourão Brasil

ISBN: (数字)9781728157542

ISBN: (纸本)9781728157559

Programmable Logic Controllers (PLCs) still are the state-of-the-art regarding the industrial automation control, but the Industry 4.0 advent is imposing new requirements, e.g., related to the capability to acquire and process data on realtime at the edge computational layer. On the other hand, the current availability of cheaper and more powerful processors opens new windows to develop low-cost and more advanced industrial controllers aligned with the Industry 4.0 principles. In this context, an important challenge is to improve the current state-of-the-art PLCs by taking into consideration the low-cost but powerful computational boards that will allow to embed IoT technologies and data analytics. This work describes the development of a low-cost but powerful industrial controller based on the use of the single-board computer Raspberry Pi, which allows executing logic control programs codified in IEC 61131-3, IEC 61499, or even in Java or Python, while maintaining the industrial requirements. The proposed platform was experimentally used to control an automation process based on a Fischertechniks platform.

关键词： IEC Standards Automation Hardware Computer languages Open source software programming environments Industries

来源：评论

学校读者我要写书评

暂无评论

Verified from Scratch: Program Analysis for Learners' Programs

Verified from Scratch: Program Analysis for Learners' Progra...

引用

IEEE International Conference on Automated Software Engineering (ASE)

作者： Andreas Stahlbauer Christoph Frädrich Gordon Fraser University of Passau Germany

ISBN: (数字)9781450367684

ISBN: (纸本)9781728172811

Block-based programming languages like Scratch support learners by providing high-level constructs that hide details and by preventing syntactically incorrect programs. Questions nevertheless frequently arise: Is this program satisfying the given task? Why is my program not working? To support learners and educators, automated program analysis is needed for answering such questions. While adapting existing analyses to process blocks instead of textual statements is straightforward, the domain of programs controlled by block-based languages like Scratch is very different from traditional programs: In Scratch multiple actors, represented as highly concurrent programs, interact on a graphical stage, controlled by user inputs, and while the block-based program statements look playful, they hide complex mathematical operations that determine visual aspects and movement. Analyzing such programs is further hampered by the absence of clearly defined semantics, often resulting from ad-hoc decisions made by the implementers of the programming environment. To enable program analysis, we define the semantics of Scratch using an intermediate language. Based on this intermediate language, we implement the Bastet program analysis framework for Scratch programs, using concepts from abstract interpretation and software model checking. Like Scratch, Bastet is based on Web technologies, written in TypeScript, and can be executed using NodeJS or even directly in a browser. Evaluation on 279 programs written by children suggests that Bastet offers a practical solution for analysis of Scratch programs, thus enabling applications such as automated hint generation, automated evaluation of learner progress, or automated grading.

关键词： Computer languages Visualization Semantics Model checking Software Task analysis programming environments

来源：评论

学校读者我要写书评

暂无评论

Virtual Tool For Analysis of Some Elemental Signals

Virtual Tool For Analysis of Some Elemental Signals

引用

International Conference on Electronics, Computers and Artificial Intelligence (ECAI)

作者： Teodorescu Rodica-Mihaela Department of Electronics Communications and Computers University of Pitesti Pitesti Romania

ISBN: (数字)9781728168432

ISBN: (纸本)9781728168449

The paper presents the virtual tool made in the Labview graphical programming environment, for the analysis of some elementary signals. Starting from the theoretical study, we arrive at the presentation of the results obtained, on the front panel, for four types of elementary signals. The paper comes in support of those who want to create a virtual tool to quickly and accurately analyze, in time and frequency, some proposed signals.

关键词： Time-frequency analysis Fourier transforms Tools Instruments programming environments Writing User interfaces

来源：评论

学校读者我要写书评

暂无评论

Concept-Monadic Model of Technological Environment of programming

Concept-Monadic Model of Technological Environment of Progra...

引用

IEEE International Conference on System Analysis & Intelligent Computing (SAIC)

作者： Igor Redko Petro Yahanov Maksym Zylevich Faculty of Electronics National Technical University of Ukraine «Igor Sikorsky Kiev Polytechnic Institute» Kyiv Ukraine

ISBN: (数字)9781728190839

ISBN: (纸本)9781728190846

In this paper, the principles of an adaptive technological programming environment based on an intersubjective paradigm are developed. For this purpose, the understanding of programming is adequately enriched by introducing conceptual logical structures. This allows you to move away from the general concept of programming as a subject-defined activity and to lay the foundations for its technologization.

关键词： Adaptation models Computational modeling programming programming environments Quality management Investment

来源：评论

学校读者我要写书评

暂无评论

A Node-Style Visual programming Environment for the nuXmv Model Checker

A Node-Style Visual Programming Environment for the nuXmv Mo...

引用

IEEE Global Conference on Consumer Electronics (GCCE)

作者： Hayato Naito Tomoyuki Yokogawa Nao Igawa Sousuke Amasaki Hirohisa Aman Kazutami Arimoto Okayama Prefectural University Okayama Japan Ehime University Ehime Japan

ISBN: (数字)9781728198026

ISBN: (纸本)9781728198033

In this paper, we introduce visual programming for supporting to conduct model checking. We focus on the nuXmv model-checker and propose a visual programming language for describing an input model for nuXmv. Our visual programming language provides a node-graph style interface, where a data flow of a target system is represented as nodes and edges. We adopt the Node-RED visual scripting system to implement our visual programming language and develop a programming environment that can be executed in a web browser.

关键词： Visualization Computer languages Conferences programming Model checking Consumer electronics programming environments

来源：评论

学校读者我要写书评

暂无评论

Decision Making Tools For Choice Software Development Environment

Decision Making Tools For Choice Software Development Enviro...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Oksana Pichugina National Aerospace University “KHAI” Kharkiv Ukraine

ISBN: (数字)9780738142364

ISBN: (纸本)9780738142418

Analytic Hierarchy Process is used as a powerful decision-making tool in a choice of software development environment of IT-company. This problem is of crucial importance for many IT companies and single developers. It is highly complicated due to the involvement of many contradicting criteria of choice and an absence of numerical assessments. A Saaty method shows an efficiency for the problem under consideration. The constructed model can be easily extended onto a wide class of decision-making tasks arising in the IT field and many other research areas.

关键词： Analytic hierarchy process Companies Tools Software Numerical models Task analysis programming environments

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共206页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：