College of Engineering
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
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
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
2017 journal article
GLORE: generalized loop redundancy elimination upon LER-notation
Proceedings of the ACM on Programming Languages, 1(OOPSLA), 1–28.
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
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
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
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
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
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
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/
2017 journal article
SoSharP: Recommending Sharing Policies in Multiuser Privacy Scenarios
IEEE Internet Computing.
2017 journal article
How Good is a Security Policy against Real Breaches? A HIPAA Case Study
Proceedings - International Conference on Software Engineering.
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/
2017 journal article
Triaging Patient Complaints: Monte Carlo Cross-Validation of Six Machine Learning Classifiers
JMIR Medical Informatics.
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).
2017 report
Efficient Algorithms for Finding 2-Medians of a Tree
North Carolina State University. Dept. of Computer Science.
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.
2017 conference paper
Normative requirements in sociotechnical systems
Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, 259–260.
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