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

9th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2011

作者： Pop, Tomáš Keznikl, Jaroslav Hošek, Petr Malohlava, Michal Bures, Tomáš Hnětynka, Petr Charles University Faculty of Mathematics and Physics Department of Distributed and Dependable Systems Malostranske namesti 25 Prague 1 118 00 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodarenskou vezi 2 Prague 8 182 07 Czech Republic Imperial College London United Kingdom

ISBN: (纸本)9780769544908

As embedded and real-time systems became an inherent part of many electronic appliances of everyday use, the demand for their development has grown enormously. Increasing complexity of these systems leads to demands of tools and techniques addressing their efficient and short time-to-market development. One of the possible ways to tackle the problem is a reuse of tools, methodologies and know how already established and successfully adopted in other application domains. Such transfer cannot be done inherently without appropriate modification and methodical adaptation based on an analysis of domain requirements. The paper analyzes necessary modifications and extensions of a general purpose component-based technology to enable development of embedded real-time systems. In addition, we present our own experience obtained while tailoring advanced component framework SOFA 2 to support development of embedded and real-time systems. © 2011 IEEE.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

A comparison of Wireless Fidelity (Wi-Fi) fingerprinting techniques

A comparison of Wireless Fidelity (Wi-Fi) fingerprinting tec...

引用

International Conference on Information and Communication Technology Convergence (ICTC)

作者： Lersan B. Del Mundo Rafael Lean D. Ansay Cedric Angelo M. Festin Roel M. Ocampo Networks and Distributed Systems Laboratory Department of Computer Science University of the Philippines Diliman Quezon Philippines Computer Networks Lab Electrical and Electronics Engineering Institute University of the Philippines Diliman Quezon Philippines

Among several techniques proposed for indoor positioning using IEEE 802.11 Wireless Fidelity (Wi-Fi) based networks, those that rely on fingerprinting have been demonstrated to outperform those based on lateration, angulation, and cell of origin in terms of accuracy. We compare and evaluate three Wi-Fi fingerprinting techniques that use the K-Nearest Neighbor (k-NN), Naive Bayes Classifier (NBC) and Support Vector Machine (SVM) algorithms. Our experiments show that SVM-based fingerprinting outperformed both k-NN and NBC-based fingerprinting, achieving accuracies of 2 meters or better within our testbed.

关键词： Accuracy Support vector machines IEEE 802.11 Standards Vectors Databases Fingerprint recognition Kernel

来源：评论

学校读者我要写书评

暂无评论

System-Level Performance Evaluation of Very High Complexity Media Applications : A H264/AVC Encoder Case Study

引用

International Journal of Communications, Network and System sciences 2011年第7期4卷 436-446页

作者： Hajer Krichene Zrida Abderrazek Jemai Ahmed C Ammari Mohamed Abid Computer & Embedded Systems Laboratory National School of Engineers of Sfax Sfax University LIP2 Laboratory Faculty of Science of Tunis Research Unit in Materials Measurements and Applications National Institute of Applied Sciences Carthage Univers

Given the substantially increasing complexity of embedded systems, the use of relatively detailed clock cycle-accurate simulators for the design-space exploration is impractical in the early design stages. Raising the abstraction level is nowadays widely seen as a solution to bridge the gap between the increasing system complexity and the low design productivity. For this, several system-level design tools and methodologies have been introduced to efficiently explore the design space of heterogeneous signal processing systems. In this paper, we demonstrate the effectiveness and the flexibility of the Sesame/Artemis system-level modeling and simulation methodology for efficient peformance evaluation and rapid architectural exploration of the increasing complexity heterogeneous embedded media systems. For this purpose, we have selected a system level design of a very high complexity media application;a H.264/AVC (Advanced Video Codec) video encoder. The encoding performances will be evaluated using system-level simulations targeting multiple heterogeneous multiprocessors platforms.

关键词： System-Level Performance Evaluation embedded systems Design Space Exploration Tools the Sesame/Artemis Design Tool a Parallel H.264/AVC Video Encoder

来源：评论

学校读者我要写书评

暂无评论

MoNoTrac - A mobility trace generator based on OpenStreetMap geo-data

MoNoTrac - A mobility trace generator based on OpenStreetMap...

引用

2010 IEEE 7th International Conference on Mobile Adhoc and Sensor systems, MASS 2010

作者： Güneş, Mesut Juraschek, Felix Blywis, Bastian Graff, Christian Institute of Computer Science - Distributed Embedded Systems Freie Universität Berlin Germany

ISBN: (纸本)9781424474882

Simulations of mobile networks require the specification of the node movement. The movement is either computed based on mathematical models or given by previously recorded mobility traces. The Mobile Node Trace Generator (MoNoTrac) is a mobility trace generator based on OpenStreetMap data. The simulation area is selected from a real city map and the movement of nodes of different kinds, such as cars and pedestrians, is simulated on this geographical data. We adapt two popular mobility models in a way that they respect the geographical and structural constraints. MoNoTrac produces an XML-based metaformat which may be converted to formats required by popular network simulators such as ns-2/3 and OMNeT++. The goal of the MoNoTrac framework is to ease the development process of more realistic mobility models that are based on real geo data. ©2010 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A testbed-based study of uni-and multi-path Dynamic Source Routing in a WMN

A testbed-based study of uni-and multi-path Dynamic Source R...

引用

2010 IFIP Wireless Days, WD 2010

作者： Blywis, Bastian Günes, Mesut Gutzmann, David J.H. Juraschek, Felix Distributed Embedded Systems Institute of Computer Science Freie Universität Berlin Germany

