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

24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011

作者： Werth, Tobias Schreier, Silvia Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Germany Faculty of Mathematics and Computer Science Data Processing Technology University of Hagen Germany

ISBN: (纸本)9783642360350

The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programming, especially when applied to irregular task-parallel problems, is challenging itself. However, heterogeneous multicores add to that complexity due to their memory hierarchy and specialized accelerators. As a solution for these issues we present CellCilk, a prototype implementation of Cilk for heterogeneous multicores with a host/accelerator design, using the Cell BE in particular. CellCilk introduces a new keyword (spu-spawn) for task creation on the accelerator cores. Task scheduling and load balancing are done by a novel dynamic cross-hierarchy work-stealing regime. Furthermore, the CellCilk runtime employs a garbage collection mechanism for distributed data structures that are created during scheduling. On benchmarks we achieve a good speedup and reasonable runtimes, even when compared to manually parallelized codes. © 2013 Springer-Verlag.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Case study: Simulation of a LAN

Case study: Simulation of a LAN

引用

Workshop on Software Evolution Through Transformations - Toward Uniform Support Throughout the Software Life-Cycle

作者： Janssens, Dirk Demeyer, Serge Mens, Tom Department of Mathematics and Computer Science Universitaire Instelling Antwerpen Antwerp Belgium Programming Technology Lab Vrije Universiteit Brussel Brussels Belgium

A case study on the simulation of a local area network (LAN) that has been used at Vrije Universiteit Brissel (VUB) and the University of Bern to illustrate evolution of object-oriented programs, is reported. The study is intended to illustrate modeling support for software evolution. The case consists of an initial version of the simulation program and a series of changes in the specification that require it to evolve. The evolution of the program corresponds to a series of four consecutive requirements at the level of the LAN, which must be incorporated into the simulation program.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

Fuzzy k-competition graphs

Fuzzy k-competition graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Madhumangal Samanta, Sovan Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore-721102 India Department of Mathematics National Institute of Technology Durgapur 713209 India

ISBN: (纸本)9780989319300

Fuzzy competition graph as the generalization of competition graph is introduced here. A generalization of fuzzy competition graph known as fuzzy k-competition graph is also defined. These graphs are related to fuzzy digraphs. Fuzzy neighbourhood graphs, which are related to fuzzy graphs are defined here. Some relations between fuzzy competition graphs and fuzzy neighbourhood graphs have been established. Also several results to find strong edges of the stated graphs are obtained. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Hybrid Grey Wolf and Dipper Throated Optimization in Network Intrusion Detection Systems

引用

computers, Materials & Continua 2023年第2期74卷 2695-2709页

作者： Reem Alkanhel Doaa Sami Khafaga El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Rashid Amin Mostafa Abotaleb B.M.El-den Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science University of Engineering and TechnologyTaxilaPakistan Department of System Programming South Ural State UniversityChelyabinsk454080Russia

The Internet of Things(IoT)is a modern approach that enables connection with a wide variety of devices *** to the resource constraints and open nature of IoT nodes,the routing protocol for low power and lossy(RPL)networks may be vulnerable to several routing ***’s why a network intrusion detection system(NIDS)is needed to guard against routing assaults on RPL-based IoT *** imbalance between the false and valid attacks in the training set degrades the performance of machine learning employed to detect network ***,we propose in this paper a novel approach to balance the dataset classes based on metaheuristic optimization applied to locality-sensitive hashing and synthetic minority oversampling technique(LSH-SMOTE).The proposed optimization approach is based on a new hybrid between the grey wolf and dipper throated optimization *** prove the effectiveness of the proposed approach,a set of experiments were conducted to evaluate the performance of NIDS for three cases,namely,detection without dataset balancing,detection with SMOTE balancing,and detection with the proposed optimized LSHSOMTE *** results showed that the proposed approach outperforms the other approaches and could boost the detection *** addition,a statistical analysis is performed to study the significance and stability of the proposed *** conducted experiments include seven different types of attack cases in the RPL-NIDS17 *** on the 2696 CMC,2023,vol.74,no.2 proposed approach,the achieved accuracy is(98.1%),sensitivity is(97.8%),and specificity is(98.8%).

关键词： Metaheuristics grey wolf optimization dipper throated optimization dataset balancing locality sensitive hashing SMOTE

来源：评论

学校读者我要写书评

暂无评论

A zero-watermarking algorithm for use in RGB and monochrome images 5

A zero-watermarking algorithm for use in RGB and monochrome ...

引用

5th IEEE KhPI Week on Advanced technology, KhPIWeek 2024

