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

The essence of bidirectional programming

Science China(Information Sciences) 2015年第5期58卷 76-96页

作者： FISCHER Sebastian HU ZhenJiang PACHECO Hugo Department of Computing Science Christian-Albrechts-University of Kiel Information Systems Architecture Research Division National Institute of Informatics Department of Informatics The Graduate University for Advanced Studies (SOKENDAI) School of Electronics Engineering and Computer Science Peking University Department of Computer Science Cornell University

Bidirectional transformations(BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers’ inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular *** this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free.

关键词： bidirectional transformation software adaption and coevolution bidirectional programming

来源：评论

学校读者我要写书评

暂无评论

Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM

Introducing SLAMBench, a performance and accuracy benchmarki...

引用

2015 IEEE International Conference on Robotics and Automation, ICRA 2015

作者： Nardi, Luigi Bodin, Bruno Zia, M. Zeeshan Mawer, John Nisbet, Andy Kelly, Paul H. J. Davison, Andrew J. Luján, Mikel O'Boyle, Michael F. P. Riley, Graham Topham, Nigel Furber, Steve Dept. Computing Imperial College London United Kingdom Institute for Computing Systems Architecture Univ. of Edinburgh United Kingdom School of Computer Science Univ. of Manchester United Kingdom

ISBN: (纸本)9781479969234

Real-time dense computer vision and SLAM offer great potential for a new level of scene modelling, tracking and real environmental interaction for many types of robot, but their high computational requirements mean that use on mass market embedded platforms is challenging. Meanwhile, trends in low-cost, low-power processing are towards massive parallelism and heterogeneity, making it difficult for robotics and vision researchers to implement their algorithms in a performance-portable way. In this paper we introduce SLAMBench, a publicly-available software framework which represents a starting point for quantitative, comparable and validatable experimental research to investigate trade-offs in performance, accuracy and energy consumption of a dense RGB-D SLAM system. SLAMBench provides a KinectFusion implementation in C++, OpenMP, OpenCL and CUDA, and harnesses the ICL-NUIM dataset of synthetic RGB-D sequences with trajectory and scene ground truth for reliable accuracy comparison of different implementation and algorithms. We present an analysis and breakdown of the constituent algorithmic elements of KinectFusion, and experimentally investigate their execution time on a variety of multicore and GPU-accelerated platforms. For a popular embedded platform, we also present an analysis of energy efficiency for different configuration alternatives. © 2015 IEEE.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Behavioral modeling of Wireless Sensor nodes using meta-data

Behavioral modeling of Wireless Sensor nodes using meta-data

引用

Intelligent Sensors, Sensor Networks and Information Processing Conference (ISSNIP)

作者： Hashan M Wanniarachchi Kasun S Perera M.D.J.S Goonatillake University of Colombo School of Computing Sri Lanka Database Technology Group Institute of Systems Architecture Dresden TU Germany

Many Wireless Sensor Network systems are deployed under extreme conditions. Thus, it's important to maximize their lifespan by optimal use of network's resources. Battery lifespan of a node is a crucial resource that needs to be used carefully. Energy aware routing & scheduled sensing have been introduced for careful use of battery. It is necessary to optimize battery usage by predicting it's future behavior. This will lead the users to take early decisions, thus minimizing network downtime. Hence, we explore the possibility of using meta-data on each node, to represent and predict node behavior using machine learning models. In this research, we use node voltage level as an indicator of the energy used, as voltage is proportional to available energy. Node energy consumption is modeled and predicted by ARIMA models using these voltage readings. We also classify nodes as high, medium & low use, with respect to its current and future usage, thus allowing user to take early decisions maximizing network throughput (lifetime). After evaluating predicted node behavior against a created base set of behavioral classifications, we achieved a 80% accuracy rate. Using different and increasing window sizes, we evaluated the validity of our model. In these experiments, our prediction method produced highly accurate results for all considered prediction windows. By being able to predict a node's energy consumption behavior at a higher accuracy rate, WSN users can make optimization decisions beforehand to increase the network lifetime.

关键词： Wireless sensor networks Predictive models Time series analysis Data models Energy consumption Accuracy Voltage measurement

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017) of the Organization for Computational Neuroscience Antwerp, Belgium, July 15-20, 2017

引用

BMC NEUROSCIENCE 2017年第SUPPL 1期18卷 59-59页

