Walter J. Silva, M. Barioni, S. D. Amo, H. Razente
{"title":"Semi-supervised clustering using multi-assistant-prototypes to represent each cluster","authors":"Walter J. Silva, M. Barioni, S. D. Amo, H. Razente","doi":"10.1145/2695664.2695738","DOIUrl":"https://doi.org/10.1145/2695664.2695738","url":null,"abstract":"The incorporation of semi-supervision in the cluster detection process has proved especially useful when one wants to get a high consistency between the data partitioning and the knowledge the user has about the data domain. In recent years, several strategies for semi-supervised clustering have been proposed. The approaches adopted by these strategies aim at guiding the process of cluster detection by using constraints: to interfere with the allocation of elements to the most appropriate cluster at each iteration of the algorithm; or to modify the objective function employed. This paper proposes a novel approach for incorporating semi-supervision in the well-known k-means algorithm. This semi-supervised clustering method employs constraint information in the definition of multiple assistant representatives for the centroids used at each iteration of k-means. A refinement process is designed to reduce the number of assistant representatives considered for each centroid without losing the clustering quality. The experimental results with eight synthetic datasets show the potential of the proposed approach for dealing with complex data structures composed by clusters of different shapes.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"277 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124459336","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}
J. Fonseca, Vincent Nélis, Gurulingesh Raravi, L. M. Pinho
{"title":"A multi-DAG model for real-time parallel applications with conditional execution","authors":"J. Fonseca, Vincent Nélis, Gurulingesh Raravi, L. M. Pinho","doi":"10.1145/2695664.2695808","DOIUrl":"https://doi.org/10.1145/2695664.2695808","url":null,"abstract":"Owing to the current trends for higher performance and the ever growing availability of multiprocessors in the embedded computing (EC) domain, there is nowadays a strong push towards the parallelization of modern embedded applications. Several real-time task models have recently been proposed to capture different forms of parallelism. However, they do not deal explicitly with control flow information as they assume that all the threads of a parallel task must execute every time the task is activated. In contrast, in this paper, we present a multi-DAG model where each task is characterized by a set of execution flows, each of which represents a different execution path throughout the task code and is modeled as a DAG of sub-tasks. We propose a two-step solution that computes a single synchronous DAG of servers for a task modeled by a multi-DAG and show that these servers are able to supply every execution flow of that task with the required cpu-budget so that the task can execute entirely, irrespective of the execution flow taken at run-time, while satisfying its precedence constraints. As a result, each task can be modeled by its single DAG of servers, which facilitates in leveraging the existing single-DAG schedulability analyses techniques for analyzing the schedulability of parallel tasks with multiple execution flows.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123096347","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}
{"title":"A multi-scale modeling approach for software architecture deployment","authors":"Amal Gassara, I. Rodriguez, M. Jmaiel","doi":"10.1145/2695664.2695721","DOIUrl":"https://doi.org/10.1145/2695664.2695721","url":null,"abstract":"For large component-based applications, identifying a valid deployment architecture has emerged as a major challenge. Actually, this deployment architecture (i.e., allocation of software components to its hardware hosts) should satisfy various constraints related to the software components and the target environment such as the hierarchical description of components, their connections and the resource constraints. The numerous constraints make hard to construct manually the correct deployment architecture. In this work, we propose a formal method based on a formal language called BRS (Bigraphical Reactive System) in order to guarantee the correctness of the deployment architecture. Furthermore, in order to support its automatic construction, our proposed method follows a multi-scale modeling. In fact, the designer starts by modeling the first scale architecture which is refined automatically by successively adding smaller scale components until obtaining the deployment architecture at the last scale. This refinement is ensured by applying a set of rules. In this paper, we address communicating systems as a study domain.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117194128","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}
{"title":"An approach to the MOGAS initialization problem using an algorithm based on path relinking","authors":"T. N. Silva, J. Maia, L. Rocha","doi":"10.1145/2695664.2695897","DOIUrl":"https://doi.org/10.1145/2695664.2695897","url":null,"abstract":"This paper describes an approach to the initialization of Multi-Objective Genetic Algorithms (MOGA). The proposed approach inserts in the initial population some solutions that are already in the Pareto optimal front or near it. These are extreme solutions, and a set of conveniently spaced solutions in the Pareto optimal front, obtained by exact algorithms or heuristics over a mono-objective formulation of the problem. To complete the initial population, the algorithm constructs a path connecting these solutions using an algorithm based on PathRelinking. The performance of this boot approach is compared against the random initialization, the insertion of optimal or sub-optimal solutions without the use of the PathRelinking, and some initialization heuristics that are problem-specific. The results of the empirical comparison provide clear evidence that supports the conclusion that the proposed approach is better than the others in terms of overall effectiveness.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117253229","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}
{"title":"EASy-DSBuilder: automated assessment of tree data structures in computer science teaching","authors":"Claus A. Usener","doi":"10.1145/2695664.2695769","DOIUrl":"https://doi.org/10.1145/2695664.2695769","url":null,"abstract":"This paper presents EASy-DSBuilder, an e-assessment tool for assessing fundamental concepts of binary tree data structure operations (i.e. search, insert, and delete operations) taught in Computer Science (CS) lectures. Students can manipulate data structures by adding nodes and freely move them, as well as connect and disconnect nodes within a drag-and-drop interface. At the same time, teachers can easily create new exercises based on their own data structures by uploading their Java implementation. We discuss EASy-DSBuilder's user interface and its general feedback mechanism. We also conducted a user study evaluating EASy-DSBuilder's user interface, visualisation techniques, and overall performance. Both qualitative and quantitative results show that usability is well-liked and learning success is promising.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121275336","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}
Pierre-Alain Bourdil, B. Berthomieu, Silvano Dal-Zilio, F. Vernadat
{"title":"Symmetry reduced state classes for time petri nets","authors":"Pierre-Alain Bourdil, B. Berthomieu, Silvano Dal-Zilio, F. Vernadat","doi":"10.1145/2695664.2695803","DOIUrl":"https://doi.org/10.1145/2695664.2695803","url":null,"abstract":"We propose a method to exploit the symmetries of a realtime system represented by a Time Petri net for its verification by model-checking. The method handles both markings and timing constraints; it can be used in conjunction with the widely used state classes abstraction. The approach has been implemented and experiments are reported.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121340809","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}
{"title":"SSD caching to overcome small write problem of disk-based RAID in enterprise environments","authors":"Eunjae Lee, Y. Oh, Donghee Lee","doi":"10.1145/2695664.2695886","DOIUrl":"https://doi.org/10.1145/2695664.2695886","url":null,"abstract":"Disk-based RAID still prevails in enterprise environments due to its cost-effectiveness, reliability, and maintainability. However, it suffers from parity update overhead, which is generally called small write problem that deteriorates performance significantly for small write requests. Targeting the parity update overhead, our design choice is employing Flash-based SSD cache upon disk-based RAID storage server. Particularly, we use single SSD, which can be purchased in consumer markets, as the caching device. By the way, an SSD has non-negligible failure rate and, thus, reliability may be compromised without appropriate measures to protect data from failure. To insure reliability upon failures while eliminating parity update overhead, we devise an SSD cache management scheme that we refer to as LeavO cache. The LeavO cache keeps not only new data but also old data in SSD cache to postpone parity updates in RAID storage until the old data are discarded for space recycling. By doing so, upon failures, lost data can be recovered with the old data and old parity or new data in the SSD cache. We implement the LeavO cache in a real Linux system and measure the performance of storage server with and without LeavO cache. Also, through mathematical analyses, we compare reliability of the LeavO cache with conventional RAID-0 and -5 configurations. Experimental results and mathematical analyses show that the LeavO cache effectively eliminates much of parity update overhead while providing reliability and maintainability comparable to conventional RAID configurations.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125828891","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}
{"title":"Session details: Volume II: Software development, system software and security: Multimedia and visualization track","authors":"M. G. Pimentel, T. Itoh, R. Goularte","doi":"10.1145/3251692","DOIUrl":"https://doi.org/10.1145/3251692","url":null,"abstract":"","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"34 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123460804","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}
Mívian M. Ferreira, K. Ferreira, H. T. Marques-Neto
{"title":"Mapping the potential change impact in object-oriented software","authors":"Mívian M. Ferreira, K. Ferreira, H. T. Marques-Neto","doi":"10.1145/2695664.2696043","DOIUrl":"https://doi.org/10.1145/2695664.2696043","url":null,"abstract":"The present work brings the results of a study carried out to investigate the change propagation impact in object-oriented programs. We have performed this analysis by considering a macroscopic topology of object-oriented program called Little House. According to this topology, the dependence graph of classes can be partitioned into six components, namely: In, LSCC, Out, Tendrils, Tubes, and Disconnected. We analyzed the data of 12 open source Java projects, in a total of 54 versions of them. The results of our study suggest that LSCC and Out concentrate the classes with the far highest potential change impact. We have also observed that this characteristic remains during the software evolution.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125422259","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}
{"title":"ORCAS: optimized robots configuration and scheduling system","authors":"Marin Lujak, Alberto Fernández","doi":"10.1145/2695664.2696024","DOIUrl":"https://doi.org/10.1145/2695664.2696024","url":null,"abstract":"In this paper, we study a distributed intelligent multi-robot system (MRS) in assembly setting where robots have partially overlapping capabilities. We treat the problem of the system's self-(re)configurability and self-optimization. In this light, we propose a distributed and optimized robots configuration and scheduling system ORCAS which integrates the MRS configuration based on semantic descriptions with process scheduling.","PeriodicalId":206481,"journal":{"name":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115020419","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}