Proceedings of the 2014 ACM Southeast Regional Conference最新文献_第2页

A Dynamic Programming Based Solution to the Two-Dimensional Jump-It Problem 基于动态规划的二维跳变问题求解方法

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077290

Jamil Saquer, Razib Iqbal

引用次数: 0

An Implementation and Experimental Evaluation of Hardware Accelerated Ciphers in All-Programmable SoCs 硬件加速密码在全可编程soc中的实现与实验评估

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077297

R. Cowart, D. Coe, J. Kulick, A. Milenković

{"title":"An Implementation and Experimental Evaluation of Hardware Accelerated Ciphers in All-Programmable SoCs","authors":"R. Cowart, D. Coe, J. Kulick, A. Milenković","doi":"10.1145/3077286.3077297","DOIUrl":"https://doi.org/10.1145/3077286.3077297","url":null,"abstract":"The protection of confidential information has become very important with the increase of data sharing and storage on public domains. Data confidentiality is accomplished through the use of ciphers that encrypt and decrypt the data to impede unauthorized access. Emerging heterogeneous platforms provide an ideal environment to use hardware acceleration to improve application performance. In this paper, we explore the performance benefits of an AES hardware accelerator versus the software implementation for multiple cipher modes on the Zynq 7000 All-Programmable System-on-a-Chip (SoC). The accelerator is implemented on the FPGA fabric of the SoC and utilizes DMA for interfacing to the CPU. File encryption and decryption of varying file sizes are used as the workload, with execution time and throughput as the metrics for comparing the performance of the hardware and software implementations. The performance evaluations show that the accelerated AES operations achieve a speedup of 7 times relative to its software implementation and throughput upwards of 350 MB/s for the counter cipher mode, and modest improvements for other cipher modes.","PeriodicalId":91384,"journal":{"name":"Proceedings of the 2014 ACM Southeast Regional Conference","volume":"100 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90528013","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

Evaluation of the Expert Advisement in a Virtual Graduate School Panel for Computer Science Students 计算机科学专业学生虚拟研究生院小组中专家建议的评估

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077311

Kinnis Gosha, Prince Abudu, Marshall Forney

{"title":"Evaluation of the Expert Advisement in a Virtual Graduate School Panel for Computer Science Students","authors":"Kinnis Gosha, Prince Abudu, Marshall Forney","doi":"10.1145/3077286.3077311","DOIUrl":"https://doi.org/10.1145/3077286.3077311","url":null,"abstract":"The continually increasing population of underrepresented minorities (URM) and a shortage black students who are entering into academic majors involving Computer Science (CS), provide substantial justification for the U.S to invest in the creation of means that increase the presence of blacks in CS disciplines. One mean as such is the concept of a graduate school panel. It can be noted that graduate school panels are instrumental in the dissemination of post-baccalaureate CS education. This research is a worth-while attempt to virtualize audience-specific graduate school panels. We hypothesize that black students with access to the Virtual Graduate School Panel (VGSP) web-portal will be motivated and equipped to pursue graduate studies in CS disciplines. Current results show that our web-portal, the Virtual Graduate School Panel (VGSP), is favorable in usefulness to a sample of black undergraduate CS students. Notable limitations, such as a small sample and confinement to descriptive statistical test, lay the groundwork for future studies that will examine the effectiveness of the VGSP beyond the scope of this pilot study.","PeriodicalId":91384,"journal":{"name":"Proceedings of the 2014 ACM Southeast Regional Conference","volume":"204 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77879592","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

Multi Robot Path Planning and Path Coordination Using Genetic Algorithms: Extended Abstract 基于遗传算法的多机器人路径规划与路径协调:扩展摘要

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077327

Muthumeena Muthiah, A. Saad

引用次数: 4

CDEP: Continuous Delivery Educational Pipeline CDEP:持续交付教育管道

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077301

Brian P. Eddy, N. Wilde, Nathan A. Cooper, Bhavyansh Mishra, Valeria S. Gamboa, Khyati N. Patel, Keenal M. Shah

引用次数: 9

Dynamic Biometric Recognition of Handwritten Digits Using Symbolic Aggregate Approximation 基于符号聚合近似的手写体数字动态生物特征识别

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077308

D. Serfass

引用次数: 2

Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects 应用经验和形式化方法对具有并发性和时序方面的系统建模

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077299

José M. Garrido

{"title":"Applying Empirical and Formal Methods for Modelling Systems with Concurrency and Timing Aspects","authors":"José M. Garrido","doi":"10.1145/3077286.3077299","DOIUrl":"https://doi.org/10.1145/3077286.3077299","url":null,"abstract":"Software systems with concurrency are very complicated because they consist of many components that run in parallel and there can be a large number of combinations of how the components can interact. Deadlock, livelock, and other behavior can easily get out of control. Timing aspect adds another degree to the complexity. A pragmatic approach is presented for improving the specification and modelling of concurrency and timing by combining the use of the formal specification language Timed Communicating Object Z (TCOZ) and object-oriented simulation with OOSimL. The specification language TCOZ is well-suited for specifying complex systems that include components with their own thread of control. Object-Oriented simulation with OOSimL provides a powerful approach and tool for modeling large and complex systems and is compatible with the CSP semantics of concurrency. The output of the simulation runs provide traces of the timed interactions that can be used for verification with respect to the specification of the system. There is a simple and consisting correspondence from a formal specification to the corresponding simulation modelling. A simple problem is specified with TCOZ and the simulation model implemented with OOSimL is used to carry out simulation runs. This problem consists of three concurrent processes communicating among themselves and with the environment, subject to timing constraints.","PeriodicalId":91384,"journal":{"name":"Proceedings of the 2014 ACM Southeast Regional Conference","volume":"485 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77451158","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

Acquisition and use of knowledge over a restricted domain by intelligent agents 通过智能代理获取和使用有限领域的知识

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077293

Julião Braga, Nizam Omar, Luciana F. Thome

引用次数: 4

The Impact of Defensive Programming on I/O Cybersecurity Attacks 防御性编程对I/O网络安全攻击的影响

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077571

Joel Kamdem Teto, R. Bearden, D. Lo

引用次数: 5

Sentiment Analysis for the Social Media: A Case Study for Turkish General Elections 社交媒体的情绪分析:以土耳其大选为例

Proceedings of the 2014 ACM Southeast Regional Conference Pub Date : 2017-04-13 DOI: 10.1145/3077286.3077569

E. Uysal, Semih Yumusak, Kasim Oztoprak, Erdogan Dogdu

引用次数: 11