作者： [Anonymous] Indiana University Purdue University Indianapolis Indianapolis IN 46032 USA Stark Neurosciences Research Institute Indiana University School of Medicine Indianapolis IN 46032 USA Department of Mathematics East Carolina University Greenville NC 27858 USA Jülich Supercomputing Centre Forschungszentrum Jülich 52425 Jülich Germany Future Systems Swiss National Supercomputing Centre 8092 Zurich Switzerland User Engagement and Support Swiss National Supercomputing Centre 6900 Lugano Switzerland Institut de Neurosciences des Systèmes Aix Marseille Univ 13005 Marseille France Simulation Lab Neuroscience Forschungszentrum Jülich Jülich Germany Department of Experimental Psychology Ghent University 9000 Ghent Belgium Donders Center for Cognitive Neuroimaging Radboud University 6525HR Nijmegen The Netherlands Department of Electrical Computer and Energy Engineering University of Colorado Boulder CO 80309 USA Department of Neurosurgery Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Neurology Johns Hopkins School of Medicine Baltimore MD 21287 USA Department of Otolaryngology Johns Hopkins School of Medicine Baltimore MD 21287 USA INSERM U968 Paris France Sorbonne Universités UPMC University Paris 06 UMR_S 968 Institut de la Vision Paris France CNRS UMR_7210 Paris France Department of Computer Architecture and Technology University of Granada (CITIC) Granada Spain Sorbonne Universités UPMC Univ Paris 06 INSERM CNRS Institut de la Vision Paris France Department of Adaptive Machine Systems Osaka University Osaka Japan Department of Computer Science University of Cergy-Pontoise Cergy-Pontoise France Department of Physics and Astronomy College of Charleston Charleston SC 29424 USA School of Physics Faculty of Science University of Sydney Sydney NSW 2006 Australia Center of Excellence for Integrative Brain Function Australian Research Council Sydney Australia Max Planck Institute for Human Cognitive and Brain Sciences Saxony Lei

来源：评论

学校读者我要写书评

暂无评论

Introducing SLAMBench, a performance and accuracy benchmarking methodology for SLAM

Introducing SLAMBench, a performance and accuracy benchmarki...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Luigi Nardi Bruno Bodin M. Zeeshan Zia John Mawer Andy Nisbet Paul H. J. Kelly Andrew J. Davison Mikel Luján Michael F. P. O'Boyle Graham Riley Nigel Topham Steve Furber Dept. Computing Imperial College London UK Institute for Computing Systems Architecture The Univ. of Edinburgh Scotland School of Computer Science Univ. of Manchester UK

ISBN: (纸本)9781479969241

关键词： Three-dimensional displays Accuracy Benchmark testing Simultaneous localization and mapping Graphics processing units Kernel Cameras

来源：评论

学校读者我要写书评

暂无评论

Autotuning wavefront applications for multicore multi-GPU hybrid architectures

Autotuning wavefront applications for multicore multi-GPU hy...

引用

2014 International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2014

作者： Mohanty, Siddharth Cole, Murray Institute for Computing Systems Architecture University of Edinburgh United Kingdom

ISBN: (纸本)9781450326551

Manual tuning of applications for heterogeneous parallel systems is tedious and complex. Optimizations are often not portable, and the whole process must be repeated when moving to a new system, or sometimes even to a diffierent problem size. Pattern-based programming models provide structure which can assist in the creation of autotuners for such problems. We present a machine learning based auto-tuning framework which partitions the work created by applications which follow the wavefront pattern across systems comprising multicore CPUs and multiple GPU accelerators. The use of a pattern facilitates training on synthetically generated instances. Exhaustive search space exploration on real applications indicates that correct setting of the tuning factors leads to a maximum of 20x speedup over an optimized sequential baseline, with an average of 7.8x. Our machine learned heuristics obtain 98% of this speed-up, averaged across range of applications and architectures. Categories and Subject Descriptors C.4 [Performance of systems]: Design Studies;D.1.3 [Programming Techniques]: Concurrent Programming- Parallel programming.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Efficient code generation in a region-based dynamic binary translator 14

Efficient code generation in a region-based dynamic binary t...

引用

Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

作者： Spink, Tom Wagstaff, Harry Franke, Björn Topham, Nigel Institute for Computing Systems Architecture School of Informatics University of Edinburgh United Kingdom

ISBN: (纸本)9781450328777

