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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

38 篇 会议
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

44 篇 工学
- 34 篇 计算机科学与技术...
- 23 篇 软件工程
- 16 篇 电气工程
- 5 篇 控制科学与工程
- 3 篇 电子科学与技术（可...
- 1 篇 材料科学与工程（可...
- 1 篇 信息与通信工程
5 篇 理学
- 3 篇 系统科学
- 1 篇 数学
- 1 篇 生物学
4 篇 管理学
- 4 篇 管理科学与工程(可...
- 1 篇 工商管理

主题

45 篇 program control ...
8 篇 parallel process...
6 篇 loops
6 篇 program compiler...
5 篇 runtime
5 篇 parallel process...
4 篇 parallelising co...
4 篇 reconfigurable a...
4 篇 program diagnost...
4 篇 software
3 篇 program debuggin...
3 篇 compilers
3 篇 libraries
3 篇 memory managemen...
3 篇 computer archite...
3 篇 parallel program...
3 篇 embedded systems
3 篇 computational mo...
3 篇 contraceptive co...
3 篇 data flow analys...

机构

2 篇 e china normal u...
1 篇 indian inst sci ...
1 篇 irst povo
1 篇 catena co
1 篇 department of co...
1 篇 univ wisconsin m...
1 篇 sichuan univ sch...
1 篇 univ valladolid ...
1 篇 tsinghua univ de...
1 篇 chengdu institut...
1 篇 center for smart...
1 篇 control engineer...
1 篇 rmit univ sch co...
1 篇 univ strasbourg ...
1 篇 unist sch ece ul...
1 篇 univ minnesota m...
1 篇 univ nice sophia...
1 篇 univ erlangen nu...
1 篇 univ copenhagen ...
1 篇 information engi...

作者

2 篇 teich juergen
1 篇 ponsini olivier
1 篇 song linhai
1 篇 kenter tobias
1 篇 tonella p
1 篇 carayol arnaud
1 篇 fujita h
1 篇 gupta a
1 篇 alves tiago a.o.
1 篇 cardoso joao m. ...
1 篇 llanos diego r.
1 篇 liu leibo
1 篇 merlo e
1 篇 shin dongkun
1 篇 wijesinghe gayan
1 篇 frança felipe m....
1 篇 wu bin
1 篇 cimitile
1 篇 wolfgang birk
1 篇 stevens reinout

语言

42 篇 英文
1 篇 葡萄牙文
1 篇 其他
1 篇 中文

检索条件"主题词=Program Control Structures"

共 45 条记录，以下是21-30 订阅

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

详细简洁

排序：

CFEDR: control-Flow Error Detection and Recovery Using Encoded Signatures Monitoring

CFEDR: Control-Flow Error Detection and Recovery Using Encod...

引用

IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS)

作者： Tan, Lanfang Tan, Ying Xu, Jianjun Natl Univ Def Technol Sch Comp Changsha Peoples R China Sichuan Univ Sch Comp Chengdu Peoples R China

ISBN: (纸本)9781479915859;9781479915835

The incorporation of error detection and recovery mechanisms becomes mandatory as the probability of the occurrence of transient faults increases. The detection of control flow errors has been extensively investigated in literature. However, only few works have been conducted towards recovery from control-flow errors. Generally, a program is re-executed after error detection. Although re-execution prevents faults from corrupting data, it does not allow the application to run to completion correctly in the presence of an error. Moreover, the overhead of re-execution increases prominently. The current study presents a pure-software method based on encoded signatures to recover from control-flow errors. Unlike general signature monitoring techniques, the proposed method targets not only interblock transitions, but also intrablock and inter-function transitions. After detecting the illegal transition, the program flow transfers back to the block where the error occurred, and the data errors caused by the error propagation are recovered. Fault injection and performance overhead experiments are performed to evaluate the proposed method. The experimental results show that most control flow errors can be recovered with relatively low performance overhead.

关键词： digital signatures fault diagnosis program control structures software fault tolerance system recovery

来源：评论

学校读者我要写书评

暂无评论

Impact on Reliability in the control-Flow of programs under Compiler Optimizations

Impact on Reliability in the Control-Flow of Programs under ...

引用

Brazilian Symposium on Computing System Engineering (SBESC)

作者： Parizi, Rafael Ferreira, Ronaldo Freitas, Alvaro Carro, Luigi Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil

ISBN: (纸本)9781467357470;9780769549293

This paper evaluates the impact on reliability in the control-flow of programs that compiler optimizations incur in terms of fault coverage for the Automatic Correction of control-flow Errors technique. This technique was implemented in the LLVM framework, enabling the automated analysis of programs. In order to evaluate the efficiency of the technique of fault tolerance we performed a series of fault injection experiments using the MiBench benchmark suite as case study, measuring how individual and combined optimizations impact reliability.

关键词： error correction optimising compilers program control structures program diagnostics program testing software fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Termination analysis of multipath loop programs

