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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 册 图书
25 篇 期刊文献
2 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

104 篇 program executio...
30 篇 program
16 篇 data
14 篇 command
12 篇 manual
11 篇 print
11 篇 basic
9 篇 file
9 篇 breakpoint
9 篇 display
8 篇 statement
7 篇 address
7 篇 debugging
7 篇 execution
7 篇 legal executions
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 篇 acad sinica inst...
1 篇 univ grenoble al...
1 篇 uppsala univ dep...
1 篇 natl taiwan univ...
1 篇 hewlett packard ...
1 篇 georgia inst tec...
1 篇 univ udine udine
1 篇 dep. comp. sci. ...
1 篇 department of en...
1 篇 center for secur...
1 篇 hebei univ cyber...
1 篇 department of ee...
1 篇 texas state univ...
1 篇 harvard univ sch...

作者

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 篇 chang hung-sheng
1 篇 kevin leach
1 篇 langendoerfer pe...
1 篇 walkinshaw neil

语言

100 篇 英文
4 篇 其他

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

共 104 条记录，以下是51-60 订阅

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

详细简洁

排序：

Microcontroller based Multi-Star Simulator using Controller Area Network (CAN)

Microcontroller based Multi-Star Simulator using Controller ...

引用

IEEE National Aerospace and Electronics Conference

作者： Umamaheswaran, S. Nagendra, Santosh Trichy NITT Dept Instrumentat & Control Engn Natl Inst Technol Tiruchirappalli Tamil Nadu India Nagpur VNIT Dept Comp Sci & Engn Natl Inst Technol Nagpur Maharashtra India

ISBN: (纸本)9781424444946

This paper presents a Multi star simulator which is an embedded system used in the ground testing of Star sensors meant for the precision attitude control of satellites. This system shall not only simulate star intensities precisely, but also control them with changing temperature much easily. In this system microcontroller is interfaced with a personal computer (host controller monitoring all the activities of the system) through a Controller Area Network (CAN). A program running in the host controller allows user to issue requests to the microcontroller to execute the above said functions through appropriate commands using versatile CAN communication. The major advantage of this instrument is that it maintains the intensities of the LEDs constant with varying temperature with minimal effort which clearly defines its edge over the existing system.

关键词： Microcontrollers ground tests NUCLEOPORIN, 214-KD calcium ammonium nitrate program execution Embedded systems simulator star sensors

来源：评论

学校读者我要写书评

暂无评论

Using the Executable Semantics for CFG Extraction and Unfolding

Using the Executable Semantics for CFG Extraction and Unfold...

引用

13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

作者： Asavoae, Mihail Asavoae, Irina Mariuca Alexandru Ioan Cuza Univ Fac Comp Sci Iasi Romania

ISBN: (纸本)9780769546308

The longest path search problem is important in low-level worst-case execution time analysis and implies that all program executions are exhibited and inspected, via convenient abstractions, for their timing behavior. In this paper we present a definitional program unfolder that is based on the formal executable semantics of a target language. We work with K, a rewrite-based framework for the design and analysis of programming languages. Our methodology has two phases. First, it extracts directly from the executable semantics of the language, via reachability analysis, a safe control-flow graph (CFG) approximation. Second, it unfolds the control-flow graph, using loop bounds annotations and outputs the set of all possible program executions. The two-phased definitional program unfolder is implemented using the K-Maude tool, a prototype implementation of the K framework.

关键词： program execution Object oriented programming languages Semantics semiotics TWO-PHASE Computer programming Languages ANNOTATIONS Loops Language

来源：评论

学校读者我要写书评

暂无评论

Efficiently Identifying Object Production Sites 22

Efficiently Identifying Object Production Sites

引用

22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER)

作者： Infante, Alejandro Bergel, Alexandre Univ Chile Dept Comp Sci DCC Pleiad Lab Santiago Region Metropol Chile

ISBN: (纸本)9781479984695

Most programming environments are shipped with accurate memory profilers. Although efficient in their analyses, memory profilers traditionally output textual listing reports, thus reducing the memory profile exploration as a set of textual pattern-matching operations. Memory blueprint visually reports the memory consumption of a program execution. A number of simple visual cues are provided to identify direct and indirect object production sites, key ingredients to efficiently address memory issues. Scalability is addressed by restricting the scope of interest both in the call graph and the considered classes. Memory blueprint has been implemented in the Pharo programming language, and is available under the MIT license.

关键词： Memory Memory Profilers storage allocation programming environments program execution

来源：评论

学校读者我要写书评

暂无评论

Black-Box Test Generation from Inferred Models 4

Black-Box Test Generation from Inferred Models

引用

IEEE/ACM 4th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE)

作者： Papadopoulos, Petros Walkinshaw, Neil Univ Leicester Dept Comp Sci Leicester LE1 7RH Leics England

