Computer Science
College of Engineering
Works Published in 2017
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.
Event: the 50th Annual IEEE/ACM International Symposium
author keywords: Compiler; Program Optimizations; Programming Languages; NVM
dl.acm.org (publisher PDF)
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.
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.
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.
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.
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.
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.
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.
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.
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.
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).
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.
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.
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.
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
Source: ORCID
Added: October 7, 2019