Termination analysis of multipath loop programs

引用

4th International Conference on Computational and Information Sciences, ICCIS 2012

作者： Li, Lingna Chengdu Institute of Computer Applications School of Sciences Southwest Petroleum University Chengdu China

ISBN: (纸本)9780769547893

In this paper, we analyze termination of multipath linear loop programs by combining the trial difference method and calculation of loop complexity upper bound. Though this method is not complete, it is useful to verify termination of multipath linear loop programs, because it is practical and it is very easy to implement. © 2012 IEEE.

关键词： Loops program control structures

来源：评论

学校读者我要写书评

暂无评论

An algorithm of program structure adjustment base on interactive disassembly

An algorithm of program structure adjustment base on interac...

引用

2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011

作者： Tian, Feng Zhang, Youwei Ma, Dengwei Information Engineering University Zhengzhou Henan Province China

ISBN: (纸本)9781424496969

In the process of program reverse analyzing, anti-track instruction and indirect jump instruction is common to see and difficult to be automatic disassembly analyzed. This article gives a kind of algorithm to adjust program structure, which is based on interactive disassembly, describes theory and detail design of mutual transformation of command section and program section, experiments the average recognition of the algorithm, analyzes and assess the experimental result. © 2011 IEEE.

关键词： Algorithm design and analysis Complexity theory Data mining Flow graphs Interference Process control Software anti-track instruction basic block command section data section data structure data structure data structures describes theory detail design flow chart flow chart flowcharting indirect jump instruction instruction section interactive disassembly program control structures program reverse analyzing process program section program structure adjustment

来源：评论

学校读者我要写书评

暂无评论

Empirical approach to robust gramian-based analysis of process interactions in control structure selection

Empirical approach to robust gramian-based analysis of proce...

引用

IEEE Conference on Decision and control

作者： Miguel Castano Arranz Wolfgang Birk Bjorn Halvarsson Control Engineering Group Department of Computer Science and Electrical Engineering Lulea University of Technology SE-971 87 Lulea Sweden Department of Information Technology Uppsala University P O Box 337 SE-751 05 Uppsala Sweden

ISBN: (纸本)9781612848006

This paper deals with the estimation of a gramian-based interaction measure from logged process data, and thereby removing the need of creating parametric models prior to the selection of the significant input-output interconnections. Moreover, the resulting confidence regions of the estimates can be used to perform a robust control structure selection. The considered interaction measure is the Participation Matrix. Based on previous results, a new unbiased statistic is proposed, and confidence bounds for the estimate are derived. Examples and a case study are used to illustrate how the method can be applied.

关键词： empirical approach control Architecture process interaction confidence program control structures Parametric statistics

来源：评论

学校读者我要写书评

暂无评论

Recovering the Memory Behavior of Executable programs

Recovering the Memory Behavior of Executable Programs

引用

10th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM)

作者： Ketterlin, Alain Clauss, Philippe INRIA CAMUS Team Rocquencourt France Univ Strasbourg Strasbourg France

ISBN: (纸本)9780769541785

This paper deals with the binary analysis of executable programs, with the goal of understanding how they access memory. It explains how to statically build a formal model of all memory accesses. Starting with a control-flow graph of each procedure, well-known techniques are used to structure this graph into a hierarchy of loops in all cases. The paper shows that much more information can be extracted by performing a complete data-flow analysis over machine registers after the program has been put in static single assignment (SSA) form. By using the SSA form, registers used in addressing memory can be symbolically expressed in terms of other, previously set registers. By including the loop structures in the analysis, loop indices and trip counts can also often be expressed symbolically. The whole process produces a formal model made of loops where memory accesses are linear expressions of loop counters and registers. The paper provides a quantitative evaluation of the results when applied to several dozens of SPEC benchmark programs. Because static analysis is often incomplete, the paper ends by describing a lightweight instrumentation strategy that collects at run time enough information to complete the program's symbolic description.

关键词： binary analysis binary analysis control flow graph data flow analysis data flow analysis executable program formal model lightweight instrumentation strategy linear expression loop counter loop structure machine registers memory access memory accesses memory recovey modeling profiling program control structures program symbolic description quantitative evaluation static analysis static single assignment static single assignment form storage allocation storage management

来源：评论

学校读者我要写书评

暂无评论

Automatic Verification of Loop Invariants

Automatic Verification of Loop Invariants

引用

International Conference on Software Maintenance

作者： Ponsini, Olivier Collavizza, Helene Fedele, Carine Michel, Claude Rueher, Michel Univ Nice Sophia Antipolis I3S CNRS F-06903 Sophia Antipolis France

ISBN: (纸本)9781424486298

Loop invariants play a major role in program verification. Though various techniques have been applied to automatic loop invariants generation, most interesting ones often generate only candidate invariants. Thus, a key issue to take advantage of these invariants in a verification process is to check that these candidate loop invariants are actual invariants. This paper introduces a new technique based on constraint programming for automatic verification of inductive loop invariants. This approach is efficient to detect spurious invariants and is also able to verify valid invariants under boundedness restrictions. First experiments on classical benchmarks are very promising.

