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

IEEE World Forum on Internet of Things (WF-IoT)

作者： Jetzabel Serna Roberto Morales Manel Medina Jesus Luna Cybersecurity Research Group Barcelona Digital Technology Centre Department of Computer Architecture Technical University of Catalonia Department of Computer Science Technical University of Darmstadt

Vehicular Ad-Hoc NETworks (VANETs), a pillar for the Internet of Vehicles, aim to improve road safety by preventing and reducing traffic accidents. While VANETs offer a great variety of safety and infotainment applications, there remain a number of security and privacy challenges, such as, user profiling and vehicle tracking, which, must be addressed. This paper contributes with a framework to address security and privacy issues in VANETs. The proposed framework consists of i) an inter-domain authentication system able to provide a near realtime certificate status service, ii) a mechanism to quantitatively evaluate the trust level of a CA and establish a on-the-fly interoperability relationship, and iii) a privacy enhancing model that addresses privacy in terms of linkability.

关键词： Vehicles Privacy Protocols Vehicular ad hoc networks Authentication Internet

来源：评论

学校读者我要写书评

暂无评论

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections

A Case Study in Coordination Programming: Performance Evalua...

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Pavel Zaichenkov Bert Gijsbers Clemens Grelck Olga Tveretina Alex Shafarenko Moscow Institute of Physics and Technology Russia Compiler Technology and Computer Architecture Group University of Hertfordshire United Kingdom Informatics Institute University of Amsterdam The Netherlands Programming Languages Group Ghent University Belgium

ISBN: (纸本)9781479941155

We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). As a coordination language S-Net achieves a near-complete separation of concerns between sequential software components implemented in a separate algorithmic language and their parallel orchestration in an asynchronous data flow streaming network. We investigate the merits of S-Net and CnC with the help of a relevant and non-trivial linear algebra problem: tiled Cholesky decomposition. We describe two alternative S-Net implementations of tiled Cholesky factorization and compare them with two CnC implementations, one with explicit performance tuning and one without, that have previously been used to illustrate Intel CnC. Our experiments on a 48-core machine demonstrate that S-Net manages to outperform CnC on this problem.

关键词： Synchronization Programming Matrix decomposition Concurrent computing Computational modeling Tuning Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 1

引用

BMC Neurosci 2017年第SUPPL 1期18卷 58-58页

作者： Sue Denham Panayiota Poirazi Erik De Schutter Karl Friston Ho Ka Chan Thomas Nowotny Dongqi Han Sungho Hong Sophie Rosay Tanja Wernle Alessandro Treves Sarah Goethals Romain Brette Tomas Van Pottelbergh Rodolphe Sepulchre Alex D. Bird Hermann Cuntz Pedro J. Gonçalves Jan-Matthis Lueckmann Giacomo Bassetto Marcel Nonnenmacher Jakob H. Macke Audrey J. Sederberg Jason N. MacLean Stephanie E. Palmer Ulisse Ferrari Christophe Gardella Olivier Marre Thierry Mora Emina Ibrahimovic Martin Müller Jean-Pascal Pfister Tushar Chauhan Timothée Masquelier Alexandre Montlibert Benoit R. Cottereau Moritz Helias Jannis Schuecker David Dahmen Sven Goedeke Alexandre Hyafil Ainhoa Hermoso-Mendizabal Pavel E. Rueda-Orozco Santiago Jaramillo David Robbe Jaime de la Rocha Marie Rooy Fani Koukouli David DiGregorio Uwe Maskos Boris Gutkin Andrey Yu Verisokin Darya V. Verveyko Dmitry E. Postnov Willy Wong Omid Talakoub Robert Chen Milos Popovic Dmitriy Lisitsyn Eric Drebitz Iris Grothe Sunita Mandon Andreas Kreiter Udo Ernst Peter A. Robinson Xuelong Zhao Kevin M. Aquino John D. Griffiths Grishma Mehta-Pandejee Natasha Gabay James MacLaurin Somwrita Sarkar Tim Kunze Jens Haueisen Thomas R. Knösche Subutai Ahmad Yuwei Cui Marcus Lewis Jeff Hawkins Simona Olmi Spase Petkoski Fabrice Bartolomei Maxime Guye Viktor Jirsa Hazem Toutounji Daniel Durstewitz Matteo Cantarelli Adrian Quintana Boris Marin Matt Earnshaw Padraig Gleeson Robert Court Robert McDougal R. Angus Silver Salvador Dura-Bernal Stephen Larson William W. Lytton Giovanni Idili Lorenzo Posani Simona Cocco Karel Ježek Rémi Monasson School of Psychology Faculty of Health & Human Sciences Plymouth University Plymouth Devon PL4 8AA UK Institute of Molecular Biology and Biotechnology (IMBB) Foundation for Research and Technology-Hellas (FORTH) Heraklion Crete Greece Okinawa Institute of Science and Technology Graduate University Okinawa Japan Wellcome Trust Centre for Neuroimaging Institute of Neurology UCL London WC1N 3BG UK School of Engineering and Informatics University of Sussex Brighton BN1 9QJ UK Graduate School Okinawa Institute of Science and Technology Okinawa 904-0495 Japan Computational Neuroscience Unit Okinawa Institute of Science and Technology Okinawa 904-0495 Japan Cognitive Neuroscience Area Scuola Internazionale Superiore di Studi Avanzati Trieste 34136 Italy Kavli Institute for Systems Neuroscience NTNU Trondheim 7030 Norway Institut de la Vision Sorbonne Universités UPMC Univ Paris 06 INSERM CNRS Paris 75012 France Department of Engineering University of Cambridge Cambridge Cambridgeshire CB2 1PZ UK Ernst Strüngmann Institute for Neuroscience Max Planck Society Frankfurt Germany Frankfurt Institute for Advanced Studies Frankfurt Germany Neural Systems Analysis Research Center Caesar An Associate of the Max Planck Society Bonn Germany Max Planck Institute for Biological Cybernetics Tübingen Germany Bernstein Center for Computational Neuroscience Tübingen Germany Present Address: Biomedical Engineering Department Georgia Institute of Technology Atlanta GA 30306 USA Department of Neurobiology University of Chicago Chicago IL 60637 USA Department of Organismal Biology and Anatomy University of Chicago Chicago IL 60637 USA Committee on Computational Neuroscience University of Chicago Chicago IL 60637 USA Institut de la Vision Sorbonne Universités INSERM Paris France Laboratoire de Physique Statistique Ecole Normale Supérieure Paris France Institute of Molecular Life Sciences University of Zürich 8057 Zürich Switzerland Institute of Neuroinformatics Univer

