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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

491 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

320 篇 工学
- 241 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 29 篇 控制科学与工程
- 21 篇 机械工程
- 18 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 土木工程
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
27 篇 管理学
- 16 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 5 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 eiter thomas
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

507 篇 英文
4 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 511 条记录，以下是291-300 订阅

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

详细简洁

排序：

Learning Hands-on Information Assurance and Security on Mobile Devices

Learning Hands-on Information Assurance and Security on Mobi...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Dan Chia-Tien Lo Kai Qian Wei Chen Tamara Rogers Kuo-Sheng Ma Department of Computer Science Kennesaw State University Marietta Georgia U.S.A Department of Computer Science Tennessee State University Nashville Tennessee U.S.A Department of Electrical Engineering Kennesaw State University Marietta Georgia U.S.A

the popularity and the large market share of mobile devices such as smart phones and tablets have had a significant impact on our daily lives. the full-fledged computing platforms render a ubiquitous means to deliver information and knowledge. this project aims to utilize such platforms to enhance computer science education, especially in curricula such as programming, mobile application development and information assurance and security. Meanwhile, there is an urgent need to produce more qualified computer professionals in mobile application development and information assurance and security to meet the workforce shortage. In this paper, we describe the design and implementation of our hands-on pedagogical model for learning information assurance and security based on mobile devices. Not only is this model feasible, but also it is affordable. the lab ware consists of hands-on real-world relevant self-contained learning modules, and is designed to be ready for wide scale implementation.

关键词： Security Mobile communication Mobile handsets programming profession Communication networks Computers

来源：评论

学校读者我要写书评

暂无评论

Unified programming Model and Software Framework for Big Data Machine Learning and Data Analytics

Unified Programming Model and Software Framework for Big Dat...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Rong Gu Yun Tang Qianhao Dong Zhaokang Wang Zhiqiang Liu Shuai Wang Chunfeng Yuan Yihua Huang National Key Laboratory for Novel Software Technology Nanjing University Nanjing China

In a new era of Big Data, the rapid growth of the applications, such as social media and web-search, requires efficient and scalable machine learning and statistical analytical algorithms. However, there lacks easy-to-use and efficient software frameworks or systems that can support fast development of such big data analytical algorithms. To solve these problems, we propose Octopus, an easy-to-use and efficient analytical system for big data. Octopus allows data analysts conduct complex data analytics for big data with traditional programming languages and methods in an easy and efficient way. To achieve the goal of ease-to-use, we propose a matrix-based unified programming model, which is the core of many data-intensive statistical applications such as numerical analysis and data mining. Further, in order to improve the performance, the Octopus software framework adopts various distributed computing platforms, including Hadoop MapReduce, Spark and MPI. On these computing platforms, we design several parallel matrix computation algorithms, which are suitable for various scenarios. Finally, the features of Octopus are encapsulated into a library with matrix-based APIs and exposed to users as an R package. R is a widely-used statistical programming language and supports diversified data analysis tasks through extension packages. Experimental results show that Octopus achieves efficient performance and near linear scalability.

关键词： Sparks Scalability Big data Libraries programming Machine learning algorithms Distributed databases

来源：评论

学校读者我要写书评

暂无评论

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances

Behavior Verification of Autonomous Robot Vehicle in Conside...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Toshifusa Sekizawa Fumiya Otsuki Kazuki Ito Kozo Okano Department of Computer Science College of Engineering Nihon University Japan F-COM Co. Ltd. Japan Fukushima Canon Inc. Japan Department of Computer Science & Engineering Shinshu University Japan

Reliability of embedded systems has become important along with their popularization in many fields. Model checking is one of formal methods which has been successfully applied to many systems for ensuring reliabilities. In this study, we handle an autonomous robot vehicle in consideration of errors and disturbances, as an concrete example of embedded systems. Behaviors of the vehicle become essentially probabilistic in such an environment. We show that such probabilistic behaviors can be modeled in Markov Decision Processes (MDPs). To demonstrate the applicability of the modeling, we show experimental verification using the probabilistic model checker PRISM. Note that the approaches are still in preliminary stages. It is intended to establish qualitative and quantitative validations from the standpoint of design phase.

关键词： Vehicles Probabilistic logic Model checking Markov processes Robots Embedded systems Adaptation models

来源：评论

学校读者我要写书评

暂无评论

Data Management Scheme to Enable Efficient Analysis of Sensing Data for Smart Community

