ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010最新文献

筛选
英文 中文
Implementation of a DNA-based anomaly identification system utilizing associative string processor (ASP) 基于dna的关联字符串处理器异常识别系统的实现
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586949
Z. Trabelsi, R. Hamdy
{"title":"Implementation of a DNA-based anomaly identification system utilizing associative string processor (ASP)","authors":"Z. Trabelsi, R. Hamdy","doi":"10.1109/AICCSA.2010.5586949","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586949","url":null,"abstract":"The genetic material that encodes the unique characteristics of each individual, such as gender, eye color, and other human features is the well-known DNA. In this work, we introduce an anomaly intrusion detection system, built on the notion of a DNA sequence or gene, which is responsible for the normal network traffic patterns. Subsequently, the system detects suspicious activities by searching the “normal behavior DNA sequence” through string matching. Conversely, string matching is a computationally intensive task and can be converted into a potential bottleneck without high-speed processing. Furthermore, conventional software implemented string matching algorithms have not kept pace with the ever increasing network speeds. As a result, we adopt a monitoring phase that is hardware implemented with the intention that DNA pattern matching is performed at wire-speed. Finally, we provide the details of our FPGA implementation of the bioinformatics-based string matching technique. The associative string processor (ASP) is an associative memory-based micro-architecture with long fixed-length words that can be partially searched. We show that the proposed micro-architecture can handle fixed-length patterns at a rate of more than one character per cycle.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115677672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Evolutionary placement of short sequence reads on multi-core architectures 多核结构上短序列读取的进化定位
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586973
A. Stamatakis, Zsolt Komornik, S. Berger
{"title":"Evolutionary placement of short sequence reads on multi-core architectures","authors":"A. Stamatakis, Zsolt Komornik, S. Berger","doi":"10.1109/AICCSA.2010.5586973","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586973","url":null,"abstract":"The application of high performance computing methods in bioinformatics becomes increasingly important because of the masses of data generated by novel short-read DNA sequencers. One important application of such short reads, is the analysis of microbial communities where the anonymous short reads need to be identified by sequence comparison to a set of reference sequences. This identification is required to analyze the microbial composition and biological diversity of the sample. We briefly introduce a new algorithm for evolutionary (phylogenetic) placement of short reads under the Maximum Likelihood criterion and implement it in RAxML. While this algorithm is significantly more accurate than plain pair-wise sequence comparison it can become highly compute-intensive when a typical number of 100,000 reads and more need to be placed into an existing phylogenetic tree. Therefore, we deploy multi-grain parallelism to improve parallel efficiency of this algorithm on 16-core and 32-core architectures. Via this multi-grain approach, we achieve parallel execution time improvements of 25% and super-linear speedups on 16 cores, as well as near-linear speedups and improvements exceeding 50% on 32-cores on two large real-world microbial datasets. Evolutionary placement of 100,000 reads into a tree with more than 4,000 taxa now only requires less than 2 hours of execution time on 32 cores.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124873719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Towards a formal framework for developing concurrent programs: Modeling dynamic behavior 面向开发并发程序的正式框架:动态行为建模
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586965
H. Haghighi
{"title":"Towards a formal framework for developing concurrent programs: Modeling dynamic behavior","authors":"H. Haghighi","doi":"10.1109/AICCSA.2010.5586965","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586965","url":null,"abstract":"It is now widely accepted that programming concurrent software is a complex, error-prone task. Therefore, there is a big interest in the specification, verification and development of concurrent programs using formal methods. In our work-in-progress project, we are attempting to make a constructive framework for developing concurrent programs formally. In this paper, we first demonstrate how one can apply an intermediate artifact of our work, a Z-based formalism, to specify the dynamic behavior of a concurrent system. More precisely, we show how one can use this formalism to explicitly specify the nondeterministic interleaving of processes in a concurrent system. Such a specification will constructively result in a functional program involving all allowable interleaved executions of concurrent processes. As the second contribution of the paper, we introduce a verification method to prove safety properties of concurrent systems specified in the proposed Z-based formalism.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125860428","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A hybrid performance modeling approach for adaptive algorithm selection on hierarchical clusters 层次聚类自适应算法选择的混合性能建模方法
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5587043
W. Nasri, Sami Achour
{"title":"A hybrid performance modeling approach for adaptive algorithm selection on hierarchical clusters","authors":"W. Nasri, Sami Achour","doi":"10.1109/AICCSA.2010.5587043","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5587043","url":null,"abstract":"Recent advances in parallel and distributed computing have made it very challenging for programmers to reach the performance potential of current systems. In addition, recent advances in numerical algorithms and software optimizations have tremendously increased the number of alternatives for solving a problem, which further complicates the software tuning process. Indeed, no single algorithm can represent the universal best choice for efficient solution of a given problem on all compute substrates. In this paper, we develop a framework that addresses the design of efficient parallel algorithms in hierarchical computing environments. More specifically, given multiple choices for solving a particular problem, the framework uses a judicious combination of analytical performance models and empirical approaches to automate the algorithm selection by determining the most suitable execution scheme expected to perform the best at the specific setting. Preliminary experimental results obtained by implementing two different numerical kernels demonstrated the interest of the hybrid performance modeling approach integrated in the framework.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"176 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116010837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Managing conversational streams by explorative mind-maps 通过探索性思维导图管理会话流
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5587033
Jayanta Poray, Christoph Schommer
{"title":"Managing conversational streams by explorative mind-maps","authors":"Jayanta Poray, Christoph Schommer","doi":"10.1109/AICCSA.2010.5587033","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5587033","url":null,"abstract":"In this paper, we introduce an explorative but adaptive-associative information management system in the presence of a natural conversation. We take advantage of explorative mind-maps, which have been demonstrated in [10] and which are altogether a management framework that emerges automatically from the data input stream it gets. An explorative mind-map is a non-verificative but dynamic system that basis on the natural paradigm: it changes its complexity continuously and fosters symbolic cells according to internal activation states. Generally, the structure mirrors a mental state where the oblivion of associated facts arrive once the stimulation decreases. Considering two mind-maps A1,2 and B1,2 for two conversational partners A and B, the mind-map *1 represents the self-conversation and *2 the conversational stream of the conversational partner. If we merge these mind-maps, we may apply the out-coming results for the computation of trust.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"259 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116060546","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Event-based adaptation policies for Fractal components 分形组件的基于事件的适应策略
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586944
Julien Dormoy, O. Kouchnarenko
{"title":"Event-based adaptation policies for Fractal components","authors":"Julien Dormoy, O. Kouchnarenko","doi":"10.1109/AICCSA.2010.5586944","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586944","url":null,"abstract":"Component-based development is a commonly used technique to build complex systems. In order to satisfy specific requirements, adaptation policies provide a solution to dynamically reconfigure the component model with relation to its environment. This paper is dedicated to Fractal components assembling with a special emphasis on their reconfiguration. We introduce event-based adaptation policies to reconfigure Fractal components. The challenge is to build trustworthy systems and to simulate their executions when considering both functional and non-functional requirements. The contributions are illustrated on an example of an autonomous vehicle location system. Implementation details are given.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117076392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Design of codebook using Centroid Neural Network with state dependence measure 带状态依赖度量的质心神经网络设计码本
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586957
Dong-Chul Park
{"title":"Design of codebook using Centroid Neural Network with state dependence measure","authors":"Dong-Chul Park","doi":"10.1109/AICCSA.2010.5586957","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586957","url":null,"abstract":"A codebook design method for Hidden Markov Model (HMM) by using a Centroid Neural Network (CNN) is applied to a Korean monophone recognition problem in this paper. In order to alleviate the accuracy degradation problem in tied mixture HMM (TMHMM), this paper utilizes a clustering algorithm, called Centroid Neural Network with State Dependence measure (CNN(SD)), for TMHMMs. The CNN(SD) uses a novel distance measure that discriminates between two observation densities in the HMM from the same state and those from different states. When compared with other conventional unsupervised neural networks, the CNN(SD) successfully allocates more code vectors to the regions where Gaussian Probability Density Function (GPDF) data of different states overlap each other while it allocates fewer code vectors to the regions where GPDF data are from the same states. Experiments and results on a Korean monophone data, the CNN(SD) shows improvements on the recognition accuracy over CNN and the traditional k-means algorithm.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129782061","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A hybrid genetic algorithm for Golomb ruler problem Golomb标尺问题的混合遗传算法
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586955
N. Ayari, Thé Van Luong, A. Jemai
{"title":"A hybrid genetic algorithm for Golomb ruler problem","authors":"N. Ayari, Thé Van Luong, A. Jemai","doi":"10.1109/AICCSA.2010.5586955","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586955","url":null,"abstract":"In recent years, with the massive use of Golomb rulers in various fields of engineering, new optimal rulers have become an important subject of search. Many different approaches have been proposed to tackle the Golomb ruler problem such as exact methods, constraint programming, local searches and evolutionary algorithms. This paper describes an hybrid evolutionary algorithm to find optimal or near-optimal Golomb rulers. The obtained results are promising: we are capable of solving large rulers for up to 23 marks.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128657405","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
A layered cluster based routing for an ad hoc environment 用于临时环境的基于分层集群的路由
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5587016
I. Jemili, A. Belghith, M. Mosbah
{"title":"A layered cluster based routing for an ad hoc environment","authors":"I. Jemili, A. Belghith, M. Mosbah","doi":"10.1109/AICCSA.2010.5587016","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5587016","url":null,"abstract":"The intrinsic characteristics of ad hoc networks, such as the frequent connectivity changes and the strict bandwidth and power constraints, impose further challenges, especially for routing tasks. Besides, existing routing algorithms devoted to ad hoc networks and based on proactive or reactive schemes suffer from scalability due to their intrinsic mechanisms. The control overhead induced by routing packets is a primary factor, since it increases with the number of nodes, especially in large and dense networks evolving in a dynamic environment. Relying on a virtual infrastructure seems a promising approach to overcome the scalability problem. The basic idea consists on assigning additional tasks to a limited set of dominating nodes, satisfying specific requirements. In this paper, we present a routing algorithm, which exploits the benefits of our clustering algorithm TBCA. Conducted simulations show the ability of our new approach to reduce the control overhead and improve the reactivity of routing to the topology changes.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124466862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Towards a parameterizable cycle-accurate ISS in ArchC 在ArchC中实现可参数化周期精确的ISS
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Pub Date : 2010-05-16 DOI: 10.1109/AICCSA.2010.5586945
C. Bechara, N. Ventroux, D. Etiemble
{"title":"Towards a parameterizable cycle-accurate ISS in ArchC","authors":"C. Bechara, N. Ventroux, D. Etiemble","doi":"10.1109/AICCSA.2010.5586945","DOIUrl":"https://doi.org/10.1109/AICCSA.2010.5586945","url":null,"abstract":"With the increase in the design complexity of MP-SoC architectures, flexible and accurate processor simulators became a necessity for exploring the vast design space solutions. In this paper, we present a flexible cycle-accurate ISS model based on ArchC 2.0 language. The model can have a variable pipeline depth and can be integrated easily in any SoC design based on SystemC. Its performance and capabilities are demonstrated by running MiBench embedded benchmark suite, while extracting pipeline statistics for each application.","PeriodicalId":352946,"journal":{"name":"ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010","volume":"150 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127643302","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信