AndroidLeaks: Detecting Privacy Leaks In Android Applications
Abstract not provided.
Abstract not provided.
Optics Express
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
IEEE Transaction on Nuclear Science
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Recognition of the importance of power in the field of High Performance Computing, whether it be as an obstacle, expense or design consideration, has never been greater and more pervasive. While research has been conducted on many related aspects, there is a stark absence of work focused on large scale High Performance Computing. Part of the reason is the lack of measurement capability currently available on small or large platforms. Typically, research is conducted using coarse methods of measurement such as inserting a power meter between the power source and the platform, or fine grained measurements using custom instrumented boards (with obvious limitations in scale). To collect the measurements necessary to analyze real scientific computing applications at large scale, an in-situ measurement capability must exist on a large scale capability class platform. In response to this challenge, we exploit the unique power measurement capabilities of the Cray XT architecture to gain an understanding of power use and the effects of tuning. We apply these capabilities at the operating system level by deterministically halting cores when idle. At the application level, we gain an understanding of the power requirements of a range of important DOE/NNSA production scientific computing applications running at large scale (thousands of nodes), while simultaneously collecting current and voltage measurements on the hosting nodes. We examine the effects of both CPU and network bandwidth tuning and demonstrate energy savings opportunities of up to 39% with little or no impact on run-time performance. Capturing scale effects in our experimental results was key. Our results provide strong evidence that next generation large-scale platforms should not only approach CPU frequency scaling differently, but could also benefit from the capability to tune other platform components, such as the network, to achieve energy efficient performance.
Abstract not provided.
Nature Nanotechnology
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
%22Combustion, Explosion, and Shock Waves%22
Abstract not provided.
Journal of Physical Chemistry
Abstract not provided.
%22Zeitschrift f&%23252r Physikalische Chemie%22 - ZPC
Abstract not provided.
ZPC
Abstract not provided.
%22International Journal of Mass Spectrometry%22
Abstract not provided.
Advances in Water Resources
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
IEEE Transactions on Nuclear Science, Dec. 2011
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
IEEE Transactions on Nuclear Science
Abstract not provided.
IEEE Transactions on Nuclear Science (Dec. 2011)
Abstract not provided.
IEEE Transactions on Nuclear Science, Dec. 2011
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
A microkinetic reaction sub-mechanism designed to account for the sulfation and desulfation of a commercial lean NOx trap (LNT) is presented. This set of reactions is appended to a previously developed mechanism for the normal storage and regeneration processes in an LNT in order to provide a comprehensive modeling tool. The reactions describing the storage, release, and reduction of sulfur oxides are patterned after those involving NOx, but the number of reactions is kept to the minimum necessary to give an adequate simulation of the experimental observations. Values for the kinetic constants are estimated by fitting semi-quantitatively the somewhat limited experimental data, using a transient plug flow reactor code to model the processes occurring in a single monolith channel. Rigorous thermodynamic constraints are imposed in order to ensure that the overall mechanism is consistent both internally and with the known properties of all gas-phase species. The final mechanism is shown to be capable of reproducing the principal aspects of sulfation/desulfation behavior, most notably (a) the essentially complete trapping of SO2 during normal cycling; (b) the preferential sulfation of NOx storage sites over oxygen storage sites and the consequent plug-like and diffuse sulfation profiles; (c) the degradation of NOx storage and reduction (NSR) capability with increasing sulfation level; and (d) the mix of H2S and SO2 evolved during desulfation by temperature-programmed reduction.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Physical Review Letters
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
The goal of this project was to develop non-destructive, minimally disruptive eddy sensors to inspect small diameter stainless steel metal tubes. Modifications to Sandia's Emphasis/EIGER code allowed for the modeling of eddy current bobbin sensors near or around 1/8-inch outer diameter stainless steel tubing. Modeling results indicated that an eddy sensor based on a single axial coil could effectively detect changes in the inner diameter of a stainless steel tubing. Based on the modeling results, sensor coils capable of detecting small changes in the inner diameter of a stainless steel tube were designed, built and tested. The observed sensor response agreed with the results of the modeling and with eddy sensor theory. A separate limited distribution SAND report is being issued demonstrating the application of this sensor.
Abstract not provided.
Abstract not provided.
Chemistry of Materials
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Despite its seemingly nonsensical cost, we show through modeling and simulation that redundant computation merits full consideration as a resilience strategy for next-generation systems. Without revolutionary breakthroughs in failure rates, part counts, or stable-storage bandwidths, it has been shown that the utility of Exascale systems will be crushed by the overheads of traditional checkpoint/restart mechanisms. Alternate resilience strategies must be considered, and redundancy is a proven unrivaled approach in many domains. We develop a distribution-independent model for job interrupts on systems of arbitrary redundancy, adapt Daly’s model for total application runtime, and find that his estimate for optimal checkpoint interval remains valid for redundant systems. We then identify conditions where redundancy is more cost effective than non-redundancy. These are done in the context of the number one supercomputers of the last decade, showing that thorough consideration of redundant computation is timely - if not overdue.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Process Control System (PCS) and Industrial Control System (ICS) security is critical to our national security. But there are a number of technological, economic, and educational impediments to PCS owners implementing effective security on their systems. Sandia National Laboratories has performed the research and development of the OPSAID (Open PCS Security Architecture for Interoperable Design), a project sponsored by the US Department of Energy Office of Electricity Delivery and Energy Reliability (DOE/OE), to address this issue. OPSAID is an open-source architecture for PCS/ICS security that provides a design basis for vendors to build add-on security devices for legacy systems, while providing a path forward for the development of inherently-secure PCS elements in the future. Using standardized hardware, a proof-of-concept prototype system was also developed. This report describes the improvements and capabilities that have been added to OPSAID since an initial report was released. Testing and validation of this architecture has been conducted in another project, Lemnos Interoperable Security Project, sponsored by DOE/OE and managed by the National Energy Technology Laboratory (NETL).
Environmental Science and Technology
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
IEEE Computer
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Optics Express
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
This report describes an Engineering Sciences Research Foundation (ESRF) project to characterize and understand fracture processes via molecular dynamics modeling and atom-to-continuum methods. Under this aegis we developed new theory and a number of novel techniques to describe the fracture process at the atomic scale. These developments ranged from a material-frame connection between molecular dynamics and continuum mechanics to an atomic level J integral. Each of the developments build upon each other and culminated in a cohesive zone model derived from atomic information and verified at the continuum scale. This report describes an Engineering Sciences Research Foundation (ESRF) project to characterize and understand fracture processes via molecular dynamics modeling and atom-to-continuum methods. The effort is predicated on the idea that processes and information at the atomic level are missing in engineering scale simulations of fracture, and, moreover, are necessary for these simulations to be predictive. In this project we developed considerable new theory and a number of novel techniques in order to describe the fracture process at the atomic scale. Chapter 2 gives a detailed account of the material-frame connection between molecular dynamics and continuum mechanics we constructed in order to best use atomic information from solid systems. With this framework, in Chapter 3, we were able to make a direct and elegant extension of the classical J down to simulations on the scale of nanometers with a discrete atomic lattice. The technique was applied to cracks and dislocations with equal success and displayed high fidelity with expectations from continuum theory. Then, as a prelude to extension of the atomic J to finite temperatures, we explored the quasi-harmonic models as efficient and accurate surrogates of atomic lattices undergoing thermo-elastic processes (Chapter 4). With this in hand, in Chapter 5 we provide evidence that, by using the appropriate energy potential, the atomic J integral we developed is calculable and accurate at finite/room temperatures. In Chapter 6, we return in part to the fundamental efforts to connect material behavior at the atomic scale to that of the continuum. In this chapter, we devise theory that predicts the onset of instability characteristic of fracture/failure via atomic simulation. In Chapters 7 and 8, we describe the culmination of the project in connecting atomic information to continuum modeling. In these chapters we show that cohesive zone models are: (a) derivable from molecular dynamics in a robust and systematic way, and (b) when used in the more efficient continuum-level finite element technique provide results that are comparable and well-correlated with the behavior at the atomic-scale. Moreover, we show that use of these same cohesive zone elements is feasible at scales very much larger than that of the lattice. Finally, in Chapter 9 we describe our work in developing the efficient non-reflecting boundary conditions necessary to perform transient fracture and shock simulation with molecular dynamics.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Over the course of the last year, a sparse matrix-matrix multiplication routine has been developed for the Tpetra package. This routine is based on the same algorithm that is used in EpetraExt with heavy modifications. Since it achieved a working state, several major optimizations have been made in an effort to speed up the routine. This report will discuss the optimizations made to the routine, its current state, and where future work needs to be done.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Journal of the American Chemical Society
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Composite Structures
Abstract not provided.