关键词： automatic loop invariants generation automatic verification constraint handling constraint programming inductive loop invariants program control structures program verification program verification

来源：评论

学校读者我要写书评

暂无评论

On Using LALP to Map an Audio Encoder/Decoder on FPGAs

On Using LALP to Map an Audio Encoder/Decoder on FPGAs

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Menotti, Ricardo Cardoso, Joao M. P. Fernandes, Marcio M. Marques, Eduardo Univ Tecnol Fed Parana Campo Mourao Brazil Univ Porto Fac Engn Dept Informat Engn Oporto Portugal Univ Fed Sao Carlos Dept Comp Sao Carlos SP Brazil Univ Sao Paulo Inst Ciencias Matemat & Comp Sao Paulo Brazil

ISBN: (纸本)9781424463916

This paper presents the use of LALP to implement typical industrial application kernels, ADPCM Encoder and Decoder, in FPGAs. LALP is a domain specific language and its compilation framework aims to the direct mapping of algorithms originally described in a high-level language onto FPGAs. In particular, LALP focuses on loop pipelining, a key technique for the design of hardware accelerators. While the language syntax resembles C, it contains certain constructs that allow programmer interventions to enforce or relax data dependences as needed, and so optimize the performance of the generated hardware. We present experimental results showing significant performance gains using this approach, while still keeping the language syntax and semantics close to popular high level software languages, a desirable feature when considering time to market constraints. We believe the performance gains observed for the ADPCM implementation can be extended to other industrial applications relying on algorithms spending most of their execution time on loop structures, such signal and image processing.

关键词： ADPCM Decoder ADPCM Encoder FPGA LALP audio coding audio encoder/decoder codecs compilation framework data dependences direct algorithm mapping domain specific language field programmable gate arrays hardware accelerators high-level language industrial application kernels language semantics language syntax loop pipelining pipeline processing program compilers program control structures programmer interventions telecommunication computing

来源：评论

学校读者我要写书评

暂无评论

Visualization of Multithreaded Behavior to Facilitate Maintenance of Complex Software Systems

Visualization of Multithreaded Behavior to Facilitate Mainte...

引用

7th International Conference on the Quality of Information and Communications Technology (QUATIC)

作者： Truemper, Jonas Bohnet, Johannes Voigt, Stefan Doellner, Juergen Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9780769542416

Maintenance accounts for the major part of a software system's total costs. Therein, program comprehension is an important, but complex activity: Typically, up-to-date documentation is not available, so the main reliable source of information on the implementation represent the artifacts of the system's implementation. Understanding software systems is difficult, in particular, if multithreading concepts are involved because state-of-the art development tools provide only limited support for maintenance activities. In addition, concurrency is often not directly reflected by the source code, i.e., there is only a non-obvious correlation between control structures in the source code and a system's runtime behavior. We present a program comprehension technique that helps to analyze and understand runtime behavior of multithreaded software systems and, thereby, facilitates software maintenance tasks. Our approach contains the following concepts: First, light-weight dynamic analysis records executed method calls at runtime. Second, visualization of multithreading trace data allows developers to explore the system behavior post-mortem. The technique forms part of a scalable tool suite for understanding the behavior of complex software systems. We also show how to apply the technique on industrial software systems to solve common maintenance problems.

关键词： complex software system maintenance concurrency concurrency control control structure correlation methods data visualisation dynamic analysis record executed method industrial software system maintenance multi-threading multithreaded software system multithreading parallel computing program comprehension technique program control structures software software maintenance source code state of the art development tool system monitoring system runtime behavior threads visualization

来源：评论

学校读者我要写书评

暂无评论

Evolving programs with Parameters and Loops

Evolving Programs with Parameters and Loops

引用

2010 IEEE World Congress on Computational Intelligence

作者： Wijesinghe, Gayan Ciesielski, Vic RMIT Univ Sch Comp Sci & Informat Technol Melbourne Vic 3001 Australia

ISBN: (纸本)9781424481262

At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In this paper we describe an investigation into the evolution of programs for a problem that can only be solved by evolving a parameterised program with one or more loops. We provide training examples of the desired program behaviour for a number of problem sizes and require the evolution of a program P(n) that will give the correct output for any value of n. We have chosen a problem, that of reproducing a binary string to a given number of bits, that can be made harder or easier by adjusting various aspects of the formulation. We are interested seeing in which formulations lead to success and which do not. We conclude that programs with parameters and loops can be successfully evolved if the search space is appropriately restricted by (1) grammars which restrict the possible program structures, (2) limits on program depth and (3) limits on the range of random constants.

关键词： binary string genetic algorithms genetic program grammar grammars parameterised program program behaviour program control structures program evolution program loop program parameter program structure random constant search space

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：