来源：评论

学校读者我要写书评

暂无评论

Designing a control application by using a specialized multi-core soft microprocessor

Designing a control application by using a specialized multi...

引用

12th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2013

作者： Däne, Bernd Pacholik, Alexander Zschäck, Stephan Fengler, Wolfgang Ament, Christoph Braune, Tobias Computer Architecture and Embedded Systems Group Ilmenau University of Technology 98684 Ilmenau Germany Systems Analysis Group Ilmenau University of Technology 98684 Ilmenau Germany

ISBN: (纸本)9783902823533

Computationally intensive algorithms for closed loop control and similar systems today can be implemented using reconfigurable FPGA devices. One approach is using soft microprocessor designs and implementing the algorithms as programs. This paper reports about a case study within an ongoing project that investigates a multi-core soft microprocessor solution for a closed-loop control application. Requirements within the project lead to a specialized processor design. Some results from experimental work are presented, demonstrating feasibility and efficiency of the approach. © IFAC.

关键词： Signal processing

来源：评论

学校读者我要写书评

暂无评论

Software authentication to enhance trust in Body Sensor Networks

引用

8th International Workshop on Security and Trust Management, STM 2012

作者： De Groot, Joep Bui, Vinh Linnartz, Jean-Paul Lukkien, Johan Verhoeven, Richard Signal Processing Systems Group Electrical Engineering Eindhoven University of Technology Eindhoven Netherlands System Architecture and Networking Group Mathematics and Computer Science Eindhoven University of Technology Eindhoven Netherlands

ISBN: (纸本)9783642380037

This paper studies an approach to enhance the trust in the widespread use of Body Sensor Networks (BSN) in Healthcare. To address the wide variety in medical indications and differences between patients, we assume that such BSNs are programmable and highly flexible in their functionality. Yet this opens a vulnerability to malicious attacks and intrusion of the patient's privacy. We study the work flow in a typical medical scenario, we map the (implied or evidence-based) trust relations and we use this to propose a scheme for verifying the authenticity and trustworthiness without prohibitively interfering with common practices. Our proposed framework is currently being refined in the VITRUVIUS project, for instance to test the feasibility of its implementation. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Enhancing root cause analysis with runtime models and interactive visualizations 8

Enhancing root cause analysis with runtime models and intera...

引用

8th Workshop on Models @ Run.time, MRT 2013 - Co-located with 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013

作者： Szvetits, Michael Zdun, Uwe Software Engineering Group Information Technology Institute University of Applied Sciences Wiener Neustadt Germany Software Architecture Group Faculty of Computer Science University of Vienna Austria

Recent research shows that runtime models can be used to build dynamic systems coping with changing requirements and execution environments. As software systems are getting bigger and more complex, locating malfunctioning software parts is no trivial task because of the vast amount of possible error sources and produced logging information. This information has to be traced back to faulty components, which often leads to editing of code scattered over different software artefacts. With such a fragmented view, challenges arise in finding out the root cause of the unwanted software behaviour. In this paper we propose the usage of runtime models in combination with model-driven techniques and interactive visualizations to ease tracing between log file entries and corresponding software artefacts. The contribution of this paper is a repository-based approach to augment root cause analysis with interactive tracing views while maximizing reusability of models created during the software development process.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Interaction and architectural space