Data Management Scheme to Enable Efficient Analysis of Sensi...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Yuichi Hashi Kazuyoshi Matsumoto Yoshinori Seki Masahiro Hiji Toru Abe Takuo Suganuma Hitachi Solutions East Japan Ltd. Sendai Japan Tohoku University Sendai Japan

ICT supports smart communities in their aim to build efficient and sustainable social infrastructure. To realize a smart community, it is necessary to manage and analyze data about the community including large volumes of sensing data, meta-data, as well as information on data sources and consent for use, all of which are interrelated. We propose a data management scheme capable of both high-speed search of large volumes of data for analysis, and flexible search of data which changes depending on the collection environment. A major characteristic of our scheme is that it combines a schema-free, document-oriented database and an RDF database suited for flexible search. We believe that the proposed data management scheme is one able to minimize the time required for analysis and reduce the volume of meta-data associated with the sensing data acquired as a result of the search.

关键词： logic gates Temperature measurement Resource description framework Databases Temperature sensors Maintenance engineering

来源：评论

学校读者我要写书评

暂无评论

the Influence of Parallel programming Interfaces on Multicore Embedded Systems

The Influence of Parallel Programming Interfaces on Multicor...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Arthur F. Lorenzon Anderson L. Sartor Márcia C. Cera Antonio Carlos S. Beck Federal University of Rio Grande do Sul Institute of Informatic Brazil Federal University of Pampa Brazil

thread-Level Parallelism (TLP) exploitation for embedded systems has been a challenge for software developers: while it is necessary to take advantage of the availability of multiple cores, it is also mandatory to consume less energy. To speed up the development process and make it as transparent as possible, software designers use Parallel programming Interfaces (PPIs). However, as will be shown in this paper, each PPI implements different ways to exchange data using shared memory regions, influencing performance, energy consumption and Energy-Delay Product (EDP), which varies across different embedded processors. By evaluating four PPIs and three multicore processors (ARM A8, A9 and Intel Atom), we demonstrate that by simply switching PPI it is possible to save up to 59% in energy consumption and achieve up to 85% of EDP improvements, in the most significant case. We also show that the efficiency (i.e., the best possible use of the available resources) decreases as the number of threads increases in almost all cases, but at distinct rates.

关键词： Instruction sets Message systems Memory management Energy consumption Synchronization Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Embedded System Design with Reliability-Centric Optimization

Embedded System Design with Reliability-Centric Optimization

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Yuanyuan Hou Rui Wang Yu Jiang Yong Guan Xiaojuan Li Zhiping Shi Jie Zhang College of Information Engineering Capital Normal University Beijing China Department of Computer Science and Technology Tsinghua University Beijing China College of Information Science and Technology Beijing University of Chemical Technology Beijing China

Embedded systems are becoming increasingly popular due to their widespread applications. Hardware/software partitioning with reliability in consideration is becoming one of the most crucial steps in the design of complex embedded systems, especially for safety critical applications. In this paper, a reliability-centric approach is proposed to increase the reliability and decrease the potential errors of the embedded system during the partition stage. We use task graph to model the system function blocks, and treat reliability as the first-class metric during the mathematical formalization and optimization procedure. Experimental evaluations demonstrate that the proposed approach obtains a better solution with the trade off of time, cost and reliability compared to existing partitioning methods, with higher and more accurate reliability characterization for safety-critical systems.

关键词： Software reliability Hardware Partitioning algorithms Linear programming Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Automated Slicing of Aspect-Oriented Programs Using Bytecode Analysis

Automated Slicing of Aspect-Oriented Programs Using Bytecode...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Dishant Munjal Jagannath Singh Subhrakanta Panda Durga Prasad Mohapatra Department of CSE NIT Rourkela INDIA

Program slicing has numerous applications in software engineering activities like debugging, testing, maintenance, model checking etc. the main objective of this paper is to automate the generation of System Dependency Graphs (SDG) for aspect-oriented programs to efficiently compute accurate slices. the construction of SDG is automated by analysing the byte code of aspect-oriented programs that incorporates the representation of aspect-oriented features. After constructing the SDG, we propose a slicing algorithm that uses the intermediate graph and computes slices for a given AOP. To implement our proposed slicing technique, we have developed a prototype tool that takes an AOP as input and compute its slices using our proposed slicing algorithm. To evaluate our proposed technique, we have considered some case studies by taking open source projects. the comparative study of our proposed slicing algorithm with some existing algorithms show that our approach is an efficient and scalable approach of slicing for different applications with respect to aspect-oriented programs.

