Works Published in 2011
Displaying works 141 - 160 of 194 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2011 journal article
Predictable Task Migration for Locked Caches in Multi-Core Systems
ACM SIGPLAN NOTICES, 46(5), 131–140.
author keywords: Design; Experimentation; Real-Time Systems; Multi-Core Architectures; Timing Analysis; Task Migration
citeseerx.ist.psu.edu (repository)
UN Sustainable Development Goal Categories
10. Reduced Inequalities
(OpenAlex)
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 conference paper
Precise identification of problems for structural test generation
2011 33rd International Conference on Software Engineering (ICSE), 611–620.
TL;DR:
A novel approach, called Covana, is proposed, which precisely identifies and reports problems that prevent the tools from achieving high structural coverage primarily by determining whether branch statements containing notcovered branches have data dependencies on problem candidates.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2011 conference paper
DyTa: Dynamic symbolic execution guided with static verification results
2011 33rd International Conference on Software Engineering (ICSE), 992–994.
TL;DR:
This work presents an automated defect-detection tool, called DyTa, that combines both static verification and dynamic test generation and reduces the number of false positives compared to static verification, and performs more efficiently compared to dynamic testgeneration.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2011 conference paper
Covana: Precise identification of problems in Pex
2011 33rd International Conference on Software Engineering (ICSE), 1004–1006.
TL;DR:
This work presents Covana, a tool that precisely identifies and reports problems that prevent Pex from achieving high structural coverage, and proposes cooperative developer testing, where developers provide guidance to help tools achieve higher structural coverage.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2011 journal article
Bandwidth allocation under end-to-end percentile delay bounds
INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, 21(6), 536–547.
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 conference paper
A case study on refactoring in Haskell programs
2011 33rd International Conference on Software Engineering (ICSE), 1164–1166.
Source: NC State University Libraries
Added: August 6, 2018
2011 article
Vehicle Tracking Through the Exploitation of Remote Sensing and LWIR Polarization Science
POLARIZATION SCIENCE AND REMOTE SENSING V, Vol. 8160.
author keywords: layered sensing; distributed sensing; polarimetric; infrared; tracking; feature-aided; fusion; multisensor
TL;DR:
Several robust features are explored for vehicle tracking using data captured in a remote sensing setting using three classic features including Stokes images, DoLP, the Degree of Linear Polarization, and AoP, the Angle of Polarization and several geometry inspired features.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
Maximum likelihood autocalibration
IMAGE AND VISION COMPUTING, 29(10), 653–665.
author keywords: Autocalibration; Self-calibration; Maximum likelihood; Absolute dual quadric; Structure from motion
TL;DR:
This paper proposes a maximum likelihood objective and shows that it can be implemented robustly and efficiently and often provides substantially greater accuracy, especially when there are fewer views or greater noise.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
Designing Fast and Scalable XACML Policy Evaluation Engines
IEEE TRANSACTIONS ON COMPUTERS, 60(12), 1802–1817.
author keywords: Web servers; XACML; policy evaluation; policy-based computing; access control; policy decision point
TL;DR:
This paper proposes fast policy evaluation algorithms that can be adapted to support various policy languages and focuses on XACML, which has become the de facto standard for specifying access control policies, has been widely used on web servers, and is most complex among existing policy languages.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
DENSE: efficient and prior knowledge-driven discovery of phenotype-associated protein functional modules
BMC SYSTEMS BIOLOGY, 5.
MeSH headings : Animals; Binding Sites; Cattle; Cell Movement; Cells, Cultured; Computer Simulation; Extracellular Matrix / metabolism; Fibronectins / metabolism; Humans; Models, Biological; Neuropilin-1 / metabolism; Pancreatic Elastase / metabolism; Phenotype; Rats; Receptors, Vascular Endothelial Growth Factor / metabolism; Signal Transduction; Systems Biology; Vascular Endothelial Growth Factor A / chemistry; Vascular Endothelial Growth Factor A / metabolism; Vascular Endothelial Growth Factor A / physiology
TL;DR:
A fast and theoretically guranteed method called DENSE (Dense and ENriched Subgraph Enumeration) that can take in as input a biologist's prior knowledge as a set of query proteins and identify all the dense functional modules in a biological network that contain some part of the query vertices is introduced.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 article
Contextual Decision Making in General Game Playing
2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), pp. 679–684.
author keywords: General Game Playing; decision tree; machine learning; decision making
TL;DR:
A general game agent is described that isolates the heuristic search coverage for contextual decision making by efficiently creating dynamic decision trees and compared favorably against well known general game players and replicated actions of known human expert strategies.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
Selecting and using views to compute aggregate queries
Journal of Computer and System Sciences, 77(6), 1079–1107.
TL;DR:
A workload of aggregate queries is considered and the problem of selecting materialized views that provide equivalent rewritings for all the queries, and are optimal, is investigated, in that the cost of evaluating the query workload is minimized.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2011 article
ScalaExtrap: Trace-Based Communication Extrapolation for SPMD Programs
Wu, X., & Mueller, F. (2011, August). ACM SIGPLAN NOTICES, Vol. 46, pp. 113–122.
author keywords: High-Performance Computing; Message Passing; Tracing; Performance Prediction; Measurement; Performance
Source: Web Of Science
Added: August 6, 2018
2011 journal article
A Survey of Network Design Problems and Joint Design Approaches in Wireless Mesh Networks
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 13(3), 396–428.
author keywords: Wireless Mesh Networks; Interference Modeling and Mitigation; Power Control; Topology Control; Routing; Channel Assignment; Scheduling; Joint Design Approaches; Cross-layer Design; Network Capacity and Planning
TL;DR:
The fundamental WMN design problems of interference modeling, power control, topology control, link scheduling, and routing are identified, and brief overviews are provided, together with a survey of the recent research on these topics, with special stress on joint design methods.
(via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2011 journal article
Retrofitting unit tests for parameterized unit testing
Fundamental Approaches to Software Engineering, 6603, 294–309.
Source: NC State University Libraries
Added: August 6, 2018
2011 journal article
Fast Exact ILP Decompositions for Ring RWA
JOURNAL OF OPTICAL COMMUNICATIONS AND NETWORKING, 3(7), 577–586.
Contributors: Z. Liu*, G. Rouskas* & E. Yetginer
author keywords: Integer linear programming (ILP); Ring networks; Routing and wavelength assignment (RWA)
TL;DR:
A novel and extremely fast technique for obtaining, in a few seconds using commodity CPUs, optimal solutions to instances of maximum size SONET rings with any number of wavelengths; such instances cannot be tackled with classical formulations without vast investments in computational resources and time.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2011 journal article
MODEL CHECKING FOR VERIFICATION OF MANDATORY ACCESS CONTROL MODELS AND PROPERTIES
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 21(1), 103–127.
author keywords: Access control; policy; model; testing
TL;DR:
This paper defines a standardized structure for MAC models, providing for both property verification and automated generation of test cases, and uses the model checker to verify the integrity, coverage, and confinement of these properties for the MAC models.
(via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
Intertemporal Discount Factors as a Measure of Trustworthiness in Electronic Commerce
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 23(5), 699–712.
author keywords: Trust; reputation; intertemporal discounting
TL;DR:
It is proved that an agent's discount factor (time preference of utility) is a direct measure of the agent's trustworthiness for a set of reasonably general assumptions and definitions.
(via Semantic Scholar)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: August 6, 2018
2011 article
False Data Injection Attacks against State Estimation in Electric Power Grids
Liu, Y., Ning, P., & Reiter, M. K. (2011, May). ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, Vol. 14.
author keywords: Algorithms; Security; Power grids; state estimation; attack
TL;DR:
This article presents and analyzes a new class of attacks, called false data injection attacks, against state estimation in electric power grids, under the assumption that the attacker can access the current power system configuration information and manipulate the measurements of meters at physically protected locations such as substations.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy
(Web of Science)
Source: Web Of Science
Added: August 6, 2018
2011 journal article
Common Intervals of Multiple Permutations
ALGORITHMICA, 60(2), 175–206.
author keywords: Common intervals of permutations; Multichromosomal permutations; Circular permutations
TL;DR:
An algorithm is presented that finds in a family of k permutations of n elements all z common intervals in optimal O(kn+z) time and O(n) additional space and how to adapt this algorithm to multichromosomal and circular permutations is shown.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
Sources: Web Of Science, NC State University Libraries
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.
