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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

36 篇 会议
7 册 图书

馆藏范围

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

日期分布

学科分类号

31 篇 工学
- 31 篇 计算机科学与技术...
- 7 篇 软件工程
- 6 篇 控制科学与工程
- 4 篇 信息与通信工程
- 3 篇 网络空间安全
- 1 篇 机械工程
- 1 篇 动力工程及工程热...
- 1 篇 电气工程
- 1 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 石油与天然气工程
- 1 篇 环境科学与工程（可...
- 1 篇 安全科学与工程
7 篇 管理学
- 7 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
- 2 篇 工商管理
5 篇 理学
- 3 篇 系统科学
- 2 篇 数学

主题

7 篇 embedded systems
2 篇 uml
2 篇 distributed embe...
2 篇 real time system...
2 篇 petri nets
2 篇 system synthesis
1 篇 networked contro...
1 篇 motion estimatio...
1 篇 systemc
1 篇 asml
1 篇 (dipes
1 篇 agile formalizat...
1 篇 fault tolerance
1 篇 electronic data ...
1 篇 real-time embedd...
1 篇 transcoding
1 篇 embedded
1 篇 discrete event s...
1 篇 formal semantics
1 篇 reconfigurable a...

机构

5 篇 paderborn univer...
4 篇 university of pa...
3 篇 university of pa...
2 篇 technische unive...
2 篇 univ gesamthsch ...
1 篇 federal universi...
1 篇 univ oldenburg d...
1 篇 georgia institut...
1 篇 danfoss drives a...
1 篇 univ fed pernamb...
1 篇 university of ol...
1 篇 inst natl sci ap...
1 篇 simon fraser uni...
1 篇 university ofyor...
1 篇 dcc-ufam manaus ...
1 篇 inria rhône-alpe...
1 篇 georgia institut...
1 篇 inria rocquencou...
1 篇 informatics and ...
1 篇 chair of program...

作者

7 篇 bernd kleinjohan...
5 篇 lisa kleinjohann
3 篇 kleinjohann lisa
3 篇 kleinjohann bern...
3 篇 hermann kopetz
2 篇 marilyn wolf
2 篇 rettberg a
2 篇 brisolara lisane
2 篇 achim rettberg
2 篇 carro luigi
2 篇 guang r gao
2 篇 kopetz hermann
2 篇 wagner flávio r.
1 篇 custodio marcelo
1 篇 freitas romulo
1 篇 wernicke m
1 篇 hoeller arliones...
1 篇 becker leandro b...
1 篇 bampi s
1 篇 kalla hamoudi

语言

42 篇 英文
1 篇 中文

检索条件"任意字段=IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2004"

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

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

详细简洁

排序：

Pre-runtime scheduling considering timing and energy constraints in embedded systems with multiple processors

Pre-runtime scheduling considering timing and energy constra...

引用

5th ifip tc 10 working conference on distributed and parallel embedded systems, dipes 2006

作者： Tavares, Eduardo Oliveira, Meuse Maciel, Paulo Souza, Bruno Neto, Silvino Barreto, Raimundo Freitas, Romulo Custodio, Marcelo CIn UFPE RecifePE Brazil DCC-UFAM ManausAM Brazil

ISBN: (纸本)9780387393612

In this paper, a pre-runtime scheduling approach for hard real-time embedded systems with multiple processors is presented considering stringent timing and energy constraints. This paper adopts a formal approach, based on time Petri nets, for synthesizing feasible schedules. © 2006 by International Federation for Information Processing.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Pulsed data streams 1

引用

5th ifip tc 10 working conference on distributed and parallel embedded systems, dipes 2006

作者： Kopetz, Hermann Institut für Technische Informatik Technische Universität Wien Treitlstrasse 3 WienA 1040 Austria

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

This paper proposes a new communication primitive for distributed embedded control systems: the pulsed data stream. A pulsed data stream is a time-triggered cyclic unidirectional data stream that is transmitted for a short duration at a defined phase of every cycle of a periodic control system. Since the duration of a cycle and the phase and duration of the transmission within each cycle are known a priori, the transmission of pulsed data-streams can be scheduled by the network ahead of their activation in order to minimize the end-to-end latency that is provided to an application. This paper introduces the concept of a pulsed data stream, presents a number of practical examples that demonstrate the utility of pulsed data streams in distributed monitoring and control applications and hints at implementation issues of pulsed data streams in local and wide-area networks. © 2006 by International Federation for Information Processing.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Engineering concurrent and reactive systems with distributed real-time abstract state machines -: Bridging the gap between formal and empirical approaches

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Glässer, U Vajihollahi, M Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada

ISBN: (纸本)1402081480

This paper revisits the distributed real-time abstract state machine (ASM) paradigm as a feasible, yet robust, approach to high-level specification and design of distributed embedded systems. The flexibility in modeling reactive system behavior, the well defined underlying concurrency framework, and the ability to gradually sharpen requirements into specifications, inspires viewing the ASM paradigm as an agile formalization method that directly supports fundamental practical needs in modeling such systems.

关键词： distributed embedded systems requirements specification agile formalization

来源：评论

学校读者我要写书评

暂无评论

A self-controlled and dynamically reconfigurable architecture

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Dittmann, F Rettberg, A Univ Gesamthsch Paderborn D-4790 Paderborn Germany

ISBN: (纸本)1402081480

Reconfigurable systems have the potential to combine the performance of ASICs with the flexibility of software. The architecture presented in this paper offers a new concept for reconfiguration by operating self-timed and self-controlling. Data is routed together with its control information in a so-called packet through the operator network to make local decisions concerning the behavior of the network. Therefore, we can realize different paths without a central control unit. In this paper, we describe the architecture from the aspect of reconfiguration. An example shows the architecture in practical operation.

关键词： high-level synthesis reconfigurable architectures embedded systems

来源：评论

学校读者我要写书评

暂无评论

Internet premium services for flexible format distributed devices

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Oesterdiekhoff, B Univ Gesamthsch Paderborn D-33102 Paderborn Germany

ISBN: (纸本)1402081480

This paper presents the provision of an internet premium service on different format output devices, which are embedded devices. In particular, we developed a tool for automatic generation of different profile depending target formats, which are used to present the service information on distributed mobile embedded devices like mobile phones, personal digital assistants (PDAs) or smart phones. In this approach XML-[Extensible Markup Language]-based user interface descriptions will be transcoded into other target formats. Used examples are cHTML [compact Hypertext Markup language] for web-enabled mobile devices and WML [Wireless Markup language for WAP Wireless Application Protocol]-enabled mobile devices.

关键词： transcoding user interface

来源：评论

学校读者我要写书评

暂无评论

Automatic synthesis of SystemC-Code from formal specifications

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Rust, C Rettberg, A Univ Gesamthsch Paderborn D-4790 Paderborn Germany

ISBN: (纸本)1402081480

The paper presents an approach for realizing high-level Petri net models in SystemC. The approach contributes to an existing methodology for the Petri net based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net components in hardware. The paper describes the use of standard SystemC language constructs to realize the execution of a high-level Petri net, which is assumed to be separated into partitions. Besides techniques for realizing the mechanisms of Petri net execution, the integration of the code generation into the overall design flow is discussed. To demonstrate the effectiveness of our approach we use the inverse discrete cosine transformation (IDCT) that is part of the MPEG-2 algorithm.

关键词： Petri nets SystemC embedded systems system synthesis

来源：评论

学校读者我要写书评

暂无评论

An active replication scheme that tolerates failures in distributed embedded real-time systems - Processors and communication links failures

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Girault, A Kalla, H Sorel, Y INRIA Rhone Alpes F-38334 Saint Ismier France

ISBN: (纸本)1402081480

embedded real-time systems are being increasingly used in a major part of critical applications. In these systems, critical real-time constraints must be satisfied even in the presence of failures. In this paper, we present a new method-based on graph transformation that introduces fault-tolerance in building embedded real-time systems. The proposed method targets distributed architecture and can tolerate a fixed number of arbitrary processors and communication links failures. Because of the resource limitation in embedded systems, our method uses a software-based replication technique to provide fault-tolerance. Finally, since we use graph transformation to perform replication, our method may be used by any off-line distribution-scheduling algorithm to generate a fault-tolerant distributed schedule.

关键词： distributed and embedded systems real-time systems fault-tolerance active replication graph transformation

来源：评论

学校读者我要写书评

暂无评论

A novel approach for off-line multiprocessor scheduling in embedded hard real-time systems

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Barreto, R Maciel, P Neves, M Tavares, E Lima, R Univ Fed Pernambuco Ctr Informat CIn UFPE BR-50732970 Recife PE Brazil

ISBN: (纸本)1402081480

There are two general approaches for scheduling tasks in real-time systems: runtime and pre-runtime scheduling. However, there are several situations where the runtime approach does not find a feasible schedule even if such a schedule exists. The proposed approach uses state space exploration for finding a pre-runtime scheduling. The main problem with such methods is the space size, which can grow exponentially. This paper shows how to minimize this problem, and presents a depth-first search method on a timed labeled transition system derived from the time Petri net model.

关键词： embedded real-time systems scheduling formal methods and time Petri nets

来源：评论

学校读者我要写书评

暂无评论

Verification framework for UML - Based design of embedded systems

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Kardos, M Zhao, YH Univ Gesamthsch Paderborn Heinz Nixdorf Inst D-4790 Paderborn Germany

ISBN: (纸本)1402081480

System level design incorporating system modeling and formal specification in combination with formal verification can substantially contribute to the correctness and quality of the embedded systems and consequently help reduce the development costs. Ensuring the correctness of the designed system is, of course, a crucial design criterion especially when complex distributed (real-time) embedded systems are considered. Therefore, this paper aims at presenting a verification framework designated for formal verification and validation of UML-based design of embedded systems. It first introduces an approach of using the AsmL language for acquiring formal models of the UML semantics and consequently presents an on-the-fly model checking technique designed to run the formal verification directly over those semantic models.

关键词： embedded system design UML formal semantics ASMs AsmL formal verification model-checking

来源：评论

学校读者我要写书评

暂无评论

Schedulability analysis and design of real-time embedded systems with partitions

引用

working conference on distributed and parallel embedded systems (dipes 2004) held at the 18th World Computer Congress

作者： Doose, D Mammeri, Z Univ Toulouse 3 IRIT F-31062 Toulouse France

ISBN: (纸本)1402081480

Resource partitioning is used to run several independent applications on the same hardware while avoiding error propagation. However, classical methods of validation and design are not adapted to this technique, so new methods have to be elaborated. In this paper, we define four utilization bounds, which give sufficient conditions to guarantee an execution sequence without timing faults as long as the utilization rate of the system remains under the bound. They can of course be used to validate a system with partitions, but the fact that they are based on a partial knowledge of the system allows to use them during system design. This latter point is interesting since we can thus validate a system whose parameters are not yet completely defined, which can greatly reduce the cost by avoiding many backtracks in development cycle.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：