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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

46 篇 会议
31 册 图书
24 篇 期刊文献
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

66 篇 工学
- 47 篇 计算机科学与技术...
- 29 篇 电气工程
- 28 篇 软件工程
- 8 篇 电子科学与技术（可...
- 5 篇 控制科学与工程
- 4 篇 信息与通信工程
- 3 篇 机械工程
- 2 篇 建筑学
- 1 篇 仪器科学与技术
- 1 篇 水利工程
- 1 篇 化学工程与技术
- 1 篇 石油与天然气工程
- 1 篇 航空宇航科学与技...
- 1 篇 网络空间安全
6 篇 理学
- 2 篇 地球物理学
- 2 篇 系统科学
- 1 篇 数学
- 1 篇 物理学
6 篇 管理学
- 6 篇 管理科学与工程(可...
5 篇 教育学
- 5 篇 教育学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 药学(可授医学、理...
1 篇 艺术学
- 1 篇 设计学（可授艺术学...

主题

103 篇 program executio...
30 篇 program
16 篇 data
14 篇 command
12 篇 manual
11 篇 print
11 篇 basic
9 篇 file
9 篇 breakpoint
9 篇 display
8 篇 statement
8 篇 legal executions
7 篇 address
7 篇 debugging
7 篇 execution
6 篇 string
6 篇 memory
6 篇 location
5 篇 reference manual
5 篇 commands

机构

2 篇 penn state univ ...
2 篇 naval postgradua...
2 篇 moscow mv lomono...
1 篇 macronix int co ...
1 篇 washington univ ...
1 篇 saarland univ sa...
1 篇 mitchell energy ...
1 篇 acad sinica inst...
1 篇 univ grenoble al...
1 篇 uppsala univ dep...
1 篇 p-core architect...
1 篇 natl taiwan univ...
1 篇 hewlett packard ...
1 篇 georgia inst tec...
1 篇 univ udine udine
1 篇 dep. comp. sci. ...
1 篇 center for secur...
1 篇 university of ce...
1 篇 hebei univ cyber...
1 篇 department of ee...

作者

3 篇 wang meng
2 篇 tian cong
2 篇 grigoriadou mari...
2 篇 kyriakou christi...
2 篇 duan zhenhua
2 篇 gogoulou agorits...
1 篇 kassab mohamad
1 篇 fellman rd
1 篇 david bainbridge
1 篇 liu shaoshan
1 篇 mueller peter
1 篇 brzozowski marci...
1 篇 infante alejandr...
1 篇 izu cruz
1 篇 ronald c. arkin
1 篇 black m
1 篇 budny john a.
1 篇 chang hung-sheng
1 篇 kevin leach
1 篇 langendoerfer pe...

语言

100 篇 英文
3 篇 其他

检索条件"主题词=Program execution"

共 103 条记录，以下是91-100 订阅

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

详细简洁

排序：

Dec :: Pdp10 :: Tops10 Softwarenotebooks :: Vol13 :: Aa-Bh82B-Tb Ddt Manual Apr86

引用

2016年

Dec :: Pdp10 :: Tops10 Softwarenotebooks :: Vol13 :: Aa-Bh82B-Tb Ddt Manual Apr86 by published by

关键词： aa-bh82b-tb address apr86 breakpoint command current current location current quantity ddt ddt command ddt commands ddt displays display displays location location sequence manual open location pdp10 program program execution sequence stack softwarenotebooks symbol symbol table

来源：评论

学校读者我要写书评

暂无评论

Sds :: 9Xx :: 940 :: 901113A 940 Ddt Refman May67

引用

2016年

Sds :: 9Xx :: 940 :: 901113A 940 Ddt Refman May67 by published by

关键词： 901113a binary file bru command command purpose commands commands concerning contents current mode ddt location may67 msi opens location prints contents program execution refman sets radix ske colon symbol symbols user word search

来源：评论

学校读者我要写书评

暂无评论

Tektronix :: 85Xx :: 8540 :: 070-3939-00 8540 System Users Manual Os40 Ver 1 Jan83

引用

2016年

Tektronix :: 85Xx :: 8540 :: 070-3939-00 8540 System Users Manual Os40 Ver 1 Jan83 by published by

关键词： address block byte command command dictionary data emulation mode emulator emulator specifics extended tekhex host host computer intersystem communication jan83 manual memory object code program program execution program memory system system users tektronix users

来源：评论

学校读者我要写书评

暂无评论

MetropolJS: Visualizing and Debugging Large-Scale JavaScript program Structure with Treemaps

MetropolJS: Visualizing and Debugging Large-Scale JavaScript...

引用

IEEE Workshop on program Comprehension

作者： Joshua D Scarsbrook Ryan K L Ko Bill Rogers David Bainbridge University of Waikato

ISBN: (数字)9781450357142

ISBN: (纸本)9781538661697

As a result of the large scale and diverse composition of modern compiled JavaScript applications, comprehending overall program structure for debugging is challenging. In this paper we present our solution: MetropolJS. By using a Treemap-based visualization it is possible to get a high level view within limited screen real estate. Previous approaches to Treemaps lacked the fine detail and interactive features to be useful as a debugging tool. This paper introduces an optimized approach for visualizing complex program structure that enables new debugging techniques where the execution of programs can be displayed in real time from a bird's-eye view. The approach facilitates highlighting and visualizing method calls and distinctive code patterns on top of code segments without a high overhead for navigation. Using this approach enables fast analysis of previously difficult-to-comprehend code bases.

关键词： JavaScript Treemaps Debugging Debugging program structure Java Script program execution Codes code pattern

来源：评论

学校读者我要写书评

暂无评论

Predicting execution Time of Computer programs Using Sparse Polynomial Regression 10

Predicting Execution Time of Computer Programs Using Sparse ...

引用

Annual Conference on Neural Information Processing Systems

作者： Ling Huang Byung-Gon Chun Jinzhu Jia Petros Maniatis Bin Yu Mayur Naik Intel Labs Berkeley UC Berkeley

ISBN: (纸本)9781617823800

Predicting the execution time of computer programs is an important but challenging problem in the community of computer systems. Existing methods require experts to perform detailed analysis of program code in order to construct predictors or select important features. We recently developed a new system to automatically extract a large number of features from program execution on sample inputs, on which prediction models can be constructed without expert knowledge. In this paper we study the construction of predictive models for this problem. We propose the SPORE (Sparse Polynomial REgression) methodology to build accurate prediction models of program performance using feature data collected from program execution on sample inputs. Our two SPORE algorithms are able to build relationships between responses (e.g., the execution time of a computer program) and features, and select a few from hundreds of the retrieved features to construct an explicitly sparse and non-linear model to predict the response variable. The compact and explicitly polynomial form of the estimated model could reveal important insights into the computer program (e.g., features and their non-linear combinations that dominate the execution time), enabling a better understanding of the program's behavior. Our evaluation on three widely used computer programs shows that SPORE methods can give accurate prediction with relative error less than 7% by using a moderate number of training data samples. In addition, we compare SPORE algorithms to state-of-the-art sparse regression algorithms, and show that SPORE methods, motivated by real applications, outperform the other methods in terms of both interpretability and prediction accuracy.

关键词： execution time computer programs computer software Prediction models program code POLYNOMIAL REGRESSION Polynomial program performance program execution

来源：评论

学校读者我要写书评

暂无评论

Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures

Charting a Course Through Uncertain Environments: SEA Uses P...

引用

International Symposium on Software Reliability Engineering (ISSRE)

作者： Preston Moore Justin Cappos Phyllis Frankl Thomas Wies New York University

ISBN: (纸本)9781728149837

A common problem for developers is applications exhibiting new bugs after deployment. Many of these bugs can be traced to unexpected network, operating system, and file system differences that cause program executions that were successful in a development environment to fail once deployed. Preventing these bugs is difficult because it is impractical to test an application in every environment. Enter Simulating Environmental Anomalies (SEA), a technique that utilizes evidence of one application's failure in a given environment to generate tests that can be applied to other applications, to see whether they suffer from analogous faults. In SEA, models of unusual properties extracted from interactions between an application, A, and its environment guide simulations of another application, B, running in the anomalous environment. This reveals faults B may experience in this environment without the expense of deployment. By accumulating these anomalies, applications can be tested against an increasing set of problematic conditions. We implemented a tool called CrashSimulator, which uses SEA, and evaluated it against Linux applications selected from coreutils and the Debian popularity contest. Our tests found a total of 63 bugs in 31 applications with effects including hangs, crashes, data loss, and remote denial of service conditions.

关键词： Linux program debugging program testing software fault tolerance software fault tolerance Debugging program testing Linux Seas Environments Single European Act Bugs program execution data loss

来源：评论

学校读者我要写书评

暂无评论

Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver

Establishing Performance Guarantees for Behavior-Based Robot...

引用

Proceedings of ISR 2016: 47st International Symposium on Robotics

作者： Feng Tang Damian M. Lyons Ronald C. Arkin

In prior work [9] we developed an approach to formally representing behavior-based multi-robot programs, and the uncertain environments in which they operate, as process networks. We automatically extract a set of probabilistic equations governing program execution in that environment using a static analysis module called VIPARS, and solve these using a Dynamic Bayesian Network (DBN) to establish whether stated performance guarantees hold for the program in that environment. In this paper we address the challenge of expanding the range of performance guarantees that are possible by using an SMT-solver instead of a DBN. We translate flow functions, which are recursive probabilistic expressions that capture program execution and that are generated by VIPARS, to formulas in the SMT-LIBv2 language. We use the dReal SMT-solver with a semi-decision procedure to check the satisfiability of the formulas. The experimental results show that our SMT approach succeeds in establishing performance guarantees for behavior-based robot missions at least as well as the DBN approach, but also for an example not possible with the DBN approach. Although the work presented here used VIPARS static analysis to generate flow functions, the approach we have taken could be used to leverage SMT for any similar probabilistic system.

关键词： computability Solvers program execution Probability Robot formula Surface mount technology Religious Missions Environments

来源：评论

学校读者我要写书评

暂无评论

Comparison of memory write policies for NoC based Multicore Cache Coherent Systems 08

Comparison of memory write policies for NoC based Multicore ...

引用

2008 Design, Automation and Test in Europe (DATE 2008), vol.2

作者： Pierre Guironnet de Massas Frederic Petrot System-Level Synthesis Group TIMA Laboratory Grenoble France

ISBN: (纸本)9783981080131

The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work takes into account the difficulties related to on chip communication using network-like interconnects. Our study is based on Cycle Approximate Bit Accurate simulations (CABA) of platforms with up to 64 processors, modelling accurately all the aspects of multi-threaded program execution and memory accesses. Our main results show that write-through caches perform well compared to write-back ones, with a slightly simpler implementation and comparable traffic.

关键词： Memory Memory Cache memory Writing Multi-core processors coherent system NOCT gene Policies Platform Write-Back program execution

来源：评论

学校读者我要写书评

暂无评论

Re-Configurable Bus Encoding Scheme for Reducing Power Consumption of the Cross Coupling Capacitance for Deep Sub-Micron Instruction Bus 04

Re-Configurable Bus Encoding Scheme for Reducing Power Consu...

引用

Proceedings of the conference on Design, automation and test in Europe - Volume 1

作者： Siu-Kei Wong Chi-Ying Tsui

ISBN: (纸本)9780769520858

In very deep sub-micron designs, cross coupling capacitances become the dominant factor of the total bus loading and have a significant impact on the power consumption. In this paper, we propose two reconfigurable bus encoding schemes, which are based on the correlation among the bit lines, to reduce the power consumption at the cross coupling capacitances of the instruction buses. The instruction is encoded by flipping and reordering the bit lines during compilation time to reduce the total switching capacitances. A crossbar is used to map back the data to the original instruction code before sending to the instruction decoder. The reordering can be re-configured during run-time by using different configurations in the crossbar. We propose two types of re-configuration, static and dynamic. Static coding uses afix flipping and re-configuring pattern after the corresponding program is compiled. Dynamic coding allows different re-configuring patterns during program execution. Experimental results show that by using the proposed schemes, significant energy reduction, 17-23%, can be achieved. Comparisons with existing bit lines reordering encoding scheme have also been made and on average more than 15% reduction can be obtained using our method.

关键词： circuit layout CAD reconfigurable architectures system buses encoding capacitance low-power electronics reconfigurable bus encoding scheme power consumption cross coupling capacitance deep sub-micron instruction bus bus loading bit line flipping bit line reordering compilation time switching capacitances crossbar instruction decoder run-time static reconfiguration dynamic reconfiguration static coding dynamic coding program execution fix flipping reconfiguring pattern

来源：评论

学校读者我要写书评

暂无评论

BARLEY: Modelling program Behavior with Resource Usage

BARLEY: Modelling Program Behavior with Resource Usage

引用

Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops

作者： Kevin Leach Center for Secure Information Systems George Mason University

ISBN: (纸本)9781479901807

Control flow graphs (CFG) have long been an effective and elegant way to represent program execution. In particular, many anomaly detection systems employ CFGs. Unfortunately, typical CFG-based systems rely on inaccurate or impractical heuristics. For example, the state space may be restricted by considering only a call graph, thus reducing accuracy and precision. In this paper, we combine control flow graphs with resource consumption information to more accurately model a program's behavior during execution. Intuitively, this technique allows access to more information within each state, providing opportunities for more accurate decisions when considering anomalous behavior. Additionally, because we do not need as many states to represent an application's execution, we can achieve lower overhead than existing CFG-based systems. We anticipate this technique can be used to detect jump-based return-oriented programming (ROF) attacks on the Linux platform.

关键词： Flowcharts program Behavior Legal executions state space Inaccurate Barley control flow diagram Detection systems program execution Precision

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共11页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：