ISBN: (纸本)9781467370646

Automatically generating test inputs for components without source code (are 'black-box') and specification is challenging. One particularly interesting solution to this problem is to use Machine Learning algorithms to infer testable models from program executions in an iterative cycle. Although the idea has been around for over 30 years, there is little empirical information to inform the choice of suitable learning algorithms, or to show how good the resulting test sets are. This paper presents an openly available framework to facilitate experimentation in this area, and provides a proof-of-concept inference-driven testing framework, along with evidence of the efficacy of its test sets on three programs.

关键词： Model Inference Testing TEST SETS program execution Test generation Source code experimentation AUTOMATIC Frameworks Machine learning algorithms learning algorithms Specifications

来源：评论

学校读者我要写书评

暂无评论

Low-energy intra-task voltage scheduling using static timing analysis 01

Low-energy intra-task voltage scheduling using static timing...

引用

38th Design Automation Conference (DAC)

作者： Shin, D Kim, J Lee, S Seoul Natl Univ Sch Comp Sci & Engn Seoul 151 South Korea

ISBN: (纸本)1581132972

We propose an intra-task voltage scheduling algorithm for low-energy hard real-time applications. Based on a static timing analysis technique, the proposed algorithm controls the supply voltage within an individual task boundary By fully exploiting all the slack times, a scheduled program by the proposed algorithm always complete its execution near the deadline, thus achieving a high energy reduction ratio. In order to validate the effectiveness of the proposed algorithm, we built a software toot that automatically converts a DVS-unaware program into an equivalent low-energy program. Experimental results show that the low-energy version of an MPEG-4 encoder/decoder (converted by the software tool) consumes less than 7 similar to 25% of the original program running on a fixed-voltage system with a power-down mode.

关键词： Static timing analysis LOW ENERGY supply voltage time series analysis program execution system voltage Legal executions algorithms

来源：评论

学校读者我要写书评

暂无评论

Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction execution 9th

Selected Results and Related Issues of Confidentiality-Prese...

引用

9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS)

作者： Biskup, Joachim Tech Univ Dortmund Dortmund Germany

ISBN: (纸本)9783319300245;9783319300238

Controlled Interaction execution has been developed as a security server for inference control shielding an isolated, logic-oriented information system when interacting over the time with a client by means of messages, in particular for query and transaction processing. The control aims at preserving confidentiality in a formalized sense, intuitively and simplifying rephrased as follows: Even when having (assumed) a priori knowledge, recording the interaction history, being aware of the details of the control mechanism, and unrestrictedly rationally reasoning, the client should never be able to infer the validity of any sentence declared as a potential secret in the security server's confidentiality policy. To enforce this goal, for each of a rich variety of specific situations a dedicated censor has been designed. As far as needed, a censor distorts a functionally expected reaction message such that suitably weakened or even believably incorrect information is communicated to the client. In this article, we consider selected results of recent and ongoing work and discuss several issues for further research and development. The topics covered range from the impact of the underlying logic, whether propositional or first-order or for non-monotonic beliefs or an abstraction from any specific one, to the kind of the interactions, whether only queries or also view publishing or updates or revisions or even procedural programs.

关键词： A priori knowledge Belief Censor Client state Completeness Confidentiality Constraint satisfaction Distortion Evaluated secrecy First-order logic Guarded commands Inference control Information system Information flow control Interaction history Knowledge Lying Model theory Monitoring Non-monotonic reasoning Policy Possibilistic secrecy Proof theory program execution Query answering Rational reasoning Refusal Relational database Security automaton Security invariant Theorem proving Update processing View publishing Weakening

来源：评论

学校读者我要写书评

暂无评论

Assuring Application-level Correctness Against Soft Errors

Assuring Application-level Correctness Against Soft Errors

引用

IEEE/ACM International Conference on Computer-Aided Design (ICCAD)

作者： Cong, Jason Gururaj, Karthik Univ Calif Los Angeles Dept Comp Sci Los Angeles CA 90024 USA

ISBN: (纸本)9781457713989

Traditionally, research in fault tolerance has required architectural state to be numerically perfect for program execution to be correct. However, in many programs, even if execution is not 100% numerically correct, the program can still appear to execute correctly from the user's perspective. To quantify user satisfaction, application-level fidelity metrics (such as PSNR) can be used. The output for such applications is defined to be correct if the fidelity metrics satisfy a certain threshold. However, such applications still contain instructions whose outputs are critical - i.e. their correctness decides if the overall quality of the program output is acceptable. In this paper, we present an analysis technique for identifying such critical program segments. More importantly, our technique is capable of guaranteeing application-level correctness through a combination of static analysis and runtime monitoring. Our static analysis consists of data flow analysis followed by control flow analysis to find static critical instructions which affect several instructions. Critical instructions are further refined into likely non-critical and likely critical sets in a profiling phase. At runtime, we use a monitoring scheme to monitor likely non-critical instructions and take remedial actions if some likely non-critical instructions become critical. Based on this analysis, we minimize the number of instructions that are duplicated and checked at runtime using a software-based fault detection and recovery technique [20]. Put together, our approach can lead to 22% average energy savings for multimedia applications while guaranteeing application-level correctness, when compared to a recent work [9], which cannot guarantee application-level correctness. Comparing to the approach proposed in [20] which guarantees both application-level and numerical correctness, our method achieves 79% energy reduction.

