Proceedings of the 29th Annual ACM Symposium on Applied Computing最新文献_第4页

Defining the syntax of extensible languages 定义可扩展语言的语法

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554898

L. Reis, V. O. D. Iorio, R. Bigonha

引用次数: 3

Predicting change propagation impacts in collaborative business processes 预测协作业务流程中的变更传播影响

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554966

W. Fdhila, S. Rinderle-Ma

引用次数: 7

An empirical study of requirements-based test generation on an automobile control system 基于需求的汽车控制系统测试生成的实证研究

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554934

Ruizhi Gao, J. Eo, W. E. Wong, Xinwei Gao, Shou-Yu Lee

{"title":"An empirical study of requirements-based test generation on an automobile control system","authors":"Ruizhi Gao, J. Eo, W. E. Wong, Xinwei Gao, Shou-Yu Lee","doi":"10.1145/2554850.2554934","DOIUrl":"https://doi.org/10.1145/2554850.2554934","url":null,"abstract":"Requirements-based test generation techniques have been widely used in industry to help practitioners generate appropriate test cases to ensure that their software systems behave according to customer expectations. These tests provide a solid foundation for functional testing -- a critical, essential step that must be performed properly for quality assurance of any software system. In this paper, we present a study, in collaboration with Hyundai Motor Company, on a real-life industrial software system used to control the driver's demand torque of an automobile. Since any hazardous incident caused by this mechanism may result in significant property loss or even fatalities, its safe and reliable operation becomes absolutely imperative. To overcome this problem, we propose a framework including different requirements-based test generation techniques such as equivalence class partitioning (ECP), boundary value analysis (BVA), a choice relation framework, and predicate testing-based BOR, BRO, and BRE strategies. In addition, a tool named C-Set has been developed to support the BOR, BRO and BRE-based automatic test generation. Results from our study indicate that weaknesses in any of the above techniques can be mitigated by exploiting the strengths of the other techniques. As a result, a set of high quality test cases for the software being studied can be efficiently generated to help Hyundai engineers improve their productivity.","PeriodicalId":285655,"journal":{"name":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115793010","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

Keyboard navigation mechanisms in tab widgets: an investigation on ARIA's conformance 选项卡部件中的键盘导航机制:对ARIA一致性的调查

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554947

W. Watanabe, R. J. Geraldo, Renata Pontin de Mattos Fortes

引用次数: 9

An I/O scheduler based on fine-grained access patterns to improve SSD performance and lifespan 基于细粒度访问模式的I/O调度器，可提高SSD性能和寿命

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554971

Mingyang Wang, Yimin Hu

{"title":"An I/O scheduler based on fine-grained access patterns to improve SSD performance and lifespan","authors":"Mingyang Wang, Yimin Hu","doi":"10.1145/2554850.2554971","DOIUrl":"https://doi.org/10.1145/2554850.2554971","url":null,"abstract":"Although the many benefits delivered by Solid State Disks (SSDs), they also pose some unique and serious challenges to I/O and file system designers. Unlike HDDs and other memory devices, SSDs cannot perform in-place updates. A block has to be erased before it can be re-written. Moreover, the costs of different SSD operations are highly asymmetric. A write operation in an SSD is an order of magnitude slower than a read operation, and an erase operation is in turn an order of magnitude slower than a write. Moreover, a block can endure only a limited number of erasures before it wears out. Most SSDs employ a log-structured Flash-Translation-Layer (FTL) to solve the not-in-place update problem. The unique operations of the FTLs, together with the asymmetric overheads of different operations, imply that many traditional solutions optimized for HDDs do not work well for SSDs. For example, sequential writes that are not perfectly aligned to the flash block boundary, may reduce performance and increase wearing overhead. In this paper, we proposed a novel I/O scheduler which is based on fine-grained access patterns in a per-process per-stream manner. These patterns are used to guide a set of novel scheduling policies, including pre-alignment, inner-padding, write merging, merging-and-splitting, to improve the write performance of SSDs that adopt log-structured FTLs. Simulation results show that these policies can improve write performance by up to 60%. Moreover, the schemes reduce SSD erasure cycle by up to 64%, which is directly translated to a major improvement on the lifespan of SSDs.","PeriodicalId":285655,"journal":{"name":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","volume":"601 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116307612","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

Transformation approach from KAOS goal models to BPMN models using refinement patterns 从KAOS目标模型到使用细化模式的BPMN模型的转换方法

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2555119

Hiroki Horita, Kozo Honda, Y. Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga

引用次数: 6

A CUDA-based implementation of OpenGL-compatible rasterization library prototype 基于cuda的兼容opengl的栅格化库原型实现

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2559922

Young Chun Kwon, Nakhoon Baek

{"title":"A CUDA-based implementation of OpenGL-compatible rasterization library prototype","authors":"Young Chun Kwon, Nakhoon Baek","doi":"10.1145/2554850.2559922","DOIUrl":"https://doi.org/10.1145/2554850.2559922","url":null,"abstract":"Traditional 3D graphics pipelines have been mostly implemented as fixed-function special-purpose hardware chips. Recently, introducing programmable graphics pipelines, there was dramatic changes in their implementations. Additionally, introducing general purpose GPUs (graphics processing units), we got parallel computing pipelines such as CUDA and OpenCL, based on the parallel processing facilities of those GPUs. In this paper, we aimed to implement a full-software 3D graphics pipeline on those parallel computing pipelines, to finally show that the new full-software implementation can substitute the traditional graphics pipelines. In the previous work [1], they implemented the 3D rasterization engine on the CUDA architecture, for some special applications. Based on that CUDA-based 3D rasterization engine, we added the OpenGL 1.2-specific API (application program interface) functions, to build up a source-level compatible 3D graphics library for existing OpenGL graphics application programs. In near future, we will implement a wholly new OpenGL graphics library features on the CUDA pipeline. Those efforts are focused on the demonstration of feasibility for the unification of 3D graphics pipelines and parallel computing pipelines. We expect that this unification will give us remarkable advances in the future graphics hardware design.","PeriodicalId":285655,"journal":{"name":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123575809","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

XIS-mobile: a DSL for mobile applications XIS-mobile:用于移动应用程序的DSL

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554926

André Ribeiro, A. Silva

引用次数: 55

Feature description based on center-symmetric local mapped patterns 基于中心对称局部映射模式的特征描述

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2554895

C. T. Ferraz, Osmando Pereira, A. Gonzaga

引用次数: 25

Performance analysis of the golden-SM in the V2V network V2V网络中gold - sm的性能分析

Proceedings of the 29th Annual ACM Symposium on Applied Computing Pub Date : 2014-03-24 DOI: 10.1145/2554850.2559916

Myung-Chul Park, D. Han

引用次数: 1