首页 > 最新文献

2014 9th International Conference on Computer Engineering & Systems (ICCES)最新文献

英文 中文
Plant classification system based on leaf features 基于叶片特征的植物分类系统
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030971
Esraa Elhariri, Nashwa El-Bendary, A. Hassanien
This paper presents a classification approach based on Random Forests (RF) and Linear Discriminant Analysis (LDA) algorithms for classifying the different types of plants. The proposed approach consists of three phases that are pre-processing, feature extraction, and classification phases. Since most types of plants have unique leaves, so the classification approach presented in this research depends on plants leave. Leaves are different from each other by characteristics such as the shape, color, texture and the margin. The used dataset for this experiments is a database of different plant species with total of only 340 leaf images, was downloaded from UCI- Machine Learning Repository. It was used for both training and testing datasets with 10-fold cross-validation. Experimental results showed that LDA achieved classification accuracy of (92.65%) against the RF that achieved accuracy of (88.82%) with combination of shape, first order texture, Gray Level Co-occurrence Matrix (GLCM), HSV color moments, and vein features.
提出了一种基于随机森林(RF)和线性判别分析(LDA)算法的植物分类方法。该方法包括预处理、特征提取和分类三个阶段。由于大多数类型的植物都有独特的叶片,因此本研究提出的分类方法依赖于植物叶片。叶子在形状、颜色、纹理和边缘等特征上彼此不同。本实验使用的数据集是一个不同植物物种的数据库,总共只有340张叶子图像,从UCI- Machine Learning Repository下载。它被用于训练和测试数据集,具有10倍交叉验证。实验结果表明,LDA的分类准确率为92.65%,而结合形状、一阶纹理、灰度共生矩阵(GLCM)、HSV颜色矩和静脉特征的RF的分类准确率为88.82%。
{"title":"Plant classification system based on leaf features","authors":"Esraa Elhariri, Nashwa El-Bendary, A. Hassanien","doi":"10.1109/ICCES.2014.7030971","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030971","url":null,"abstract":"This paper presents a classification approach based on Random Forests (RF) and Linear Discriminant Analysis (LDA) algorithms for classifying the different types of plants. The proposed approach consists of three phases that are pre-processing, feature extraction, and classification phases. Since most types of plants have unique leaves, so the classification approach presented in this research depends on plants leave. Leaves are different from each other by characteristics such as the shape, color, texture and the margin. The used dataset for this experiments is a database of different plant species with total of only 340 leaf images, was downloaded from UCI- Machine Learning Repository. It was used for both training and testing datasets with 10-fold cross-validation. Experimental results showed that LDA achieved classification accuracy of (92.65%) against the RF that achieved accuracy of (88.82%) with combination of shape, first order texture, Gray Level Co-occurrence Matrix (GLCM), HSV color moments, and vein features.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122802710","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}
引用次数: 55
An Enhanced Queries Scheduler for query processing over a cloud environment 用于在云环境上进行查询处理的增强型查询调度器
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030996
Eman A. Maghawry, R. Ismail, N. Badr, M. Tolba
Due to the existence of the “database as a service” (DaaS) model on a cloud computing environment, several challenges have been made, such as query scheduling. Using an efficient query scheduler can improve the queries response time submitted from various clients in a DaaS model. Scheduling the queries in a cost aware way has an economic impact on the service provider by meeting the clients' service level agreements (SLAs). In this paper, we proposed an enhanced scheduler technique in order to schedule the queries effectively to minimize the overall query response time. The experimental results show that using our enhanced scheduler improves significantly the query response time.
由于在云计算环境中存在“数据库即服务”(DaaS)模型,因此带来了一些挑战,例如查询调度。使用高效的查询调度器可以改善DaaS模型中各种客户机提交的查询响应时间。通过满足客户的服务水平协议(sla),以成本意识的方式调度查询会对服务提供者产生经济影响。在本文中,我们提出了一种增强的调度器技术,以便有效地调度查询以最小化总体查询响应时间。实验结果表明,使用我们改进的调度器可以显著提高查询响应时间。
{"title":"An Enhanced Queries Scheduler for query processing over a cloud environment","authors":"Eman A. Maghawry, R. Ismail, N. Badr, M. Tolba","doi":"10.1109/ICCES.2014.7030996","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030996","url":null,"abstract":"Due to the existence of the “database as a service” (DaaS) model on a cloud computing environment, several challenges have been made, such as query scheduling. Using an efficient query scheduler can improve the queries response time submitted from various clients in a DaaS model. Scheduling the queries in a cost aware way has an economic impact on the service provider by meeting the clients' service level agreements (SLAs). In this paper, we proposed an enhanced scheduler technique in order to schedule the queries effectively to minimize the overall query response time. The experimental results show that using our enhanced scheduler improves significantly the query response time.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114372990","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}
引用次数: 3
A proposed framework for robust face identification system 提出了一种鲁棒人脸识别系统框架
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030929
N. Semary, Ahmed F. Gad
Human face is the most representative part of body that can be used to differentiate one person among others. Accurate face identification system is still a challenge to Image Processing and Pattern Recognition researchers. In this paper, a complete framework for face-based personal identification system is proposed. The proposed frame work is composite of three basic stages; face skin detection (FSD), facial features positioning (FFP), representative features extraction (RFE) and face matching (FM). For FSD stage, RGB-H-CbCr color model is used after a comparative study between different color models. Enhanced Haar-like features are utilized for FFP stage. After accurate features positioning, the representative features are calculated using the centers of eyes, nose and mouth organs. The experimental results of this paper depict that the proposed frame work accurately identify persons of The Center for Vital Longevity Face Database. The proposed system could Identify the correct person with 40 saved image with accuracy 98%, while it could reject wrong persons with accuracy 98.17%. The overall accuracy of correct identification reaches 98.14%.
人脸是人体最具代表性的部分,可以用来区分一个人。准确的人脸识别系统仍然是图像处理和模式识别研究人员面临的一个挑战。本文提出了一个完整的基于人脸的个人身份识别系统框架。提出的框架由三个基本阶段组成;人脸皮肤检测(FSD)、人脸特征定位(FFP)、代表性特征提取(RFE)和人脸匹配(FM)。FSD阶段,通过对不同颜色模型的比较研究,采用RGB-H-CbCr颜色模型。增强的haar样特征用于FFP阶段。经过准确的特征定位后,利用眼、鼻、口器官的中心计算出具有代表性的特征。实验结果表明,该框架能准确识别长寿中心人脸数据库中的人脸。该系统能以98%的准确率从40张保存的图像中识别出正确的人,而拒绝错误的人的准确率为98.17%。正确识别的总体正确率达到98.14%。
{"title":"A proposed framework for robust face identification system","authors":"N. Semary, Ahmed F. Gad","doi":"10.1109/ICCES.2014.7030929","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030929","url":null,"abstract":"Human face is the most representative part of body that can be used to differentiate one person among others. Accurate face identification system is still a challenge to Image Processing and Pattern Recognition researchers. In this paper, a complete framework for face-based personal identification system is proposed. The proposed frame work is composite of three basic stages; face skin detection (FSD), facial features positioning (FFP), representative features extraction (RFE) and face matching (FM). For FSD stage, RGB-H-CbCr color model is used after a comparative study between different color models. Enhanced Haar-like features are utilized for FFP stage. After accurate features positioning, the representative features are calculated using the centers of eyes, nose and mouth organs. The experimental results of this paper depict that the proposed frame work accurately identify persons of The Center for Vital Longevity Face Database. The proposed system could Identify the correct person with 40 saved image with accuracy 98%, while it could reject wrong persons with accuracy 98.17%. The overall accuracy of correct identification reaches 98.14%.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116090557","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
Partially Occluded Pedestrian Classification using Three Stage Cascaded Classifier 基于三级级联分类器的部分遮挡行人分类
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030926
S. Aly, Loay Hassan, A. Sagheer
Pedestrian detection is an important area in computer vision with key applications in intelligent vehicle and surveillance systems. One of the main challenges in pedestrian detection is occlusion. In this paper, we propose a novel pedestrian detection approach capable of handling partial occlusion. Three stage cascaded classifier is used in the proposed approach. Global classifier based on HOG features and linear-SVM is first employed to classify the whole scanning window. For ambiguous patterns, a set of part-based classifiers trained on features derived from non-occluded dataset are employed on the second stage. Several fusion methods including average, maximum, linear and non-linear SVM classifiers are examined to combine the obtained part scores. The linear/non-linear fusion coefficients are estimated by learning an additional third stage SVM classifier. The training data in the third stage classifier is augmented by generating a set of artificially occluded samples which simulate real occlusion conditions commonly occurred in pedestrians. Experimental results using Daimler and INRIA data sets show the effectiveness of the proposed approach.
行人检测是计算机视觉的一个重要领域,在智能车辆和监控系统中有着重要的应用。行人检测的主要挑战之一是遮挡。在本文中,我们提出了一种新的能够处理部分遮挡的行人检测方法。该方法采用三级级联分类器。首先采用基于HOG特征和线性支持向量机的全局分类器对整个扫描窗口进行分类。对于模糊模式,第二阶段使用一组基于部分的分类器,这些分类器是基于非遮挡数据集的特征训练的。研究了几种融合方法,包括平均、最大、线性和非线性支持向量机分类器,以结合得到的零件分数。通过学习额外的第三阶段SVM分类器来估计线性/非线性融合系数。第三阶段分类器通过生成一组人工遮挡样本来增强训练数据,这些样本模拟了行人中常见的真实遮挡情况。戴姆勒和INRIA数据集的实验结果表明了该方法的有效性。
{"title":"Partially Occluded Pedestrian Classification using Three Stage Cascaded Classifier","authors":"S. Aly, Loay Hassan, A. Sagheer","doi":"10.1109/ICCES.2014.7030926","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030926","url":null,"abstract":"Pedestrian detection is an important area in computer vision with key applications in intelligent vehicle and surveillance systems. One of the main challenges in pedestrian detection is occlusion. In this paper, we propose a novel pedestrian detection approach capable of handling partial occlusion. Three stage cascaded classifier is used in the proposed approach. Global classifier based on HOG features and linear-SVM is first employed to classify the whole scanning window. For ambiguous patterns, a set of part-based classifiers trained on features derived from non-occluded dataset are employed on the second stage. Several fusion methods including average, maximum, linear and non-linear SVM classifiers are examined to combine the obtained part scores. The linear/non-linear fusion coefficients are estimated by learning an additional third stage SVM classifier. The training data in the third stage classifier is augmented by generating a set of artificially occluded samples which simulate real occlusion conditions commonly occurred in pedestrians. Experimental results using Daimler and INRIA data sets show the effectiveness of the proposed approach.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131668565","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 simplified multiplatform communication framework for mobile applications 用于移动应用程序的简化的多平台通信框架
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030917
Federico Cristina, Sebastián H. Dapoto, Pablo J. Thomas, Patricia Pesado
The need for sharing information among mobile devices exists in many applications, and almost every data exchange between these devices involve the same requirements: a means for discovering other mobile devices in a wireless network, establishing logical connections, communicating application data, and gathering information related to the physical connection. This paper presents a multiplatform open-source developer-oriented framework that acts as a support layer for host discovery, data communication among devices, and quality of service monitoring. Its purpose is to simplify the issues related to networking for mobile application developers. Currently, the framework is implemented for different platforms, such as Android, J2SE, and J2ME.
在许多应用程序中都需要在移动设备之间共享信息,并且这些设备之间的几乎每次数据交换都涉及相同的需求:在无线网络中发现其他移动设备、建立逻辑连接、通信应用程序数据以及收集与物理连接相关的信息的方法。本文提出了一个面向开发人员的多平台开源框架,作为主机发现、设备间数据通信和服务质量监控的支持层。其目的是为移动应用程序开发人员简化与网络相关的问题。目前,该框架是为不同的平台实现的,例如Android、J2SE和J2ME。
{"title":"A simplified multiplatform communication framework for mobile applications","authors":"Federico Cristina, Sebastián H. Dapoto, Pablo J. Thomas, Patricia Pesado","doi":"10.1109/ICCES.2014.7030917","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030917","url":null,"abstract":"The need for sharing information among mobile devices exists in many applications, and almost every data exchange between these devices involve the same requirements: a means for discovering other mobile devices in a wireless network, establishing logical connections, communicating application data, and gathering information related to the physical connection. This paper presents a multiplatform open-source developer-oriented framework that acts as a support layer for host discovery, data communication among devices, and quality of service monitoring. Its purpose is to simplify the issues related to networking for mobile application developers. Currently, the framework is implemented for different platforms, such as Android, J2SE, and J2ME.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124456096","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
New approach for feature selection based on rough set and bat algorithm 基于粗糙集和蝙蝠算法的特征选择新方法
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030984
E. Emary, Waleed Yamany, A. Hassanien
This paper presents a new feature selection technique based on rough sets and bat algorithm (BA). BA is attractive for feature selection in that bats will discover best feature combinations as they fly within the feature subset space. Compared with GAs, BA does not need complex operators such as crossover and mutation, it requires only primitive and simple mathematical operators, and is computationally inexpensive in terms of both memory and runtime. A fitness function based on rough-sets is designed as a target for the optimization. The used fitness function incorporates both the classification accuracy and number of selected features and hence balances the classification performance and reduction size. This paper make use of four initialisation strategies for starting the optimization and studies its effect on bat performance. The used initialization reflects forward and backward feature selection and combination of both. Experimentation is carried out using UCI data sets which compares the proposed algorithm with a GA-based and PSO approaches for feature reduction based on rough-set algorithms. The results on different data sets shows that bat algorithm is efficient for rough set-based feature selection. The used rough-set based fitness function ensures better classification result keeping also minor feature size.
提出了一种基于粗糙集和蝙蝠算法(BA)的特征选择新方法。BA对于特征选择具有吸引力,因为蝙蝠在特征子集空间内飞行时会发现最佳的特征组合。与GAs相比,BA不需要交叉和变异等复杂的运算符,只需要原始和简单的数学运算符,并且在内存和运行时方面计算成本都很低。设计了基于粗糙集的适应度函数作为优化目标。所使用的适应度函数结合了分类精度和所选特征的数量,从而平衡了分类性能和约简大小。本文采用四种初始化策略启动优化,并研究其对蝙蝠性能的影响。所使用的初始化反映了向前和向后的特征选择以及两者的组合。使用UCI数据集进行实验,将所提出的算法与基于ga和PSO的基于粗糙集算法的特征约简方法进行比较。在不同数据集上的实验结果表明,bat算法对于基于粗糙集的特征选择是有效的。所使用的基于粗糙集的适应度函数保证了更好的分类结果,同时保持较小的特征尺寸。
{"title":"New approach for feature selection based on rough set and bat algorithm","authors":"E. Emary, Waleed Yamany, A. Hassanien","doi":"10.1109/ICCES.2014.7030984","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030984","url":null,"abstract":"This paper presents a new feature selection technique based on rough sets and bat algorithm (BA). BA is attractive for feature selection in that bats will discover best feature combinations as they fly within the feature subset space. Compared with GAs, BA does not need complex operators such as crossover and mutation, it requires only primitive and simple mathematical operators, and is computationally inexpensive in terms of both memory and runtime. A fitness function based on rough-sets is designed as a target for the optimization. The used fitness function incorporates both the classification accuracy and number of selected features and hence balances the classification performance and reduction size. This paper make use of four initialisation strategies for starting the optimization and studies its effect on bat performance. The used initialization reflects forward and backward feature selection and combination of both. Experimentation is carried out using UCI data sets which compares the proposed algorithm with a GA-based and PSO approaches for feature reduction based on rough-set algorithms. The results on different data sets shows that bat algorithm is efficient for rough set-based feature selection. The used rough-set based fitness function ensures better classification result keeping also minor feature size.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129462602","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}
引用次数: 21
Improved 3D modeling using multistage feature extraction and matching 使用多阶段特征提取和匹配改进了3D建模
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030992
Mohamed A. Mohamed, Abdelhameed Ibrahim, E. A. Othman
Recovering a complete, detailed, accurate and realistic 3D model from images is still a difficult task. This paper proposes an improved 3D modeling using multistage feature extraction and matching. A 3D modeling technique is applied based on the features extracted from images of the same scene taken from different directions. Matching of the images are used to construct the 3D model. Using multistage features extraction and matching algorithms, multiple 3D models can be obtained. This paper will focus on modeling from reality rather than computer graphics creation of artificial world models. Experimental results are illustrated to explore the effectiveness of the proposed method.
从图像中恢复完整、详细、准确和逼真的3D模型仍然是一项艰巨的任务。本文提出了一种改进的多阶段特征提取与匹配的三维建模方法。采用了一种基于从不同方向拍摄的同一场景图像提取特征的三维建模技术。对图像进行匹配,构建三维模型。采用多阶段特征提取和匹配算法,可获得多个三维模型。本文将侧重于从现实中建模,而不是计算机图形学创建的人工世界模型。实验结果验证了该方法的有效性。
{"title":"Improved 3D modeling using multistage feature extraction and matching","authors":"Mohamed A. Mohamed, Abdelhameed Ibrahim, E. A. Othman","doi":"10.1109/ICCES.2014.7030992","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030992","url":null,"abstract":"Recovering a complete, detailed, accurate and realistic 3D model from images is still a difficult task. This paper proposes an improved 3D modeling using multistage feature extraction and matching. A 3D modeling technique is applied based on the features extracted from images of the same scene taken from different directions. Matching of the images are used to construct the 3D model. Using multistage features extraction and matching algorithms, multiple 3D models can be obtained. This paper will focus on modeling from reality rather than computer graphics creation of artificial world models. Experimental results are illustrated to explore the effectiveness of the proposed method.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122004407","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
PFinder: Efficiently detecting bugs in concurrent programs through parallelizing race verification PFinder:通过并行竞争验证有效地检测并发程序中的错误
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030948
Zhendong Wu, Kai Lu, Xiaoping Wang, Xu Zhou, Chen Chen
Races hidden in concurrent programs can lead to harmful bugs. These bugs are difficult to detect due to their non-deterministic characteristics. Previous work has tried to dynamically verify races in actual executions to check whether they would lead to failures. However, it is inefficient to verify all the races to find the harmful bugs if there are a large number of races. To improve the efficiency, PFinder is the first technique that uses a parallel method to verify multiple races on multiple machines simultaneously. We have implemented PFinder as a prototype tool and have experimented on a number of real-world concurrent programs. All the known bugs in known benchmarks are detected. Also, PFinder could scale well as the number of machines increases. Additionally, the speedup of PFinder can be increased linearly with the number of machines.
并发程序中隐藏的竞争可能导致有害的bug。由于这些bug具有不确定性的特点,所以很难检测出来。之前的工作试图在实际执行中动态验证竞争,以检查它们是否会导致失败。但是,如果存在大量的竞赛,那么验证所有的竞赛以发现有害的bug是低效的。为了提高效率,PFinder是第一种使用并行方法同时验证多台机器上的多个竞争的技术。我们已经将PFinder实现为一个原型工具,并在许多现实世界的并发程序中进行了实验。检测已知基准测试中的所有已知错误。此外,随着机器数量的增加,PFinder可以很好地扩展。此外,PFinder的加速可以随着机器数量的增加而线性增加。
{"title":"PFinder: Efficiently detecting bugs in concurrent programs through parallelizing race verification","authors":"Zhendong Wu, Kai Lu, Xiaoping Wang, Xu Zhou, Chen Chen","doi":"10.1109/ICCES.2014.7030948","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030948","url":null,"abstract":"Races hidden in concurrent programs can lead to harmful bugs. These bugs are difficult to detect due to their non-deterministic characteristics. Previous work has tried to dynamically verify races in actual executions to check whether they would lead to failures. However, it is inefficient to verify all the races to find the harmful bugs if there are a large number of races. To improve the efficiency, PFinder is the first technique that uses a parallel method to verify multiple races on multiple machines simultaneously. We have implemented PFinder as a prototype tool and have experimented on a number of real-world concurrent programs. All the known bugs in known benchmarks are detected. Also, PFinder could scale well as the number of machines increases. Additionally, the speedup of PFinder can be increased linearly with the number of machines.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128592529","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
Burrows-Wheeler Transform and combination of Move-to-Front coding and Run Length Encoding for lossless audio coding Burrows-Wheeler变换和移动到前端编码和运行长度编码的组合用于无损音频编码
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030985
H. Elsayed
This paper presents a lossless audio coding using Burrows-Wheeler Transform (BWT) and a combination of a Move-To-Front coding (MTF) and Run Length Encoding (RLE). Audio signals used are assumed to be of floating point values. The BWT is applied to this floating point values to get the transformed coefficients; and then these resulting coefficients are converted using the Move-to-Front coding to coefficients can be better compressed and then these resulting coefficients are compressed using a combination of the Run Length Encoding, and entropy coding. Two entropy coding are used which are Arithmetic and Huffman coding. Simulation results show that the proposed lossless audio coding method outperforms other lossless audio coding methods; using only Burrows-Wheeler Transform method, using combined Burrows-Wheeler Transform and Move-to-Front coding method, and using combined Burrows-Wheeler Transform and Run Length Encoding method.
本文提出了一种利用Burrows-Wheeler变换(BWT)和移动到前编码(MTF)和运行长度编码(RLE)相结合的无损音频编码方法。使用的音频信号被假定为浮点值。对这些浮点值应用BWT得到变换后的系数;然后这些结果系数被转换使用移动到前面编码的系数可以更好地压缩,然后这些结果系数被压缩使用运行长度编码,和熵编码的组合。采用了算术和霍夫曼两种熵编码。仿真结果表明,所提出的无损音频编码方法优于其他无损音频编码方法;仅使用Burrows-Wheeler变换方法,使用Burrows-Wheeler变换和移动到前的组合编码方法,以及使用Burrows-Wheeler变换和运行长度编码方法。
{"title":"Burrows-Wheeler Transform and combination of Move-to-Front coding and Run Length Encoding for lossless audio coding","authors":"H. Elsayed","doi":"10.1109/ICCES.2014.7030985","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030985","url":null,"abstract":"This paper presents a lossless audio coding using Burrows-Wheeler Transform (BWT) and a combination of a Move-To-Front coding (MTF) and Run Length Encoding (RLE). Audio signals used are assumed to be of floating point values. The BWT is applied to this floating point values to get the transformed coefficients; and then these resulting coefficients are converted using the Move-to-Front coding to coefficients can be better compressed and then these resulting coefficients are compressed using a combination of the Run Length Encoding, and entropy coding. Two entropy coding are used which are Arithmetic and Huffman coding. Simulation results show that the proposed lossless audio coding method outperforms other lossless audio coding methods; using only Burrows-Wheeler Transform method, using combined Burrows-Wheeler Transform and Move-to-Front coding method, and using combined Burrows-Wheeler Transform and Run Length Encoding method.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128074598","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
Modelling of CVBF algorithm using Coloured Petri Nets 彩色Petri网的CVBF算法建模
Pub Date : 2014-12-01 DOI: 10.1109/ICCES.2014.7030921
Dina M. Ibrahim, E. Sallam, T. Eltobely, M. Fahmy
Modelling is a general method used throughout the development of systems. Numerous modelling languages were proposed for analyzing and building systems. Petri Nets language is considered as one of the formal modelling and analysis techniques. These techniques allow users to do both the performance evaluation and model checking. Coloured Petri Nets (CPN) is one of the modelling languages especially for discrete-event systems. In this paper, we use Coloured Petri Nets to model and analyze the behavior of the Clustering Vector-Based Forwarding (CVBF) routing protocol in Underwater Wireless Sensor Networks (UWSNs). Our proposed model is tested and verified by the state space statistics analysis which results that the proposed CPN model is liveness, responsiveness and free from deadlocks. The results of the performance evaluation of the proposed model demonstrate the proposed model capability to increase both the packet delivery ratio and the average end-to-end delay.
建模是整个系统开发过程中使用的一种通用方法。许多建模语言被提出用于分析和构建系统。Petri网语言被认为是一种形式化的建模和分析技术。这些技术允许用户进行性能评估和模型检查。彩色Petri网(CPN)是一种专门用于离散事件系统的建模语言。本文利用彩色Petri网对水下无线传感器网络(UWSNs)中基于聚类矢量转发(CVBF)路由协议的行为进行建模和分析。通过状态空间统计分析对模型进行了验证,结果表明所提出的CPN模型具有活动性、响应性和无死锁的特点。对所提出模型的性能评估结果表明,所提出的模型能够提高分组投递率和平均端到端延迟。
{"title":"Modelling of CVBF algorithm using Coloured Petri Nets","authors":"Dina M. Ibrahim, E. Sallam, T. Eltobely, M. Fahmy","doi":"10.1109/ICCES.2014.7030921","DOIUrl":"https://doi.org/10.1109/ICCES.2014.7030921","url":null,"abstract":"Modelling is a general method used throughout the development of systems. Numerous modelling languages were proposed for analyzing and building systems. Petri Nets language is considered as one of the formal modelling and analysis techniques. These techniques allow users to do both the performance evaluation and model checking. Coloured Petri Nets (CPN) is one of the modelling languages especially for discrete-event systems. In this paper, we use Coloured Petri Nets to model and analyze the behavior of the Clustering Vector-Based Forwarding (CVBF) routing protocol in Underwater Wireless Sensor Networks (UWSNs). Our proposed model is tested and verified by the state space statistics analysis which results that the proposed CPN model is liveness, responsiveness and free from deadlocks. The results of the performance evaluation of the proposed model demonstrate the proposed model capability to increase both the packet delivery ratio and the average end-to-end delay.","PeriodicalId":339697,"journal":{"name":"2014 9th International Conference on Computer Engineering & Systems (ICCES)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130168604","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
期刊
2014 9th International Conference on Computer Engineering & Systems (ICCES)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1