关键词： Arrays Handheld computers Indexes Measurement Monitoring Runtime Vectors application-level correctness assurance application-level fidelity metrics control flow analysis data flow analysis data flow analysis fault tolerance program execution program segme

来源：评论

学校读者我要写书评

暂无评论

A System for Visualizing the Process Address Space in the Context of Teaching Secure Coding in C 20

A System for Visualizing the Process Address Space in the Co...

引用

51st ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Walker, James Wang, Man Carr, Steve Mayo, Jean Shene, Ching-Kuang Michigan Technol Univ Houghton MI 49931 USA Western Michigan Univ Kalamazoo MI 49008 USA

ISBN: (纸本)9781450367936

Seemingly small coding errors can create significant vulnerabilities in C programs. This often occurs due to memory being overwritten in unexpected ways. If a student understands where program variables appear in the process address space, then she can understand the effect of writing beyond the memory allocated to a variable. With this understanding, she can tie her code to its effect within an executing process and is more likely to appreciate the significance of these seemingly harmless errors and to avoid them. We have developed a program analysis and visualization tool to help students understand the impact of common memory errors with the goal to help students avoid introducing these errors into their code. The visualization is through the program Address Space (PAS) window within a larger system for analysis and visualization of security issues in C programs. The larger system is called SecureCvisual. In this paper, we describe our experience with teaching students fundamental concepts about process address spaces and the impact of buffer overflows using the PAS window. We also present the results from an evaluation of the tool. Our results indicate that students found the tool useful and that it enhanced the course in which it was used.

关键词： cybersecurity visualization program execution

来源：评论

学校读者我要写书评

暂无评论

Debugging with Probabilistic Event Structures 17

Debugging with Probabilistic Event Structures

引用

IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)

作者： Soremekun, Ezekiel O. Saarland Univ Saarbrucken Germany

ISBN: (纸本)9781538615898

Debugging is a search process to find, understand and fix the root cause of software defects. Can debugging benefit from probabilistic information? We hypothesize that debugging activities can benefit from probabilistic information that capture the statistical dependence of program features and the minor variations of program behavior. This probabilistic information helps to guide the search for the root cause of the bug and provides detailed diagnostic information (such as failure-inducing inputs and method calls leading to the fault). To realize our hypothesis, we propose to improve debugging activities by guiding bug diagnosis using both probabilistic reasoning and program analysis. The main idea is to mine probabilistic information from program executions, then apply these information to construct probabilistic event structures (e. g. probabilistic call graphs) that guides debugging activities such as fault localization and comprehension. The resulting probabilistic model will guide bug diagnosis towards the most likely paths to the root cause of bugs and provide contextual diagnostic information.

关键词： Probabilistic Event Structures Debugging ROOT CAUSES bugs Probability Search process program execution program Behavior Soft computing

来源：评论

学校读者我要写书评

暂无评论

Comparing Small programs for Equivalence: A Code Comprehension Task for Novice programmers 20

Comparing Small Programs for Equivalence: A Code Comprehensi...

引用

25th Conference on Innovation and Technology in Computer Science Education

作者： Izu, Cruz Mirolo, Claudio Univ Adelaide Adelaide SA Australia Univ Udine Udine Italy

ISBN: (纸本)9781450368742

Novice programmers should develop program comprehension skills as they learn to code so that they are able both to read and reason about code created by others, and to reflect on their code when writing, debugging or extending it. This work takes a little-explored perspective on the comprehension of small programs by asking students to decide if two code segments are equivalent or not in terms of carrying out the same computation. A variation of Euclid's algorithm, that extends the greatest common divisor calculation to more than two numbers, was chosen for this work, as it has an adequate level of complexity and its semantics are not obvious. Four program transformations of the original code were developed: two transformations were equivalent and two were not. 73.5% of students were able to identify correctly the four options and 75.5% provided good insights on the equivalent program flow to justify their choices. The overall task has a SOLO mean of 3.19, which indicates code equivalence is a suitable and approachable task to analyse program execution at novice level. In addition, the data analysis suggests that students' code-reading abilities beyond basic tracing may be generally underestimated and we should investigate how to bridge the potential gap between reasoning about program execution and extracting its purpose.

关键词： code comprehension semantic equivalence novice programmers program execution

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：