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

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Explaining how intelligent control has improved the way we live: A survey on the use of Fuzzy Logic Controllers in daily human life

Explaining how intelligent control has improved the way we l...

引用

International Conference on Multimedia Computing and systems

作者： Lasri, R. Rojas, I. Pomares, H. Sadouq, Z. Dept. of Computer Architecture and Computer Technology E.T.S. Ing. Informática and Telecomunicación Univ. of Granada Spain Information and Telecommunication Systems Laboratory Abdelmalek Essaadi University Faculty of Science Tetuan Morocco

ISBN: (纸本)9781612847306

This paper focuses on the extensive use of Fuzzy Logic Controllers (FLCS) in various human applications, showing the great contribution added to intelligent control. Overall, this survey covers a broad selection of examples that demonstrates the improvements in control processes and the important role played by Fuzzy Logic Controllers (FLCS) in various fields of human life. © 2011 IEEE.

关键词： Intelligent control

来源：评论

学校读者我要写书评

暂无评论

Mobile phone-based health application for women: A Singapore study 11

Mobile phone-based health application for women: A Singapore...

引用

4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, ISABEL'11

作者： Xue, Lishan Yen, Ching Chiuan Chang, Leanne Tai, Bee Choo Chan, Hock Chuan Duh, Henry Been-Lirn Choolani, Mahesh Division of Industrial Design 4 Architecture Drive Singapore 117566 Singapore NUS CNM Programme 11 Law Link Block AS6 Singapore 117589 Singapore NUS Dept. of Epidemiology and Public Health 16 Medical Drive Singapore 117597 Singapore NUS Dept. of Information Systems 'COM2' #04-34 15 Computing Drive Singapore 117418 Singapore NUS Dept. of Electrical and Computer Engineering Block E4 Engineering Drive 3 Singapore 117576 Singapore NUS Dept. of Obstetrics and Gynaecology NUHS Tower Block IE Kent Ridge Road Singapore 119228 Singapore

ISBN: (纸本)9781450309134

The purpose of this paper is illustrate why and how a mobile-phone based application was proposed to explore how women react and their acceptance toward well-being management after interacting with the application. It was organized by considering the Female-focused Design Strategy (FDS) and designed to have three features: a description of health topics, a self-help diagnosis through step-by-step questions and quizzes about health topics to test general health knowledge. The paper reports the qualitative user feedback and discusses the recommendations and trends for future design and implementation for women's health. © 2011 ACM.

关键词： Cellular telephones

来源：评论

学校读者我要写书评

暂无评论

Migrating individuals and probabilistic models on dedas: A comparison on continuous functions

Migrating individuals and probabilistic models on dedas: A c...

引用

10th IASTED International Conference on Artificial Intelligence and Applications, AIA 2010

作者： Muelas, Santiago Mendiburu, Alexander LaTorre, Antonio Peña, José-María Dept. of Computer Systems Architecture and Technology Universidad Politécnica de Madrid Spain Intelligent Systems Group Dept. of Computer Architecture and Technology University of the Basque Country Spain

ISBN: (纸本)9780889868182

One of the most promising areas in which probabilistic graphical models have shown an incipient activity is the field of heuristic optimization and, in particular, in the Estimation of Distribution Algorithms (EDAs). EDAs constitute a well-known family of Evolutionary Computation techniques, similar to Genetic Algorithms. Due to their inherent parallelism, different research lines have been studied trying to improve EDAs from the point of view of execution time and/or accuracy. Among these proposals, we focus on the so-called island-based models. This approach defines several islands (EDA instances) running independently and exchanging information with a given frequency. The information sent by the islands can be a set of individuals or a probabilistic model. This paper presents a comparative study of both information exchanging techniques for a univariate EDA (UMDAg) over a wide set of parameters and problems -the standard benchmark developed for the IEEEWorkshop on Evolutionary Algorithms and other Metaheuristics for Continuous Optimization Problems of the ISDA 2009 Conference. The study concludes that the configurations based on migrating individuals obtain better results.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Simulation of High-Performance Memory Allocators