作者： Poddubnyi, Vadym Gvozdov, Roman Sievierinov, Oleksandr Sukhoteplyi, Vladyslav Bulba, Serhii Lysytsia, Dmytro Department of of information technology security Kharkiv National University of Radio Electronic Kharkiv Ukraine Department of Computer Engineering and Programming Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University "Kharkiv Polytechnic Institute" Kharkiv Ukraine

ISBN: (纸本)9798350384499

the article proposes a method of zero-watermarking for colored RGB bitmap images. This algorithm can be used to protect property rights to multimedia resources in which it is impossible to use ordinary watermarks due to the impossibility of changing the image (such as medical data where high accuracy is required and the appearance of artifacts is unacceptable) or due to the presence of a higher distortion of the container. This algorithm is based on DWT, SVD and operations in the field by modulo 256. The software implementation of the algorithm was developed (using the Accord and *** libraries to implement DWT, SVD). The software implementation of the algorithm was tested. This algorithm has advantages in the form of normalization of the average error, but it needs further research to improve its performance. ©2024 IEEE.

关键词： Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

Promoter recognition with machine learning algorithms keREM, RULSE-3 and ANN

Promoter recognition with machine learning algorithms keREM,...

引用

International Symposium on INnovations in Intelligent SysTems and Applications, INISTA 2012

作者： Karli, Günay Nayir, Ahmet Faculty of Engineering and Information Technology International Burch Universiy Sarajevo Bosnia and Herzegovina Department of Computer Programming Fatih University Istanbul Turkey

ISBN: (纸本)9781467314466

Data mining has become an important and active area of research because of theoretical challenges and practical applications associated with the problem of discovering interesting and previously unknown knowledge from very large real world database. These databases contain potential gold mine of valuable information, but it is beyond human ability to analyze massive amount of data and elicit meaningful patterns by using conventional techniques. In this study, DNA sequence was analyzed to locate promoter which is a regulatory region of DNA located upstream of a gene, providing a control point for regulated gene transcription. In this study, some supervised learning algorithms such as artificial neural network (ANN), RULES-3 and newly developed keREM rule induction algorithm were used to analyse to DNA sequence. In the experiments different option of keREM, RULES-3 and ANN were used, and according to the empirical comparisons, the algorithms appeared to be comparable to well-known algorithms in terms of the accuracy of the extracted rule in classifying unseen data. © 2012 IEEE.

关键词： Supervised learning

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Category theory and programming language semantics: An overview

Category theory and programming language semantics: An overv...

引用

Workshop on Category Theory and computer programming, 1985

作者： Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden

ISBN: (纸本)9783540171621

I have not tried to be comprehensive here. Instead I have tried to pursue the idea of category theory as a kind of type theory and thereby I have only included those uses of category theory which I have found particularly useful for understanding type theory, domain theory and algebraic semantics. Therefore, several things have been excluded, such as Arbib and Manes' (1980) partially additive semantics and Winskel's (1984) categories of Petri nets, to mention only two examples of interest. © 1986, Springer-Verlag.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Multilevel functions in Martin-Löf's type theory

Multilevel functions in Martin-Löf's type theory

引用

Workshop on Programs as Data Objects, 1985

作者： Nordström, Bengt Programming Methodology Group Department of Computer Sciences University of Göteborg Chalmers University of Technology GöteborgS-412 96 Sweden

ISBN: (纸本)9783540164463

Multilevel arrays have been used in the VDL and VDM projects for representing abstract syntax trees. In the same way as the function type can be seen as a generalization of the array type, it is possible to generalize multilevel arrays to multilevel functions. They are general trees with finite depth but arbitrary branching. In this paper, a definition of multilevel functions is given in the framework of Martin-Löf's type theory. The formal rules associated with the new data type is given and justified using the semantics of type theory. The paper contains some programs for manipulating the functions and some data types (vectors, natural numbers, lists, binary trees and functions) are seen as special cases of multilevel functions. © 1986, Springer-Verlag.

关键词： Binary trees

来源：评论

学校读者我要写书评

暂无评论

Inverse image analysis 14th

Inverse image analysis

引用

14th International Colloquium on Automata, Languages, and programming, ALP 1987

作者： Dybjer, Peter Programming Methodology Group Department of Computer Sciences Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden

ISBN: (纸本)9783540180883

A method for analysing the inverse of a first-order functional program is proposed. This method is based on denotational semantics: we analyse the inverse image of a Scott open set under the continuous function which the program denotes. Inverse image analysis is one possible way of extending strictness analysis to languages with lazy data structures and could perhaps be used to optimise code in implementations of such languages. © 1987, Springer-Verlag.

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：