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

2006 ACM SIGPLAN Symposium on Principles and Practice of Parallel programming, PPOPP'06

作者： Saha, Bratin Adl-Tabatabai, Ali-Reza Hudson, Richard L. Chi, Cao Minh Hertzberg, Benjamin Programming System Lab. Microprocessor Technology Lab. Intel Corporation Computer Architecture Lab. Stanford University Palo Alto CA

ISBN: (纸本)1595931899

Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed this concurrency using locks (mutex based synchronization). Unfortunately, lock based synchronization often leads to deadlocks, makes fine-grained synchronization difficult, hinders composition of atomic primitives, and provides no support for error recovery. Transactions avoid many of these problems, and therefore, promise to ease concurrent programming. We describe a software transactional memory (STM) system that is part of McRT, an experimental Multi-Core RunTime. The McRT-STM implementation uses a number of novel algorithms, and supports advanced features such as nested transactions with partial aborts, conditional signaling within a transaction, and object based conflict detection for C/C++ applications. The McRT-STM exports interfaces that can be used from C/C++ programs directly or as a target for compilers translating higher level linguistic constructs. We present a detailed performance analysis of various STM design tradeoffs such as pessimistic versus optimistic concurrency, undo logging versus write buffering, and cache line based versus object based conflict detection. We also show a MCAS implementation that works on arbitrary values, coexists with the STM, and can be used as a more efficient form of transactional memory. To provide a baseline we compare the performance of the STM with that of fine-grained and coarse-grained locking using a number of concurrent data structures on a 16-processor SMP system. We also show our STM performance on a non-synthetic workload - the Linux sendmail application. Copyright © 2006 ACM.

关键词： Data storage equipment

来源：评论

学校读者我要写书评

暂无评论

Interval Oriented Entropy Based Multi-item Solid Transportation Problem with Budget and Breakability

引用

International Journal of Applied and Computational Mathematics 2015年第2期1卷 279-292页

作者： Baidya, Abhijit Bera, Uttam Kumar Maiti, Manoranjan Department of Mathematics National Institute of Technology Agartala Jirania 799055 West Tripura India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India

To maximization the total profit and minimization the total cost we investigate two transportation models with interval transportation parameters and we present a solution of our newly developed models using appropriate methods. The solid transportation problem has been formulated with and without interval entropy function defined by Shannon’s measure of entropy. Also an additional constraint on the total budget at each destination is imposed. When we transport the goods from plants to destination then few items should be damage due to bad condition of route and vehicles, for this reason we introduce the breakability in our respective models. We employ two different approaches (Hu and Wang’s Approach and Mahato and Bhunia’s Approach) based on interval ranking and made a comparison on it. To convert the multi-objective programming problem into single-objective problem we apply weighted sum method. The models are illustrated with numerical examples and solved using the LINGO.13 optimization software. The results of the models with and without entropy are also obtained and compared. © 2014, Springer India Pvt. Ltd.

关键词： Breakability Budget constraint Entropy function Interval order relation Solid transportation problem (STP) Weighted sum method

来源：评论

学校读者我要写书评

暂无评论

Multicore Software Engineering, Performance, and Tools 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Victor Pankratius Michael Philippsen

ISBN: (数字)9783642312021

ISBN: (纸本)9783642312014

This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems.

关键词： Special Purpose and Application-Based Systems System Performance and Evaluation Software Engineering programming Languages, Compilers, Interpreters Operating Systems programming Techniques

来源：评论

学校读者我要写书评

暂无评论

High-speed migration by anticipative mobility