Simulation of High-Performance Memory Allocators

引用

Euromicro Symposium on Digital System Design

作者： Jose L. Risco-Martín J. Manuel Colmenar David Atienza J. Ignacio Hidalgo Dept. of Computer Architecture and Automation Complutense University of Madrid Madrid Spain C.E.S. Felipe II Complutense University of Madrid Aranjuez Spain Embedded Systems Laboratory (ESL) EPFL Lausanne Switzerland

Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern high-performance applications. To optimize metrics like performance, memory usage and energy consumption, software engineers often write custom allocators from scratch, which is a difficult and error-prone process. In this paper, we present a flexible and efficient simulator to study Dynamic Memory Managers (DMMs), a composition of one or more memory allocators. This novel approach allows programmers to simulate custom and general DMMs, which can be composed without incurring any additional runtime overhead or additional programming cost. We show that this infrastructure simplifies DMM construction, mainly because the target application does not need to be compiled every time a new DMM must be evaluated. Within a search procedure, the system designer can choose the "best" allocator by simulation for a particular target application. In our evaluation, we show that our scheme will deliver better performance, less memory usage and less energy consumption than single memory allocators.

关键词： Memory management Resource management Energy consumption Dynamic scheduling Software Computational modeling Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Dynamic property evaluations of full-scale 4-story steel frame using parallel FE-analysis

Dynamic property evaluations of full-scale 4-story steel fra...

引用

9th US National and 10th Canadian Conference on Earthquake Engineering 2010, Including Papers from the 4th International Tsunami Symposium

作者： Kohiyama, M. Ohsaki, M. Miyamura, T. Onda, K. Isobe, D. Akiba, H. Hori, M. Kajiwara, K. Ine, T. Dept. of System Design Eng. Keio University Yokohama 223-8522 Japan Dept. of Architecture and Architectural Eng. Kyoto University Kyoto 615-8540 Japan Dept. of Computer Science College of Eng. Nihon University Koriyama 963-8642 Japan Allied Engineering Corporation Minato-ku Tokyo 105-0014 Japan Graduate School of Systems and Information Eng. University of Tsukuba Tsukuba 305-8573 Japan Earthquake Research Institute University of Tokyo Bunkyo-ku Tokyo 113-0032 Japan Hyogo Earthquake Engineering Research Center National Research Institute for Earth Science and Disaster Prevention Miki 673-0515 Japan

ISBN: (纸本)9781617388446

The project of E-Simulator is under way at Hyogo Earthquake Engineering Research Center (E-Defense) of National Research Institute of Earth Science and Disaster Prevention (NIED), Japan, which facilitates the world's largest shaking table. The E-Simulator uses the parallel finite element (FE) analysis software package called ADVENTYRECluster (ADVC) as a platform. In this study, we report the results of high-precision FE-analysis for simulation of collapse behavior of the 4-story steel building frame that is the specimen of the full-scale total collapse shaking-table test conducted in September 2007 at E-Defense. It is shown that elastoplastic dynamic responses can be estimated with good accuracy using a high-precision FE-analysis without resort to macro models such as plastic hinge and composite beam effect.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

Message from the organizers

ACM International Conference Proceeding Series

引用

ACM International Conference Proceeding Series 2010年 vii-ix页

作者： Bode, Arndt Bouissou, Marc Distefano, Salvatore Puliafito, Antonio Trivedi, Kishor Walter, Max Technische Universität München Department of Computer Architecture Germany Electricité de France R and D/MRI Department France Università di Messina Multimedia and Distributed Systems Laboratory Italy Duke University Durham Dept. of Electrical and Computer Engineering United States

来源：评论

学校读者我要写书评

暂无评论

NPB-MPJ: NAS parallel Benchmarks Implementation for Message-Passing in Java

NPB-MPJ: NAS Parallel Benchmarks Implementation for Message-...

引用

Euromicro Conference on parallel, Distributed and Network-Based Processing

作者： Damián A. Mallón Guillermo L. Taboada Juan Touriño Ramón Doallo Computer Architecture Group Dept. of Electronics and Systems University of A Coruña A Coruña Spain

