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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

858 篇 会议
482 篇 期刊文献
13 册 图书

馆藏范围

1,353 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

828 篇 工学
- 566 篇 计算机科学与技术...
- 454 篇 软件工程
- 147 篇 信息与通信工程
- 111 篇 控制科学与工程
- 108 篇 电子科学与技术（可...
- 85 篇 电气工程
- 64 篇 生物工程
- 61 篇 机械工程
- 48 篇 安全科学与工程
- 44 篇 交通运输工程
- 43 篇 动力工程及工程热...
- 32 篇 化学工程与技术
- 31 篇 光学工程
- 29 篇 仪器科学与技术
- 27 篇 生物医学工程（可授...
- 25 篇 材料科学与工程（可...
- 25 篇 网络空间安全
- 23 篇 建筑学
417 篇 理学
- 222 篇 数学
- 120 篇 物理学
- 75 篇 统计学（可授理学、...
- 72 篇 生物学
- 49 篇 系统科学
- 40 篇 化学
- 27 篇 地球物理学
199 篇 管理学
- 139 篇 管理科学与工程(可...
- 89 篇 工商管理
- 72 篇 图书情报与档案管...
48 篇 法学
- 43 篇 社会学
33 篇 经济学
- 33 篇 应用经济学
18 篇 医学
14 篇 教育学
9 篇 农学
7 篇 文学
1 篇 哲学
1 篇 军事学

主题

58 篇 computer science
51 篇 software
47 篇 hardware
39 篇 computer archite...
37 篇 companies
35 篇 fault tolerance
33 篇 testing
32 篇 vehicles
27 篇 software enginee...
27 篇 protocols
23 篇 machine learning
22 篇 conferences
22 篇 embedded systems
21 篇 interviews
20 篇 software design
19 篇 registers
19 篇 application soft...
19 篇 security
18 篇 fault tolerant s...
17 篇 real time system...

机构

185 篇 department of co...
96 篇 department of co...
69 篇 department of co...
41 篇 department of co...
39 篇 computer science...
34 篇 computer science...
28 篇 dept. of compute...
24 篇 department of el...
19 篇 department of el...
19 篇 chalmers univers...
18 篇 department of si...
15 篇 dept. of compute...
14 篇 department of co...
14 篇 department of co...
14 篇 computer science...
14 篇 computer science...
12 篇 chalmers univers...
12 篇 department of co...
11 篇 university of go...
11 篇 molecular ai dis...

作者

49 篇 jan bosch
44 篇 bosch jan
34 篇 larsson-edefors ...
34 篇 per larsson-edef...
29 篇 chehreghani mort...
28 篇 helena holmström...
27 篇 tsigas philippas
25 篇 feldt robert
22 篇 johan karlsson
20 篇 engkvist ola
18 篇 papatriantafilou...
16 篇 olsson helena ho...
15 篇 robert feldt
14 篇 berger christian
14 篇 schiller elad m.
13 篇 chaudron michel ...
12 篇 erland jonsson
12 篇 karlsson johan
12 篇 olovsson tomas
12 篇 dubhashi devdatt

语言

1,222 篇 英文
124 篇 其他
8 篇 中文
1 篇 德文
1 篇 法文
1 篇 意大利文

检索条件"机构=Computer Science and Engineering.Chalmers University of Technology"

共 1353 条记录，以下是781-790 订阅

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

详细简洁

排序：

On the Industrial Applicability of TextTest: An Empirical Case Study

On the Industrial Applicability of TextTest: An Empirical Ca...

引用

International Conference on Software Testing, Verification, and Validation, ICST

作者： Emil Alegroth Geoffrey Bache Emily Bache Department of Computer Science and Engineering Chalmers University of Technology Göteborg Sweden Evry AB Olof Asklunds gata Västra Frolunda Sweden Bache Consulting Göteborg Sweden

Software systems are becoming more complex, not least in their Graphical User Interfaces (GUIs), which presents challenges for existing testing practices. Pressure to reduce time to market leaves less time for manual testing and increases the importance of test automation. Previous research has identified several generations of automated GUI-based test approaches with different cost-benefit tradeoffs. Whilst test automation provides fast quality feedback it can be associated with high costs and inability to identify defects not explicitly anticipated by the test designer. TextTest is a capture-replay tool for GUI-based testing with a novel approach that overcomes several of the challenges experienced with previous approaches. Firstly the tool supports Approval Testing, an approach where ASCII-art representations of the GUI's visual state are used to verify correct application behavior at the system level. Secondly it records and replays test scripts in a user defined domain specific language (DSL) that is readable by all stakeholders. In this paper we present a three phase industrial case study that aims to identify TextTest's applicability in industrial practice. The paper reports that the tool is associated with (1) low script development costs due to recording functionality, (2) low maintenance costs, on average 7 minutes per test case, (3) better defect finding ability than manual system testing, (4) high test case execution performance (In this case 500 test cases in 20 minutes), (5) high script readability due to DSL defined scripts, and (6) test suites that are robust to change (In this case 93 percent per iteration). However, the tool requires a higher degree of technical skill for customization work, test maintainers need skills in designing regular expressions and the tool's applicability is currently restricted to Java and Python based applications.

关键词： Graphical user interfaces Testing Maintenance engineering DSL Companies Manuals Data collection

来源：评论

学校读者我要写书评

暂无评论

Towards agile and beyond: An empirical account on the challenges involved when advancing software development practices

Towards agile and beyond: An empirical account on the challe...

引用

15th International Conference on Agile Software Development, XP 2014

作者： Olsson, Helena Holmström Bosch, Jan Department of Computer Science Malmö University Malmö Sweden Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9783319068619

During the last decade, the vast majority of software companies have adopted agile development practices. Now companies are looking to move beyond agile and further advance their practices. In this paper, we report on the experiences of a company in the embedded systems domain that is adopting agile practices with the intention to move beyond agile and towards continuous deployment of software. Based on case study research involving group interviews and a web-based survey, we identify challenges in relation to (1) the adoption of agile practices, (2) testing practices, (3) continuous deployment, and (4) customer validation. © Springer International Publishing Switzerland 2014.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Bit-Flip Aware Control-Flow Error Detection

Bit-Flip Aware Control-Flow Error Detection

引用

Euromicro Conference on Parallel, Distributed and Network-Based Processing

作者： Ghazaleh Nazarian Diego G. Rodrigues Alvaro Moreira Luigi Carro Georgi N. Gaydadjiev Faculty of Electrical Engineering Delft University of Technology Delft The Netherlands Departamento de Informtica Aplicada Instituto de Informtica - UFRGS Bloco IV Bairro Agronomia - Porto Alegre - RS -Brasil Dept. of Computer Science and Engineering Chalmers University of Technology Goteburg Sweden

Recent increase of transient fault rates has made processor reliability a major concern. Moreover performance improvements are required for many of today's embedded systems. At the same time software implemented fault detection remains the only option for off-the-shelf processors. Software methods, however, introduce significant performance overheads due to the additional instructions required for the detection. A good observation is that often code segments not susceptible to faults are protected. In this paper we propose a technique for systematic analysis of the bit-flip effects on the program control-flow in order to identify only those locations susceptible to control-flow errors and hence minimize the number of fault detection assertions. We instrument the code with minimal overhead, while maintaining high fault coverage level. Our experiments show that using the result of our bit-flip analysis and limiting the code instrumentation to only the susceptible locations releases 28.9% (on average) of the memory while the level of fault coverage remains the same as with full instrumentation.

关键词： Instruments Runtime Program processors Circuit faults Transient analysis Hardware

来源：评论

学校读者我要写书评

暂无评论

The Impact of Mobility Patterns on the Efficiency of Data Forwarding in MANETs

The Impact of Mobility Patterns on the Efficiency of Data Fo...

引用

IEEE International Conference on Communications

作者： Thomas D. Lagkas Argyro Lamproudi Panagiotis Sarigiannidis Charalabos Skianis Computer Science Department The University of Sheffield International Faculty CITY College Department of Signals and Systems Chalmers University of Technology Department of Informatics and Telecommunications Engineering University of Western Macedonia Department of Information and Communication Systems at the University of the Aegean in Samos

ISBN: (纸本)9781467364300

One of the most challenging requirements in cutting-edge Mobile Ad hoc Networks is the need for adaptive and efficient routing. Networks capable of adapting their behavior based on current conditions are often characterized as self-organizing networks, which are lately considered very promising for future applications. This work examines the impact of the different mobility properties on the performance of self-organizing networks. For that purpose, a simulator was developed to model different mobility patterns and study the way they affect the effectiveness of the well-known AODV routing protocol. Particularly, this paper focuses on the effect of the different mobility schemes on network topology and consequently to the overall network performance. The results reveal the tight correlations between node mobility characteristics and network metrics.

关键词： AODV MANETs Mobility patterns Mobile routing Self-organizing networks WMNs

来源：评论

学校读者我要写书评

暂无评论

Visualizing testing activities to support continuous integration: A multiple case study

Visualizing testing activities to support continuous integra...

引用

15th International Conference on Agile Software Development, XP 2014

作者： Nilsson, Agneta Bosch, Jan Berger, Christian Software Engineering Division Dpmt of Computer Science and Engineering University of Technology University of Gothenburg Gothenburg Chalmers Sweden

ISBN: (纸本)9783319068619

While efficient testing arrangements are the key for software companies that are striving for continuous integration, most companies struggle with arranging these highly complex and interconnected testing activities. There is often a lack of an adequate overview of companies' end-to-end testing activities, which tend to lead to problems such as double work, slow feedback loops, too many issues found during post-development, disconnected organizations, and unpredictable release schedules. We report from a multiplecase study in which we explore current testing arrangements at five different software development sites. The outcome of the study is a visualization technique of the testing activities involved from unit and component level to product and release level that support the identification of improvement areas. This model for visualizing the end-to-end testing activities for a system has been used to visualize these five cases and has been validated empirically. © Springer International Publishing Switzerland 2014.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Identifying Metrics' Biases When Measuring or Approximating Size in Heterogeneous Languages

Identifying Metrics' Biases When Measuring or Approximating ...

引用

International Symposium on Empirical Software engineering and Measurement, ESEM

作者： Regina Hebig Jesper Derehag Michel R. V. Chaudron Sorbonne Universites UPMC Univ Paris 06 CNRS LIP6 UMR 7606 Paris Ericsson AB Gothenburg Sweden Sweden Computer Science and Engineering Department Chalmers University of Technology University of Gothenburg

Context: To compare the effectiveness of development techniques, the size of compared software systems needs to be taken into account. However, in industry new development techniques often come with changes in the applied programming languages. Goal: Our goal is to investigate how different size metrics and approximations are biased towards the languages c and c++. Further, we investigate whether triangulation of metrics has the potential to compensate for biases. Method: We identify crucial preconditions for a triangulation and investigate on 34 open source projects, whether a set of 16 size metrics fulfills these preconditions for the languages c and c++. Results: We identify how metrics differ in their biases and find that the preconditions for triangulation are fulfilled. Conclusion: Triangulation has the potential to address language biases, but high variance among metrics and tools need to be taken into account, too.

关键词： Size measurement Yttrium computer languages Approximation methods Software engineering Productivity

来源：评论

学校读者我要写书评

暂无评论

Interference-aware fixed-priority schedulability analysis on multiprocessors

Interference-aware fixed-priority schedulability analysis on...

引用

Real-Time Systems

作者： Pathan, Risat Mahmud Jonsson, Jan Department of Computer Science and Engineering Chalmers University of Technology 412-96 Göteborg Sweden

This paper presents new schedulability tests for preemptive global fixed-priority (FP) scheduling of sporadic tasks on identical multiprocessor platform. One of the main challenges in deriving a schedulability test for global FP scheduling is identifying the worst-case runtime behavior, i.e., the critical instant, at which the release of a job suffers the maximum interference from the jobs of its higher priority tasks. Unfortunately, the critical instant is not yet known for sporadic tasks under global FP scheduling. To overcome this limitation, pessimism is introduced during the schedulability analysis to safely approximate the worst-case. The endeavor in this paper is to reduce such pessimism by proposing three new schedulability tests for global FP scheduling. Another challenge for global FP scheduling is the problem of assigning the fixed priorities to the tasks because no efficient method to find the optimal priority ordering in such case is currently known. Each of the schedulability tests proposed in this paper can be used to determine the priority of each task based on Audsley's approach. It is shown that the proposed tests not only theoretically dominate but also empirically perform better than the state-of-the-art schedulability test for global FP scheduling of sporadic tasks. © 2013 Springer science+Business Media New York.

关键词： Fixed platforms Interactive computer systems Multiprocessing systems Real time systems Scheduling Testing Fixed priorities Global Multiprocessor Scheduling Interference aware Multi processor platforms Runtime behaviors Schedulability analysis Schedulability test Sporadic tasks

来源：评论

学校读者我要写书评

暂无评论

Mastering model-driven engineering 14

Mastering model-driven engineering

引用

2014 Innovation and technology in computer science Education Conference, ITICSE 2014

作者： Burden, Hakan Adawi, Tom Computer Science and Engineering University of Gothenburg Gothenburg Sweden Engineering Education Research Chalmers University of Technology Gothenburg Sweden

The challenge of transforming the understanding of a problem into a validated solution is not a trivial task. Using the conceptual framework of cognitive apprenticeship we show two ways to guide novices towards becomi... 详细信息

ISBN: (纸本)9781450328333

关键词： Apprentices

来源：评论

学校读者我要写书评

暂无评论

Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types 5

Normalization by evaluation in the delay monad: A case study...

引用

5th Workshop on Mathematically Structured Functional Programming, MSFP 2014

作者： Abel, Andreas Chapman, James Department of Computer Science and Engineering Chalmers and Gothenburg University Sweden Institute of Cybernetics Tallinn University of Technology Estonia

In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: One is a standard evaluator of lambda terms to closures, the other a type-directed reifier from values to h-long b-normal forms. Their composition, normalization-by-evaluation, is shown to be a total function a posteriori, using a standard logical-relations argument. The successful formalization serves as a proof-of-concept for coinductive programming and reasoning using sized types and copatterns, a new and presently experimental feature of Agda. © A. Abel & J. Chapman.

关键词： Function evaluation

来源：评论

学校读者我要写书评

暂无评论

Supervisory control of discrete-event systems via IC3

Supervisory control of discrete-event systems via IC3

引用

10th International Haifa Verification Conference, HVC 2014

作者： Shoaei, Mohammad Reza Kovács, Laura Lennartson, Bengt Department of Signals and Systems Chalmers University of Technology Gothenburg Sweden Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

ISBN: (纸本)9783319133379

The IC3 algorithm has proven to be an effective SAT-based safety model checker. It has been generalized to other frameworks such as SMT and applied very successfully to hardware and software model checking. In this paper, we present a novel technique for the supervisory control of discrete-event systems with infinite state space via IC3. We introduce an algorithm for synthesizing maximally permissive controllers using a generalized IC3 to find (if any exists) a weakest inductive invariant predicate which holds in the initial state, is maintained as the system evolves, and implies safety and control properties. To this end, we use a variation of IC3, called Tree-IC3, as a bug finder to solve the supervisory predicate control problem by iteratively reporting all feasible counterexample traces using a tree-like search, while controlling the system to avoid them. The maximally permissiveness is achieved by finding the weakest of such controllers that is invariant under safety and control properties. Experimental results demonstrate the great potential of using IC3 technique for the purpose of the supervisory control problems. © Springer International Publishing Switzerland 2014.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共136页 << < 75 76 77 78 79 80 81 82 83 84 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：