Interaction and architectural space

引用

32nd Annual ACM Conference on Human Factors in Computing Systems, CHI EA 2014

作者： Dalton, Nick Hölscher, Christoph Green, Keith Evan Mathew, Anijo Dalton, Ruth Schnädelbach, Holger Wiberg, Mikael Varoudis, Tasos Department of Computing Open University Milton Keyens United Kingdom Department of Humanities Social and Political Sciences ETH Zürich Zürich Switzerland Institute for Intelligent Materials Systems and Environments Clemson University Clemson SC United States Institute of Design Ilinois Institute of Technology Chicago IL United States Department of Architecture Northumbria University Newcastle United Kingdom School of Computer Science University of Nottingham Nottingham United Kingdom Department of Informatics Umeå University 901 87 Umeå Sweden Space Group University College London London United Kingdom

ISBN: (纸本)9781450324748

For many in the field of HCI, location and space are synonymous;yet, as we move from the mobile era to the ubiquitous era, computing becomes entangled with notions of space. This workshop critically examines the role of space in human-computer interfaces. The objective is to bring together diverse perspectives of space, drawing from architecture, philosophy, art, geography, design, dance, spatial-cognition, mathematics, computing, and still other domains, towards foregrounding space in theoretical discussions and explorations within the CHI community. Expected outcomes are the reporting of fresh insights into the impact and role of space in the interaction process.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Decisions, Models, and Monitoring - A Lifecycle Model for the Evolution of Service-Based Systems

Decisions, Models, and Monitoring - A Lifecycle Model for th...

引用

17th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2013

作者： Inzinger, Christian Hummer, Waldemar Lytra, Ioanna Leitner, Philipp Tran, Huy Zdun, Uwe Dustdar, Schahram Distributed Systems Group Vienna University of Technology Argentinierstr. 8/184 A-1040 Vienna Austria Research Group Software Architecture Faculty of Computer Science University of Vienna Währingerstr. 29 A-1090 Vienna Austria

The process of engineering and provisioning service-based systems (SBS) follows a complex and dynamic lifecycle with different phases and levels of abstraction. We tackle the problem of making this lifecycle explicit, providing development time and runtime support for evolutionary changes in such systems. SBSs are modeled as integrated ecosystems consisting of four conceptual layers (or phases): design, implementation, deployment, and runtime. Our work is driven by the notion that identifying the right changes (monitoring) and effecting of these changes (adaptation) usually takes place individually on each layer. While considering changes on a single layer (e.g., runtime adaptation) is often sufficient, some cases require systematic escalation to adjacent layers. We present a generic lifecycle model that provides an abstracted view of the problem domain and can be mapped to concrete artifacts on each individual layer. We introduce a real-life scenario taken from the telecommunications domain, which serves as the basis for discussion of the challenges and our solution. Based on the scenario and our experience from a research project on Virtual Service Platforms, we evaluate three concrete use cases which illustrate the diversity of evolutionary changes supported by the approach. © 2013 IEEE.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Designing a Control Application by Using a Specialized Multi-Core Soft Microprocessor

引用

IFAC Proceedings Volumes 2013年第28期46卷 221-226页

作者： Bernd Däne Alexander Pacholik Stephan Zschäck Wolfgang Fengler Christoph Ament Tobias Braune Computer Architecture and Embedded Systems Group Systems Analysis Group Ilmenau University of Technology 98684 Ilmenau Germany Tel: +49-3677-69-2825)

关键词： embedded systems soft microprocessor signal processing floating-point real-time

来源：评论

学校读者我要写书评

暂无评论

SoC performance evaluation with ArchC and TLM-2.0

SoC performance evaluation with ArchC and TLM-2.0

引用

International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC)

作者： Jörg Walter Jörg Lenhardt Wolfram Schiffmann OFFIS Institute for Information Technology Oldenburg Germany Faculty of Mathematics and Computer Science Computer Architecture Group University of Hagen Germany

ArchC is an architecture description language that provides instruction set level simulation and binary tool chain generation. It is based on SystemC and can communicate with other SystemC components using transaction level modeling (TLM). In this article we present an upgrade of ArchC that allows TLM-2.0 usage and makes it available in timed simulations. These extensions enable performance evaluation of complete System-on-Chip designs built around an ArchC processor model. As a proof-of-concept, we examine various TLM-connected memory hierarchies. We outline how model designers can use a combination of fast functional simulation and slow timed simulation to determine an optimal system architecture for a given workload.

关键词： Time-varying systems Time-domain analysis Pipelines Timing Hardware Load modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：