Works Published in 2014
Displaying all 14 works
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2014 journal article
An integrated programming and development environment for adiabatic quantum optimization
Computational Science and Discovery, 7(1).
Contributors: T. Humble *, A. McCaskey*, R. Bennink *, J. Billings*, E. Dazevedo*, B. Sullivan* , C. Klymko*, H. Seddiqi*
TL;DR:
An integrated programming and development environment for AQO called Jade Adiabatic Development Environment (JADE) is presented that provides control over all the steps taken during program synthesis and its potential use for benchmarking AQO programs by the quantum computer science community is discussed.
(via Semantic Scholar)
arxiv.org (repository)
Source: ORCID
Added: August 6, 2022
2014 journal article
Adiabatic quantum programming: Minor embedding with hard faults
Quantum Information Processing, 13(3), 709–729.
Contributors: C. Klymko*, B. Sullivan n & T. Humble *
author keywords: Quantum computing; Adiabatic quantum optimization; Graph embedding; Fault-tolerant computing
TL;DR:
Algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells are presented and are shown to be more resilient to faulty fabrics than naive embedding approaches.
(via Semantic Scholar)
Source: ORCID
Added: August 6, 2022
2014 conference paper
Locally Estimating Core Numbers
Proceedings - IEEE International Conference on Data Mining, ICDM, 2015-January(January), 460–469.
Contributors: M. Obrien n & B. Sullivan n
TL;DR:
A new method for estimating the core number based only on the properties of the graph within a region of radius δ around the vertex is introduced, and an asymptotic error bound of the estimator on random graphs is proved.
(via Semantic Scholar)
Source: ORCID
Added: August 6, 2022
2014 conference paper
Finding the limit
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14. Presented at the the 19th international conference.
Event: the 19th international conference
author keywords: Performance; JIT; Compilation Scheduling; Compilation Order; NP-completeness; Heuristic Algorithm; Runtime System
TL;DR:
This study proves the strong NP-completeness of the problem, proposes a heuristic algorithm that yields near optimal schedules, examines the potential of two current scheduling schemes empirically, and explores the relations with JIT designs.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: September 5, 2020
2014 conference paper
Challenging the "embarrassingly sequential"
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS '14. Presented at the the 19th international conference.
Event: the 19th international conference
author keywords: Languages; Performance; FSM; Speculative Parallelization; Lookback; DFA; Multicore; Partial Commit
TL;DR:
This paper offers the first disciplined way to exploit application-specific information to inform speculations for parallelization, and presents a probabilistic model that captures the relations between speculative executions and the properties of the target FSM and its inputs.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: September 5, 2020
2014 conference paper
Localization of concurrency bugs using shared memory access pairs
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14. Presented at the the 29th ACM/IEEE international conference.
Event: the 29th ACM/IEEE international conference
TL;DR:
Evaluation results on 16 common concurrency bugs show that all buggy shared memory accesses that trigger these bugs can be precisely localized by LOCON with only one failed run captured.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: September 5, 2020
2014 conference paper
SatScore
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing - UbiComp '14 Adjunct. Presented at the the 2014 ACM International Joint Conference.
Event: the 2014 ACM International Joint Conference
author keywords: Smartphone; Launch responsiveness; User study; Measurement Pitfalls
TL;DR:
This paper presents the promise of solving the dilemma through a Sat score model and demonstrates some new opportunities for responsiveness enhancement enabled by the SatScore model.
(via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: September 5, 2020
2014 conference paper
Why do simple algorithms for triangle enumeration work in the real world?
ITCS 2014 - Proceedings of the 2014 Conference on Innovations in Theoretical Computer Science, 225–234.
Contributors: J. Berry*, L. Fostvedt *, D. Nordman*, C. Phillips *, C. Seshadhri * & A. Wilson n
TL;DR:
It is proved that expected linear-time performance for degree sequences following a power law with exponent α ≥ 7/3, and non-trivial speedup whenever α ∈ (2,3).
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: ORCID
Added: December 7, 2019
2014 journal article
A Pilot Study Teaching Metrology in an Introductory Statistics Course
Journal of Statistics Education, 22(3).
Contributors: E. Casleton *, A. Beyler*, U. Genschel* & A. Wilson n
author keywords: Variability; Statistics curriculum; Undergraduate statistics; Deep understanding; Data collection
UN Sustainable Development Goal Categories
4. Quality Education
(Web of Science)
Sources: Crossref, ORCID
Added: December 7, 2019
2014 article
PORPLE: An Extensible Optimizer for Portable Data Placement on GPU
2014 47TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), pp. 88–100.
author keywords: GPU; cache; compiler; data placement; hardware specification language
TL;DR:
Experiments show that PORPLE is able to consistently find optimal or near-optimal placement despite the largedifferences among GPU architectures and program inputs, yielding up to 2.08X speedups on a set of regular and irregularGPU benchmarks.
(via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2014 journal article
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations
ACM SIGPLAN Notices, 49(10), 763–776.
TL;DR:
This study proves selecting the best set of versions under a space constraint is NP-complete and proposes a heuristic algorithm named CHoGS which yields near optimal results in quadratic time.
(via Semantic Scholar)
Sources: NC State University Libraries, NC State University Libraries
Added: August 6, 2018
2014 article
Call Sequence Prediction through Probabilistic Calling Automata
Zhao, Z., Wu, B., Zhou, M., Ding, Y., Sun, J., Shen, X., & Wu, Y. (2014, October). ACM SIGPLAN NOTICES, Vol. 49, pp. 745–762.
author keywords: Languages; Performance; Function call; Call sequence prediction; Probabilistic calling automata; Dynamic optimizations; Just-in-time compilation; Parallel compilation
TL;DR:
A new way to enable call sequence prediction is presented, which exploits program structures through Probabilistic Calling Automata (PCA), a new program representation that captures both the inherent ensuing relations among function calls, and the probabilistic nature of execution paths.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2014 journal article
Discussion of 'Methods for planning repeated measures accelerated degradation tests'
APPLIED STOCHASTIC MODELS IN BUSINESS AND INDUSTRY, 30(6), 674–676.
Contributors: C. Reese* & A. Wilson n
UN Sustainable Development Goal Categories
2. Zero Hunger
(Web of Science)
13. Climate Action
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2014 journal article
Bayesian Binomial Assurance Tests for System Reliability Using Component Data
JOURNAL OF QUALITY TECHNOLOGY, 46(1), 24–32.
Contributors: M. Hamada*, A. Wilson n , B. Weaver *, R. Griffiths & H. Martz
author keywords: Consumer's and Producer's Posterior Risk; Demonstration Test; Hierarchical Model
Sources: Web Of Science, ORCID
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