Java is a valuable and emerging alternative for the development of parallel applications, thanks to the availability of several Java message-passing libraries and its full multithreading support. The combination of both shared and distributed memory programming is an interesting option for parallel programming multi-core systems. However, the concerns about Java performance are hindering its adoption in this field, although it is difficult to evaluate accurately its performance due to the lack of standard benchmarks in Java. This paper presents NPB-MPJ, the first extensive implementation of the NAS parallel Benchmarks (NPB), the standard parallel benchmark suite, for Message-Passing in Java (MPJ) libraries. Together with the design and implementation details of NPB-MPJ, this paper gathers several optimization techniques that can serve as a guide for the development of more efficient Java applications for High Performance Computing (HPC). NPB-MPJ has been used in the performance evaluation of Java against C/Fortran parallel libraries on two representative multi-core clusters. Thus, NPB-MPJ provides an up-to-date snapshot of MPJ performance, whose comparative analysis of current Java and native parallel solutions confirms that MPJ is an alternative for parallel programming multi-core systems.

关键词： Java Libraries parallel programming Multithreading Design optimization Industrial training Scalability computer architecture Application software Availability

来源：评论

学校读者我要写书评

暂无评论

Application of image processing to measure road distresses

引用

WSEAS Transactions on Information Science and Applications 2008年第1期5卷 1-7页

作者： Rajab, Maher I. Alawi, Mohammad H. Saif, Mohammed A. Computer Engineering Dept. College of Computer and Information Systems University of Umm Al-Qura P.O. Box 5555 Makkah Saudi Arabia Civil Engineering Dept. College of Engineering and Islamic Architecture University of Umm Al-Qura P.O. Box 5555 Makkah Saudi Arabia

Pavements usually experience different types of distress due to repeated traffic loads, aggressive environmental conditions, construction materials, soil condition of the underline subgrade, and the method of construction. Longitudinal and transverse cracking, potholes, rutting, and bleeding are common examples of such distresses associated with flexible pavements. As time progresses, the severity of these distreaaes increases and consequently, ride quality is adversely affected. Early detection and measurement of the extent of distresses coupled with prompt reactive measures are necessary to keep the pavement function at an acceptable level. Traditional methods for distress detection and measurement are laborious, time consuming, and subject the involved personnel to accidents. In contrast, image measurement methods are effortless, safe, and can be performed in a short time. This research paper performs image processing measurements to estimate areas of a pothole and alligator cracking, and sets a program for plane measurements of an area that experience rutting. The image measurements are compared with the traditional measurements. The results show that image measurements are close to those obtained by using the traditional methods.

关键词： Traffic signals

来源：评论

学校读者我要写书评

暂无评论

High performance java sockets for parallel computing on clusters

High performance java sockets for parallel computing on clus...

引用

21st International parallel and Distributed Processing Symposium, IPDPS 2007

作者： Taboada, Guillermo L. Touriño, Juan Doallo, Ramón Computer Architecture Group Dept. of Electronics and Systems University of A Coruña A Coruña 15071 Spain

ISBN: (纸本)1424409101

The use of Java for parallel programming on clusters relies on the need of efficient communication middleware and high-speed cluster interconnect support. Nevertheless, currently there are no solutions that fully fulfill these issues. In this paper, a Java sockets library has been tailored to increase the efficiency of Java parallel applications on clusters. This library supports high-speed cluster interconnects and its API has been extended to meet the requirements of a high performance Java RMI implementation and Java parallel applications on clusters. Thus, it provides Java with a more efficient communication middleware on clusters. The performance evaluation of this middleware on a Gigabit Ethernet (GbE) and a Scalable Coherent Interface (SCI) cluster has shown experimental evidence of throughput increase. Moreover, qualitative aspects of the solution such as transparency to the user, interoperability with other systems and no need of source code modifications are decisive to boost the performance of existing Java parallel applications and their developments in high performance Java cluster computing. © 2007 IEEE.

关键词： parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：