Lecture Notes in Computer Science (including subseries Lectu...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Two-stage multi-item 4-dimensional transportation problem with fuzzy risk and substitution

引用

Journal of Ambient Intelligence and Humanized Computing 2023年第7期14卷 9469-9496页

作者： Devnath, Sudeshna De, Manoranjan Mondal, Seema Sarkar Maiti, Manoranjan Department of Mathematics National Institute of Technology Durgapur Durgapur713209 India Department of Mathematics Mugberia Gangadhar Mahavidyalaya West Bengal Purba Medinipur India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore721102 India

With the worldwide transport infrastructural development, there are several connecting roads between the cities for transportation. Some of these roads are smooth, and some are very rough, which invites some risks during transportation. For public distribution of some commodities, Govts. of developing countries collect those from the open markets, transport those to some warehouses for temporary storage, and from there, again transport to the fair-price shops for public distribution. With these facts, in this investigation, Govt.’s above scheme is modelled as two-stage four-dimensional transportation problems with different choices of conveyances and routes. There are some path and conveyance-wise uncertain travel risks. In fair-price shops, substitutable essential items (say rice and wheat) are sold with the necessary ones (say, mustard oil, etc.), which are sold by push-sale against some concession in an essential item (say, more rice, etc.). Thus, there is a trade-off between the ‘push-sale’ and ‘concession’, and hence an optimum decision is derived. Several models are developed depending on management’s and customers’ decisions, substitutability, push-sale, and environments. For road risk, a two-parameter (road’s roughness and distance) Mamdani-type fuzzy logic is implemented. The system’s profits for different models are maximised in both crisp and fuzzy environments and illustrated numerically using Generalised Reduced Gradient method through Lingo software. Here, the Govt.’s policy of introducing new products (termed as necessary item) among the public against a concession in an essential item has been introduced and analysed. This push-sale is effective up to a certain level, and after that, profit goes down. © 2023, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic

Advanced tool for predictive diagnosis and maintenance using...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria

ISBN: (纸本)9788897999225

The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly used in designing the real time application having the decision support capability. In this study implementation of fuzzy logic in the CBR systems that deriving effective knowledge representation schemes has been described. The benefits of the approach have been presented. The applications of the developed advanced tool based on fuzzy logic and CBR for solving the real problems of predictive diagnosis and maintenance in industrial systems have been discussed. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Axis control in SAC

引用

14th International Workshop on Implementation of Functional Languages, IFL 2002

作者： Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Germany University of Kiel Institute of Computer Science and Applied Mathematics Germany

ISBN: (纸本)3540401903

High-level array processing is characterized by the composition of generic operations, which treat all array elements in a uniform way. This paper proposes a mechanism that allows programmers to direct effects of such array operations to non-scalar subarrays of argument arrays without sacrificing the high-level programming approach. A versatile notation for axis control is presented, and it is shown how the additional language constructs can be transformed into regular SaC code. Furthermore, an optimization technique is introduced which achieves the same runtime performance regardless of whether code is written using the new notation or in a substantially less elegant style employing conventional language features. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Array processing

来源：评论

学校读者我要写书评

暂无评论

Rule-based fuzzy classifier for spinal deformities

Rule-based fuzzy classifier for spinal deformities

引用

作者： Birtane, Sibel Korkmaz, Hayriye Department of Computer Programming Vocational School Istanbul Arel University Istanbul Turkey Department of Electrical and Electronics Engineering Faculty of Technology Marmara University Istanbul Turkey

In this paper, 2-steps software using image processing and enhancement technologies is developed to obtain a scoliosis patient's spine pattern from 2D coronal X-Ray images without manual land marking. Then, a Rule-based Fuzzy classifier is implemented on those images to classify the spine patterns using the King-Moe classification approach. © 2014 - IOS Press and the authors.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Method for Forecasting the Demand for Pharmaceutical Products in a Distributed Pharmacy Network Based on an Integrated Approach Using Fuzzy Logic and Neural Networks

A Method for Forecasting the Demand for Pharmaceutical Produ...

引用

International Conference on Intelligent and Fuzzy Systems, INFUS 2020

作者： Oglu, Alekperov Ramiz Balashirin Kizi, Isgandarova Ilhama Tarlan Information Technology and Programming Azerimed LLC BakuAZ1147 Azerbaijan Department of Computer Engineering Odlar Yurdu University BakuAZ1072 Azerbaijan

ISBN: (纸本)9783030511555

This article discusses the use of fuzzy logic and a neural network to predict the demand for pharmaceutical products in a distributed network, in conditions of insufficient information, a large assortment and the influence of risk factors. A comprehensive approach to solving forecasting problems is proposed using: the theory of fuzzy logic - when forecasting emerging and unmet needs and a neural network - if there is a lot of retrospective information about the actual sale of drugs and drugs. Using this approach to solve the problems of forecasting demand allows you to get statistics and experience. The general algorithm, mathematical interpretation and examples of forecasting the demand for pharmaceutical products in the face of uncertainty of information are given, and the general structure of the system for forecasting the demand for drugs is described. © 2021, The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Uncertainty analysis

来源：评论

学校读者我要写书评

暂无评论

With-loop scalarization – merging nested array operations

With-loop scalarization – merging nested array operations

引用

15th International Workshop on the Implementation of Functional Languages, IFL 2003

作者： Grelck, Clemens Scholz, Sven-Bodo Trojahner, Kai University of Lübeck Institute of Software Technology and Programming Languages Germany University of Kiel Institute of Computer Science and Applied Mathematics Germany

ISBN: (纸本)9783540237273

Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, naïve compilation of such specifications leads to creation of many temporary arrays at runtime and, consequently, to poor performance characteristics. This paper elaborates on a new compiler optimization, named with-loop-scalarization, which aims at eliminating temporary arrays in the context of nested array operations. It is based on with-loops, a versatile array comprehension construct used by the functional array language SaC both for specification as well as for internal representation of array operations. The impact of with-loop-scalarization on the runtime performance of compiled SaC code is demonstrated by several experiments involving support for arithmetic on arrays of complex numbers and the application kernel FT from the NAS benchmark suite. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：