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

4th International Workshop on Reversible Computation, RC 2012

作者： Seiter, Julia Soeken, Mathias Wille, Robert Drechsler, Rolf Group of Computer Architecture Institute of Computer Science University of Bremen D-28359 Bremen Germany DFKI GmbH Cyber-Physical Systems D-28359 Bremen Germany

ISBN: (纸本)9783642363146

For the validation and verification of quantum circuits mainly techniques based on simulation are applied. Although lots of effort has been put into the improvement of these techniques, ensuring the correctness still requires an exhaustive consideration of all input vectors. As a result, these techniques are particularly insufficient to prove a circuit to be error free. As an alternative, we present a symbolic formal verification method that is based on Quantum Multiple-Valued Decision Diagrams (QMDDs), a data-structure allowing for a compact representation of quantum circuits. As a result, using QMDDs it is possible to check the correctness of a circuit without exhaustively considering all input patterns. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Java for General Purpose GPU Computing

Evaluation of Java for General Purpose GPU Computing

引用

International Conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Jorge Docampo Sabela Ramos Guillermo L. Taboada Roberto R. Expósito Juan Touriño Ramón Doallo Computer Architecture Group Department of Electronics and Systems University of A Coruña Spain Computer Architecture Group Department of Electronics and Systems University of A Coruna Spain

The presence of many-core units as accelerators has been increasing due to their ability to improve the performance of highly parallel workloads. General Purpose GPU(GPGPU) computing has allowed the graphical units to emerge as successful co-processors that can be employed to improve the performance of many different non-graphical applications with high parallel requirements, which make them suitable for many High Performance Computing workloads. While the main libraries developed to exploit the massive parallel capacity of GPUs are oriented to C/C++ programmers, there have been several efforts to extend this support to other languages. Among them, Java stands out for being one of the most extended languages and there are multiple projects that try to enable Java to take advantage of GPGPU computing. In this scenario, this paper presents an evaluation of the most relevant among the current solutions that exploit GPGPU computing in Java.

关键词： Java Graphics processing units Kernel Libraries Runtime Programming Standards

来源：评论

学校读者我要写书评

暂无评论

MGSim — A simulation environment for multi-core research and education

MGSim — A simulation environment for multi-core research an...

引用

International Conference on Embedded computer systems: architectures, Modeling and Simulation (IC-SAMOS)

作者： Raphael Poss Mike Lankamp Qiang Yang Jian Fu Irfan Uddin Chris R. Jesshope Computer Systems Architecture group University of Amsterdam Amsterdam Netherlands

ISBN: (纸本)9781479901043

This article presents MGSim 1 , an open source discrete event simulator for on-chip hardware components developed at the University of Amsterdam. MGSim is used as research and teaching vehicle to study the fine-grained hardware/software interactions on many-core chips with and without hardware multithreading. MGSim's component library includes support for core models with different instruction sets, a configurable interconnect, multiple configurable cache and memory models, a dedicated I/O subsystem, and comprehensive monitoring and interaction facilities. The default model configuration shipped with MGSim implements Microgrids, a multi-core architecture with hardware concurrency management. MGSim is furthermore written mostly in C++ and uses object classes to represent chip components. It is optimized for architecture models that can be described as process networks.

关键词： computer architecture Microgrids Hardware Emulation Program processors Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

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)

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.

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Using πdDs in the design of reversible circuits (work-in-progress)

Using πdDs in the design of reversible circuits (work-in-pr...

引用

4th International Workshop on Reversible Computation, RC 2012

作者： Soeken, Mathias Wille, Robert Minato, Shin-Ichi Drechsler, Rolf Institute of Computer Science University of Bremen Group of Computer Architecture D-28359 Bremen Germany Hokkaido University Sapporo 060-0814 Japan DFKI GmbH Cyber-Physical Systems D-28359 Bremen Germany

ISBN: (纸本)9783642363146

With πDDs a data structure has recently been introduced that offers a compact representation for sets of permutations. Since reversible functions constitute permutations on the input assignments, they can naturally be expressed using this data structure. However, its potential has not been exploited so far. In this work-in-progress report, we present and discuss possible applications of πDDs within the design of reversible circuits including techniques for synthesis, debugging, and an efficient determination of the number of minimal circuits. We observed that πDDs inhibit the same space complexities as truth tables and, hence, do not superior existing design methods in many cases. However, they are advantageous when dealing with several functions or gates at once. © 2013 Springer-Verlag Berlin Heidelberg.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of computational approaches to solve Multiple Sequence Alignment

Performance analysis of computational approaches to solve Mu...

引用

作者： Montañola, Alberto Roig, Concepció Guirado, Fernando Hernández, Porfidio Notredame, Cedric Distributed Computing Group Computer Science and Industrial Engineering Department Universitat de Lleida Lleida Spain Computer Architecture and Operating Systems Department Universitat Autònoma de Barcelona Cerdanyola del Vallès Spain Barcelona Spain

In the biotechnology field, the deployment of the Multiple Sequence Alignment (MSA) problem, which is a high performance computing demanding process, is one of the new challenges to address on the new parallel systems. The aim of this problem is to find similar regions on biological sequences. Furthermore, the goal of MSA applications is to align as much sequences as possible with a level of quality that makes the alignment biologically meaningful. An efficiency study of different MSA implementations, based on T-Coffee (one of the most used MSA aligners), has been performed in order to find new optimizations that may improve the average execution time on multi-core systems. We found that the current parallel implementations have some performance issues, affecting negatively the scalability of the process. Finally, the proposed implementation based on the usage of threads in conjunction with a message-passing library is presented, with the aim to optimize the execution of the MSA problem in multi-core-based clusters. © 2012 Springer Science+Business Media, LLC.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：