ISBN: (纸本)9781424492299

Dynamic Source Routing (DSR) was one of the first proposed protocols for routing in Mobile Ad-hoc Networks and is among the few that were ratified by the IETF. Despite its source routing overhead, the protocol exhibits particular properties that make it an optimal choice for multi-path routing where multiple paths are discovered for each destination. The alternative paths can either be stored for error recovery situations or used in parallel to improve the throughput. In this paper we present a study of 10 uni- and multi-path DSR variants in a wireless mesh network testbed. A modified ETX metric is proposed for an improved link quality measurement. The experiments are evaluated considering the routing-overhead and packet delivery ratio with focus on the route discovery. © 2010 IEEE.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

A study of adaptive gossip routing in wireless mesh networks

A study of adaptive gossip routing in wireless mesh networks

引用

2nd International Conference on Ad Hoc Networks, ADHOCNETS 2010

作者： Blywis, Bastian Güneş, Mesut Hofmann, Sebastian Juraschek, Felix Institute of Computer Science Distributed Embedded Systems Freie Universität Berlin Germany

ISBN: (纸本)3642179932

Gossip routing is an approach to limit the overhead of flooding in wireless networks. Each node, that receives a packet that would normally be flooded, applies a probabilistic approach. The packet is either forwarded with probability p or dropped with 1 - p. This paper is a follow-up to our last study that evaluated the approaches by Haas et al. in the DES-Testbed, a wireless mesh network. Four different gossip routing variants were discussed which used static parameters to determine the value p. In this study, we compare the proposals by four other entities and discuss whether they show an overall improvement regarding the two most important metrics in this domain: reachability and redundancy. We also discuss the assumptions and parameters of the simulation studies in the context of our experiments in a real world deployment. © institute for computer sciences, Social Informatics and Telecommunications Engineering 2010.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

Verification of web service protocols by logic of knowledge

引用

Journal of Information and Computational science 2011年第6期8卷 921-932页

作者： Chen, Qingliang Su, Kaile Cao, Ying Liu, Chanjuan School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200000 China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia

Web services is a popular distributed systems technology and its effectiveness and efficiency rely badly on the underlying protocols. And web service protocols are designed in XML formats so the message structures within are quite different from the conventional ones. Therefore, the well-established formal verification techniques for conventional protocols, which have gained substantial achievements in practice, cannot be applied directly to them because of the inherently different syntax. In this paper, we propose a justification-oriented and automatic formal approach to verify, in the standard Dolev-Yao model, concerned security properties expressed as epistemic notions, i. e., logic of knowledge, for web service protocols, based on a fault-preserving mapping tool called SuD (SOAP under Dolev-Yao). Our approach is significant because, instead of finding flaws in finite number of protocol sessions, the specifications we are to verify can hold in arbitrary number of sessions. © 2011 Binary Information Press.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Preface

IFIP Advances in Information and Communication Technology

引用

IFIP Advances in Information and Communication Technology 2012年 373卷

作者： Ayala, José L. Alonso, David Atienza Reis, Ricardo Complutense University of Madrid Computer Science Faculty Madrid28040 Spain Institute of EE Embedded Systems Laboratory ELG 131 Station 11 Lausanne1015 Switzerland Universidade Federal do Rio Grande do Sul Instituto de Informática Av. Bento Gonçalves 9500 Campus do Vale Bloco IV CP 15064 Porto Alegre91501-970 Brazil

来源：评论

学校读者我要写书评

暂无评论

Introducing Support for embedded and Real-Time Devices into Existing Hierarchical Component System: Lessons Learned

Introducing Support for Embedded and Real-Time Devices into ...

引用

International Conference on Software Engineering Research, Management and Applications (SERA)

作者： Tomas Pop Jaroslav Keznikl Petr Hosek Michal Malohlava Tomas Bures Petr Hnetynka Faculty of Mathematics and Physics Department of Distributed and Dependable Systems Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Prague Czech Republic Imperial College London UK

关键词： Real time systems Adaptation models Hardware embedded systems Connectors

来源：评论

学校读者我要写书评

暂无评论

Link quality ranking: Getting the best out of unreliable links

Link quality ranking: Getting the best out of unreliable lin...

引用

International Conference on distributed Computing in Sensor systems (DCOSS)

作者： Marco Zuniga Izabela Irzynska Jan-Hinrich Hauer Thiemo Voigt Carlo A. Boano Kay Roemer Networked Embedded Systems Group University of Duisburg-Essen Germany Digital Enterprise Research Institute National University of Ireland Galway Ireland Telecommunication Networks Group Technical University Berlin Germany Swedish Institute of Computer Science Kista Sweden Institute of Computer Engineering University of Lübeck Germany

Link quality estimation has been an active area of research within the wireless sensor network community. It is now well known that the estimation of reliable links requires few sample packets - less than 10, while the estimation of unreliable links require many more - above 50. In scenarios where unreliable links are ubiquitous, and a rapid transfer of data is needed, traditional estimation techniques are not a viable option. In such scenarios, it is instead sufficient to identify the best link available at any given time. Within this context, we propose Link Quality Ranking (LQR), a mechanism that identifies the best link available when only unreliable links are present. Our testbed results indicate that with one sample packet, the delivery rate of LQR - with respect to the best link available - is above 93%. With 10 sample packets, the performance is above 96%.

关键词： Measurement Entropy Probes Accuracy Estimation Receivers Uncertainty

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：