Region-based JIT compilation operates on translation units comprising multiple basic blocks and, possibly cyclic or conditional, control flow between these. It promises to reconcile aggressive code optimisation and low compilation latency in performancecritical dynamic binary translators. Whilst various region selection schemes and isolated code optimisation techniques have been investigated it remains unclear how to best exploit such regions for efficient code generation. Complex interactions with indirect branch tables and translation caches can have adverse effects on performance if not considered carefully. In this paper we present a complete code generation strategy for a region-based dynamic binary translator, which exploits branch type and control flow profiling information to improve code quality for the common case. We demonstrate that using our code generation strategy a competitive region-based dynamic compiler can be built on top of the LLVM JIT compilation framework. For the ARM V5T target ISA and SPEC CPU 2006 benchmarks we achieve execution rates of, on average, 867 MIPS and up to 1323 MIPS on a standard X86 host machine, outperforming state-of-the-art QEMU-ARM by delivering a speedup of 264%. Copyright is held by the owner/author(s). Publication rights licensed to ACM.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

Quantitative Evaluation of Decision Effects in the Management of Emergency Department Problems

引用

Procedia Computer Science 2015年 51卷 433-442页

作者： Zhengchun Liu Eduardo Cabrera Manel Taboada Francisco Epelde Dolores Rexachs Emilio Luque Computer Architecture & Operating Systems University Autonoma of Barcelona(UAB) Spain Institute of Advanced Research Computing Durham University UK Tomas Cerda Computer Science School (UAB) Spain Medicine Department Hospital Universitari Parc Tauli (UAB) Spain

Due to the complexity and crucial role of an Emergency Department(ED) in the healthcare system. The ability to more accurately represent, simulate and predict performance of ED will be invaluable for decision makers to solve management problems. One way to realize this requirement is by modeling and simulating the emergency department, the objective of this research is to design a simulator, in order to better understand the bottleneck of ED performance and provide ability to predict such performance on defined condition. Agent-based modeling approach was used to model the healthcare staff, patient and physical resources in ED. This agent-based simulator provides the advantage of knowing the behavior of an ED system from the micro-level interactions among its components. The model was built in collaboration with healthcare staff in a typical ED and has been implemented and verified in a Netlogo modeling environment. Case studies are provided to present some capabilities of the simulator in quantitive analysis ED behavior and supporting decision making. Because of the complexity of the system, high performance computing technology was used to increase the number of studied scenarios and reduce execution time.

关键词： Emergency Department Agent-based Modeling Complex System Decision Support

来源：评论

学校读者我要写书评

暂无评论

A New Algorithm for Non-rigid Point Matching Using Geodesic Graph Model

A New Algorithm for Non-rigid Point Matching Using Geodesic ...

引用

IEEE International Conference on Mechatronics and Automation

作者： Deheng Qian Tianshi Chen Hong Qiao State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing 100190 China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

ISBN: (纸本)9781479970995

Point matching is a problem of finding the optimum matching between two sets of key points which are extracted from the surfaces of objects. A popular approach represents the features of a set of points with a graph model. Traditionally, the measurement applied in the graph model is the Euclidian distance, which is not suitable for objects with non-rigid deformations. In this paper, we propose a novel graph model called the geodesic graph model (GGM) which uses a geodesic-like distance as its measurement. GGM can better tackle non-rigid deformations because the geodesic-like distance is a kind of invariant structural feature during non-rigid deformations. The building process of the GGM is justified under the assumption that all the key points are spanning on a manifold. To further handle the deviations of key point locations, we come up with a feature weighting process to increase our algorithm's robustness. We conduct several experiments on different kinds of deformations over several widely used datasets. Experimental results demonstrate the effectiveness of our algorithm.

关键词： Point matching non-rigid deformation manifold geodesic distance

来源：评论

学校读者我要写书评

暂无评论

Simulating the micro-level behavior of emergency department for macro-level features prediction 15

Simulating the micro-level behavior of emergency department ...

引用

Simulation Winter Conference

作者： Zhengchun Liu Dolores Rexachs Emilio Luque Francisco Epelde Eduardo Cabrera Computer Architecture & Operating Systems University Autònoma of Barcelona Bellaterra Barcelona SPAIN Medicine Department Hospital Universitari Parc Taulí Sabadell Barcelona SPAIN Institute of Advanced Research Computing Durham University Durham UK

ISBN: (纸本)9781467397414

Emergency departments are currently facing major pressures due to rising demand caused by population growth, aging and high expectations of service quality. With changes continuing to challenge healthcare systems, developing solutions and formulating policies require a good understanding of the complex and dynamic nature of the relevant systems. However, as a typically complex system, it is hard to grasp the non-linear association between macro-level features and micro-level behavior for a systematic understanding. Instead of describing all the potential causes of this complex issue, in this paper we present a layer-based application framework to discover knowledge of an emergency department system through simulating micro-level behaviors of its components to facilitate a systematic understanding. Finally, case studies are used to demonstrate the potential use of the proposed approach. Results show that the proposed framework can significantly rtheeflect the non-linear association between micro-level behavior and macro-level features.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：