关键词： Weaving Algorithm design and analysis Debugging Complexity theory programming Heuristic algorithms Computers

来源：评论

学校读者我要写书评

暂无评论

A Context-Aware Approach for Dynamic GUI Testing of Android Applications

A Context-Aware Approach for Dynamic GUI Testing of Android ...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Haowen Zhu Xiaojun Ye Xiaojun Zhang Ke Shen School of Software Tsinghua University Beijing China

In this paper, we propose an automatic GUI testing approach for Android applications. With the goal of exploring unexecuted event handlers of the application under test as quickly possible, our approach constructs and maintains a dynamic GUI model of the application at run time, which is based on extended non-deterministic labelled transition system that records the weight of transitions between GUI states. Extracting only part of the GUI features of the application under test, the model keeps itself simple enough to avoid state explosion and improves the test efficiency, but provides targeted guidance for testing event generation at the same time. A practical probabilistic search-based event selection algorithm is used to leverage information provided by the model, transform weight of transitions to priority of candidate events, and select the testing event to execute. the algorithm solves the non-deterministic problem introduced by the approximation of the model. Empirical evaluation on several real world applications shows that our approach can achieve high code coverage quickly and detect bugs efficiently.

关键词： Graphical user interfaces Testing Reactive power Probabilistic logic Heuristic algorithms Androids Humanoid robots

来源：评论

学校读者我要写书评

暂无评论

Proposal for Combinatorial Optimization Technology in Consideration of the Dynamic Characteristic of IT Risks

Proposal for Combinatorial Optimization Technology in Consid...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Yuhei Umehara Hayai Ando Ryoichi Sasaki Tokyo Denki University Tokyo Japan

Society's increasing dependence on IT systems brings with it an increase in the need for risk-evaluation methods that contain the optimal combination of measures to be taken. In order to address this issue, we developed the multiple risk communicator (MRC), which aids in the reaching of a consensus with respect to the optimal combination of risk-avoidance measures while performing risk communication under the threat of multiple risks between stakeholders in the planning phase. However, each individual risk changes depending on the situation with the passage of time. For example, a measure to decrease a risk might increase other risks as a result of a reaction against the measure in the operational phase because the psychological states of the persons subject to the measure might influence the probability of the occurrence of fraud in internal injustice, such as unjust carrying out of the information. therefore, any dynamic change to a risk ought to be dealt with in the operational phase. To deal with this issue, we propose a method to support the reaching of a consensus on the optimal combination of measures in an environment in which risks change dynamically in the Observe, Orient, Decide, and Act loop based on the conventional MRC. this paper describes a proposed method named Extended MRC and its experimental application to a small example dealing with internal injustice.

关键词： Stakeholders Phase measurement Stress Planning Privacy Stress measurement Linear programming

来源：评论

学校读者我要写书评

暂无评论

Approach for Test Profile Optimization in Dynamic Random Testing

Approach for Test Profile Optimization in Dynamic Random Tes...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Ye Li Bei-Bei Yin Junpeng Lv Kai-Yuan Cai Department of Automatice Control Beihang University Beijing China

Dynamic Random Testing (DRT) is a feedback-based software testing strategy, which has been proved to be more effective than the traditional Random Testing (RT) and Random-Partition Testing (RPT) strategies. the major advantage of DRT is that the test profile is dynamically adjusted based on the previous test data. Since the frequency and range of the profile adjustment are fixed during the testing process, DRT might not react in time to the changes of the defect detection rates. In order to overcome these shortcomings, an approach for the test profile optimization in DRT, denoted as O-DRT, is proposed in this paper. In O-DRT, the test profile adjustment contains two parts. In addition to the original adjustment in DRT, O-DRT will change the test profile to a theoretically optimal one when the pre-defined criterion is satisfied. the theoretically optimal test profile is calculated based on an optimization goal of both maximizing the overall defect detection rate and minimizing its variance. Experiments on five real-life software subjects are conducted to validate the effectiveness of O-DRT. Experimental results demonstrate that O-DRT outperforms RPT and DRT in terms of the number of test cases required to detect and remove a given number of defects.

关键词： Testing Linear programming Optimization Estimation Software Bayes methods History

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：