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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2913卷 500-510页

作者： Stoops, Luk Verelst, Karsten Mens, Tom D'Hondt, Theo Department of Computer Science Programming Technology Laboratory Vrije Universiteit Brussel Belgium

In the advent of ambient intelligence, introducing ubiquitous mobile systems and services in general and mobile code in particular, network latency becomes a critical factor, especially in wireless, low-bandwidth environments. This paper investigates anticipative mobility, a high performance computing technique that exploits parallelism between loading and execution of applications to reduce network latency. The technique sends the mobile application code anticipative to the remote host, long before the actual migration is requested. Then, at the actual migration, we won't transfer the complete application anymore but only the delta of the current computational state with the already migrated computational state. Our experiments show that some applications can migrate in 2% of their original migration time. This allows applications to migrate very fast from host to host without a significant loss of execution time during the migration phase. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Ambient intelligence

来源：评论

学校读者我要写书评

暂无评论

Block group preserving correction methods for differential algebraic equations with multiple constraints

引用

Journal of Computational and Theoretical Nanoscience 2016年第7期13卷 4042-4049页

作者： Lu, Jianguang Qin, Xiaolin Feng, Yong Tang, Juan Laboratory of Automated Reasoning and Programming Chengdu Institute of Computer Applications Chinese Academy of Science Chengdu610041 China Chongqing Key Laboratory of Automated Reasoning and Cognition Chongqing Institute of Green and Intelligent Technology Chinese Academy of Science Chongqing400714 China University of Chinese Academy of Science Beijing100049 China

In this paper, we combine the Euler scheme with the block group preserving methods to obtain the high accuracy block group preserving techniques. High index differential algebraic equations (DAEs) may have hidden algebraic constraints. To solve the high-index DAEs or DAEs with multiple constraints, we propose block group preserving correction scheme (BGPCS) via exponential mapping and block modified group preserving correction scheme (BMGPCS) by considering multiple constraints. We block the nonlinear dynamical system with m constraints into m subsystems. Each subsystem uses group preserving correction scheme (GPCS) and modified group preserving correction scheme (MGPCS). Moreover, we give two necessary conditions of the block methods. The schemes provide single-step explicit time integrators for systems of DAEs. Some numerical examples are examined, showing that the BMGPCS works very well and the merits of the computational efficiency and accuracy of the method can be confirmed. © 2016 American Scientific Publishers All rights reserved.

关键词： Nonlinear dynamical systems

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Circular Queue Method for Iterative Stencil Computations on GPUs

引用

Journal of Computer Science & technology 2012年第1期27卷 57-74页

作者： Yang Yang Hui-Min Cui Xiao-Bing Feng Jing-Ling Xue State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of Sciences Beijing 100190China Graduate University of Chinese Academy of Sciences Beijing 100190China Programming Languages and Compilers Group School of Computer Science and Engineering University of New South WalesSydneyNSW 2052Australia

In this paper, we present a hybrid circular queue method that can significantly boost the performance of stencil computations on GPU by carefully balancing usage of registers and shared-memory. Unlike earlier methods that rely on circular queues predominantly implemented using indirectly addressable shared memory, our hybrid method exploits a new reuse pattern spanning across the multiple time steps in stencil computations so that circular queues can be implemented by both shared memory and registers effectively in a balanced manner. We describe a framework that automatically finds the best placement of data in registers and shared memory in order to maximize the performance of stencil computations. Validation using four different types of stencils on three different GPU platforms shows that our hybrid method achieves speedups up to 2.93X over methods that use circular queues implemented with shared-memory only.

关键词： stencil computation circular queue GPU occupancy register

来源：评论

学校读者我要写书评

暂无评论

Software transactional memory

引用

Queue 2008年第5期6卷 46-58页

作者： Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Beyond the refactoring browser: advanced tool support for software refactoring

Beyond the refactoring browser: advanced tool support for so...

引用

International Workshop on Principles of Software Evolution

作者： T. Mens T. Tourwe F. Munoz Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by determining when a software application should be refactored and which refactoring(s) in particular should be applied. We implemented a tool to detect bad smells and to propose adequate refactorings based on these smells, and validated this tool by carrying out experiments in three concrete case studies: the Soul application, the Smalltalk collection hierarchy, and the HotDraw application framework. We also show how our tool complements the Smalltalk refactoring browser.

关键词： Software tools Conferences

来源：评论

学校读者我要写书评

暂无评论

Automated early warning for ATM safety risks based on fuzzy reasoning

引用

Information technology Journal 2013年第17期12卷 4188-4191页

作者： Heng, Xiang Man, Liang Sino-European Institution of Aviation Engineering Civil Aviation University of China Tianjin 300300 China Tianj in Key Laboratory of Operation Programming and Safety Technology of Air Traffic Management Civil Aviation University of China Tianjin 300300 China

