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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是11-20 订阅

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

详细简洁

排序：

distributed embedded systems: Design, Middleware and Resources 2008

引用

丛书名： ifip Advances in Information and Communication Technology

2008年

作者： Bernd Kleinjohann Lisa Kleinjohann Marilyn Wolf

ISBN: (数字)9780387096612

ISBN: (纸本)9780387096605

This book constitutes the refereed proceedings of the ifip tc 10 working conference on distributed and parallel embedded systems, held at the 20th World Computer Congress inMilan, Italy on September 7-10, 2008. The ifip series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the ifip series is to encourage education and the dissemination and exchange of information about all aspects of computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

5th IFIP TC 10 Working Conference on Distributed and Paralle...

引用

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

ISBN: (纸本)9780387393612

The proceedings contain 28 papers. The special focus in this conference is on distributed and parallel embedded systems. The topics include: Pulsed data streams;from time-triggered to time-deterministic real-time systems;lazy scheduling for energy harvesting sensor nodes;transient processor/bus fault tolerance for embedded systems: With hybrid redundancy and data fragmentation;distributed timed multitasking - a model of computation for hard real-time distributed systems;iterative refinement approach for QoS-aware service configuration;a fast and efficient isomorphic task allocation scheme for k-ary n-cube systems;communication-aware component allocation algorithm for a hybrid architecture;some issues in model-based development for embedded control systems;multi-objective design space exploration of embedded system platforms;dynamic memory management for embedded real-time systems;reliability-aware power management of multi-core processors;Evaluating energy-aware task allocation strategies for MPSoCs;integration of energy reduction into high-level synthesis by partitioning;a demonstration case on the transformation of software architectures for service specification;model-based analysis of a windmill communication system;pre-runtime scheduling considering timing and energy constraints in embedded systems with multiple processors;a hierarchical approach for power management on mobile embedded systems;MDE benefits for distributed, real time and embedded systems;reifying the semantic domains of component contracts;model-based test selection for infinite state reactive systems;continuous engineering of embedded systems;prototyping an ambient light system - a case study;the paderkicker team: Autonomy in realtime environments;modular compilation of synchronous programs;preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

From Model-Driven Design to Resource Management for distributed embedded systems 2006

引用

丛书名： ifip Advances in Information and Communication Technology

2006年

作者： Bernd Kleinjohann Lisa Kleinjohann Ricardo J. Machado Carlos Pereira P.S. Thiagarajan

来源：评论

学校读者我要写书评

暂无评论

MDE benefits for distributed, real time and embedded systems 1

引用

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

作者： Terrier, François Gérard, Sébastien CEA-List France

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

embedded systems envelopment are currently being challenged to provide global solutions that reconcile three conflicting agendas: enrichment/refinement of system functionalities, reduction of time-to-market and production costs, and compliance with nonfunctional requirements. Model-Driven Engineering (MDE) can help development master these complexities by both separating concerns and systematically automating the production, integration and validation process. This paper draws on the Accord|UML research project to illustrate the benefits of model-driven engineering for embedded real time systems development. © 2006 by International Federation for Information Processing.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Some issues in model-based development for embedded control systems 1

引用

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

作者： Caspi, Paul Verimag-CNRS France

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

This presentation aims to discuss the needs for better and more solid foundations of model-based development in embedded control systems. Three particular points are discussed: a comparison between model-based development in control and in computer sciences, the need for a sampling theory of discrete event systems and the need for precise implementation methods based on preemptive scheduling. © 2006 by International Federation for Information Processing.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

distributed timed multitasking - a model of computation for hard real-time distributed systems 1

引用

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

作者： Angelov, Christo Berthing, Jesper Mads Clausen Institute for Product Innovation University of Southern Denmark Grundtvigs Alle 150 Soenderborg6400 Denmark Danfoss Drives A/S Ulsnaes I Graasten6300 Denmark

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

The paper presents a new type of system architecture for distributed embedded systems, whereby a system is composed from embedded actors that communicate transparently by exchanging labeled messages (signals), independent of their allocation onto network nodes. Signals are exchanged at precisely specified time instants in accordance with the concept of Timed Multitasking, whereby actors can be viewed as real-time tasks with event-triggered input and output drivers activated by timing or external events. The combination of actors, signal-based communication and timed multitasking has resulted in a new operational model - distributed Timed Multitasking (DTM). The latter has been used to derive a task execution model and requirements specifications for a real-time kernel, which have been used to develop the timed-multitasking version of the HARTEX kernel. In this context, the paper presents a discussion of specific implementation issues related to the execution of periodic and sporadic tasks under DTM. © 2006 by International Federation for Information Processing.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Continuous engineering of embedded systems 1

引用

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

作者： Steffen, Bernhard Margaria, Tiziana Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Germany

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to employ techniques from automata theory, model checking and automata learning. The main practical impact of our approach is its support of the systematic completion and update of user/customer requirements, which by their nature are quite partial and concentrate on the most prominent scenarios. Our technique generalizes these typical requirement skeletons by extrapolation and it indicates via automatically generated traces where the requirement specification is too loose and additional information is required. This works in the initial phases of system development, but also in case of change requests, where our technique hints at possible problems with their realization (feature interactions), and helps to keep the requirement model in synchrony along the chain of new releases. © 2006 by International Federation for Information Processing.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic memory management for embedded real-time systems

Dynamic memory management for embedded real-time systems

引用

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

作者： Crespo, A. Ripoll, I. Masmano, M. Universidad Politecnica de Valencia Valencia46022 Spain

ISBN: (纸本)9780387393612

Dynamic memory storage has been widely used during years in computer science. However, its use in real-time systems has not been considered as an important issue because the spatial and temporal worst case for allocation and deallocation operations were unbounded or bounded but with a very large bound. TLSF (Two Level Segregated Fit) is a new allocator has been designed specifically to meet real-time constraints. These constraints are addressed in two axis: Time and Space. While the temporal behaviour of TLSF is excellent, O(l), the spatial behaviour is as the best of the known allocators. The spatial constraint is specially required in embedded systems with mitided resources. An efficient and guaranteed use of memory is needed for these systems. In this paper we compare the temporal and spatial performances of the TLSF allocator comparing it with the most relevant allocators. © 2006 by International Federation for Information Processing.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：