Computer Science

College of Engineering

Works Published in 2017

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

Displaying works 81 - 100 of 233 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2017 conference paper

Efficient support of position independence on non-volatile memory

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-50 '17. Presented at the the 50th Annual IEEE/ACM International Symposium.

By: G. Chen*, L. Zhang n, R. Budhiraja*, X. Shen & Y. Wu*

Event: the 50th Annual IEEE/ACM International Symposium

author keywords: Compiler; Program Optimizations; Programming Languages; NVM
Sources: Crossref, ORCID
Added: January 25, 2020

2017 conference paper

Versapipe

Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-50 '17. Presented at the the 50th Annual IEEE/ACM International Symposium.

By: Z. Zheng*, C. Oh*, J. Zhai*, X. Shen, Y. Yi* & W. Chen*

Event: the 50th Annual IEEE/ACM International Symposium

author keywords: GPU; Pipelined Computing
Sources: Crossref, ORCID
Added: January 25, 2020

2017 conference paper

Egeria

Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '17. Presented at the the International Conference for High Performance Computing, Networking, Storage and Analysis.

By: H. Guan n, X. Shen & H. Krim n

Event: the International Conference for High Performance Computing, Networking, Storage and Analysis

author keywords: program optimization; high performance computing; natural language processing
Sources: Crossref, ORCID
Added: January 25, 2020

2017 journal article

GLORE: generalized loop redundancy elimination upon LER-notation

Proceedings of the ACM on Programming Languages, 1(OOPSLA), 1–28.

By: Y. Ding n & X. Shen

author keywords: program optimization; loop redundancy elimination; operation minimization
Sources: Crossref, ORCID
Added: January 25, 2020

2017 conference paper

Sharing and Using Programming Log Data (Abstract Only)

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 729.

By: T. Price, N. Brown*, C. Piech* & K. Rivers*

Event: at New York, NY, USA

Source: ORCID
Added: January 22, 2020

2017 conference paper

iSnap: Towards Intelligent Tutoring in Novice Programming Environments.

SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 483–488.

By: T. Price, Y. Dong n & D. Lipovac n

Event: 2017 ACM SIGCSE Technical Symposium on Computer Science Education at Seattle, Washington on March 8-11, 2017

author keywords: Novice programming; Intelligent Tutoring Systems; Hints; Data-driven; Logging; Snap
Sources: ORCID, Web Of Science
Added: January 22, 2020

2017 conference paper

Tosca: Operationalizing Commitments Over Information Protocols

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Presented at the Twenty-Sixth International Joint Conference on Artificial Intelligence.

By: T. King*, A. Günay*, A. Chopra* & M. Singh

Event: Twenty-Sixth International Joint Conference on Artificial Intelligence

Sources: Crossref, ORCID
Added: January 14, 2020

2017 conference paper

When and Why the Topological Coverage Criterion Works

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. Presented at the Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms.

By: N. Cavanna, K. Gardner & D. Sheehy

Event: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms

Sources: Crossref, ORCID
Added: January 7, 2020

2017 conference paper

Application of the Delphi Method in Computer Science Principles Rubric Creation

Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '17, Part F128680, 164–169.

Event: the 2017 ACM Conference

author keywords: BJC; AP CS Principles; Rubrics; Evaluation; Delphi Method
Sources: ORCID, Crossref
Added: December 16, 2019

2017 conference paper

Using Serious Game Analytics to Inform Digital Curricular Sequencing

Proceedings of the Annual Symposium on Computer-Human Interaction in Play - CHI PLAY '17. Presented at the the Annual Symposium.

By: Z. Peddycord-Liu n, C. Cody n, S. Kessler n, T. Barnes, C. Lynch n & T. Rutherford n

Event: the Annual Symposium

author keywords: Serious Games; Serious Game Analytics; Digital Curricular
Source: Crossref
Added: December 16, 2019

2017 journal article

Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols

AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS. https://publons.com/publon/21294377/

Source: ORCID
Added: December 10, 2019

2017 journal article

SoSharP: Recommending Sharing Policies in Multiuser Privacy Scenarios

IEEE Internet Computing.

Source: ORCID
Added: December 10, 2019

2017 journal article

How Good is a Security Policy against Real Breaches? A HIPAA Case Study

Proceedings - International Conference on Software Engineering.

author keywords: Security and privacy breaches; social norms; breach ontology; semantic similarity
Source: ORCID
Added: December 10, 2019

2017 journal article

Arnor: Modeling Social Intelligence via Norms to Engineer Privacy-Aware Personal Agents

AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS. https://publons.com/publon/21294376/

Source: ORCID
Added: December 10, 2019

2017 journal article

Triaging Patient Complaints: Monte Carlo Cross-Validation of Six Machine Learning Classifiers

JMIR Medical Informatics.

By: A. Elmessiry n, W. Cooper*, T. Catron*, J. Karrass*, Z. Zhang* & M. Singh

Source: ORCID
Added: December 10, 2019

2017 book

Discrete multi-agent plan recognition: Recognizing teams, goals, and plans from action sequences

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 212–228).

By: C. Argenta n & J. Doyle

author keywords: Multi-agent systems; Plan recognition
Source: ORCID
Added: December 6, 2019

2017 report

Efficient Algorithms for Finding 2-Medians of a Tree

North Carolina State University. Dept. of Computer Science.

By: M. Stallmann & A. Oudjit

Source: ORCID
Added: December 6, 2019

2017 conference paper

Formal understanding of tradeoffs among liveness and safety requirements

Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, 17–18.

By: O. Kafali, N. Ajmeri & M. Singh

author keywords: Norms; sociotechnical systems; constraint logic programming
Source: ORCID
Added: October 7, 2019

2017 conference paper

Normative requirements in sociotechnical systems

Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, 259–260.

By: O. Kafali, N. Ajmeri & M. Singh

author keywords: Norms; privacy; design patterns
Source: ORCID
Added: October 7, 2019

2017 conference paper

Arnor: Modeling social intelligence via norms to engineer privacy-Aware personal agents

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1, 230–238. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046117998&partnerID=MN8TOARS

By: N. Ajmeri, P. Murukannaiah, H. Guot & M. Singh

Source: ORCID
Added: October 7, 2019