The establishment of an automated risk early warning mechanism closely linked to the air traffic flow management system and information management system plays a positive role in ATM risk management. In this study, a fuzzy reasoning-based approach was proposed to effectively extract the key ATM risk factors for establishing a rapid early warning mechanism. The fuzzy IF-THEN rules were used to build up a fuzzy rule base on the base of experts' knowledge and then through a multi-input fuzzy logic, the different kinds of the unsafe models were ranked. Finally, an extraction of key attributes for ATM safety risks early warning was realized. The result is that the most important attribute is weather conditions, followed by controller's ability in handling large flows and the influences from military activities rank in the third place. The use of this approach is an exploration in the intelligent warning technology for ATM safety risks. © 2013 Asian Network for Scientific Information.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

A declarative evolution framework for object-oriented design patterns

A declarative evolution framework for object-oriented design...

引用

International Conference on Software Maintenance (ICSM)

作者： T. Mens T. Tourwe Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

Object-oriented design patterns and high-level refactorings are popular means of implementing and evolving large object-oriented software systems. Unfortunately, these techniques are inadequately supported at implementation level by current-day software development environments. To alleviate this problem, we propose to use the promising technique of declarative metaprogramming. It offers a tight, yet flexible, symbiosis between a base language and a metalevel declarative reasoning engine. It provides a uniform and language-independent way to specify design patterns and transformations declaratively, to instantiate patterns and generate code for them, and to deal with the evolution of these pattern instances. Providing support for evolution of a software system in terms of the design pattern instances it uses is the main emphasis of this paper.

关键词： Software systems Symbiosis Application software Object oriented programming Engines programming profession Software design Computer architecture Skeleton

来源：评论

学校读者我要写书评

暂无评论

Declarative reasoning about the structure of object-oriented systems

Declarative reasoning about the structure of object-oriented...

引用

technology of Object-Oriented Languages and Systems (TOOLS)

作者： R. Wuyts Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium

The structure of object-oriented systems typically forms a complicated tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe problems to developers and maintainers who want to use, extend or adapt those systems. This paper advocates the use of a logic meta-language to express and extract structural relationships in class-based object-oriented systems. As validation the logic meta-language SOUL was implemented and used to construct a declarative framework that allows reasoning about the structure of Smalltalk programs. The declarative framework's usefulness is illustrated by expressing different high-level structural relationships such as those described by design patterns.

关键词： Documentation Data mining Object oriented programming Electronic mail World Wide Web Process design Logic programming Software systems Writing Computer languages

来源：评论

学校读者我要写书评

暂无评论

Video-Based Real-Time Heart Rate Detection for Drivers Inside the Cabin Using a Smartphone

Video-Based Real-Time Heart Rate Detection for Drivers Insid...

引用

2022 IEEE International Conference on Internet of Things and Intelligence Systems, IoTaIS 2022

作者： Othman, Walaa Kashevnik, Alexey Itmo University Information Technology and Programming Faculty St. Petersburg Russia Laboratory of Computer-aided Integrated Systems Spc Ras St. Petersburg Russia

ISBN: (数字)9798350396454

ISBN: (纸本)9798350396454

Developing vehicles with the Internet of Thing technology including driver health monitoring systems, driver safety systems, and accident prevention has drawn the attention of researchers in the last few years. The monitoring system should prevent any dangerous situation and be comfortable for the driver inside the cabin. In this paper, we introduce a remote video-based method for detecting the heart rate in real-time using smartphone cameras, which can be used for the analysis of the driver's physiological parameters to enhance driving safety. We propose to use 3DDFA for automatic facial landmarks detection to extract the driver's face and a 3d-classification-based model for detecting the heart rate. The experiments showed good results with mean absolute error (MAE) equal to 6.8 on the LGI-PPGI dataset and 18.68 on our DriverMVT dataset that was recorded in the wild. © 2022 IEEE.

关键词： Smartphones

来源：评论

学校读者我要写书评

暂无评论

Interconnect Challenges in a Many Core Compute Environment

Interconnect Challenges in a Many Core Compute Environment

引用

IEEE Symposium on High Performance Interconnects

作者： Jerry R. Bautista Technology Management Microprocessor Programming and Research Laboratory Intel USA

It is already established that going forward, the roughly 2x/2yr performance improvements delivered over the last two decades will primarily come through parallelism rather than increasing clock frequencies due to associated power challenges. Provided software and tools continue to scale well with core and thread count, large core counts bring serious challenges both in the memory hierarchy and interconnect bandwidth both on-die, within the package, and off package. Simulations on anticipated future workloads help isolate where specific bottlenecks are likely to occur. New technologies both in die stacking and package- to-package interconnects will be required. These solutions will bring dramatic changes in the physical layer that may well break backward compatibility. Furthermore, these potential approaches are segment specific and involve complex tradeoffs of performance, cost, and power. This presentation will explore several approaches highlighting potential solutions and bandwidth requirements driven by likely future applications.

关键词： Packaging Bandwidth Software packages Parallel processing Clocks Frequency Software tools Yarn Isolation technology Stacking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：