National Library of Energy BETA

Sample records for metric tons compiled

  1. DOE Will Dispose of 34 Metric Tons of Plutonium by Turning it...

    National Nuclear Security Administration (NNSA)

    Will Dispose of 34 Metric Tons of Plutonium by Turning it into Fuel for Civilian Reactors | National Nuclear Security Administration Facebook Twitter Youtube Flickr RSS People...

  2. DOE to Remove 200 Metric Tons of Highly Enriched Uranium from...

    Broader source: Energy.gov (indexed) [DOE]

    Administration (NNSA) will remove up to 200 metric tons (MT) of Highly Enriched Uranium (HEU), in the coming decades, from further use as fissile material in U.S. nuclear...

  3. Methane Production: In the United States cattle emit about 5.5 million metric tons of methane per year into the

    E-Print Network [OSTI]

    Toohey, Darin W.

    Methane Production: In the United States cattle emit about 5.5 million metric tons of methane per year into the atmosphere. o Accounts for 20% of methane emissions from human sources. Globally cattle produce about 80 million metric tons of methane annually. o Accounts for 28% of global methane emissions

  4. RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

    E-Print Network [OSTI]

    ) -- -- -- -- 20 Rare-earth metals, alloy 880 867 784 679 210 Cerium compounds 2,170 2,590 2,680 2,080 1,190 Mixed (monazite or various thorium materials) -- -- 1 61 23 Rare-earth metals, alloys 636 733 1,470 1,390 6128 RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

  5. (Data in metric tons unless otherwise noted) Domestic Production and Use: Indium was not recovered from ores in the United States in 2007. Indium-containing

    E-Print Network [OSTI]

    gallium diselenide (CIGS) solar cells require approximately 50 metric tons of indium to produce 1 gigawatt of solar power. Research was underway to develop a low-cost manufacturing process for flexible CIGS solar cells that would yield high productio

  6. (Data in metric tons of lithium content unless otherwise noted) Domestic Production and Use: The only commercially active lithium mine in the United States was a brine

    E-Print Network [OSTI]

    --United States: 2008 2009 2010 2011 2012 e Production W W W W W Imports for consumption 3,160 1,890 1,960 2,850 2 production capacity. Industry analysts and the major lithium producers expected worldwide consumption94 LITHIUM (Data in metric tons of lithium content unless otherwise noted) Domestic Production

  7. Compilers

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler

  8. (Data in thousand metric tons of copper content unless otherwise noted) Domestic Production and Use: U.S. mine production of copper in 2013 increased by 4% to about 1.22 million tons,

    E-Print Network [OSTI]

    .9% and consumption was projected to remain essentially unchanged. U.S. mine production increased by about 4% in 2013 Production and Use: U.S. mine production of copper in 2013 increased by 4% to about 1.22 million tons of production--accounted for more than 99% of domestic mine production; copper also was recovered in Idaho

  9. Compiler Comparisons

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Comparisons Compiler Comparisons Compiler Comparisons on Hopper There are five compilers available to users on Hopper, the NERSC XE6. All of the compilers on this system are...

  10. Compiler Comparisons

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    a set of benchmarks described below, different optimization options for the different compilers on Edison are compared. The compilers are also compared against one another on the...

  11. DOE Partner Begins Injecting 50,000 Tons of CO2 in Michigan Basin

    Broader source: Energy.gov [DOE]

    Building on an initial injection project of 10,000 metric tons of carbon dioxide into a Michigan geologic formation, a U.S. Department of Energy team of regional partners has begun injecting 50,000 additional tons into the formation, which is believed capable of storing hundreds of years worth of CO2, a greenhouse gas that contributes to climate change.

  12. Collaborative compilation

    E-Print Network [OSTI]

    Wagner, Benjamin R

    2006-01-01

    Modern optimizing compilers use many heuristic solutions that must be tuned empirically. This tuning is usually done "at the factory" using standard benchmarks. However, applications that are not in the benchmark suite ...

  13. (Data in metric tons of strontium content unless otherwise noted)

    E-Print Network [OSTI]

    2010 2011 2012 2013 e Production -- -- -- -- -- Imports for consumption: Strontium minerals 6,420 2 the potential for celestite consumption in drilling fluids. In descending order of production, China, Spain Production and Use: Although deposits of strontium minerals occur widely throughout the United States

  14. (Data in metric tons of silver content unless otherwise noted)

    E-Print Network [OSTI]

    in casino chips, freeway toll transponders, gasoline speed purchase devices, passports, and on packages,680 6,600 Exports 2 797 685 478 796 1,000 Consumption, apparent 5,250 6,300 4,600 7,220 7,850 Price September 2011, silver prices averaged $36.39 per troy ounce. The overall rise in silver prices corresponded

  15. (Data in metric tons of gold content unless otherwise noted)

    E-Print Network [OSTI]

    , expansion projects, and development projects were placed on hold because of the drop in the price of gold,140 8,140 Price, dollars per troy ounce 4 975 1,228 1,572 1,673 1,400 Employment, mine and mill, number, and Issues: The estimated gold price in 2013 was 16% lower than the price in 2012. This was the first time

  16. Energy Department Sponsored Project Captures One Millionth Metric Ton of

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesy ofDepartmentPortland PublicCyclingCO2 | Department

  17. Compiling Codes

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompilerCompiling Codes

  18. Predicting performance across compilations

    E-Print Network [OSTI]

    Lau, Jeremy

    2007-01-01

    The Java Hotspot server compiler. In Java Virtual MachineM. Serrano, and T. Shpeisman. The StarJIT compiler: Ady- namic compiler for managed runtime environments. Intel

  19. Compiling Codes on Euclid

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    example.x example.c For C++ source code use mpiCC: % mpiCC -o example.x example.C PGI Compilers (CC++Fortran) See PGI compiler for information about this compiler. GNU Compilers...

  20. Compiler Comparisons

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler Comparisons

  1. Compiling Codes

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler

  2. Compiler Optimization Jordan Bradshaw

    E-Print Network [OSTI]

    Valtorta, Marco

    Compiler Optimization Jordan Bradshaw #12;Outline Overview Goals and Considerations ­ Scope. 346- 352. Print. "Compiler Optimization." Wikipedia. Wikimedia Foundation, 25 04 2010. Web. 25 Apr 2010. #12;Compiler Optimization Goals: ­ Speed

  3. The Paradigm Compiler for

    E-Print Network [OSTI]

    Chandy, John A.

    The Paradigm Compiler for Distributed-Memory Multicomputers Prithviraj Banerjee John A. Chandy University of Illinois, Urbana-Champaign A flexible compiler framework for distributed-memory multi. The Paradigm (Parallelizing Compiler for Distributed- Memory, General-Purpose Multicomputers) project

  4. Introduction to Knowledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Introduction to Knowledge Compilation Jinbo Huang NICTA and Australian National University (based in part on Adnan Darwiche's tutorial) Jinbo Huang Introduction to Knowledge Compilation #12;Propositional Huang Introduction to Knowledge Compilation #12;Truth of Sentences Burglary Earthquake Alarm 1

  5. Billion Ton Study—A Historical Perspective

    Broader source: Energy.gov [DOE]

    Breakout Session 1A: Biomass Feedstocks for the Bioeconomy Billion Ton Study—A Historical Perspective Bryce Stokes, Senior Advisor, CNJV

  6. Self-benchmarking Guide for Data Centers: Metrics, Benchmarks, Actions

    E-Print Network [OSTI]

    Mathew, Paul

    2010-01-01

    good practice” for data center infrastructure efficiency metric. Data Center Benchmarking Guidegood practice benchmark and 0.6 kW/ton as a better practice benchmark. Data Center Benchmarking Guide

  7. Ecole Doctorale Compilation, debogage

    E-Print Network [OSTI]

    Louvet, Violaine

    Ecole Doctorale ­ Compilation, debogage Violaine Louvet 1 1 ICJ - CNRS Année 2012-2013 #12;Objectifs de ce cours Compilation Comprendre le rôle et le fonctionnement d'un compilateur. Connaître les principales directives et options de compilation. Savoir faire de la compilation séparée. Savoir utiliser un

  8. Choosing a Compiler on Edison

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Choosing a Compiler on Edison Choosing a Compiler on Edison Three different compilers are available on Edison. In this section we compare them using the benchmarks described above....

  9. Credible Compilation Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Abstract This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple

  10. Credible Compilation Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation #3; Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 Abstract This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple

  11. Credible Compilation Darko Marinov

    E-Print Network [OSTI]

    Marinov, Darko

    Credible Compilation by Darko Marinov Submitted to the Department of Electrical Engineering by . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Arthur C. Smith Chairman, Department Committee on Graduate Students #12; Credible Compilation by Darko describes a theoretical framework for building compilers that generate formal guarantees that they work

  12. Metric Presentation

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Success Story Some Metrics That Supported It 8 Office of Electricity Delivery and Energy Reliability MODERN GRID S T R A T E G Y An example - Nuclear Power Industry Objective...

  13. Lecture Compiler Construction Franz Wotawa

    E-Print Network [OSTI]

    Lecture Compiler Construction Franz Wotawa wotawa@ist.tugraz.at Institute for Software Technology Graz) Compiler Construction Summer term 2015 1 / 63 #12;Compilers are everywhere Programming languages compilers (HTML, LATEX,...) Means for communication between computers like XML Natural languages Compilers

  14. Intel Compiler Peformance on Edison

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Peformance on Edison Intel Compiler Peformance on Edison These are the Intel optimization options we compared. The quotations are from the Intel compiler on-line man pages....

  15. Compiling Codes on Hopper

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    example.x example.c For C++ source code use CC % CC -fast -o example.x example.C All compilers on Hopper, PGI, Pathscale, Cray, GNU, and Intel, are provided via five programming...

  16. Machine learning in compilers 

    E-Print Network [OSTI]

    Leather, Hugh

    2011-01-01

    Tuning a compiler so that it produces optimised code is a difficult task because modern processors are complicated; they have a large number of components operating in parallel and each is sensitive to the behaviour of ...

  17. Compilation as Metacomputation: Binding Time Separation in Modular Compilers

    E-Print Network [OSTI]

    Kamin, Sam

    Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract­ ings. Metacomputation­style specification lends itself to semantics­directed compilation, which we demonstrate by creating a modular compiler for a higher­order, imperative, Algol­like language. Keywords

  18. Credible Compilation Martin C. Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation Martin C. Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 March 10, 1999 Abstract This paper presents a new concept in compiler correctness: instead of proving that the compiler performs all of its transformations correctly, the compiler

  19. Algorithms for Supporting Compiled Communication

    E-Print Network [OSTI]

    Yuan, Xin

    Algorithms for Supporting Compiled Communication Xin Yuan Rami Melhem Rajiv Gupta Dept. We present an experimental compiler, E­SUIF, that supports compiled communication for High algorithms used in E­SUIF. We further demonstrate the effectiveness of compiled communication on all­ optical

  20. Compiling Codes on Cori

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompilerCompiling

  1. Speeding up dynamic compilation: concurrent and parallel dynamic compilation 

    E-Print Network [OSTI]

    Bohm, Igor

    2013-07-02

    The main challenge faced by a dynamic compilation system is to detect and translate frequently executed program regions into highly efficient native code as fast as possible. To efficiently reduce dynamic compilation ...

  2. An extension-oriented compiler

    E-Print Network [OSTI]

    Cox, Russell Stensby

    2008-01-01

    The thesis of this dissertation is that compilers can and should allow programmers to extend programming languages with new syntax, features, and restrictions by writing extension modules that act as plugins for the compiler. ...

  3. Gnu Compiler Peformance on Edison

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    are from the gcc compiler on-line man page. Gnu compiler options tested -O3 -ffast-math In addition to the -O3 optimizations, this performs optimizations at the expense of an...

  4. (Data in million metric tons of usable ore unless otherwise noted)

    E-Print Network [OSTI]

    than that in 2012 owing to reduced consumption for steel production. Two production lines were idled Production and Use: In 2013, mines in Michigan and Minnesota shipped 99% of the usable ore produced for the majority of production. The United States was estimated to have produced and consumed 2% of the world

  5. 10,248,196 Metric Tons of CO2 Injected as of June 19, 2015 |...

    Energy Savers [EERE]

    210,526 passenger vehicles. The projects currently injecting CO2 within DOE's Regional Carbon Sequestration Partnership Program and the Major Demonstration Program are detailed...

  6. 6.347 metric tons of netting and rope worth $ 10 million .

    E-Print Network [OSTI]

    and is feasible using equipment commonly found in most Chesapeake Bay shucking houses . INTRODUCTION " Red liquor to the following spring (Lear. 195 8). T hus. "red" oys- ters can be a problem to shucking houses for the ent ire Marine Resources Center. appear to follow an extended warm fa ll (Nelson. 1948). A method of eliminating

  7. 10,180,047 Metric Tons of CO2 Injected as of May 28, 2015 | Department...

    Broader source: Energy.gov (indexed) [DOE]

    210,526 passenger vehicles. The projects currently injecting CO2 within DOE's Regional Carbon Sequestration Partnership Program and the Major Demonstration Program are detailed...

  8. haden in the South Atlantic summer fishery alone was 34,435 metric tons.

    E-Print Network [OSTI]

    . CHEEK National Marine Fisheries Service Atlantic Estuolrine Fisheries Center Beaufort, NC 28516 four were available. Specimens ranged from 12 to 580 mm standard length (SL). Specimens smaller than about 60 mm SL were x-rayed with a soft-ray machine and larger specimens with a hard-ray machine. Counts

  9. 10,422,136 Metric Tons of CO2 Injected as of August 21, 2015...

    Broader source: Energy.gov (indexed) [DOE]

    The projects currently injecting CO2 within DOE's Regional Carbon Sequestration Partnership Program and the Major Demonstration Program are detailed below. Regional Carbon...

  10. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless noted)

    E-Print Network [OSTI]

    Imports:3 Thorium ore (monazite) -- -- -- -- 22 Rare-earth metals, alloys 271 352 235 284 406 Cerium Exports:3 Thorium ore, monazite -- -- 3 27 -- Rare-earth metals, alloys 71 44 194 329 456 Cerium compounds. Rare-earth metals, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad val. 31.3% ad val

  11. DOE Will Dispose of 34 Metric Tons of Plutonium by Turning it into Fuel for

    National Nuclear Security Administration (NNSA)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefield Municipal Gas &SCE-SessionsSouthReporteeo | National/%2A en Office ofAmendment 000002Turns

  12. Energy Department Project Captures and Stores One Million Metric Tons of

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE:FinancingPetroleum12, 2015 Infographic courtesy ofDepartment ofDepartmentTechnologiesEffortsCarbon

  13. 10,651,176 Metric Tons of CO2 Injected as of September 16, 2015 |

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann JacksonDepartment of EnergyResearchers at

  14. U.S. Removes Nine Metric Tons of Plutonium From Nuclear Weapons Stockpile |

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirley Ann Jackson About1996HowFOAShowing YouNeedof Energy Fish and WildlifeofDepartment of

  15. 11,202,720 Metric Tons of CO2 Injected as of October 14, 2015 | Department

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels DataEnergy Webinar: Demonstration ofDepartment ofof Energy withof

  16. DOE to Remove 200 Metric Tons of Highly Enriched Uranium from U.S. Nuclear

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-in electricLaboratory | DepartmentDOE ZeroofBatteriesHybridNational

  17. A compiler writing language 

    E-Print Network [OSTI]

    Richers, Louis William

    1967-01-01

    "pure" language nor is it intended to be a language with which to write efficient production- type compilers. CHAPTER I I BASIC CONCEPTS CWL is similar to other problem-oriented computer languages in structure and in the manner in which... then be used in procedures and within program loops. Consider the following statements: (LABEL 1) BEGIN J = J + l. MOVE TAB TO CHAR(J). END (STEP2) FOR I, LE. 72 BEGIN IF CHAR (I) = '. ' THEN GO TO FINISH. END (STEP3) The names within parentheses...

  18. Computing and Using Metrics in the ADS

    E-Print Network [OSTI]

    Henneken, Edwin A; Kurtz, Michael J; Grant, Carolyn S; Thompson, Donna; Luker, Jay; Chyla, Roman; Holachek, Alexandra; Murray, Stephen S

    2014-01-01

    Finding measures for research impact, be it for individuals, institutions, instruments or projects, has gained a lot of popularity. More papers than ever are being written on new impact measures, and problems with existing measures are being pointed out on a regular basis. Funding agencies require impact statistics in their reports, job candidates incorporate them in their resumes, and publication metrics have even been used in at least one recent court case. To support this need for research impact indicators, the SAO/NASA Astrophysics Data System (ADS) has developed a service which provides a broad overview of various impact measures. In this presentation we discuss how the ADS can be used to quench the thirst for impact measures. We will also discuss a couple of the lesser known indicators in the metrics overview and the main issues to be aware of when compiling publication-based metrics in the ADS, namely author name ambiguity and citation incompleteness.

  19. Department of Energy Releases New 'Billion-Ton' Study Highlighting...

    Energy Savers [EERE]

    The U.S. Department of Energy today released a report - 2011 U.S. Billion-Ton Update: Biomass Supply for a Bioenergy and Bioproducts Industry - detailing U.S. biomass feedstock...

  20. Cray Compiler Peformance on Edison

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    on Edison Cray Compiler Peformance on Edison Cray recommends using the default optimization (-O2) which is equivalent to the higher levels of optimization with other...

  1. Metrics for enterprise transformation

    E-Print Network [OSTI]

    Blackburn, Craig D. (Craig David), S. M. Massachusetts Institute of Technology

    2009-01-01

    The objective of this thesis is to depict the role of metrics in the evolving journey of enterprise transformation. To this end, three propositions are explored: (i) metrics and measurement systems drive transformation, ...

  2. Buildings Performance Metrics Terminology

    Broader source: Energy.gov [DOE]

    This document provides the terms and definitions used in the Department of Energys Performance Metrics Research Project.

  3. OSCAR Parallelizing Compiler and Its Performance for

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler and Its Performance for Embedded Applications Hironori Kasahara Supercomputers and servers Industry Capsule inner cameras Compiler, API Medical servers Heavy particle radiation productivity and reduce power OSCAR Parallelizing Compiler Multigrain Parallelization coarse-grain parallelism

  4. Intel compiler now available on Hopper

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Intel compiler now available on Hopper Intel compiler now available on Hopper August 29, 2011 by Francesca Verdier (0 Comments) The Intel compiler suite is now available on Hopper....

  5. Cray Compiler Peformance on Edison

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    (-O2) which is equivalent to the higher levels of optimization with other compilers. In addition, the -O3 and -Ofp3 options can improve performance on some codes. These...

  6. Executing Verified Compiler Specification Koji Okuma1

    E-Print Network [OSTI]

    Minamide, Yasuhiko

    Executing Verified Compiler Specification Koji Okuma1 and Yasuhiko Minamide2 1 Doctoral Program {okuma,minamide}@score.is.tsukuba.ac.jp Abstract. Much work has been done in verifying a compiler compiler specification and a correct compiler implementation. To fill this gap and obtain a correct

  7. The Compiler Forest Mihai Budiu1

    E-Print Network [OSTI]

    Plotkin, Gordon

    The Compiler Forest Mihai Budiu1 , Joel Galenson1,2 , and Gordon D. Plotkin1,3 1 Microsoft Research the problem of writing compilers targeting complex ex- ecution environments, such as computer clusters composed of machines with multi-core CPUs. To that end we introduce partial compilers. These compilers can

  8. Surveillance Metrics Sensitivity Study

    SciTech Connect (OSTI)

    Bierbaum, R; Hamada, M; Robertson, A

    2011-11-01

    In September of 2009, a Tri-Lab team was formed to develop a set of metrics relating to the NNSA nuclear weapon surveillance program. The purpose of the metrics was to develop a more quantitative and/or qualitative metric(s) describing the results of realized or non-realized surveillance activities on our confidence in reporting reliability and assessing the stockpile. As a part of this effort, a statistical sub-team investigated various techniques and developed a complementary set of statistical metrics that could serve as a foundation for characterizing aspects of meeting the surveillance program objectives. The metrics are a combination of tolerance limit calculations and power calculations, intending to answer level-of-confidence type questions with respect to the ability to detect certain undesirable behaviors (catastrophic defects, margin insufficiency defects, and deviations from a model). Note that the metrics are not intended to gauge product performance but instead the adequacy of surveillance. This report gives a short description of four metrics types that were explored and the results of a sensitivity study conducted to investigate their behavior for various inputs. The results of the sensitivity study can be used to set the risk parameters that specify the level of stockpile problem that the surveillance program should be addressing.

  9. Surveillance metrics sensitivity study.

    SciTech Connect (OSTI)

    Hamada, Michael S.; Bierbaum, Rene Lynn; Robertson, Alix A.

    2011-09-01

    In September of 2009, a Tri-Lab team was formed to develop a set of metrics relating to the NNSA nuclear weapon surveillance program. The purpose of the metrics was to develop a more quantitative and/or qualitative metric(s) describing the results of realized or non-realized surveillance activities on our confidence in reporting reliability and assessing the stockpile. As a part of this effort, a statistical sub-team investigated various techniques and developed a complementary set of statistical metrics that could serve as a foundation for characterizing aspects of meeting the surveillance program objectives. The metrics are a combination of tolerance limit calculations and power calculations, intending to answer level-of-confidence type questions with respect to the ability to detect certain undesirable behaviors (catastrophic defects, margin insufficiency defects, and deviations from a model). Note that the metrics are not intended to gauge product performance but instead the adequacy of surveillance. This report gives a short description of four metrics types that were explored and the results of a sensitivity study conducted to investigate their behavior for various inputs. The results of the sensitivity study can be used to set the risk parameters that specify the level of stockpile problem that the surveillance program should be addressing.

  10. November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers

    E-Print Network [OSTI]

    Hall, Mary W.

    November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers 1 A Crash Course in Compilers for Parallel Computing Mary Hall Fall, 2008 #12;November 13, 2008 Compilers for Parallel Computing, L3: Autotuning Compilers 2 Overview of "Crash Course" · L1: Data Dependence Analysis

  11. Compiler Analysis to Support Compiled Communication for HPF--like programs Xin Yuan \\Lambda

    E-Print Network [OSTI]

    Compiler Analysis to Support Compiled Communication for HPF--like programs Xin Yuan \\Lambda Dept at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at compile time. In order to support com­ piled communication

  12. Compiler Analysis to Support Compiled Communication for HPFlike programs Dept. Of Computer Science

    E-Print Network [OSTI]

    Yuan, Xin

    Compiler Analysis to Support Compiled Communication for HPF­like programs Xin Yuan Dept at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at compile time. In order to support com- piled communication

  13. Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers

    E-Print Network [OSTI]

    California at Berkeley, University of

    Type-Preserving Compilation for Large-Scale Optimizing Object-Oriented Compilers Juan Chen Chris polyvios@cs.umd.edu Abstract Type-preserving compilers translate well-typed source code, such as Java or C- mentation of type-preserving compilation in a complex, large-scale optimizing compiler. Compared to prior

  14. CS 488 Compilers Spring 2007

    E-Print Network [OSTI]

    Crespi, Valentino

    system Prerequisites: CS 312 Data Structures and Algorithms CS 332 Programming Language Paradigms CS 386 Symbol tables. 3 Lexical analysis. 4 Syntactic analysis ­ top down and bottom up parsing schemes. 5 6 the compiler on a few algorithms at the end of the quarter. The project is divided into five phases: Phase 1

  15. Generalized utility metrics for supercomputers

    E-Print Network [OSTI]

    Strohmaier, Erich

    2009-01-01

    2007:1–12 Generalized utility metrics for supercomputers 12.ISSUE PAPER Generalized utility metrics for supercomputersproblem of ranking the utility of supercom- puter systems

  16. 1,153-ton Waste Vault Removed from 300 Area - Vault held waste...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    1,153-ton Waste Vault Removed from 300 Area - Vault held waste tanks with contamination from Hanford's former laboratory facilities 1,153-ton Waste Vault Removed from 300 Area -...

  17. U.S. Manufacturers Save $1 Billion, 11 Million Tons of CO2 through...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Manufacturers Save 1 Billion, 11 Million Tons of CO2 through Energy Efficiency Investments U.S. Manufacturers Save 1 Billion, 11 Million Tons of CO2 through Energy Efficiency...

  18. U.S. Manufacturers Save $1 Billion, 11 Million Tons of CO2 through...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    U.S. Manufacturers Save 1 Billion, 11 Million Tons of CO2 through Energy Efficiency Investments U.S. Manufacturers Save 1 Billion, 11 Million Tons of CO2 through Energy...

  19. Using Machine Learning to Automate Compiler Optimisation 

    E-Print Network [OSTI]

    Thomson, John D

    2009-01-01

    Many optimisations in modern compilers have been traditionally based around using analysis to examine certain aspects of the code; the compiler heuristics then make a decision based on this information as to what to ...

  20. The Performance of a Mechanical Design 'Compiler'

    E-Print Network [OSTI]

    Ward, Allen C.

    1989-01-01

    A mechanical design "compiler" has been developed which, given an appropriate schematic, specifications, and utility function for a mechanical design, returns catalog numbers for an optimal implementation. The compiler ...

  1. Compilation Techniques for Efficient Encrypted Computation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compilation Techniques for Efficient Encrypted Computation Christopher Fletcher MIT CSAIL cwfletch-dependent loops has not been a focus of attention. In this paper, we take a first step toward building a compiler the compilation step of a program with complex control constructs. Since the server deals with encrypted data

  2. Intel C++ Compiler User and Reference Guides

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® C++ Compiler User and Reference Guides Document number: 304968-022US #12;Disclaimer) 2001, Hewlett-Packard Development Company, L.P. #12;#12;v Table of Contents Intel(R) C++ Compiler User and Reference Guides..............................................1 Intel® C++ Compiler User and Reference

  3. III 1111111111111111111111111111111111 Physical Properties Data Compilations

    E-Print Network [OSTI]

    PB280·795 III 1111111111111111111111111111111111 Physical Properties Data Compilations Relevant under title: Physical properties data compilations relevant to energy storage. (Nat. stand. ref. data. SHEET NSRDS-NBS 61, Part 1 4. TITLE AND SUATITLE Physical Properties Data Compilations Relevant

  4. GLOSSARY OF WATER RESOURCES TERMS Compiled by

    E-Print Network [OSTI]

    District of Columbia, University of the

    #12;GLOSSARY OF WATER RESOURCES TERMS Compiled by WRRC Staff D.C. Water Resources Research Center;PREFACE The glossary of water research terms was compiled from a variety of other glossaries, dictionaries. The compilation and preparation of this edition of the glossary was carried out by WRRC staff including Faculty

  5. Static single information form for abstract compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Static single information form for abstract compilation Davide Ancona and Giovanni Lagorio DIBRIS information (SSI), an extension of SSA proposed in literature and adopted by some compilers, to allow integrated with ab- stract compilation, our approach to static type analysis. In particular, we define

  6. A Certified Type-Preserving Compiler

    E-Print Network [OSTI]

    Chlipala, Adam

    1 A Certified Type- Preserving Compiler from Lambda Calculus to Assembly Language Adam Chlipala University of California, Berkeley PLDI 2007 #12;2 Why Certified Compilers? Source Code Manual Code Auditing Static Analysis Formal Methods How do we know that these programs have the same behavior? Compiled

  7. Intel Fortran Compiler User and Reference Guides

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Fortran Compiler User and Reference Guides Document number: 304970-005US #12;Disclaimer) 2001, Hewlett-Packard Development Company, L.P. #12;#12;v Table of Contents Intel(R) Fortran Compiler User and Reference Guides.........................................1 Intel® Fortran Compiler User

  8. A Formal Framework for Java Separate Compilation

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    A Formal Framework for Java Separate Compilation Davide Ancona, Giovanni Lagorio, and Elena Zucca,lagorio,zuccag@disi.unige.it Abstract. We de#12;ne a formal notion, called compilation schema, allow- ing to specify di#11;erent possibilities for performing the overall process of Java compilation, which includes type-checking of source

  9. Lattice Simulations using OpenACC compilers

    E-Print Network [OSTI]

    Pushan Majumdar

    2013-11-12

    OpenACC compilers allow one to use Graphics Processing Units without having to write explicit CUDA codes. Programs can be modified incrementally using OpenMP like directives which causes the compiler to generate CUDA kernels to be run on the GPUs. In this article we look at the performance gain in lattice simulations with dynamical fermions using OpenACC compilers.

  10. Roles of Parallelizing CompilersRoles of Parallelizing Compilers for Low Power Manycoresy

    E-Print Network [OSTI]

    Kasahara, Hironori

    Roles of Parallelizing CompilersRoles of Parallelizing Compilers for Low Power Manycoresy Hironori improve effective performance, cost-performance and Needs of Parallelizing Compilers for Manycores p p p of consumed power byReduction of consumed power by compiler control DVFS and Power gating with hardware

  11. Compiler Construction--The Art of Niklaus Wirth 1 Compiler Construction

    E-Print Network [OSTI]

    Mössenböck, Hanspeter

    Compiler Construction--The Art of Niklaus Wirth 1 Compiler Construction The Art of Niklaus Wirth a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient and reliable compilers. This paper tries to collect some

  12. Defining a Standard Metric for Electricity Savings

    SciTech Connect (OSTI)

    Brown, Marilyn; Akbari, Hashem; Blumstein, Carl; Koomey, Jonathan; Brown, Richard; Calwell, Chris; Carter, Sheryl; Cavanagh, Ralph; Chang, Audrey; Claridge, David; Craig, Paul; Diamond, Rick; Eto, Joseph H.; Fulkerson, William; Gadgil, Ashok; Geller, Howard; Goldemberg, Jose; Goldman, Chuck; Goldstein, David B.; Greenberg, Steve; Hafemeister, David; Harris, Jeff; Harvey, Hal; Heitz, Eric; Hirst, Eric; Hummel, Holmes; Kammen, Dan; Kelly, Henry; Laitner, Skip; Levine, Mark; Lovins, Amory; Masters, Gil; McMahon, James E.; Meier, Alan; Messenger, Michael; Millhone, John; Mills, Evan; Nadel, Steve; Nordman, Bruce; Price, Lynn; Romm, Joe; Ross, Marc; Rufo, Michael; Sathaye, Jayant; Schipper, Lee; Schneider, Stephen H; Sweeney, James L; Verdict, Malcolm; Vorsatz, Diana; Wang, Devra; Weinberg, Carl; Wilk, Richard; Wilson, John; Worrell, Ernst

    2009-03-01

    The growing investment by governments and electric utilities in energy efficiency programs highlights the need for simple tools to help assess and explain the size of the potential resource. One technique that is commonly used in this effort is to characterize electricity savings in terms of avoided power plants, because it is easier for people to visualize a power plant than it is to understand an abstraction such as billions of kilowatt-hours. Unfortunately, there is no standardization around the characteristics of such power plants. In this letter we define parameters for a standard avoided power plant that have physical meaning and intuitive plausibility, for use in back-of-the-envelope calculations. For the prototypical plant this article settles on a 500 MW existing coal plant operating at a 70percent capacity factor with 7percent T&D losses. Displacing such a plant for one year would save 3 billion kW h per year at the meter and reduce emissions by 3 million metric tons of CO2 per year. The proposed name for this metric is the Rosenfeld, in keeping with the tradition among scientists of naming units in honor of the person most responsible for the discovery and widespread adoption of the underlying scientific principle in question--Dr. Arthur H. Rosenfeld.

  13. Cyber threat metrics.

    SciTech Connect (OSTI)

    Frye, Jason Neal; Veitch, Cynthia K.; Mateski, Mark Elliot; Michalski, John T.; Harris, James Mark; Trevino, Cassandra M.; Maruoka, Scott

    2012-03-01

    Threats are generally much easier to list than to describe, and much easier to describe than to measure. As a result, many organizations list threats. Fewer describe them in useful terms, and still fewer measure them in meaningful ways. This is particularly true in the dynamic and nebulous domain of cyber threats - a domain that tends to resist easy measurement and, in some cases, appears to defy any measurement. We believe the problem is tractable. In this report we describe threat metrics and models for characterizing threats consistently and unambiguously. The purpose of this report is to support the Operational Threat Assessment (OTA) phase of risk and vulnerability assessment. To this end, we focus on the task of characterizing cyber threats using consistent threat metrics and models. In particular, we address threat metrics and models for describing malicious cyber threats to US FCEB agencies and systems.

  14. RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

    E-Print Network [OSTI]

    ,380 840 1,350 1,400 Rare-earth metals, alloys 1,470 1,390 4,920 1,380 3,400 Other rare-earth compounds 1,750 5,480 2,300 Rare-earth oxides, compounds 9,900 8,820 5,130 3,980 3,700 Rare-earth metals, alloy 784 scrap. Import Sources (2007­10): Rare-earth metals, compounds, etc.: China, 79%; France, 6%; Estonia, 4

  15. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    concentratese 10,000 5,000 5,000 5,000 5,000 Imports:2 Thorium ore (monazite) 11 -- -- -- -- Rare-earth metals,720 7,760 11,200 9,070 Ferrocerium, alloys 121 117 120 118 138 Exports:2 Rare-earth metals, alloys 991-2000): Monazite: Australia, 67%; and France, 33%. Rare-earth metals, compounds, etc.: China, 74%; France, 21

  16. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    concentratese 5,000 5,000 5,000 5,000 5,000 Imports:2 Thorium ore (monazite) -- -- -- -- -- Rare-earth metals,720 7,760 11,200 9,150 6,930 Ferrocerium, alloys 117 120 118 118 100 Exports:2 Rare-earth metals, alloys-2001): Rare-earth metals, compounds, etc.: China, 66%; France, 27%; Japan, 3%; Estonia, 2%; and other, 2

  17. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    ) 56 11 -- -- -- Rare-earth metals, alloys 429 529 953 1,780 2,370 Cerium compounds 3,180 1,810 4,940 3 metals, alloys 250 991 724 1,600 1,830 Cerium compounds 6,100 5,890 4,640 3,960 3,870 Other rare-earth-99): Monazite: Australia, 67%; France, 33%; Rare-earth metals, compounds, etc.: China, 71%; France, 23%; Japan

  18. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content unless otherwise noted)

    E-Print Network [OSTI]

    ,260 10,900 11,400 8,550 10,600 Ferrocerium, alloys 89 111 105 130 140 Exports:2 Rare-earth metals, alloys-05): Rare-earth metals, compounds, etc.: China, 76%; France, 9%; Japan, 4%; Russia, 3%; and other, 8.20.0000 Free. Rare-earth metals, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad val. Cerium

  19. RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

    E-Print Network [OSTI]

    at Mountain Pass were further processed into rare-earth compounds and metal products. The United States,980 3,770 2,840 5,800 Rare-earth metals, alloy 226 525 468 240 390 Exports: 2 Cerium compounds 840 1,350 1,640 992 730 Rare-earth metals, alloys 4,930 1,380 3,030 2,080 1,000 Other rare-earth compounds 455

  20. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    Thorium ore (monazite) -- -- -- 22 -- Rare-earth metals, alloys 352 235 284 905 442 Cerium compounds 806 1:3 Thorium ore, monazite -- 3 27 -- -- Rare-earth metals, alloys 44 194 329 444 272 Cerium compounds.20.0000 Free Free. Rare-earth metals, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad val. 31

  1. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    -- -- -- -- Imports: Thorium ore (monazite) -- 22 56 11 --3 Rare-earth metals, alloys 284 905 429 529 760 Cerium 121 123 Exports: Thorium ore, monazite 27 -- -- -- --3 Rare-earth metals, alloys 329 444 250 991 856 (monazite) 2612.20.0000 Free Free. Rare-earth metals, whether or not intermixed or interalloyed 2805

  2. RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

    E-Print Network [OSTI]

    ) -- -- -- -- -- Rare-earth metals, alloy 867 784 564 188 250 Cerium compounds 2,590 2,680 2,080 1,500 1,400 Mixed REOs (monazite or various thorium materials) -- 1 61 18 1 Rare-earth metals, alloys 733 1,470 1,390 4,920 640 categories increased when compared with those of 2009--the categories "Rare-earth metals, alloy" and "Rare-earth

  3. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content unless otherwise noted)

    E-Print Network [OSTI]

    ) -- -- -- -- -- Rare-earth metals, alloy 1,420 1,450 1,130 804 945 Cerium compounds 3,850 2,540 2,630 1,880 2,210 Mixed, compounds 9,150 7,260 10,900 11,400 9,800 Ferrocerium, alloys 118 89 111 105 142 Exports:2 Rare-earth metals-04): Rare-earth metals, compounds, etc.: China, 76%; France, 14%; Japan, 6%; Austria, 2%; and other, 2

  4. RARE EARTHS1 [Data in metric tons of rare-earth oxide (REO) content unless otherwise noted

    E-Print Network [OSTI]

    at Mountain Pass, CA, were further processed into rare-earth compounds and metal products. The United States -- -- -- -- 7,000 Exports: 2 Cerium compounds 1,380 840 1,350 1,640 1,100 Rare-earth metals, alloys 1,390 4,980 3,770 2,700 Rare-earth metals, alloy 679 226 525 468 280 Thorium ore (monazite or various thorium

  5. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    , compounds 7,760 11,200 9,150 7,260 10,900 Ferrocerium, alloys 120 118 118 89 111 Exports:2 Rare-earth metals Sources (1999-2002): Rare-earth metals, compounds, etc.: China, 66%; France, 25%; Japan, 4%; Estonia, 3) 2612.20.0000 Free. Rare-earth metals, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad

  6. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content unless otherwise noted)

    E-Print Network [OSTI]

    -- Rare-earth metals, alloy 1,130 804 880 867 831 Cerium compounds 2,630 1,880 2,170 2,590 3,090 Mixed metals, alloys 1,190 1,010 636 733 1,470 Cerium compounds 1,940 2,280 2,210 2,010 1,690 Other rare-earth-06): Rare-earth metals, compounds, etc.: China, 84%; France, 6%; Japan, 4%; Russia, 2%; and other, 4

  7. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content unless otherwise noted)

    E-Print Network [OSTI]

    or various thorium materials) -- -- -- -- -- Rare-earth metals, alloy 804 880 867 784 807 Cerium compounds 1 metals, alloys 1,010 636 733 1,470 1,580 Cerium compounds 2,280 2,210 2,010 1,470 1,620 Other rare-earth (2004-07): Rare-earth metals, compounds, etc.: China, 87%; France, 5%; Japan, 4%; Russia, 2%; and other

  8. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content unless otherwise noted)

    E-Print Network [OSTI]

    ) -- -- -- -- -- Rare-earth metals, alloy 2,470 1,420 1,450 1,130 790 Cerium compounds 4,310 3,850 2,540 2,630 1 metals, alloys 1,650 884 1,300 1,190 1,240 Cerium compounds 4,050 4,110 2,740 1,940 2,000 Other rare-earth-03): Rare-earth metals, compounds, etc.: China, 67%; France, 17%; Japan, 4%; Estonia, 4%; and other, 8

  9. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    10,000 e 5,000 5,000 Imports:3 Thorium ore (monazite) 22 56 11 -- -- Rare-earth metals, alloys 905,720 5,600 Ferrocerium, alloys 78 107 121 117 122 Exports:3 Rare-earth metals, alloys 444 250 991 724 1%; Rare-earth metals, compounds, etc.: China, 75%; France, 19%; Japan, 3%; United Kingdom, 1%; and other

  10. RARE EARTHS1 (Data in metric tons of rare-earth oxide (REO) content, unless otherwise noted)

    E-Print Network [OSTI]

    : Thorium ore (monazite) -- -- 22 56 --3 Rare-earth metals, alloys 235 284 905 429 507 Cerium compounds 1 Exports: Thorium ore, monazite 3 27 -- -- --3 Rare-earth metals, alloys 194 329 444 250 879 Cerium for individual rare-earth metals and compounds, with most import categories slightly behind 1996's record high

  11. Materials management in an internationally safeguarded fuels reprocessing plant. [1500 and 210 metric tons heavy metal per year

    SciTech Connect (OSTI)

    Hakkila, E.A.; Cobb, D.D.; Dayem, H.A.; Dietz, R.J.; Kern, E.A.; Markin, J.T.; Shipley, J.P.; Barnes, J.W.; Scheinman, L.

    1980-04-01

    The second volume describes the requirements and functions of materials measurement and accounting systems (MMAS) and conceptual designs for an MMAS incorporating both conventional and near-real-time (dynamic) measurement and accounting techniques. Effectiveness evaluations, based on recently developed modeling, simulation, and analysis procedures, show that conventional accountability can meet IAEA goal quantities and detection times in these reference facilities only for low-enriched uranium. Dynamic materials accounting may meet IAEA goals for detecting the abrupt (1-3 weeks) diversion of 8 kg of plutonium. Current materials accounting techniques probably cannot meet the 1-y protracted-diversion goal of 8 kg for plutonium.

  12. COMPILATION OF MEMORANDA OF UNDERSTANDING AND INTERAGENCY AGREEMENTS...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    UNDERSTANDING AND INTERAGENCY AGREEMENTS CompilationMemorandaInteragencyAgreements2000Nov142008.pdf COMPILATION OF MEMORANDAOF UNDERSTANDING AND INTERAGENCY AGREEMENTS,...

  13. Neutrino physics with multi-ton scale liquid xenon detectors

    SciTech Connect (OSTI)

    Baudis, L.; Ferella, A.; Kish, A.; Manalaysay, A.; Undagoitia, T. Marrodán; Schumann, M., E-mail: laura.baudis@physik.uzh.ch, E-mail: alfredo.ferella@lngs.infn.it, E-mail: alexkish@physik.uzh.ch, E-mail: aaronm@ucdavis.edu, E-mail: marrodan@mpi-hd.mpg.de, E-mail: marc.schumann@lhep.unibe.ch [Physik Institut, University of Zürich, Winterthurerstrasse 190, Zürich, CH-8057 (Switzerland)

    2014-01-01

    We study the sensitivity of large-scale xenon detectors to low-energy solar neutrinos, to coherent neutrino-nucleus scattering and to neutrinoless double beta decay. As a concrete example, we consider the xenon part of the proposed DARWIN (Dark Matter WIMP Search with Noble Liquids) experiment. We perform detailed Monte Carlo simulations of the expected backgrounds, considering realistic energy resolutions and thresholds in the detector. In a low-energy window of 2–30 keV, where the sensitivity to solar pp and {sup 7}Be-neutrinos is highest, an integrated pp-neutrino rate of 5900 events can be reached in a fiducial mass of 14 tons of natural xenon, after 5 years of data. The pp-neutrino flux could thus be measured with a statistical uncertainty around 1%, reaching the precision of solar model predictions. These low-energy solar neutrinos will be the limiting background to the dark matter search channel for WIMP-nucleon cross sections below ? 2 × 10{sup ?48} cm{sup 2} and WIMP masses around 50 GeV?c{sup ?2}, for an assumed 99.5% rejection of electronic recoils due to elastic neutrino-electron scatters. Nuclear recoils from coherent scattering of solar neutrinos will limit the sensitivity to WIMP masses below ? 6 GeV?c{sup ?2} to cross sections above ? 4 × 10{sup ?45}cm{sup 2}. DARWIN could reach a competitive half-life sensitivity of 5.6 × 10{sup 26} y to the neutrinoless double beta decay of {sup 136}Xe after 5 years of data, using 6 tons of natural xenon in the central detector region.

  14. DOSIMETRY; RADIOISOTOPES; DECAY; ACCURACY; DATA COMPILATION;...

    Office of Scientific and Technical Information (OSTI)

    Radioactive decay data tables Kocher, D.C. 61 RADIATION PROTECTION AND DOSIMETRY; RADIOISOTOPES; DECAY; ACCURACY; DATA COMPILATION; DOSIMETRY; M CODES; COMPUTER CODES; DATA;...

  15. Action transformations in the Actress compiler generator

    E-Print Network [OSTI]

    Watt, D.A.

    Watt,D.A. Compiler Construction - 5th Intl. Conference CC'94 (ed. Fritzson, P.) Springer LNCS pp 16-30 Springer

  16. Removal of 1,082-Ton Reactor Among Richland Operations Office...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    from groundwater across the site ahead of schedule and pumped a record volume of water through treatment facilities to remove contamination, with more than 130 tons of...

  17. U.S. Billion-Ton Update. Biomass Supply for a Bioenergy and Bioproducts Industry

    SciTech Connect (OSTI)

    none,

    2011-08-01

    This report is an update to the 2005 Billion-Ton Study that addresses shotcomings and questions that arose from the original report..

  18. U.S. Billion-Ton Update: Biomass Supply for a Bioenergy and Bioproduct...

    Broader source: Energy.gov (indexed) [DOE]

    2005 report, "Biomass as a Feedstock for a Bioenergy and Bioproducts Industry: The Technical Feasibility of a Billion-Ton Annual Supply" billiontonupdate.pdf More Documents &...

  19. Student's Project for Compiler Construction: Compiling a Fragment of SetlX to Java

    E-Print Network [OSTI]

    Stroetmann, Karl

    Student's Project for Compiler Construction: Compiling a Fragment of SetlX to Java -- Task. This compiler takes as input a program written in the source language SetlX and produces as output Java source code, so the target language is Java. In order to execute the resulting Java programs, these programs

  20. Generalized Fubini-Study Metric and Fisher Information Metric

    E-Print Network [OSTI]

    Debasis Mondal

    2015-03-13

    We provide an experimentally measurable local gauge $U(1)$ invariant Fubini-Study (FS) metric for mixed states. Like the FS metric for pure states, it also captures only the quantum part of the uncertainty in the evolution Hamiltonian. We show that this satisfies the quantum Cramer-Rao bound and thus arrive at a more general and measurable bound. Upon imposing the monotonicity condition, it reduces to the square-root derivative quantum Fisher Information. We show that on the Fisher information metric space dynamical phase is zero. A relation between square root derivative and logarithmic derivative is formulated such that both give the same Fisher information. We generalize the Fubini-Study metric for mixed states further and arrive at a set of Fubini-Study metric---called $\\alpha$ metric. This newly defined $\\alpha$ metric also satisfies the Cramer-Rao bound. Again by imposing the monotonicity condition on this metric, we derive the monotone $\\alpha$ metric. It reduces to the Fisher information metric for $\\alpha=1$.

  1. Quotients of Metric Spaces

    E-Print Network [OSTI]

    Herman, Robert A.

    1968-01-01

    . PRELIMINARIES 1 CHAPTER II . SFACBS IN WHICH SEQUENCES SUFFICE 6 CHAPTER III . QUOTIENTS OF SEPARABLE METRIC SPACES Ik CHAPTER IV. GENERAL QUOTIENT SPACES 25 CHAPTER V. CLOSED QUOTIENT MAPS 35 CHAPTER VI. OPEN QUOTIENT MAPS 50 CHAPTER VII. OPEN AND CLOSED... QUOTIENT MAPS 55 CHAPTER VIII. ANOTHER RESULT 6l BIBLIOGRAPHY 65 CHAPTER I. PRELIMINARIES We begin by stating some basic definitions and theorems. Definition 1 . 1 ; Let f be a function from a topological space X onto a set Y. Then the quotient...

  2. ARM - 2009 Performance Metrics

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of NaturalDukeWakefieldSulfateSciTechtail.TheoryTuesday, August 10, 20102016 NewsUsers' Executive09 I N9 Performance Metrics

  3. Attributed Transformational Code Generation for Dynamic Compilers \\Lambda

    E-Print Network [OSTI]

    Boyland, John Tang

    Attributed Transformational Code Generation for Dynamic Compilers \\Lambda John Boyland Computer compilers, that is, compilers that preserve execu­ tion state when newly compiled code is patched into an executing image, presents the compiler writer with a number of difficulties. First, all the complexity

  4. Design-Driven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design-Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design-driven compilation, an approach in which the compiler uses design information to drive its, and support for local analysis, separate compilation, and libraries. It can also simplify the compiler

  5. DesignDriven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design­Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design­driven compilation, an approach in which the compiler uses design information to drive its, and support for local analysis, separate compilation, and libraries. It can also simplify the compiler

  6. The Space of Metric Spaces

    E-Print Network [OSTI]

    *D. J. Kelleher

    2013-11-16

    The Space of Metric Spaces. *D. J. Kelleher1. 1Department of Mathematics. University of Connecticut. UConn— SIGMA Seminar — Fall 2013. D. J. Kelleher.

  7. OSCAR Parallelizing Compiler Cooperative Heterogeneous Multi-core Architecture

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler Cooperative Heterogeneous Multi-core Architecture Akihiro Hayashi, powerful parallelizing compiler for hetero- geneous multi-core architectures is expected. Furthermore, cooperative work between parallelizing compiler and hetero- geneous multi-core architectures is important

  8. On the Compilability and Expressive Power of Propositional Planning Formalisms

    E-Print Network [OSTI]

    Nebel, Bernhard

    On the Compilability and Expressive Power of Propositional Planning Formalisms Bernhard Nebel and plans can be expressed in a particular formalism by introducing the notion of ``compilation schemes'' between planning formalisms. Such compilation schemes restrict the growth of planning domains

  9. OpenRAM: An Open-Source Memory Compiler

    E-Print Network [OSTI]

    Butera, Jeffrey Thomas

    2013-01-01

    3 Software Implementation Main CompilerAn Open-Source Memory Compiler by Jeffrey T. Butera InAn Open-Source Memory Compiler A thesis submitted in partial

  10. A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture

    E-Print Network [OSTI]

    Kasahara, Hironori

    A Parallelizing Compiler Cooperative Heterogeneous Multicore Processor Architecture Yasutaka Wada and a parallelizing com- piler is important. This paper proposes a compiler cooperative hetero- geneous multicore architecture and parallelizing compilation scheme for it. Performance of the proposed scheme is evaluated

  11. Compiling software for a hierarchical distributed processing system

    DOE Patents [OSTI]

    Archer, Charles J; Blocksome, Michael A; Ratterman, Joseph D; Smith, Brian E

    2013-12-31

    Compiling software for a hierarchical distributed processing system including providing to one or more compiling nodes software to be compiled, wherein at least a portion of the software to be compiled is to be executed by one or more nodes; compiling, by the compiling node, the software; maintaining, by the compiling node, any compiled software to be executed on the compiling node; selecting, by the compiling node, one or more nodes in a next tier of the hierarchy of the distributed processing system in dependence upon whether any compiled software is for the selected node or the selected node's descendents; sending to the selected node only the compiled software to be executed by the selected node or selected node's descendent.

  12. 2014 Water Power Program Peer Review Compiled Presentations:...

    Energy Savers [EERE]

    2014 Water Power Program Peer Review Compiled Presentations: Hydropower Technologies 2014 Water Power Program Peer Review Compiled Presentations: Hydropower Technologies The U.S....

  13. using the Intel compiler as a performance optimization and characteriz...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    compiler performance optimization and characterization Intel compiler performance optimization and characterization May 13, 2015 NERSC will host an in-depth training presentation...

  14. Gary Stauffer (Compiler) U.S. Department of Commerce

    E-Print Network [OSTI]

    Gary Stauffer (Compiler) U.S. Department of Commerce National Oceanic and Atmospheric citation: Stauffer, Gary (compiler). 2004. NOAA Protocols for Groundfish Bottom Trawl Surveys of the Nation

  15. A Compilation of Internship Reports - 2012

    SciTech Connect (OSTI)

    Stegman M.; Morris, M.; Blackburn, N.

    2012-08-08

    This compilation documents all research project undertaken by the 2012 summer Department of Energy - Workforce Development for Teachers and Scientists interns during their internship program at Brookhaven National Laboratory.

  16. A Communication Backend for Parallel Language Compilers

    E-Print Network [OSTI]

    Shewchuk, Jonathan

    A Communication Backend for Parallel Language Compilers James M. Stichnoth and Thomas Gross Carnegie Mellon University Abstract. Generating good communication code is an important issue for all system usually implement the communication generation routines (e.g., message buffer packing

  17. Actress - an action semantics directed compiler generator

    E-Print Network [OSTI]

    Watt, D.A.

    Watt,D.A. Brown,D. Moura,H. Compiler Construction - 4th Intl. Conference CC'92 (ed. Kastens, U., and Pfahler, P.) Springer LNCS pp 95-109 Springer

  18. Engineering Physics Compiled by Elissa How (2013)

    E-Print Network [OSTI]

    Handy, Todd C.

    2013-01-01

    Engineering Physics fonds Compiled by Elissa How (2013) *** Institutional records -- researcher Notes Series Descriptions o Chronological Engineering Physics Files o Course Materials o Canadian Engineering Accreditation Board o Miscellaneous o Photographs File List Catalogue entry (UBC Library

  19. August 2003 IT SECURITY METRICS

    E-Print Network [OSTI]

    August 2003 IT SECURITY METRICS Elizabeth B. Lennon, Editor Information Technology Laboratory approach to measuring information security. Evaluating security at the sys tem level, IT security metrics and techniques contained in NIST SP 800-26, Security Self-Assessment Guide for Information Technology Systems

  20. Moab Project Disposes 2 Million Tons of Uranium Mill Tailings with Recovery Act Funds

    Broader source: Energy.gov [DOE]

    The Moab Uranium Mill Tailings Remedial Action Project reached its primary American Recovery and Reinvestment Act milestone ahead of schedule on Wednesday with the disposal of 2 million tons of...

  1. Delivering Tons to the Register: Energy Efficient Design and Operation of Residential Cooling Systems

    E-Print Network [OSTI]

    Delivering Tons to the Register: Energy Efficient Design and Operation of Residential Cooling Systems Jeffrey Siegel, Lawrence Berkeley National Laboratory Iain Walker, Lawrence Berkeley National and air conditioner performance. These parameters included placing the entire air conditioning system

  2. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the compiler will only be used to compile whole programs. We present a new methodology

  3. Compiler Correctness and Implementation Verification: The Verifix Approach

    E-Print Network [OSTI]

    Pfeifer, Holger

    Compiler Correctness and Implementation Verification: The Verifix Approach Wolfgang Goerigk \\Lambda \\Lambda Hans Langmaack \\Lambda Holger Pfeifer x Harald Ruess x Wolf Zimmermann z Abstract Compiler the correctness of the compiling specification and the correctness of the compiler implementation. We will discuss

  4. Adaptive Optimizing Compilers for the 21st Century

    E-Print Network [OSTI]

    Subramanian, Devika

    Adaptive Optimizing Compilers for the 21st Century Los Alamos Computer Science Institute 2001 Houston, Texas, USA #12;Adaptive Optimizing Compilers 2 The Big Picture · For 45 years, compilers have Automatic Coding System (IBM, 1957) #12;Adaptive Optimizing Compilers 3 The Big Picture · RISC made

  5. Credible Compilation with Pointers Martin C. Rinard and Darko Marinov

    E-Print Network [OSTI]

    Rinard, Martin

    Credible Compilation with Pointers Martin C. Rinard and Darko Marinov Laboratory for Computer This paper presents the formal foundations and architec­ tural design of a credible compiler, or a compiler­level intermediate form based on control­flow graphs. The compiler is structured as a set of components. Each

  6. DesignDriven Compilation \\Lambda Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rugina, Radu

    Design­Driven Compilation \\Lambda Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design­driven compilation, an approach in which the compiler uses design information to drive its; analysis modularity, with support for lo­ cal analysis, separate compilation, and library support

  7. Design-Driven Compilation Radu Rugina and Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Design-Driven Compilation Radu Rugina and Martin Rinard Laboratory for Computer Science introduces design-driven compilation, an approach in which the compiler uses design information to drive its; analysis modularity, with support for lo- cal analysis, separate compilation, and library support

  8. International Compilation of Human Research Standards 2015 Edition

    E-Print Network [OSTI]

    Kay, Mark A.

    1 International Compilation of Human Research Standards 2015 Edition Compiled By: Office for Human Research Protections U.S. Department of Health and Human Services PURPOSE The International Compilation organizations. This Compilation was developed for use by researchers, IRBs/Research Ethics Committees, sponsors

  9. Daylight metrics and energy savings

    SciTech Connect (OSTI)

    Mardaljevic, John; Heschong, Lisa; Lee, Eleanor

    2009-12-31

    The drive towards sustainable, low-energy buildings has increased the need for simple, yet accurate methods to evaluate whether a daylit building meets minimum standards for energy and human comfort performance. Current metrics do not account for the temporal and spatial aspects of daylight, nor of occupants comfort or interventions. This paper reviews the historical basis of current compliance methods for achieving daylit buildings, proposes a technical basis for development of better metrics, and provides two case study examples to stimulate dialogue on how metrics can be applied in a practical, real-world context.

  10. Module 6 - Metrics, Performance Measurements and Forecasting...

    Broader source: Energy.gov (indexed) [DOE]

    the metrics and performance measurement tools used in Earned Value. This module reviews metrics such as cost and schedule variance along with cost and schedule performance indices....

  11. Microsoft Word - QER Resilience Metrics - Technical Workshp ...

    Broader source: Energy.gov (indexed) [DOE]

    resiliency metrics for the energy sector and use cases o The framing of a resilience roadmap, and the implication and consequences of introducing new energy resilience metrics...

  12. Segmental alternations and metrical theory

    E-Print Network [OSTI]

    Vaysman, Olga

    2009-01-01

    This dissertation focuses on phonological alternations that are influenced or constrained by word-internal prosody, i.e. prominence and foot structure, and what these alternations can tell us about metrical theory. Detailed ...

  13. Normalization of Process Safety Metrics 

    E-Print Network [OSTI]

    Wang, Mengtian

    2012-10-19

    and organizational risks, there is an emerging need to evaluate the process safety implementation across an organization through measurements. Thus, the process safety metric is applied as a powerful tool that measures safety activities, status, and performance...

  14. Phantom Metrics With Killing Spinors

    E-Print Network [OSTI]

    Sabra, W A

    2015-01-01

    We study metric solutions of Einstein-anti-Maxwell theory admitting Killing spinors. The analogue of the IWP metric which admits a space-like Killing vector is found and is expressed in terms of a complex function satisfying the wave equation in flat (2+1)-dimensional space-time. As examples, electric and magnetic Kasner spaces are constructed by allowing the solution to depend only on the time coordinate. Euclidean solutions are also presented.

  15. COMPILATION OF CURRENT HIGH ENERGY PHYSICS EXPERIMENTS

    SciTech Connect (OSTI)

    Wohl, C.G.; Kelly, R.L.; Armstrong, F.E.; Horne, C.P.; Hutchinson, M.S.; Rittenberg, A.; Trippe, T.G.; Yost, G.P.; Addis, L.; Ward, C.E.W.; Baggett, N.; Goldschmidt-Clermong, Y.; Joos, P.; Gelfand, N.; Oyanagi, Y.; Grudtsin, S.N.; Ryabov, Yu.G.

    1981-05-01

    This is the fourth edition of our compilation of current high energy physics experiments. It is a collaborative effort of the Berkeley Particle Data Group, the SLAC library, and nine participating laboratories: Argonne (ANL), Brookhaven (BNL), CERN, DESY, Fermilab (FNAL), the Institute for Nuclear Study, Tokyo (INS), KEK, Serpukhov (SERP), and SLAC. The compilation includes summaries of all high energy physics experiments at the above laboratories that (1) were approved (and not subsequently withdrawn) before about April 1981, and (2) had not completed taking of data by 1 January 1977. We emphasize that only approved experiments are included.

  16. Enhancing Compiler Techniques for Memory Energy Optimizations

    E-Print Network [OSTI]

    that the best performance opti- mizations do not necessarily generate the best energy behavior in mem- ory. WeEnhancing Compiler Techniques for Memory Energy Optimizations Joseph Zambreno1 , Mahmut Taylan frequencies steadily rise in modern microprocessors, energy consumption is quickly joining perfor- mance

  17. Building a cross compiler. Jason Miller

    E-Print Network [OSTI]

    Valtorta, Marco

    ;The operating systems Fedora Core 9 Linux Kernel 2.6.27.2578.2.56.fc9.x86_64 #1 SMP OpenWrt Linux as part of the Fedora linux distribution) A natively-built x86 assembler (provided by the GCC package as part of the Fedora linux distribution) The source code for the GCC C compiler (from http

  18. The Emerging Power Crisis in EmbeddedThe Emerging Power Crisis in Embedded Processors What Can a (Poor) Compiler Do ?Processors What Can a (Poor) Compiler Do ?

    E-Print Network [OSTI]

    Mooney, Vincent

    Infrastructure · Integrated compilation and performance monitoring infrastructure · Target is characterized

  19. Analysis of the Influence of the Compiler onAnalysis of the Influence of the Compiler on Multicore PerformanceMulticore Performance

    E-Print Network [OSTI]

    Giménez, Domingo

    Analysis of the Influence of the Compiler onAnalysis of the Influence of the Compiler on Multicore of the Compiler on Multicore PerformanAnalysis of the Influence of the Compiler on Multicore Performance Euromicro to the compiler: OpenMP, a directive-based syntax Problem: there are no standardized OpenMP compilers number

  20. Horizon thermodynamics and composite metrics

    E-Print Network [OSTI]

    Lorenzo Sindoni

    2012-11-12

    We examine the conditions under which the thermodynamic behaviour of gravity can be explained within an emergent gravity scenario, where the metric is defined as a composite operator. We show that due to the availability of a boundary of a boundary principle for the quantum effective action, Clausius-like relations can always be constructed. Hence, any true explanation of the thermodynamic nature of the metric tensor has to be referred to an equilibration process, associated to the presence of an H-theorem, possibly driven by decoherence induced by the pregeometric degrees of freedom, and their entanglement with the geometric ones.

  1. CS 577 Compiler Construction (Modern Language Processors) Spring 2002 Instructor

    E-Print Network [OSTI]

    Tolmach, Andrew

    of generated code produced by three different JVM compilers (e.g., Sun's HotSpot, IBM's commercial compiler algorithm for the Jikes RVM, and compare its performance with that of the existing collectors

  2. Version of July 20, 1999 A Courteous Compiler

    E-Print Network [OSTI]

    Version of July 20, 1999 A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary. The GCLP form of courteous LP's, and of the courteous compiler that transforms a GCLP into an OLP

  3. Compiler verification meets cross-language linking via data abstraction

    E-Print Network [OSTI]

    Wang, Peng

    Many real programs are written in multiple different programming languages, and supporting this pattern creates challenges for formal compiler verification. We describe our Coq verification of a compiler for a high-level ...

  4. Hopper compilers and DDT short outage next Wed, May 16

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    compilers and DDT short outage next Wed, May 16 Hopper compilers and DDT short outage next Wed, May 16 May 10, 2012 (0 Comments) Due to a scheduled maintenance for the License...

  5. RFI Released to Compile Teaming Partner List for Upcoming BENEFIT...

    Energy Savers [EERE]

    RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA September 29, 2015 - 10:43am Addthis...

  6. Compiling Synchronous Kahn Networks to Efficient Reconfigurable Hardware

    E-Print Network [OSTI]

    Vuillemin, Jean

    Compiling Synchronous Kahn Networks to Efficient Reconfigurable Hardware Jean Vuillemin , Jean research on automatically compiling efficient reconfigurable hardware from high level software stream. Commercial systems exist to generate hardware (say VHDL) from high-level (say C) code [6]. Yet

  7. Compiling Dynamic Languages Anders Schlichtkrull, Rasmus T. Tjalk-Bggild

    E-Print Network [OSTI]

    implementation and compare it to the benchmark results for two contemporary JavaScript implementations: Rhino Languages. We then build an ahead-of-time compiler, called the project compiler, for a sub- set of Java which is a JavaScript interpreter and com- piler, and V8 which is a JavaScript just-in-time compiler. We

  8. Verified Compilers for a Multi-Language World Northeastern University

    E-Print Network [OSTI]

    Ahmed, Amal

    Verified Compilers for a Multi-Language World Amal Ahmed Northeastern University amal@ccs.neu.edu Abstract Though there has been remarkable progress on formally verified compilers in recent years, most of these compilers suffer from a serious limitation: they are proved correct under the assumption that they will only

  9. Generating Action Compilers by Partial Evaluation Anders Bondorf

    E-Print Network [OSTI]

    Palsberg, Jens

    Generating Action Compilers by Partial Evaluation Anders Bondorf DIKU, Department of Computer Compiler generation based on Mosses' action semantics has been studied by Brown, Moura, and Watt, and also by the second author. The core of each of their systems is a handwritten action compiler, producing either C

  10. A Note On SideChannels Resulting From Dynamic Compilation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Note On Side­Channels Resulting From Dynamic Compilation D. Page University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK. page@cs.bris.ac.uk Abstract. Dynamic compilation such as Java. These systems analyse the performance of an application at run­ time and aggressively re­compile

  11. A Separate Compilation Extension to Standard ML (Revised and Expanded)

    E-Print Network [OSTI]

    A Separate Compilation Extension to Standard ML (Revised and Expanded) David Swasey Tom Murphy VII separate compilation. The system gives meaning to individual program fragments, called units. Units may (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be com- piled

  12. Technical Reference Compilation and Review of Data Standards

    E-Print Network [OSTI]

    Technical Reference Compilation and Review of Data Standards and Application to the Genomes to Life for the Genomes to Life Program Document 2: Compilation of Data Standards for Proteomic and Transcriptomic Experimental Data Document 3: Compilation of Data Formats and XMLs Applicable to Scientific and Analytical Data

  13. Compiler Control Power Saving Scheme for Multi Core Processors

    E-Print Network [OSTI]

    Kasahara, Hironori

    Compiler Control Power Saving Scheme for Multi Core Processors Jun shirako , Naoto Oshiyama. To this end, the compiler for a multi core processor is expected not only to parallelize program effectively an application program. This paper proposes a compilation scheme for reduction of power consumption under

  14. First Steps Toward a CryptographyAware Language and Compiler

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    First Steps Toward a Cryptography­Aware Language and Compiler M. Barbosa 1 , R. Noad 2 , D. Page 2 from either the lan­ guage or compiler: both are typically too general purpose to o#er domain specific­ sociated compiler system. Rather than being a panacea, we pitch CAO as a mechanism for transferring

  15. NASA Technical Memorandum 89098 The Fault-Tree Compiler

    E-Print Network [OSTI]

    Butler, Ricky W.

    L - NASA Technical Memorandum 89098 The Fault-Tree Compiler Anna L. Martensen Ricky W. Butler in preliminary design analysis. The goal of the Fault Tree Compiler (m)program is to provide the user with a tool also be performed, providing the user The motivation for the development of the Fault Tree Compiler

  16. Compiling Haskell by program transformation: a report from the trenches

    E-Print Network [OSTI]

    Jones, Simon Peyton

    Compiling Haskell by program transformation: a report from the trenches Simon L Peyton Jones:://www.dcs.gla.ac.uk/~simonpj January 31, 1996 Abstract Many compilers do some of their work by means of correctness­preserving, and hope­ fully performance­improving, program transformations. The Glasgow Haskell Compiler (GHC) takes

  17. Logic and Bayesian Networks Part 3: Knoweledge Compilation

    E-Print Network [OSTI]

    Huang, Jinbo

    Logic and Bayesian Networks Part 3: Knoweledge Compilation Jinbo Huang Jinbo Huang Knowledge Compilation 1/ 53 #12;Negation Normal Form (NNF) AND/OR circuit over literals Jinbo Huang Knowledge Compilation 2/ 53 #12;Negation Normal Form (NNF) Any Boolean function can be represented in NNF (completeness

  18. Compiler Construction Using Scheme Erik Hilsdale J. Michael Ashley

    E-Print Network [OSTI]

    Dybvig, R. Kent

    Compiler Construction Using Scheme Erik Hilsdale J. Michael Ashley R. Kent Dybvig Daniel P {ehilsdal,jashley,dyb,dfried}@cs.indiana.edu Abstract This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real

  19. RETROSPECTIVE: The Design and Implementation of a Certifying Compiler

    E-Print Network [OSTI]

    Necula, George

    RETROSPECTIVE: The Design and Implementation of a Certifying Compiler George C. Necula Electrical, 15213, USA petel@cs.cmu.edu Optimizing compilers continue to be critical tools in all software development processes. Even more than in 1998 when this paper first appeared, production-quality compil- ers

  20. Achieving Real-time Mode Estimation through Offline Compilation

    E-Print Network [OSTI]

    Achieving Real-time Mode Estimation through Offline Compilation by John M. Van Eepoel B, Committee on Graduate Students #12;Achieving Real-time Mode Estimation through Offline Compilation2 This page intentionally left blank. #12;Achieving Real-time Mode Estimation through Offline Compilation 3

  1. A Separate Compilation Extension to Standard ML (Revised and Expanded)

    E-Print Network [OSTI]

    A Separate Compilation Extension to Standard ML (Revised and Expanded) David Swasey Tom Murphy VII separate compilation. The system gives meaning to individual program fragments, called units. Units may (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be com­ piled

  2. Douglas Guardino Understanding the Basics of Using C18 Compiler

    E-Print Network [OSTI]

    Wood, Stephen L.

    Douglas Guardino Understanding the Basics of Using C18 Compiler The purpose of this project was to understand how to use the C18 compiler with MPLAB. This was achieved by reproducing a simple program from the MPLAB C18 Compiler Getting Started. This was done as a control. The code in the book was assumed

  3. A Note On Side-Channels Resulting From Dynamic Compilation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Note On Side-Channels Resulting From Dynamic Compilation D. Page University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK. page@cs.bris.ac.uk Abstract. Dynamic compilation such as Java. These systems analyse the performance of an application at run- time and aggressively re-compile

  4. True Separate Compilation of Java Classes # DISI Universit

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    True Separate Compilation of Java Classes # D. Ancona DISI ­ Universit â?? a di Genova Via Dodecaneso compilation for a small but significant Java subset, in the sense that a single class declaration can be intra­checked (following the Cardelli's terminology) and compiled providing a minimal set of type requirements on missing

  5. Implementing Extensible Compilers Matthias Zenger and Martin Odersky

    E-Print Network [OSTI]

    Zenger, Matthias

    Implementing Extensible Compilers Matthias Zenger and Martin Odersky Swiss Federal Institute and expensive task, since conventional compil- ers often lack extensibility and reusability. In this paper we present some fundamental techniques to implement extensible compilers in an object-oriented language

  6. User-Friendly Methodology for Automatic Exploration of Compiler Options

    E-Print Network [OSTI]

    Gao, Guang R.

    User-Friendly Methodology for Automatic Exploration of Compiler Options: A Case Study on the Intel, lochen, jcuvillo, ggao}@capsl.udel.edu Abstract Finding an optimized combination of compiler options with a deep understanding of the application at hand and a fairly good knowledge of the compiler features

  7. CS75 Project 4: Compiler Optimizations Spring 2007, Meeden

    E-Print Network [OSTI]

    Meeden, Lisa A.

    CS75 Project 4: Compiler Optimizations Spring 2007, Meeden Due by midnight, Monday, May 7 Required Functionality As you enhance your compiler with optimizations remember that the two main concerns are safety as output. Your compiler should be implemented so that it can be invoked in the following ways. · Without

  8. Compiler Assisted Elliptic Curve Cryptography M. Barbosa1

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compiler Assisted Elliptic Curve Cryptography M. Barbosa1 , A. Moss2 and D. Page2 1 Departamento de and compilation techniques for cryptographic software, focusing on ECC in particular. Specifically, we describe and optimisation of ECC point arithmetic using a cryptography-aware lan- guage and compiler. Our main results show

  9. BNL-68198-AB COMPILATION OF INVENTORIES OF INDUSTRIAL EMISSIONS

    E-Print Network [OSTI]

    BNL-68198-AB COMPILATION OF INVENTORIES OF INDUSTRIAL EMISSIONS Carmen M. Benkovitz Atmospheric inventories additional parnmeters (such as sulfur content of fuels). To compile regional and global by national experts or directly estimate emissions based on activity rates from reports compiled by multi

  10. JIT Compiler for i386 Mathias Kolsch and Kristian Kvilekval

    E-Print Network [OSTI]

    Kölsch, Mathias

    JIT Compiler for i386 Mathias K¨olsch and Kristian Kvilekval December 15, 1998 1 Introduction In this report we describe our implementation of a JIT compiler for Sun's JavaVirtualMachine (JVM) for the i386­ compiler ­ JVM system that can execute any legal java program. Our focus was on an extensible design

  11. COLE: Compiler Optimization Level Exploration Kenneth Hoste Lieven Eeckhout

    E-Print Network [OSTI]

    Eeckhout, Lieven

    COLE: Compiler Optimization Level Exploration Kenneth Hoste Lieven Eeckhout ELIS Department, Ghent compilers implement a large number of optimiza- tions which all interact in complex ways, and which all have a different impact on code quality, compilation time, code size, energy consumption, etc. For this reason

  12. Towards a Smart Compilation Manager for Java (Extended Abstract)

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Towards a Smart Compilation Manager for Java (Extended Abstract) Giovanni Lagorio DISI - Universit differently from the program obtained recompiling all the sources from scratch? We say that a compilation the sources for which the recompilation would be unde- fined: indeed, when the entire compilation fails, so

  13. Compositional Compilation for Java-like Languages through Polymorphic Bytecode

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Compositional Compilation for Java-like Languages through Polymorphic Bytecode extended version Dodecaneso, 35 16146 Genova, Italy zucca@disi.unige.it ABSTRACT We define compositional compilation compositional compilation is a highly desirable feature, in Java-like languages it can hardly be achieved

  14. A Kronecker Compiler for Fast Transform Algorithms Nikos P. Pitsianis

    E-Print Network [OSTI]

    Pitsianis, Nikos P.

    A Kronecker Compiler for Fast Transform Algorithms Nikos P. Pitsianis January 9, 1997 Abstract We present a source-to-source compiler that processes matrix formulae in the form of Kronecker product-Hadamard, Haar, Slant, Hartley, and FFTs as well as transpositions and wavelet transforms. The compiler is based

  15. First Steps Toward a Cryptography-Aware Language and Compiler

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    First Steps Toward a Cryptography-Aware Language and Compiler M. Barbosa1 , R. Noad2 , D. Page2 help from either the lan- guage or compiler: both are typically too general purpose to offer domain- sociated compiler system. Rather than being a panacea, we pitch CAO as a mechanism for transferring

  16. Countering Trusting Trust through Diverse Double-Compiling

    E-Print Network [OSTI]

    Sandhu, Ravi

    1 Countering Trusting Trust through Diverse Double-Compiling David A. Wheeler February 28, 2006 · Inadequate solutions & related work · Solution: Diverse double-compiling (DDC) ­ What it is ­ Why it works & broader implications 3 Trusting trust attack Compiler executable (malicious) Critical program (malicious

  17. Verifying an Open Compiler Using Multi-Language Semantics

    E-Print Network [OSTI]

    Ahmed, Amal

    Verifying an Open Compiler Using Multi-Language Semantics: Technical Report James T. Perconti for our FCA model. #12;Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under

  18. B Technical remarks on the ForkLight compiler package

    E-Print Network [OSTI]

    Kessler, Christoph

    B Technical remarks on the ForkLight compiler package The technical requirements to run ForkLight on your local system are an ANSI­C compiler like gcc and an installation of the P4 library. B.1 Installation The ForkLight compiler package can be obtained from the WWW page http

  19. Another Step Towards a Smart Compilation Manager for Java

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    Another Step Towards a Smart Compilation Manager for Java G. Lagorio DISI - Universit`a di Genova Compilers General Terms Languages Keywords Java, separate compilation ABSTRACT In a recent work we have) for a substantial subset of Java which has been shown to be sound and minimal. That is, an unchanged source

  20. Planning for the 400,000 tons/year AISI ironmaking demonstration plant

    SciTech Connect (OSTI)

    Aukrust, E. (LTV Steel Corp., Cleveland, OH (United States). AISI Direct Steelmaking Program)

    1993-01-01

    The American Iron and Steel Institute (AISI) has formulated a four-year program to design, construct, and operate a 400,000 net ton per year ironmaking demonstration plant. The plant will employ the coal-based ironmaking process developed under a 1989 cooperative agreement with DOE. AISI will manage the design and construction to be completed in the first two years and operate the plant for the second two years with a variety or ores, coals, and fluxes. Campaigns of increasing length are planned to optimize operations. After successful operation, the plant will be taken over by the host company. Results of studies to date indicate that, on a commercial scale, the AISI process will use 27% less energy and have variable operating costs $10 per ton lower and capital costs of $160 per annual ton, compared to the $250 per annual ton rebuild cost for the coke oven-blast furnace process it will replace. The process will enable the domestic steel industry to become more competitive by reducing its capital and operating cost. Furthermore, by eliminating the pollution problems associated with coke production and by completely enclosing the smelting reactions, this process represents a major step towards an environmentally friendly steel industry.

  1. 2 million tons per year: A performing biofuels supply chain for

    E-Print Network [OSTI]

    1 2 million tons per year: A performing biofuels supply chain for EU aviation NOTE It is understood that in the context of this text the term "biofuel(s) use in aviation" categorically implies "sustainably produced biofuel(s)" according to the EU legislation. June 2011 #12;2 This technical paper was drafted

  2. A Concept for a Scalable 2 kTon Liquid Argon TPC Detector for Astroparticle Physics

    E-Print Network [OSTI]

    D. B. Cline; F. Sergiampietri

    2005-09-14

    This paper describes the results of a study on the general lines, main construction criteria, crucial points, parameters and required preliminary R&D activities for the construction of a LAr (liquid argon) imaging detector with active mass in the 10-100 kTon range. Such detectors are crucial for supernova detection, proton decay, LBL neutrino physics and other astroparticle physics applications.

  3. A Concept for a Scalable 2 kTon Liquid Argon TPC Detector for Astroparticle Physics

    E-Print Network [OSTI]

    McDonald, Kirk

    astroparticle physics applications. 1 Introduction The on-surface test of the 300-ton ICARUS module made the detection technique, that even with some possible improvements or changes is the well-established ICARUS one is optimized. A cylindrical vessel with the height equal to the diameter has the same S/V ratio than

  4. Agility metric sensitivity using linear error theory 

    E-Print Network [OSTI]

    Smith, David Matthew

    2000-01-01

    Aircraft agility metrics have been proposed for use to measure the performance and capability of aircraft onboard while in-flight. The sensitivity of these metrics to various types of errors and uncertainties is not ...

  5. Definition of GPRA08 benefits metrics

    SciTech Connect (OSTI)

    None, None

    2009-01-18

    Background information for the FY 2007 GPRA methodology review on the definitions of GPRA08 benefits metrics.

  6. U.S. Billion-Ton Update: Biomass Supply for a Bioenergy and Bioproducts Industry

    SciTech Connect (OSTI)

    Downing, Mark; Eaton, Laurence M; Graham, Robin Lambert; Langholtz, Matthew H; Perlack, Robert D; Turhollow Jr, Anthony F; Stokes, Bryce; Brandt, Craig C

    2011-08-01

    The report, Biomass as Feedstock for a Bioenergy and Bioproducts Industry: The Technical Feasibility of a Billion-Ton Annual Supply (generally referred to as the Billion-Ton Study or 2005 BTS), was an estimate of 'potential' biomass based on numerous assumptions about current and future inventory, production capacity, availability, and technology. The analysis was made to determine if conterminous U.S. agriculture and forestry resources had the capability to produce at least one billion dry tons of sustainable biomass annually to displace 30% or more of the nation's present petroleum consumption. An effort was made to use conservative estimates to assure confidence in having sufficient supply to reach the goal. The potential biomass was projected to be reasonably available around mid-century when large-scale biorefineries are likely to exist. The study emphasized primary sources of forest- and agriculture-derived biomass, such as logging residues, fuel treatment thinnings, crop residues, and perennially grown grasses and trees. These primary sources have the greatest potential to supply large, reliable, and sustainable quantities of biomass. While the primary sources were emphasized, estimates of secondary residue and tertiary waste resources of biomass were also provided. The original Billion-Ton Resource Assessment, published in 2005, was divided into two parts-forest-derived resources and agriculture-derived resources. The forest resources included residues produced during the harvesting of merchantable timber, forest residues, and small-diameter trees that could become available through initiatives to reduce fire hazards and improve forest health; forest residues from land conversion; fuelwood extracted from forests; residues generated at primary forest product processing mills; and urban wood wastes, municipal solid wastes (MSW), and construction and demolition (C&D) debris. For these forest resources, only residues, wastes, and small-diameter trees were considered. The 2005 BTS did not attempt to include any wood that would normally be used for higher-valued products (e.g., pulpwood) that could potentially shift to bioenergy applications. This would have required a separate economic analysis, which was not part of the 2005 BTS. The agriculture resources in the 2005 BTS included grains used for biofuels production; crop residues derived primarily from corn, wheat, and small grains; and animal manures and other residues. The cropland resource analysis also included estimates of perennial energy crops (e.g., herbaceous grasses, such as switchgrass, woody crops like hybrid poplar, as well as willow grown under short rotations and more intensive management than conventional plantation forests). Woody crops were included under cropland resources because it was assumed that they would be grown on a combination of cropland and pasture rather than forestland. In the 2005 BTS, current resource availability was estimated at 278 million dry tons annually from forestlands and slightly more than 194 million dry tons annually from croplands. These annual quantities increase to about 370 million dry tons from forestlands and to nearly 1 billion dry tons from croplands under scenario conditions of high-yield growth and large-scale plantings of perennial grasses and woody tree crops. This high-yield scenario reflects a mid-century timescale ({approx}2040-2050). Under conditions of lower-yield growth, estimated resource potential was projected to be about 320 and 580 million dry tons for forest and cropland biomass, respectively. As noted earlier, the 2005 BTS emphasized the primary resources (agricultural and forestry residues and energy crops) because they represent nearly 80% of the long-term resource potential. Since publication of the BTS in April 2005, there have been some rather dramatic changes in energy markets. In fact, just prior to the actual publication of the BTS, world oil prices started to increase as a result of a burgeoning worldwide demand and concerns about long-term supplies. By the end of the summer, oil pri

  7. PROCEEDINGS OF THE IEEE 1 Broadway: A Compiler for Exploiting the

    E-Print Network [OSTI]

    Patt, Yale

    : compiler expertise is built into the Broadway compiler machinery, while domain expertise resides guide the Broadway compiler in its analysis and optimization of these operations. Our design yields primarily of domain-independent compiler machinery

  8. Hybrid metric-Palatini gravity

    E-Print Network [OSTI]

    Capozziello, Salvatore; Koivisto, Tomi S; Lobo, Francisco S N; Olmo, Gonzalo J

    2015-01-01

    Recently, the phenomenology of f(R) gravity has been scrutinized motivated by the possibility to account for the self-accelerated cosmic expansion without invoking dark energy sources. Besides, this kind of modified gravity is capable of addressing the dynamics of several self-gravitating systems alternatively to the presence of dark matter. It has been established that both metric and Palatini versions of these theories have interesting features but also manifest severe and different downsides. A hybrid combination of theories, containing elements from both these two formalisms, turns out to be also very successful accounting for the observed phenomenology and is able to avoid some drawbacks of the original approaches. This article reviews the formulation of this hybrid metric-Palatini approach and its main achievements in passing the local tests and in applications to astrophysical and cosmological scenarios, where it provides a unified approach to the problems of dark energy and dark matter.

  9. Multi-Metric Sustainability Analysis

    SciTech Connect (OSTI)

    Cowlin, S.; Heimiller, D.; Macknick, J.; Mann, M.; Pless, J.; Munoz, D.

    2014-12-01

    A readily accessible framework that allows for evaluating impacts and comparing tradeoffs among factors in energy policy, expansion planning, and investment decision making is lacking. Recognizing this, the Joint Institute for Strategic Energy Analysis (JISEA) funded an exploration of multi-metric sustainability analysis (MMSA) to provide energy decision makers with a means to make more comprehensive comparisons of energy technologies. The resulting MMSA tool lets decision makers simultaneously compare technologies and potential deployment locations.

  10. Compiling and Linking | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submit the following commentsMethods for Estimating:I Overview of How to Compile and

  11. Compiling & Linking | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault SignEnvironmentAprilCompiler System

  12. Compiling and Linking | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity ofkandz-cm11 Outreach Home Room News PublicationsAuditsCluster Compatibilitydefault Changes from Tukey to Cooley Compiling and

  13. Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh Using PGI compilers to solve initial value problems on GPU

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh 1 Using PGI compilers to solve initial value 4. Initial value solvers with PGI compilers 5. PGI compilers on the Cascade system, a performance benchmark #12;Using PGI Compilers on GPU http://geo.mff.cuni.cz/~lh 2 1. NVIDIA GPUs CUDA: Compute Unified

  14. TUNE: Compiler-Directed Automatic Performance Tuning

    SciTech Connect (OSTI)

    Hall, Mary

    2014-09-18

    This project has developed compiler-directed performance tuning technology targeting the Cray XT4 Jaguar system at Oak Ridge, which has multi-core Opteron nodes with SSE-3 SIMD extensions, and the Cray XE6 Hopper system at NERSC. To achieve this goal, we combined compiler technology for model-guided empirical optimization for memory hierarchies with SIMD code generation, which have been developed by the PIs over the past several years. We examined DOE Office of Science applications to identify performance bottlenecks and apply our system to computational kernels that operate on dense arrays. Our goal for this performance-tuning technology has been to yield hand-tuned levels of performance on DOE Office of Science computational kernels, while allowing application programmers to specify their computations at a high level without requiring manual optimization. Overall, we aim to make our technology for SIMD code generation and memory hierarchy optimization a crucial component of high-productivity Petaflops computing through a close collaboration with the scientists in national laboratories.

  15. How well will ton-scale dark matter direct detection experiments constrain minimal supersymmetry?

    SciTech Connect (OSTI)

    Akrami, Yashar; Savage, Christopher; Scott, Pat; Conrad, Jan; Edsjö, Joakim E-mail: savage@fysik.su.se E-mail: conrad@fysik.su.se

    2011-04-01

    Weakly interacting massive particles (WIMPs) are amongst the most interesting dark matter (DM) candidates. Many DM candidates naturally arise in theories beyond the standard model (SM) of particle physics, like weak-scale supersymmetry (SUSY). Experiments aim to detect WIMPs by scattering, annihilation or direct production, and thereby determine the underlying theory to which they belong, along with its parameters. Here we examine the prospects for further constraining the Constrained Minimal Supersymmetric Standard Model (CMSSM) with future ton-scale direct detection experiments. We consider ton-scale extrapolations of three current experiments: CDMS, XENON and COUPP, with 1000 kg-years of raw exposure each. We assume energy resolutions, energy ranges and efficiencies similar to the current versions of the experiments, and include backgrounds at target levels. Our analysis is based on full likelihood constructions for the experiments. We also take into account present uncertainties on hadronic matrix elements for neutralino-quark couplings, and on halo model parameters. We generate synthetic data based on four benchmark points and scan over the CMSSM parameter space using nested sampling. We construct both Bayesian posterior PDFs and frequentist profile likelihoods for the model parameters, as well as the mass and various cross-sections of the lightest neutralino. Future ton-scale experiments will help substantially in constraining supersymmetry, especially when results of experiments primarily targeting spin-dependent nuclear scattering are combined with those directed more toward spin-independent interactions.

  16. How well will ton-scale dark matter direct detection experiments constrain minimal supersymmetry?

    E-Print Network [OSTI]

    Yashar Akrami; Christopher Savage; Pat Scott; Jan Conrad; Joakim Edsjö

    2011-04-18

    Weakly interacting massive particles (WIMPs) are amongst the most interesting dark matter (DM) candidates. Many DM candidates naturally arise in theories beyond the standard model (SM) of particle physics, like weak-scale supersymmetry (SUSY). Experiments aim to detect WIMPs by scattering, annihilation or direct production, and thereby determine the underlying theory to which they belong, along with its parameters. Here we examine the prospects for further constraining the Constrained Minimal Supersymmetric Standard Model (CMSSM) with future ton-scale direct detection experiments. We consider ton-scale extrapolations of three current experiments: CDMS, XENON and COUPP, with 1000 kg-years of raw exposure each. We assume energy resolutions, energy ranges and efficiencies similar to the current versions of the experiments, and include backgrounds at target levels. Our analysis is based on full likelihood constructions for the experiments. We also take into account present uncertainties on hadronic matrix elements for neutralino-quark couplings, and on halo model parameters. We generate synthetic data based on four benchmark points and scan over the CMSSM parameter space using nested sampling. We construct both Bayesian posterior PDFs and frequentist profile likelihoods for the model parameters, as well as the mass and various cross-sections of the lightest neutralino. Future ton-scale experiments will help substantially in constraining supersymmetry, especially when results of experiments primarily targeting spin-dependent nuclear scattering are combined with those directed more toward spin-independent interactions.

  17. ScaffCC: Scalable Compilation and Analysis of Quantum Programs

    E-Print Network [OSTI]

    Ali JavadiAbhari; Shruti Patil; Daniel Kudrow; Jeff Heckey; Alexey Lvov; Frederic T. Chong; Margaret Martonosi

    2015-07-07

    We present ScaffCC, a scalable compilation and analysis framework based on LLVM, which can be used for compiling quantum computing applications at the logical level. Drawing upon mature compiler technologies, we discuss similarities and differences between compilation of classical and quantum programs, and adapt our methods to optimizing the compilation time and output for the quantum case. Our work also integrates a reversible-logic synthesis tool in the compiler to facilitate coding of quantum circuits. Lastly, we present some useful quantum program analysis scenarios and discuss their implications, specifically with an elaborate discussion of timing analysis for critical path estimation. Our work focuses on bridging the gap between high-level quantum algorithm specifi- cations and low-level physical implementations, while providing good scalability to larger and more interesting problems

  18. (Data in metric tons, unless noted) Domestic Production and Use: No indium was recovered from ores in the United States in 1995. Domestic indium

    E-Print Network [OSTI]

    from ores in the United States in 1995. Domestic indium production was derived from the upgrading producers of indium metal and indium products in 1995. Several firms produced high-purity indium shapes detectors, high-speed transistors, and high-efficiency photovoltaic devices. Estimated uses in 1995 were

  19. Comparing Resource Adequacy Metrics: Preprint

    SciTech Connect (OSTI)

    Ibanez, E.; Milligan, M.

    2014-09-01

    As the penetration of variable generation (wind and solar) increases around the world, there is an accompanying growing interest and importance in accurately assessing the contribution that these resources can make toward planning reserve. This contribution, also known as the capacity credit or capacity value of the resource, is best quantified by using a probabilistic measure of overall resource adequacy. In recognizing the variable nature of these renewable resources, there has been interest in exploring the use of reliability metrics other than loss of load expectation. In this paper, we undertake some comparisons using data from the Western Electricity Coordinating Council in the western United States.

  20. Metric Signature Transitions in Optical Metamaterials

    E-Print Network [OSTI]

    Igor I. Smolyaninov; Evgenii E. Narimanov

    2010-07-07

    We demonstrate that the extraordinary waves in indefinite metamaterials experience (- - + +) effective metric signature. During a metric signature change transition in such a metamaterial, a Minkowski space-time is "created" together with large number of particles populating this space-time. Such metamaterial models provide a table top realization of metric signature change events suggested to occur in Bose-Einstein condensates and quantum gravity theories.

  1. Performance Metrics Tiers | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Tiers The performance metrics defined by the Commercial Buildings Integration Program offer different tiers of information to address the needs of various users. On this page you...

  2. Defining a Standard Metric for Electricity Savings

    E-Print Network [OSTI]

    Koomey, Jonathan

    2009-01-01

    1991. The Potential for Electricity Efficiency Improvementswww.eia.doe.gov/cneaf/electricity/page/eia860.html>. FigureA STANDARD METRIC FOR ELECTRICITY SAVINGS Jonathan Koomey*,

  3. Three-dimensional metrics as deformations of a constant curvature metric

    E-Print Network [OSTI]

    B. Coll; J. Llosa; D. Soler

    2001-04-23

    Any three-dimensional Riemannian metric can be locally obtained by deforming a constant curvature metric along one direction. The general interest of this result, both in geometry and physics, and related open problems are stressed.

  4. So, You Want to Test Your Compiler? Theodore S. Norvell

    E-Print Network [OSTI]

    Norvell, Theodore S.

    So, You Want to Test Your Compiler? Theodore S. Norvell Electrical and Computer Engineering Memorial University October 19, 2005 Abstract We illustrate a simple method of system testing by applying it to the problem of testing compilers. The result is a user friendly system that greatly facilitates incremental

  5. Extending Old Compiler Tools with Meta-Tools John Aycock

    E-Print Network [OSTI]

    Aycock, John

    Extending Old Compiler Tools with Meta-Tools John Aycock Department of Computer Science University between a new, more powerful software tool and an older, more established one. The best way to handle this problem may be to make the old tool more powerful through the use of meta-tools. Compiler tools suffer

  6. ORC2DSP: Compiler Infrastructure Supports for VLIW DSP Processors

    E-Print Network [OSTI]

    Lee, Jenq-Kuen

    ORC2DSP: Compiler Infrastructure Supports for VLIW DSP Processors Cheng-Wei Chen, Chung-Lin Tang our experiences in deploying ORC infrastructures for a novel 32-bit VLIW DSP processor (known as PAC. We also present methods in retargeting ORC compilers for PAC VLIW DSP processors. In addition

  7. Compiler Supports and Optimizations for PAC VLIW DSP Processors

    E-Print Network [OSTI]

    Lee, Jenq-Kuen

    our preliminary employment of the Open Re- search Compiler (ORC) infrastructure on a novel VLIW DSP are the alluring trend to shrink the delivery time of the compiler for a newly designed processor. ORC [1 period, ORC has incorporated most of the optimization techniques of industry strength so far. Undoubtedly

  8. The IPS Compiler: Optimizations, Variants and Concrete Efficiency

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    The IPS Compiler: Optimizations, Variants and Concrete Efficiency Yehuda Lindell Eli Oxman Benny, it is black-box in the underlying semi-honest protocol, and it has excellent asymptotic efficiency. In this paper, we study the IPS compiler from a number different angles. We present an efficiency improvement

  9. OSCAR Compiler Controlled Multicore Power Reduction on Android Platform

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Compiler Controlled Multicore Power Reduction on Android Platform Hideo Yamamoto1 , Tomohiro Automatic Parallelizing Compiler on an Android platform with the newly developed precise power measurement con- trol, power reduction, multicore processor, Android, WFI #12;2 H. Yamamoto et al. 1 Introduction

  10. Fish Tagging Forum Draft Compilation of Tagging Information

    E-Print Network [OSTI]

    compilation of tagging technology information is intended to provide a summary of comparative information the technologies. Instances where it is not, indicates an information gap. Please provide comments Fish Tagging Forum Draft Compilation of Tagging Information 2012_10_30 v3 The enclosed

  11. An Embedded Language Approach to Teaching Hardware Compilation

    E-Print Network [OSTI]

    Pace, Gordon J.

    An Embedded Language Approach to Teaching Hardware Compilation Koen Claessen 1 and Gordon J. Pace 2, Grenoble, France (Gordon.Pace@imag.fr) Abstract. This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University

  12. An Embedded Language Approach to Teaching Hardware Compilation

    E-Print Network [OSTI]

    Pace, Gordon J.

    An Embedded Language Approach to Teaching Hardware Compilation Koen Claessen1 and Gordon J. Pace2 1, France (Gordon.Pace@imag.fr) Abstract. This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University

  13. Enhancing the Performance of a Multiplayer Game by Using a Parallelizing Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Enhancing the Performance of a Multiplayer Game by Using a Parallelizing Compiler Yasir I. M. Al performance enhancement in Video Games when using parallelizing compilers and the difficulties involved parallelizing compilers in extracting parallelism. Next, the program is compiled using a parallelizing compiler

  14. A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER

    E-Print Network [OSTI]

    Berry, Daniel M.

    -46- A NEW METHODOLOGY FOR GENERATING TEST CASES FOR A PROGRAMMING LANGUAGE COMPILER by Daniel M A compiler writer writes a compiler for a programming language L. He/she wants to test the compiler thoroughly before releasing it to the market, so that no customer of the compiler will find any bugs

  15. Conical Kähler–Einstein Metrics Revisited

    E-Print Network [OSTI]

    2014-08-08

    From now on in this paper, we assume X is a smooth Fano manifold, and D is a ... not unique, we can still identify the correct limit Kähler–Einstein metric in the moduli space. ... implies that there is no Kähler–Einstein metric on P2 which bends.

  16. Gathering Text Entry Metrics on Android Devices

    E-Print Network [OSTI]

    MacKenzie, Scott

    Gathering Text Entry Metrics on Android Devices Abstract We developed an application to gather text entry speed and accuracy metrics on Android devices. This paper details the features of the application, Android OS ACM Classification Keywords H.5.2 Information interfaces and presentation (e.g., HCI): User

  17. A Physics of Bounded Metric Spaces

    E-Print Network [OSTI]

    Pierre Peretto

    1997-06-25

    We consider the possibility of obtaining emergent properties of physical spaces endowed with structures analogous to that of collective models put forward by classical statistical physics. We show that, assuming that a so-called "metric scale" does exist, one can indeed recover a number of properties of physical spaces such as the Minkowski metric, the relativistic quantum dynamics and the electroweak theory.

  18. Quality Metrics for Business Process Models

    E-Print Network [OSTI]

    van der Aalst, Wil

    1 Quality Metrics for Business Process Models Irene Vanderfeesten1 , Jorge Cardoso2 , Jan Mendling3-Koivisto, 2001). This chapter elaborates on the importance of quality metrics for business process modeling to this composi- tional structure, a business process model consists of activities, each of which con- tains

  19. Compiling the model code (and related issues) 1) To compile the model, you must execute a script that will produce and

    E-Print Network [OSTI]

    Gerber, Edwin

    Compiling the model code (and related issues) 1) To compile the model, you must execute a script with this procedure, but you can take a look at the compile script to see what's actually going on. First go to the directory where the compile script is located. For the spectral model, it's: > cd ~/models

  20. Smart Grid Status and Metrics Report Appendices

    SciTech Connect (OSTI)

    Balducci, Patrick J.; Antonopoulos, Chrissi A.; Clements, Samuel L.; Gorrissen, Willy J.; Kirkham, Harold; Ruiz, Kathleen A.; Smith, David L.; Weimar, Mark R.; Gardner, Chris; Varney, Jeff

    2014-07-01

    A smart grid uses digital power control and communication technology to improve the reliability, security, flexibility, and efficiency of the electric system, from large generation through the delivery systems to electricity consumers and a growing number of distributed generation and storage resources. To convey progress made in achieving the vision of a smart grid, this report uses a set of six characteristics derived from the National Energy Technology Laboratory Modern Grid Strategy. The Smart Grid Status and Metrics Report defines and examines 21 metrics that collectively provide insight into the grid’s capacity to embody these characteristics. This appendix presents papers covering each of the 21 metrics identified in Section 2.1 of the Smart Grid Status and Metrics Report. These metric papers were prepared in advance of the main body of the report and collectively form its informational backbone.

  1. Bi-metric pseudo-Finslerian spacetimes

    E-Print Network [OSTI]

    Skakala, Jozef

    2010-01-01

    Finsler spacetimes have become increasingly popular within the theoretical physics community over the last two decades. Because physicists need to use pseudo-Finsler structures to describe propagation}of signals, there will be nonzero null vectors in both the tangent and cotangent spaces --- this causes significant problems in that many of the mathematical results normally obtained for "usual" (Euclidean signature) Finsler structures either do not apply, or require significant modifications to their formulation and/or proof. We shall first provide a few basic definitions, explicitly demonstrating the interpretation of bi-metric theories in terms of pseudo-Finsler norms. We shall then discuss the tricky issues that arise when trying to construct an appropriate pseudo-Finsler metric appropriate to bi-metric spacetimes. Whereas in Euclidian signature the construction of the Finsler metric typically fails at the zero vector, in Lorentzian signature the Finsler metric is typically ill-defined on the entire null co...

  2. Invoking any Intel compiler with -g defaults to -O2 optimization...

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    Invoking any Intel compiler with a Cray wrapper with -g defaults to -O2 optimization contrary to the Intel compiler man pages Invoking any Intel compiler with a Cray wrapper with...

  3. Compiler Optimization-Space Exploration Spyridon Triantafyllis Manish Vachharajani Neil Vachharajani David I. August

    E-Print Network [OSTI]

    August, David

    Compiler Optimization-Space Exploration Spyridon Triantafyllis Manish Vachharajani Neil of modern architectures, optimizing compilers must incorporate an ever larger number of increas- ingly with sub- sequent transformations, compilers employ predictive heuris- tics to guide optimizations

  4. Metrics for border management systems.

    SciTech Connect (OSTI)

    Duggan, Ruth Ann

    2009-07-01

    There are as many unique and disparate manifestations of border systems as there are borders to protect. Border Security is a highly complex system analysis problem with global, regional, national, sector, and border element dimensions for land, water, and air domains. The complexity increases with the multiple, and sometimes conflicting, missions for regulating the flow of people and goods across borders, while securing them for national security. These systems include frontier border surveillance, immigration management and customs functions that must operate in a variety of weather, terrain, operational conditions, cultural constraints, and geopolitical contexts. As part of a Laboratory Directed Research and Development Project 08-684 (Year 1), the team developed a reference framework to decompose this complex system into international/regional, national, and border elements levels covering customs, immigration, and border policing functions. This generalized architecture is relevant to both domestic and international borders. As part of year two of this project (09-1204), the team determined relevant relative measures to better understand border management performance. This paper describes those relative metrics and how they can be used to improve border management systems.

  5. Cracked lifting lug welds on ten-ton UF{sub 6} cylinders

    SciTech Connect (OSTI)

    Dorning, R.E. [Martin Marietta Energy Systems, Inc., Piketon, OH (United States)

    1991-12-31

    Ten-ton, Type 48X, UF{sub 6} cylinders are used at the Portsmouth Gaseous Diffusion Plant to withdraw enriched uranium hexafluoride from the cascade, transfer enriched uranium hexafluoride to customer cylinders, and feed enriched product to the cascade. To accomplish these activities, the cylinders are lifted by cranes and straddle carriers which engage the cylinder lifting lugs. In August of 1988, weld cracks on two lifting lugs were discovered during preparation to lift a cylinder. The cylinder was rejected and tagged out, and an investigating committee formed to determine the cause of cracking and recommend remedial actions. Further investigation revealed the problem may be general to this class of cylinder in this use cycle. This paper discusses the actions taken at the Portsmouth site to deal with the cracked lifting lug weld problem. The actions include inspection activities, interim corrective actions, metallurgical evaluation of cracked welds, weld repairs, and current monitoring/inspection program.

  6. DATA SOURCES AND COMPILATION By T.R. Klett and Thomas S. Ahlbrandt

    E-Print Network [OSTI]

    Laughlin, Robert B.

    Chapter DS DATA SOURCES AND COMPILATION By T.R. Klett and Thomas S. Ahlbrandt in U.S. Geological............................................................... DS-2 Data Compilation........................................................................... DS-3

  7. Ricci Flow of Biaxial Bianchi IX Metrics

    E-Print Network [OSTI]

    G. Holzegel; T. Schmelzer; C. Warnick

    2007-06-12

    We use the Ricci flow with surgery to study four-dimensional SU(2) x U(1)-symmetric metrics on a manifold with fixed boundary given by a squashed 3-sphere. Depending on the initial metric we show that the flow converges to either the Taub-Bolt or the Taub-NUT metric, the latter case potentially requiring surgery at some point in the evolution. The Ricci flow allows us to explore the Euclidean action landscape within this symmetry class. This work extends the recent work of Headrick and Wiseman to more interesting topologies.

  8. Quantum chaos and operator fidelity metric

    E-Print Network [OSTI]

    Paolo Giorda; Paolo Zanardi

    2009-03-06

    We show that the recently introduced operator fidelity metric provides a natural tool to investigate the cross-over to quantum chaotic behaviour. This metric is an information-theoretic measure of the global stability of a unitary evolution against perturbations. We use random matrix theory arguments to conjecture that the operator fidelity metric can be used as an "order parameter" to discriminates phases with regular behaviour from quantum chaotic ones. A numerical study of the onset of chaotic in the Dicke model is given in order to support the conjecture

  9. Energy-Momentum Distribution in Weyl Metrics

    E-Print Network [OSTI]

    M. Sharif; Tasnim Fatima

    2005-07-16

    In this paper, we evaluate energy and momentum density distributions for the Weyl metric by using the well-known prescriptions of Einstein, Landau-Lifshitz, Papaterou and M$\\ddot{o}$ller. The metric under consideration is the static axisymmetric vacuum solution to the Einstein field equations and one of the field equations represents the Laplace equation. Curzon metric is the special case of this spacetime. We find that the energy density is different for each prescription. However, momentum turns out to be constant in each case.

  10. Language and Compiler Issues in Scalable High Performance Scientific Libraries

    E-Print Network [OSTI]

    Johnsson, S. Lennart

    Language and Compiler Issues in Scalable High Performance Scientific Libraries S. Lennart Johnsson Issues in Scalable High Performance Scientific Libraries S. Lennart Johnsson Harvard University and Thinking Machines Corp. Abstract Library functions for scalable architectures must be designed to correctly

  11. Compilation of Giant Electric Dipole Resonances Built on Excited States

    E-Print Network [OSTI]

    A. Schiller; M. Thoennessen

    2006-05-05

    Giant Electric Dipole Resonance (GDR) parameters for gamma decay to excited states with finite spin and temperature are compiled. Over 100 original works have been reviewed and from some 70 of which more than 300 parameter sets of hot GDR parameters for different isotopes, excitation energies, and spin regions have been extracted. All parameter sets have been brought onto a common footing by calculating the equivalent Lorentzian parameters. The current compilation is complementary to an earlier compilation by Samuel S. Dietrich and Barry L. Berman (At. Data Nucl. Data Tables 38(1988)199-338) on ground-state photo-neutron and photo-absorption cross sections and their Lorentzian parameters. A comparison of the two may help shed light on the evolution of GDR parameters with temperature and spin. The present compilation is current as of January 2006.

  12. Compiler-driven data layout transformations for network applications 

    E-Print Network [OSTI]

    Fenacci, Damon

    2012-06-25

    This work approaches the little studied topic of compiler optimisations directed to network applications. It starts by investigating if there exist any fundamental differences between application domains that justify ...

  13. Verifiable compilation of I/O automata without global synchronization

    E-Print Network [OSTI]

    Tauber, Joshua A. (Joshua Allen)

    2005-01-01

    Part I of this thesis presents a strategy for compiling distributed systems specified in IOA into Java programs running on a group of networked workstations. IOA is a formal language for describing distributed systems as ...

  14. Conceptual Framework for Developing Resilience Metrics for the...

    Office of Environmental Management (EM)

    Conceptual Framework for Developing Resilience Metrics for the Electricity, Oil, and Gas Sectors in the United States Conceptual Framework for Developing Resilience Metrics for the...

  15. Geodesic completeness of diagonal $G_2$ metrics

    E-Print Network [OSTI]

    L. Fernández-Jambrina

    2009-04-10

    In this talk a sufficient condition for a diagonal orthogonally transitive cylindrical $G_2$ metric to be geodesically complete is given. The condition is weak enough to comprise all known diagonal perfect fluid cosmological models that are non-singular.

  16. Thermodynamic motivations of spherically symmetric static metrics

    E-Print Network [OSTI]

    H. Moradpour; S. Nasirimoghadam

    2015-06-14

    Bearing the thermodynamic arguments together with the two definitions of mass in mind, we try to find metrics with spherical symmetry. We consider the adiabatic condition along with the Gong-Wang mass, and evaluate the $g_{rr}$ element which points to a null hypersurface. In addition, we generalize the thermodynamics laws to this hypersurface to find its temperature and thus the corresponding surface gravity which enables us to get a relation for the $g_{tt}$ element. Finally, we investigate the mathematical and physical properties of the discovered metric in the Einstein relativity framework which shows that the primary mentioned null hypersurface is an event horizon. We also show that if one considers the Misner-Sharp mass in the calculations, the Schwarzschild metric will be got. The relationship between the two mass definitions in each metric is studied. The results of considering the geometrical surface gravity are also addressed.

  17. Thermodynamic motivations of spherically symmetric static metrics

    E-Print Network [OSTI]

    Moradpour, H

    2015-01-01

    Bearing the thermodynamic arguments together with the two definitions of mass in mind, we try to find metrics with spherical symmetry. We consider the adiabatic condition along with the Gong-Wang mass, and evaluate the $g_{rr}$ element which points to a null hypersurface. In addition, we generalize the thermodynamics laws to this hypersurface to find its temperature and thus the corresponding surface gravity which enables us to get a relation for the $g_{tt}$ element. Finally, we investigate the mathematical and physical properties of the discovered metric in the Einstein relativity framework which shows that the primary mentioned null hypersurface is an event horizon. We also show that if one considers the Misner-Sharp mass in the calculations, the Schwarzschild metric will be got. The relationship between the two mass definitions in each metric is studied. The results of considering the geometrical surface gravity are also addressed.

  18. Clean Cities Annual Metrics Report 2009 (Revised)

    SciTech Connect (OSTI)

    Johnson, C.

    2011-08-01

    Document provides Clean Cities coalition metrics about the use of alternative fuels; the deployment of alternative fuel vehicles, hybrid electric vehicles (HEVs), and idle reduction initiatives; fuel economy activities; and programs to reduce vehicle miles driven.

  19. IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference

    E-Print Network [OSTI]

    Hickman, Mark

    IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference SC09-7995-00 #12;#12;IBM XL C/C++ Enterprise Edition V8.0 for AIX Compiler Reference SC09-7995-00 #12;Note! Before using this information comments . . . . . . . . xiii Chapter 1. Configuring the compiler . . 1 Setting up the compilation

  20. PyDSTool compilation Author: Mathieu Doucet Project Report Date: 6/21/2008 (rev. 1)

    E-Print Network [OSTI]

    Clewley, Robert

    PyDSTool compilation Author: Mathieu Doucet Project Report Date: 6/21/2008 (rev. 1) Page 1 of 4 Py of dynamic loading followed the design described in the report "PyDSTool compilation: Project ReportDSTool compilation project. The compilation was pulled out of the DopriODEsystem code and is now executed

  1. Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY

    E-Print Network [OSTI]

    Whalley, David

    Quick Compilers Using Peephole Optimization JACK W. DAVIDSON AND DAVID B. WHALLEY Department modeling is a popular technique for developing portable compilers. A compiler can be quickly realized by translating the abstract machine operations to target machine operations. The problem with these compilers

  2. Accelerator Compiler for the VENICE Vector Processor B.A.Sc, Harbin Institute of Technology, 2009

    E-Print Network [OSTI]

    Lemieux, Guy

    Accelerator Compiler for the VENICE Vector Processor by Zhiduo Liu B.A.Sc, Harbin Institute the compiler design for VENICE, a new soft vector processor (SVP). The compiler is a new back-end target compilation from high-level programs into VENICE assembly code, thus avoiding the process of writing assembly

  3. Parallelization of Automotive Engine Control Software On Embedded Multi-core Processor Using OSCAR Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Compiler Yohei Kanehagi, Dan Umeda, Akihiro Hayashi, Keiji Kimura and Hironori Kasahara Graduate School parallelized the practical automotive engine control software using automatic multigrain parallelizing compiler, or the OSCAR Compiler has been developed by the authors for more than 25 years. The OSCAR compiler parallelizes

  4. Copyright Y. Daniel Liang, 2012 1 Installing the Cygwin C++ Compiler

    E-Print Network [OSTI]

    Liang, Y. Daniel

    © Copyright Y. Daniel Liang, 2012 1 Supplement Installing the Cygwin C++ Compiler For Introduction to C++ Programming Y. Daniel Liang You may download a free C++ compiler from several sources. This supplement shows you how to download and install the Cygwin compiler. 1. To download the Cygwin compiler, go

  5. Compilation of Constraint Programs with NonCyclic and Cyclic Dependencies to Procedural Parallel Programs

    E-Print Network [OSTI]

    Browne, James C.

    Compilation of Constraint Programs with Non­Cyclic and Cyclic Dependencies to Procedural Parallel ajita@research.bell­labs.com browne@cs.utexas.edu Abstract This paper reports on a compiler in the constraints. The compiler described in this paper successfully compiles a substantially larger class

  6. Execution Characteristics of JustInTime Compilers Technical Report TR99071701

    E-Print Network [OSTI]

    John, Lizy Kurian

    Execution Characteristics of Just­In­Time Compilers Technical Report ­ TR­990717­01 R@cse.psu.edu Abstract Just­In­Time (JIT) compilers interact with the Java Virtual Machine (JVM) at run time and compile appropriate bytecode sequences into native machine code. Loading and compilation time penalties are incurred

  7. Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu Center-level parallelism required to fully utilize VLIW and superscalar processors increases, compilers must perform. Traditionally, compilers have been built assuming functions as the unit of compilation. In this framework

  8. OSCAR Parallelizing Compiler and API for Real-time Low Power Heterogeneous Multicores

    E-Print Network [OSTI]

    Kasahara, Hironori

    OSCAR Parallelizing Compiler and API for Real-time Low Power Heterogeneous Multicores Akihiro, this paper describes OSCAR par- allelizing compiler which bridges a gap between programmers and hetero- geneous multicores. In particular, this paper describes the compilation framework based on OSCAR compiler

  9. A Source-to-Source OpenMP Compiler Mario Soukup and Tarek S. Abdelrahman

    E-Print Network [OSTI]

    Abdelrahman, Tarek S.

    ] and Guide F90 from Kuck and Associates [6]. Although these compilers provide an efficient implementation

  10. Inference and Labeling of Metric-Induced Network Topologies

    E-Print Network [OSTI]

    Byers, John W.

    PERISCOPE, a Linux embodiment of MINT constructions. We instantiate MINT and PERISCOPE for a specific metric

  11. Metrics for Evaluating the Accuracy of Solar Power Forecasting (Presentation)

    SciTech Connect (OSTI)

    Zhang, J.; Hodge, B.; Florita, A.; Lu, S.; Hamann, H.; Banunarayanan, V.

    2013-10-01

    This presentation proposes a suite of metrics for evaluating the performance of solar power forecasting.

  12. High temperature experiments on a 4 tons UF6 container TENERIFE program

    SciTech Connect (OSTI)

    Casselman, C.; Duret, B.; Seiler, J.M.; Ringot, C.; Warniez, P.

    1991-12-31

    The paper presents an experimental program (called TENERIFE) whose aim is to investigate the behaviour of a cylinder containing UF{sub 6} when exposed to a high temperature fire for model validation. Taking into account the experiments performed in the past, the modelization needs further information in order to be able to predict the behaviour of a real size cylinder when engulfed in a 800{degrees}C fire, as specified in the regulation. The main unknowns are related to (1) the UF{sub 6} behaviour beyond the critical point, (2) the relationship between temperature field and internal pressure and (3) the equivalent conductivity of the solid UF{sub 6}. In order to investigate these phenomena in a representative way it is foreseen to perform experiments with a cylinder of real diameter, but reduced length, containing 4 tons of UF{sub 6}. This cylinder will be placed in an electrically heated furnace. A confinement vessel prevents any dispersion of UF{sub 6}. The heat flux delivered by the furnace will be calibrated by specific tests. The cylinder will be changed for each test.

  13. Performance and results of the LBNE 35 ton membrane cryostat prototype

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Montanari, David; Adamowski, Mark; Hahn, Alan; Norris, Barry; Reichenbacher, Juergen; Rucinski, Russell; Stewart, Jim; Tope, Terry

    2015-07-15

    We report on the performance and commissioning of the first membrane cryostat to be used for scientific application. The Long Baseline Neutrino Experiment (LBNE) has designed and fabricated a membrane cryostat prototype in collaboration with Ishikawajima-Harima Heavy Industries Co., Ltd. (IHI). LBNE has designed and fabricated the supporting cryogenic system infrastructure and successfully commissioned and operated the first membrane cryostat. Original goals of the prototype are: to demonstrate the membrane cryostat technology in terms of thermal performance, feasibility for liquid argon and leak tightness; to demonstrate that we can remove all the impurities from the vessel and achieve the puritymore »requirements in a membrane cryostat without evacuation; to demonstrate that we can achieve and maintain the purity requirements of the liquid argon using mol sieve and copper filters. The purity requirements of a large liquid argon detector such as LBNE are contaminants below 200 parts per trillion (ppt) oxygen equivalent. LBNE is planning the design and construction of a large liquid argon detector. This presentation will present requirements, design and construction of the LBNE 35 ton membrane cryostat prototype, and detail the commissioning and performance. The experience and results of this prototype are extremely important for the development of the LBNE detector.« less

  14. The Composition Of A Disrupted Extrasolar Planetesimal At SDSS J0845+2257 (Ton 345)

    E-Print Network [OSTI]

    Wilson, David J; Koester, Detlev; Toloza, Odette; Pala, Anna F; Breedt, Elmé; Parsons, Steven G

    2015-01-01

    We present a detailed study of the metal-polluted DB white dwarf SDSS J0845+2257 (Ton 345). Using high-resolution HST/COS and VLT spectroscopy, we have detected hydrogen and eleven metals in the atmosphere of the white dwarf. The origin of these metals is almost certainly the circumstellar disc of dusty and gaseous debris from a tidally-disrupted planetesimal, accreting at a rate of 1.6E10 gs^-1. Studying the chemical abundances of the accreted material demonstrates that the planetesimal had a composition similar to the Earth, dominated by rocky silicates and metallic iron, with a low water content. The mass of metals within the convection zone of the white dwarf corresponds to an asteroid of at least ~130-170 km in diameter, although the presence of ongoing accretion from the debris disc implies that the planetesimal was probably larger than this. While a previous abundance study of the accreted material has shown an anomalously high mass fraction of carbon (15 percent) compared to the bulk Earth, our indepe...

  15. Global MSW Generation in 2007 estimated at two billion tons Global Waste Management Market Assessment 2007, Key Note Publications Ltd ,

    E-Print Network [OSTI]

    Columbia University

    Global MSW Generation in 2007 estimated at two billion tons Global Waste Management Market analyses the global waste market, with particular reference to municipal solid waste (MSW). Key Note. Industrial waste generally has a greater tonnage than MSW, but its management is the responsibility

  16. Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber

    E-Print Network [OSTI]

    Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber Year Unweighte d Average Prices Weighted Average Prices Average of Unweighted and Weighted Prices Unweighted Average Prices Weighted Average Prices Average of Unweighted

  17. Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber

    E-Print Network [OSTI]

    Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber Year Unweighted Average Prices Weighted Average Prices Average of Unweighted and Weighted Prices Unweighted Average Prices Weighted Average Prices Average of Unweighted

  18. Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber

    E-Print Network [OSTI]

    Average Stumpage Prices Measured in Price per Ton for Forest Products Large Pine Sawtimber Small Pine Sawtimber Hardwood Sawtimber Year Unweighted Average Prices Weighted Average Prices Simple average of Unweighted and Weighted Prices Unweighted Average Prices Weighted Average Prices Simple average of Unweighted

  19. METRICS FOR WAYFINDING 1 Three Levels of Metric for Evaluating Wayfinding

    E-Print Network [OSTI]

    Ruddle, Roy

    Lessels School of Computing, University of Leeds, Leeds, LS2 9JT, UK. email: royr@comp.leeds.ac.uk Tel a detailed review of research into VE wayfinding. A case study from research into the fidelity into two major sections. The first reviews metrics in #12;METRICS FOR WAYFINDING 4 each of the three levels

  20. Cleanroom Energy Efficiency: Metrics and Benchmarks

    SciTech Connect (OSTI)

    International SEMATECH Manufacturing Initiative; Mathew, Paul A.; Tschudi, William; Sartor, Dale; Beasley, James

    2010-07-07

    Cleanrooms are among the most energy-intensive types of facilities. This is primarily due to the cleanliness requirements that result in high airflow rates and system static pressures, as well as process requirements that result in high cooling loads. Various studies have shown that there is a wide range of cleanroom energy efficiencies and that facility managers may not be aware of how energy efficient their cleanroom facility can be relative to other cleanroom facilities with the same cleanliness requirements. Metrics and benchmarks are an effective way to compare one facility to another and to track the performance of a given facility over time. This article presents the key metrics and benchmarks that facility managers can use to assess, track, and manage their cleanroom energy efficiency or to set energy efficiency targets for new construction. These include system-level metrics such as air change rates, air handling W/cfm, and filter pressure drops. Operational data are presented from over 20 different cleanrooms that were benchmarked with these metrics and that are part of the cleanroom benchmark dataset maintained by Lawrence Berkeley National Laboratory (LBNL). Overall production efficiency metrics for cleanrooms in 28 semiconductor manufacturing facilities in the United States and recorded in the Fabs21 database are also presented.

  1. Enhanced Accident Tolerant LWR Fuels: Metrics Development

    SciTech Connect (OSTI)

    Shannon Bragg-Sitton; Lori Braase; Rose Montgomery; Chris Stanek; Robert Montgomery; Lance Snead; Larry Ott; Mike Billone

    2013-09-01

    The Department of Energy (DOE) Fuel Cycle Research and Development (FCRD) Advanced Fuels Campaign (AFC) is conducting research and development on enhanced Accident Tolerant Fuels (ATF) for light water reactors (LWRs). This mission emphasizes the development of novel fuel and cladding concepts to replace the current zirconium alloy-uranium dioxide (UO2) fuel system. The overall mission of the ATF research is to develop advanced fuels/cladding with improved performance, reliability and safety characteristics during normal operations and accident conditions, while minimizing waste generation. The initial effort will focus on implementation in operating reactors or reactors with design certifications. To initiate the development of quantitative metrics for ATR, a LWR Enhanced Accident Tolerant Fuels Metrics Development Workshop was held in October 2012 in Germantown, MD. This paper summarizes the outcome of that workshop and the current status of metrics development for LWR ATF.

  2. Metrics for comparison of crystallographic maps

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Urzhumtsev, Alexandre; Afonine, Pavel V.; Lunin, Vladimir Y.; Terwilliger, Thomas C.; Adams, Paul D.

    2014-10-01

    Numerical comparison of crystallographic contour maps is used extensively in structure solution and model refinement, analysis and validation. However, traditional metrics such as the map correlation coefficient (map CC, real-space CC or RSCC) sometimes contradict the results of visual assessment of the corresponding maps. This article explains such apparent contradictions and suggests new metrics and tools to compare crystallographic contour maps. The key to the new methods is rank scaling of the Fourier syntheses. The new metrics are complementary to the usual map CC and can be more helpful in map comparison, in particular when only some of their aspects,more »such as regions of high density, are of interest.« less

  3. Automated Vulnerability Detection for Compiled Smart Grid Software

    SciTech Connect (OSTI)

    Prowell, Stacy J; Pleszkoch, Mark G; Sayre, Kirk D; Linger, Richard C

    2012-01-01

    While testing performed with proper experimental controls can provide scientifically quantifiable evidence that software does not contain unintentional vulnerabilities (bugs), it is insufficient to show that intentional vulnerabilities exist, and impractical to certify devices for the expected long lifetimes of use. For both of these needs, rigorous analysis of the software itself is essential. Automated software behavior computation applies rigorous static software analysis methods based on function extraction (FX) to compiled software to detect vulnerabilities, intentional or unintentional, and to verify critical functionality. This analysis is based on the compiled firmware, takes into account machine precision, and does not rely on heuristics or approximations early in the analysis.

  4. A Compilation of Redshifts for Compact Groups of Galaxies

    E-Print Network [OSTI]

    G. C. Baiesi Pillastrini

    2007-03-21

    We present a compilation of redshifts for 4,911 Compact Groups of galaxies (CG) referenced to the heliocentric reference frame, where 694 of them are available from the literature as of 1992. An unpublished redshift list for 4,217 CGs identified in the SDSS data release 4 by Deng et al. (2006) has been added too. We present an additional list of 157 CGs with published redshifts for one or more member galaxies and 13 apparent CGs with discrepant memberships. The electronic version of the compilation is provided by email request.

  5. Compilation of current high-energy physics experiments

    SciTech Connect (OSTI)

    Wohl, C.G.; Kelly, R.L.; Armstrong, F.E.

    1981-05-01

    This is the fourth edition of the compilation of current high energy physics experiments. It is a collaborative effort of the Berkeley Particle Data Group, the SLAC library, and nine participating laboratories: Argonne (ANL), Brookhaven (BNL), CERN, DESY, Fermilab (FNAL), the Institute for Nuclear Study, Tokyo (INS), KEK, Serpukhov (SERP), and SLAC. The compilation includes summaries of all high energy physics experiments at the above laboratories that (1) were approved (and not subsequently withdrawn) before about April 1981, and (2) had not completed taking of data by 1 January 1977. Only approved experiments are included.

  6. A Proposal for a Ton Scale Bubble Chamber for Dark Matter Detection

    SciTech Connect (OSTI)

    Collar, Juan; Dahl, C.Eric; Fustin, Drew; Robinson, Alan; Behnke, Ed; Behnke, Joshua; Breznau, William; Connor, Austin; Kuehnemund, Emily Grace; Levine, Ilan; Moan, Timothy; /Indiana U., South Bend /Fermilab

    2010-10-07

    The nature of non-baryonic dark matter is one of the most intriguing questions for particle physics at the start of the 21st century. There is ample evidence for its existence, but almost nothing is known of its properties. WIMPs are a very appealing candidate particle and several experimental campaigns are underway around the world to search for these particles via the nuclear recoils that they should induce. The COUPP series of bubble chambers has played a significant role in the WIMP search. Through a sequence of detectors of increasing size, a number of R&D issues have arisen and been solved, and the technology has now been advanced to the point where the construction of large chambers requires a modest research effort, some development, but mostly just engineering. It is within this context that we propose to build the next COUPP detector - COUPP-500, a ton scale device to be built over the next three years at Fermilab and then deployed deep underground at SNOLAB. The primary advantages of the COUPP approach over other technologies are: (1) The ability to reject electron and gamma backgrounds by arranging the chamber thermodynamics such that these particles do not even trigger the detector. (2) The ability to suppress neutron backgrounds by having the radioactively impure detection elements far from the active volume and by using the self-shielding of a large device and the high granularity to identify multiple bubbles. (3) The ability to build large chambers cheaply and with a choice of target fluids. (4) The ability to increase the size of the chambers without changing the size or complexity of the data acquisition. (5) Sensitivity to spin-dependent and spin-independent WIMP couplings. These key advantages should enable the goal of one background event in a ton-year of exposure to be achieved. The conceptual design of COUPP-500 is scaled from the preceding devices. In many cases all that is needed is a simple scaling up of components previously used. Calibration and R&D are still needed on some aspects of the system. We know we have the ability to distinguish alpha-induced events from nuclear recoils, but we do not yet know whether the combination of material purity and rejection are good enough to run for a year with no alpha background. We also need to have more detailed measurements of the detector threshold and a better understanding of its high gamma rejection. In addition, there are important checks to make on the longevity of the detector components in the hydraulic fluid and on the chemistry of the active fluid. The 2009 PASAG report explicitly supported the construction of the COUPP-500 device in all funding scenarios. The NSF has shown similar enthusiasm. It awarded one of its DUSEL S4 grants to assist in the engineering needed to build COUPP-500. The currently estimated cost of COUPP-500 is $8M, about half the $15M-$20M price tag expected by the PASAG report for a next generation dark matter search experiment. The COUPP-500 device will have a spin independent WIMP-nucleus cross-section sensitivity of 6 x 10{sup -47} cm{sup 2} after a background-free year of running. This device should then provide the benchmark against which all other WIMP searches are measured.

  7. Improving Compiler-Runtime Separation with XIR Ben L. Titzer

    E-Print Network [OSTI]

    Mössenböck, Hanspeter

    Linz Altenbergerstr. 69 4040 Linz, Austria +43 732-2468-7137 wuerthinger@ssw.jku.at Doug Simon Sun Microsystems Laboratories 16 Network Circle Menlo Park, CA 94025 (650) 568-4871 doug.simon@sun.com Marcelo the dynamic compiler and the rest of the runtime system, including the garbage collector, object model

  8. Fast Context Switches: Compiler and Architectural Support for

    E-Print Network [OSTI]

    Whalley, David

    Fast Context Switches: Compiler and Architectural Support for Preemptive Scheduling Jeffrey S to preemptive context switching in real­time systems that use preemptive scheduling. The method introduced in this paper attempts to avoid saving and restoring registers by performing context switches at points

  9. CompilerDirected Dynamic Voltage Scaling Based on Program Regions

    E-Print Network [OSTI]

    Kremer, Ulrich

    '' the degraded CPU performance behind the memory hierarchy accesses which are on the critical path. The compiler. processor that can operate over a wide voltage range. The operating system controls the processor speed user environment, but not in a multi­user environment where the CPU is scheduled across di#erent active

  10. Evaluation of Compiler Optimizations for Fortran D on MIMD

    E-Print Network [OSTI]

    Tseng, Chau-Wen

    ), a new proposed Fortran standard. Our goal with Fortran D is to provide a simple yet ef­ ficient machineEvaluation of Compiler Optimizations for Fortran D on MIMD Distributed­Memory Machines Seema Hiranandani Ken Kennedy Chau­Wen Tseng CRPC­TR 91196 November 1991 Center for Research on Parallel Computation

  11. MILEPOST GCC: machine learning based research compiler Grigori Fursin,

    E-Print Network [OSTI]

    Williams, Chris

    and compilers continue to evolve bringing higher performance, lower power and smaller size while attempting to keep time to market as short as possible. Typical systems may now have multiple het- erogeneous fine-grain transformations within relatively nar- row search spaces. The main barrier to its wider use

  12. A Compiler Infrastructure for High-Performance Java

    E-Print Network [OSTI]

    Abdelrahman, Tarek S.

    Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G4 transformations, insertion of implicit code to accu- rately model the source program, incorporation of compiled has a number This work is supported by NSERC (Canada) and CITO (Ontario) grants. #12;of features which

  13. 2008 The Authors Journal Compilation 2008 Blackwell Publishing Ltd

    E-Print Network [OSTI]

    Troch, Peter

    © 2008 The Authors Journal Compilation © 2008 Blackwell Publishing Ltd Geography Compass 2 (2008 and Water Resources, University of Arizona Abstract Predictions of hydrologic system response to natural some threshold #12;2 Landscape heterogeneity and hydrological theory © 2008 The Authors Geography

  14. Fourier Transform, Riemann Surfaces and Indefinite Metric

    E-Print Network [OSTI]

    Fominov, Yakov

    Fourier Transform, Riemann Surfaces and Indefinite Metric P. G. Grinevich, S.P.Novikov Zakharov Park, College Park, USA #12;What is Fourier Transform in Riemann Surfaces? Which Problems need it? Discrete Analog of The Fourier/Laurent bases in Riemann Sur- faces was constructed by Krichever-Novikov (KN

  15. Towards a Multidimensional Geometric Metric for Sustainability

    E-Print Network [OSTI]

    Collins, Gary S.

    Towards a Multidimensional Geometric Metric for Sustainability Noah Granieri1, Gaurav Ameta2 1's REU program under grant number 0754370 Results Geometric results from Sustainability Data ·All aspect sustainability aspect values change depending on fuel sources for energy production. Designers may choose what

  16. RAY PRESERVING METRICS AND APPLICATIONS JAIGYOUNG CHOE

    E-Print Network [OSTI]

    Choe, Jaigyoung

    of the two-dimensional hyper- bolic plane H2 (-2 ) with Gauss curvature -2 RAY PRESERVING METRICS AND APPLICATIONS JAIGYOUNG CHOE 1. INTRODUCTION Let be an m-dimensional as the union of the line segments from p to q, over all q . And for a k-dimensional submanifold N Rn

  17. New Metrics for Blog Mining Brian Ulicnya

    E-Print Network [OSTI]

    Baclawski, Kenneth B.

    New Metrics for Blog Mining Brian Ulicnya , Ken Baclawskia , Amy Magnusb a VIStology, Inc., 5, Suite 325 , Arlington, VA 22203 ABSTRACT Blogs represent an important new arena for knowledge discovery-human) information sources monitoring important local and global events, and other blogs, for items of interest upon

  18. An Attack Surface Metric Pratyusa K. Manadhata

    E-Print Network [OSTI]

    K. Manadhata This research was sponsored in part by the Defense Advanced Research Project Agency by the National Science Foundation under grants no. CCR-0121547 and CNS-0433540, SAP Labs, LLC under award no metrics has recently become more pressing. In this thesis, we introduce the measure of a software system

  19. Clean Cities 2010 Annual Metrics Report

    SciTech Connect (OSTI)

    Johnson, C.

    2012-10-01

    This report details the petroleum savings and vehicle emissions reductions achieved by the U.S. Department of Energy's Clean Cities program in 2010. The report also details other performance metrics, including the number of stakeholders in Clean Cities coalitions, outreach activities by coalitions and national laboratories, and alternative fuel vehicles deployed.

  20. Clean Cities 2011 Annual Metrics Report

    SciTech Connect (OSTI)

    Johnson, C.

    2012-12-01

    This report details the petroleum savings and vehicle emissions reductions achieved by the U.S. Department of Energy's Clean Cities program in 2011. The report also details other performance metrics, including the number of stakeholders in Clean Cities coalitions, outreach activities by coalitions and national laboratories, and alternative fuel vehicles deployed.

  1. On the Jacobi-Metric Stability Criterion

    E-Print Network [OSTI]

    M. A. Gonzalez Leon; J. L. Hernandez Pastora

    2007-05-30

    We investigate the exact relation existing between the stability equation for the solutions of a mechanical system and the geodesic deviation equation of the associated geodesic problem in the Jacobi metric constructed via the Maupertuis-Jacobi Principle. We conclude that the dynamical and geometrical approaches to the stability/instability problem are not equivalent.

  2. Performance Metrics Research Project - Final Report

    SciTech Connect (OSTI)

    Deru, M.; Torcellini, P.

    2005-10-01

    NREL began work for DOE on this project to standardize the measurement and characterization of building energy performance. NREL's primary research objectives were to determine which performance metrics have greatest value for determining energy performance and to develop standard definitions and methods of measuring and reporting that performance.

  3. Status of ArDM-1t: First observations from operation with a full ton-scale liquid argon target

    E-Print Network [OSTI]

    ArDM Collaboration; J. Calvo; C. Cantini; M. Daniel; U. Degunda; S. Di Luise; L. Epprecht; A. Gendotti; S. Horikawa; L. Knecht; B. Montes; W. Mu; M. Munoz; S. Murphy; G. Natterer; K. Nguyen; K. Nikolics; L. Periale; C. Regenfus; L. Romero; A. Rubbia; R. Santorelli; F. Sergiampietri; D. Sgalaberna; T. Viant; S. Wu

    2015-05-10

    ArDM-1t is the first operating ton-scale liquid argon detector for direct search of Dark Matter particles. Developed at CERN as Recognized Experiment RE18, the experiment has been approved in 2010 to be installed in the Spanish underground site LSC (Laboratorio Subterraneo de Canfranc). Under the label of LSC EXP-08-2010 the ArDM detector underwent an intensive period of technical completion and safety approval until the recent filling of the target vessel with almost 2 ton of liquid argon. This report describes the experimental achievements during commissioning of ArDM and the transition into a stage of first physics data taking in single phase operational mode. We present preliminary observations from this run. A first indication for the background discrimination power of LAr detectors at the ton-scale is shown. We present an outlook for completing the detector with the electric drift field and upgrade of the scintillation light readout system with novel detector modules based on SiPMs in order to improve the light yield.

  4. Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109122. Manifest types, modules, and separate compilation

    E-Print Network [OSTI]

    Leroy, Xavier

    , and separate compilation Xavier Leroy Stanford University Abstract This paper presents a variant of the SML Introduction 1.1 Modules and separate compilation Modularization is the process of decomposing a program a program in small units (compilation units) that can be typechecked and compiled separately by the compiler

  5. Evaluation Criteria for Human-Automation Performance Metrics

    E-Print Network [OSTI]

    Pina, Patricia Elena

    Previous research has identified broad metric classes for human-automation performance to facilitate metric selection, as well as understanding and comparison of research results. However, there is still lack of an objective ...

  6. The Jacobi-metric for timelike geodesics in static spacetimes

    E-Print Network [OSTI]

    G. W. Gibbons

    2015-09-09

    It is shown that the free motion of massive particles moving in static spacetimes are given by the geodesics of an energy-dependent Riemannian metric on the spatial sections analogous to Jacobi's metric in classical dynamics. In the massless limit Jacobi's metric coincides with the energy independent Fermat or optical metric. For stationary metrics, it is known that the motion of massless particles is given by the geodesics of an energy independent Finslerian metric of Randers type. The motion of massive particles is governed by neither a Riemannian nor a Finslerian metric. The properies of the Jacobi metric for massive particles moving outside the horizon of a Schwarschild black hole are described. By constrast with the massless case, the Gaussian curvature of the equatorial sections is not always negative.

  7. The Jacobi-metric for timelike geodesics in static spacetimes

    E-Print Network [OSTI]

    Gibbons, G W

    2015-01-01

    It is shown that the free motion of massive particles moving in static spacetimes are given by the geodesics of an energy-dependent Riemannian metric on the spatial sections analogous to Jacobi's metric in classical dynamics. In the massless limit Jacobi's metric coincides with the energy independent Fermat or optical metric. For stationary metrics, it is known that the motion of massless particles is given by the geodesics of an energy independent Finslerian metric of Randers type. The motion of massive particles is governed by neither a Riemannian nor a Finslerian metric. The properies of the Jacobi metric for massive particles moving outside the horizon of a Schwarschild black hole are described. By constrast with the massless case, the Gaussian curvature of the equatorial sections is not always negative.

  8. Development of a multiple metric index for macroinvertebrates collected from lower Missouri River floodplain wetlands

    E-Print Network [OSTI]

    Koontz, Jason Alexander

    2010-07-26

    of a priori Stressor Groups ................................................................................. 27 2.8 Metric Response ................................................................................................................... 28... 2.8 Metric Redundancy............................................................................................................... 28 2.9 Scoring Individual Metrics and Final Index...

  9. Compiled MPI: Cost-Effective Exascale Applications Development

    SciTech Connect (OSTI)

    Bronevetsky, G; Quinlan, D; Lumsdaine, A; Hoefler, T

    2012-04-10

    The complexity of petascale and exascale machines makes it increasingly difficult to develop applications that can take advantage of them. Future systems are expected to feature billion-way parallelism, complex heterogeneous compute nodes and poor availability of memory (Peter Kogge, 2008). This new challenge for application development is motivating a significant amount of research and development on new programming models and runtime systems designed to simplify large-scale application development. Unfortunately, DoE has significant multi-decadal investment in a large family of mission-critical scientific applications. Scaling these applications to exascale machines will require a significant investment that will dwarf the costs of hardware procurement. A key reason for the difficulty in transitioning today's applications to exascale hardware is their reliance on explicit programming techniques, such as the Message Passing Interface (MPI) programming model to enable parallelism. MPI provides a portable and high performance message-passing system that enables scalable performance on a wide variety of platforms. However, it also forces developers to lock the details of parallelization together with application logic, making it very difficult to adapt the application to significant changes in the underlying system. Further, MPI's explicit interface makes it difficult to separate the application's synchronization and communication structure, reducing the amount of support that can be provided by compiler and run-time tools. This is in contrast to the recent research on more implicit parallel programming models such as Chapel, OpenMP and OpenCL, which promise to provide significantly more flexibility at the cost of reimplementing significant portions of the application. We are developing CoMPI, a novel compiler-driven approach to enable existing MPI applications to scale to exascale systems with minimal modifications that can be made incrementally over the application's lifetime. It includes: (1) New set of source code annotations, inserted either manually or automatically, that will clarify the application's use of MPI to the compiler infrastructure, enabling greater accuracy where needed; (2) A compiler transformation framework that leverages these annotations to transform the original MPI source code to improve its performance and scalability; (3) Novel MPI runtime implementation techniques that will provide a rich set of functionality extensions to be used by applications that have been transformed by our compiler; and (4) A novel compiler analysis that leverages simple user annotations to automatically extract the application's communication structure and synthesize most complex code annotations.

  10. Compilation of NIST Higher-Order Methods for the Determination of

    E-Print Network [OSTI]

    Compilation of NIST Higher-Order Methods for the Determination of Electrolytes in Clinical 260-162 Compilation of Higher-Order Methods for the Determination of Electrolytes in Clinical

  11. Arroyo Colorado: A Compilation and Evaluation of Prior Studies and Data 

    E-Print Network [OSTI]

    Wagner, C.

    2012-04-11

    This report was compiled per the project, “Arroyo Colorado Agricultural Nonpoint Source Assessment” funded by the TSSWCB through the CWA §319(h) NPS Grant Program. Under this project, TWRI was tasked to (1) compile historical water quality data...

  12. Incoming Students Compiled 21.1.2015 12:12:46 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Incoming Students Compiled 21.1.2015 12:12:46 by Document Globe ® 1 A period of study at Charles (the cotutelle system), and Erasmus Mundus II international programmes. #12;Compiled 21.1.2015 12

  13. Written and compiled by: Anusuya Rangarajan, Elizabeth A. Bihn, Robert B. Gravani,

    E-Print Network [OSTI]

    Stuart, Steven J.

    Written and compiled by: Anusuya Rangarajan, Elizabeth A. Bihn, Robert B. Gravani, Donna L. Scott and Vegetables A Grower's Guide #12;FOOD SAFETY BEGINS ON THE FARM: A GROWER'S GUIDE 1 Written and compiled by

  14. Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages 

    E-Print Network [OSTI]

    Lindley, Sam

    This thesis presents a critical analysis of normalisation by evaluation as a technique for speeding up compilation of typed functional programming languages. Our investigation focuses on the SML.NET compiler and its typed ...

  15. Metrics Are Fitness Functions Too Mark Harman John Clark

    E-Print Network [OSTI]

    Singer, Jeremy

    that there is an alternative, complementary, view of a metric: as a fitness function, used to guide a search for optimal' (MAFF) approach offers a number of additional benefits to metrics research and practice because systems. It describes the properties of a metric which make it a good fitness function and explains

  16. Gauge - invariant fluctuations of the metric in stochastic inflation

    E-Print Network [OSTI]

    Mauricio Bellini

    2000-01-07

    I derive the stochastic equation for the perturbations of the metric for a gauge - invariant energy - momemtum - tensor (EMT) in stochastic inflation. A quantization for the field that describes the gauge - invariant perturbations for the metric is developed. In a power - law expansion for the universe the amplitude for these perturbations on a background metric could be very important in the infrared sector.

  17. Complex geometry and pre-metric electromagnetism

    E-Print Network [OSTI]

    D. H. Delphenich

    2004-12-10

    The intimate link between complex geometry and the problem of the pre-metric formulation of electromagnetism is explored. In particular, the relationship between 3+1 decompositions of R4 and the decompositions of the vector space of bivectors over R4 into real and imaginary subspaces relative to a choice of complex structure is emphasized. The role of the various scalar products on the space of bivectors that are defined in terms of a volume element on R4 and a complex structure on the space of bivectors that makes it C-linear isomorphic to C3 is discussed in the context of formulation of a theory of electromagnetism in which the Lorentzian metric on spacetime follows as a consequence of the existence of electromagnetic waves, not a prior assumption.

  18. Network Community Detection on Metric Space

    E-Print Network [OSTI]

    Saha, Suman

    2015-01-01

    Community detection in a complex network is an important problem of much interest in recent years. In general, a community detection algorithm chooses an objective function and captures the communities of the network by optimizing the objective function, and then, one uses various heuristics to solve the optimization problem to extract the interesting communities for the user. In this article, we demonstrate the procedure to transform a graph into points of a metric space and develop the methods of community detection with the help of a metric defined for a pair of points. We have also studied and analyzed the community structure of the network therein. The results obtained with our approach are very competitive with most of the well-known algorithms in the literature, and this is justified over the large collection of datasets. On the other hand, it can be observed that time taken by our algorithm is quite less compared to other methods and justifies the theoretical findings.

  19. Quantum metric fluctuations and Hawking radiation

    E-Print Network [OSTI]

    R. Parentani

    2000-09-05

    In this Letter we study the gravitational interactions between outgoing configurations giving rise to Hawking radiation and in-falling configurations. When the latter are in their ground state, the near horizon interactions lead to collective effects which express themselves as metric fluctuations and which induce dissipation, as in Brownian motion. This dissipation prevents the appearance of trans-Planckian frequencies and leads to a description of Hawking radiation which is very similar to that obtained from sound propagation in condensed matter models.

  20. Smart Grid Status and Metrics Report

    SciTech Connect (OSTI)

    Balducci, Patrick J.; Weimar, Mark R.; Kirkham, Harold

    2014-07-01

    To convey progress made in achieving the vision of a smart grid, this report uses a set of six characteristics derived from the National Energy Technology Laboratory Modern Grid Strategy. It measures 21 metrics to provide insight into the grid’s capacity to embody these characteristics. This report looks across a spectrum of smart grid concerns to measure the status of smart grid deployment and impacts.

  1. Compiler-Directed File Layout Optimization for Hierarchical Storage Systems

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Ding, Wei; Zhang, Yuanrui; Kandemir, Mahmut; Son, Seung Woo

    2013-01-01

    File layout of array data is a critical factor that effects the behavior of storage caches, and has so far taken not much attention in the context of hierarchical storage systems. The main contribution of this paper is a compiler-driven file layout optimization scheme for hierarchical storage caches. This approach, fully automated within an optimizing compiler, analyzes a multi-threaded application code and determines a file layout for each disk-resident array referenced by the code, such that the performance of the target storage cache hierarchy is maximized. We tested our approach using 16 I/O intensive application programs and compared its performancemore »against two previously proposed approaches under different cache space management schemes. Our experimental results show that the proposed approach improves the execution time of these parallel applications by 23.7% on average.« less

  2. High-Level Information An Approach for Integrating Front-End and Back-End Compilers

    E-Print Network [OSTI]

    Li, Zhiyuan

    High-Level Information ­ An Approach for Integrating Front-End and Back-End Compilers Sangyeun Cho-end and back-end compilers by passing front-end information to the back-end compiler. Importing this information into an existing back- end leverages the state-of-the-art analysis and transforma- tion

  3. Compiler Assisted Elliptic Curve Cryptography M. Barbosa 1 , A. Moss 2 and D. Page 2

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Compiler Assisted Elliptic Curve Cryptography M. Barbosa 1 , A. Moss 2 and D. Page 2 1 Departamento and compilation techniques for cryptographic software, focusing on ECC in particular. Specifically, we describe and optimisation of ECC point arithmetic using a cryptography­aware lan­ guage and compiler. Our main results show

  4. On Security Models and Compilers for Group Key Exchange Protocols (Full version)

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    On Security Models and Compilers for Group Key Exchange Protocols (Full version) Emmanuel Bresson1-known generic solutions (compilers) for AKE- and MA-security of GKE pro- tocols proposed based compiler which provides AKE- and MA-security for any GKE protocol, under standard cryptographic assumptions

  5. Hardware JIT compilation for off-the-shelf dynamically reconfigurable FPGAs

    E-Print Network [OSTI]

    Feeley, Marc

    Hardware JIT compilation for off-the-shelf dynamically reconfigurable FPGAs Etienne Bergeron, Marc Montr´eal GRM, ´Ecole Polytechnique de Montr´eal Abstract. JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler

  6. Development of Large Scale High Performance Applications with a Parallelizing Compiler

    E-Print Network [OSTI]

    Vlad, Gregorio

    Development of Large Scale High Performance Applications with a Parallelizing Compiler B. DI parallel computations, and lack of robustness of parallelizing HPF compilers in handling large sized codes directives, into explicitly parallel code, by means of parallelizing compilers. This method is not only

  7. Accelerator Compiler for the VENICE Vector Processor zhiduol@ece.ubc.ca

    E-Print Network [OSTI]

    Cortes, Corinna

    Accelerator Compiler for the VENICE Vector Processor Zhiduo Liu zhiduol@ece.ubc.ca Dept. of ECE@ece.ubc.ca Dept. of ECE, UBC Vancouver, Canada ABSTRACT This paper describes the compiler design for VENICE, a new soft vector processor (SVP). The compiler is a new back-end target for Microsoft Accelerator, a high

  8. Scalable Compilers for Group Key Establishment : Two/Three Party to Group

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Scalable Compilers for Group Key Establishment : Two/Three Party to Group S. Sree Vivek1, , S presents the first scalable, efficient and generic compilers to construct group key exchange (GKE) protocols from two/three party key exchange (2-KE/3-KE) protocols. We propose three different compilers

  9. PARALLEL COMPILATION OF CMS SOFTWARE Shaun Ashby, Giulio Eulisse, Lassi A. Tuura (CERN, Geneva, Switzerland)

    E-Print Network [OSTI]

    PARALLEL COMPILATION OF CMS SOFTWARE Shaun Ashby, Giulio Eulisse, Lassi A. Tuura (CERN, Geneva distributed compilation using spare cycles of available machines (running GNU/Linux). This document is organized as follows: In this introduc- tory part we first describe the "classic" compilation process

  10. Scalable Compilers for Group Key Establishment : Two/Three Party to Group

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Scalable Compilers for Group Key Establishment : Two/Three Party to Group S. Sree Vivek 1,# , S presents the first scalable, e#cient and generic compilers to construct group key exchange (GKE) protocols from two/three party key exchange (2­KE/3­KE) protocols. We propose three di#erent compilers where

  11. c Copyright by Richard Eugene Hank, 1996 REGION-BASED COMPILATION

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    c Copyright by Richard Eugene Hank, 1996 #12;REGION-BASED COMPILATION BY RICHARD EUGENE HANK B of the University of Illinois at Urbana-Champaign, 1996 Urbana, Illinois #12;REGION-BASED COMPILATION Richard Eugene to fully utilize high issue-rate processors has forced the compiler to perform more aggressive analysis

  12. Generic Compilers for Authenticated Key Exchange Tibor Jager Florian Kohlar Sven Schage Jorg Schwenk

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Generic Compilers for Authenticated Key Exchange Tibor Jager Florian Kohlar Sven Sch¨age J efficient attacks on the na¨ive combination of these protocols. In this paper, we propose new compilers challenge(s) exchanged during authentication. Keywords: authenticated key agreement, protocol compiler, TLS

  13. Efficient Compilers for Authenticated Group Key Qiang Tang and Chris J. Mitchell

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Efficient Compilers for Authenticated Group Key Exchange Qiang Tang and Chris J. Mitchell.tang,c.mitchell}@rhul.ac.uk 10th October, 2005 Abstract In this paper we propose two compilers which are designed to transform, or malicious insider. We show that the first proposed compiler gives protocols that are more ef- ficient than

  14. E#cient Compilers for Authenticated Group Key Qiang Tang and Chris J. Mitchell

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    E#cient Compilers for Authenticated Group Key Exchange Qiang Tang and Chris J. Mitchell Information.tang,c.mitchell}@rhul.ac.uk 10th October, 2005 Abstract In this paper we propose two compilers which are designed to transform, or malicious insider. We show that the first proposed compiler gives protocols that are more ef­ ficient than

  15. P&T Dossier Compilation Best Practices: Read departments Role and Scope. Attend appropriate training.

    E-Print Network [OSTI]

    Maxwell, Bruce D.

    P&T Dossier Compilation Best Practices: Read departments Role and Scope. Attend appropriate. Adobe Acrobat Pro is a good tool to use when compiling your dossier. It has many features to assist the web. 4. When you choose an Option for compiling your dossier, follow it through the entire dossier. 5

  16. Which Set of Bridging Faults Should Test Compilers Target ? 1 Sreejit Chakravarty Paul J. Thadikaran

    E-Print Network [OSTI]

    Krovi, Venkat

    Which Set of Bridging Faults Should Test Compilers Target ? 1 Sreejit Chakravarty Paul J ( SUBMITTED TO IEEE INTERNATIONAL TEST CONFERENCE, 1996 ) ABSTRACT Existing test compilers target stuck ``layout analysis''. We argue that this is not a feasible option for test compilers thereby making a case

  17. Safety of Compilers and Translation Techniques -Status quo of Technology and Science

    E-Print Network [OSTI]

    Hofstedt, Petra

    Safety of Compilers and Translation Techniques - Status quo of Technology and Science Stephan Frank-alexander.schneider@bmw.de Abstract The paper investigates the status quo of technology and science for compiler safety methods. We consider specific requirements for compilers and generators for automotive applications and discuss

  18. Compilation Order Matters Keith D. Cooper, Timothy J. Harvey, Devika Subramanian, and Linda Torczon

    E-Print Network [OSTI]

    Subramanian, Devika

    Compilation Order Matters Keith D. Cooper, Timothy J. Harvey, Devika Subramanian, and Linda Torczon Department of Computer Science Rice University Houston, TX, USA ABSTRACT At design time, the compiler writer on the quality of code that the compiler can generate. They also determine, to a great extent, the set

  19. Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler

    E-Print Network [OSTI]

    Way, Thomas

    Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler Tom Way, USA email: ¡ way,pollock¢ @cis.udel.edu ABSTRACT An ILP optimizing compiler using a region optimization and schedul- ing opportunities. Regions provide the compiler with better control of the unit

  20. Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    Region-Based Compilation: An Introduction and Motivation Richard E. Hank Wen-mei W. Hwu Center increases, compilers must perform increasingly more aggressive anal- ysis, optimization, paralleli.zation and scheduling on the input programs. Traditionally, compilers have been built assuming functions as the unit

  1. Parallelizing Compiler Framework and API for Power Reduction and Software Productivity of

    E-Print Network [OSTI]

    Kasahara, Hironori

    Parallelizing Compiler Framework and API for Power Reduction and Software Productivity of Real, this paper proposes a compilation framework which bridges a gap between programmers and heterogeneous multicores. In particular, this paper describes the compilation framework based on OSCAR com- piler

  2. A Compilation of New and Published Major and Trace Element Data for NIST SRM 610

    E-Print Network [OSTI]

    A Compilation of New and Published Major and Trace Element Data for NIST SRM 610 and NIST SRM 612. NIST however, only certifies up to eight elements in these glasses. Here we have compiled concentration laboratories. Compilations are presented for the matrix composition of these glasses and for fifty eight trace

  3. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on -Protocols (Full Version) Jos present a comprehensive spec- ification language and a certifying compiler for ZK-PoK protocols based on -protocols and composition techniques known in literature. The compiler allows the fully automatic

  4. Topological quantum compiling L. Hormozi, G. Zikos, and N. E. Bonesteel

    E-Print Network [OSTI]

    Bonesteel, Nicholas E.

    Topological quantum compiling L. Hormozi, G. Zikos, and N. E. Bonesteel Department of Physics 2006; published 11 April 2007 A method for compiling quantum algorithms into specific braiding patterns then be efficiently compiled and improved to any required accuracy using the Solovay-Kitaev algorithm. DOI: 10

  5. Multi-platform Automatic Parallelization and Power Reduction by OSCAR Compiler

    E-Print Network [OSTI]

    Kasahara, Hironori

    Multi-platform Automatic Parallelization and Power Reduction by OSCAR Compiler Hironori Kasahara-performance and software productivity and reduce power OSCAR Parallelizing Compiler Multigrain Parallelization coarse Reduction Reduction of consumed power by compiler control DVFS and Power gating with hardware supports. 1 23

  6. AUTOMATIC COMPILING OF HYPSOMETRIC MAP OF A PART OF THE VENUSIAN SURFACE. E.N. Lasarev

    E-Print Network [OSTI]

    Rodionova, Zhanna F.

    AUTOMATIC COMPILING OF HYPSOMETRIC MAP OF A PART OF THE VENUSIAN SURFACE. E.N. Lasarev 1 , J. F" spacecraft has been used for compiling the Hypsometric map for Ishtar Terra region [1, 2, 3]. The main principles applied in compiling the map such as the scale of the heights, types of prints and using

  7. FFT Compiler Techniques Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber, and

    E-Print Network [OSTI]

    Franchetti, Franz

    FFT Compiler Techniques Stefan Kral, Franz Franchetti, Juergen Lorenz, Christoph W. Ueberhuber://www.math.tuwien.ac.at/ascot Abstract. This paper presents compiler technology that targets gen- eral purpose microprocessors augmented implemented on the new processors of the BlueGene/L su- percomputer. The paper introduces a special compiler

  8. C Compiler Targeting the Java Virtual Machine Senior Honors Thesis (Advisor: Javed A. Aslam)

    E-Print Network [OSTI]

    C Compiler Targeting the Java Virtual Machine Jack Pien Senior Honors Thesis (Advisor: Javed A to compile once and execute across many different platforms. With the emergence of the Internet by Sun Microsystems to address this "Write Once, Run Anywhere" problem. What sets a compiled Java program

  9. COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING AN

    E-Print Network [OSTI]

    US Army Corps of Engineers

    COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING;#12;COMPILATION AND REVIEW OF COMPLETED RESTORATION AND MITIGATION STUDIES IN DEVELOPING AN EVALUATION FRAMEWORK-R-5 Investments Research Program April 1995 #12;#12;Compilation and Review of Completed

  10. True Separate Compilation of Java Classes Davide Ancona, Giovanni Lagorio, and Elena Zucca ?

    E-Print Network [OSTI]

    Robbiano, Lorenzo

    True Separate Compilation of Java Classes Davide Ancona, Giovanni Lagorio, and Elena Zucca ? DISI,lagorio,zuccag@disi.unige.it Abstract. We de#12;ne a type system modeling true separate compilation for a small but signi#12;cant Java's terminology) and compiled providing a minimal set of type requirements on missing classes. These requirements

  11. IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference

    E-Print Network [OSTI]

    Hickman, Mark

    IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference SC09-8013-00 #12;#12;IBM XL C/C++ Advanced Edition V8.0 for Linux Compiler Reference SC09-8013-00 #12;Note! Before using this information comments . . . . . . . . xiii Chapter 1. Configuring the compiler . . 1 Setting environment variables

  12. Compilation of Expenditures for the Hawai`i Gateway Energy Center

    E-Print Network [OSTI]

    Compilation of Expenditures for the Hawai`i Gateway Energy Center Prepared for the U.S. Department;Compilation of Expenditures for the Hawai`i Gateway Energy Center 1.0 Introduction As part of the Hawai will be located more closely to the park activities. 3.0 Cost Summary The following is a compilation of the costs

  13. Parallelizing Compilation Scheme for Reduction of Power Consumption of Chip Multiprocessors

    E-Print Network [OSTI]

    Kasahara, Hironori

    Parallelizing Compilation Scheme for Reduction of Power Consumption of Chip Multiprocessors Jun compilers for chip multi- processors are expected that allow us to parallelize program effectively. This paper proposes paralleliz- ing compilation scheme with power reduction control under the multi- grain

  14. Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr

    E-Print Network [OSTI]

    Regehr, John

    Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr University of Utah, School of Computing { jxyang, chenyang, eeide, regehr }@cs.utah.edu Abstract Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test

  15. X-ray reprocessing in Narrow-Line Seyfert 1 Galaxies: Ton S180 and Ark 564

    E-Print Network [OSTI]

    A. Janiuk; P. T. Zycki; B. Czerny

    2000-05-08

    We present the results of spectral analysis of the ASCA data for the Narrow-Line Seyfert 1 galaxy (NLS1) Ton S180 and simultaneous ASCA and RXTE data modelling for the NLS1 Ark 564. We model both the primary and reflected continuum as well as the iron K alpha line, the energy of which depends on the ionization state of the reprocessor. We show that the reprocessing matter is mildly ionized, and we find the soft to hard luminosity ratio to be about 2.5. The accretion rate approximately corresponds to the Eddington limit value.

  16. Linearization of Moffat's Symmetric Complex Metric Gravity

    E-Print Network [OSTI]

    Joakim Munkhammar

    2009-09-19

    In this paper we investigate a complex symmetric generalization of general relativity and in particular we investigate its linearized field equations. We begin by reviewing some basic definitions and structures in Moffat's symmetric complex metric field theory of gravity. We then move on to derive the linearized retarded complex field equations. In addition to this we also derive a linearization of Moffat's field equations based on the more rigorous Fermi coordinate approach. In conclusion it is shown that the linearized symmetric complex field equations leads to a complex form of gravitomagnetism. We also briefly review the gravitational wave equation from the source less linearized symmetric complex field equations and discuss some open problems.

  17. Metrics For Comparing Plasma Mass Filters

    SciTech Connect (OSTI)

    Abraham J. Fetterman and Nathaniel J. Fisch

    2012-08-15

    High-throughput mass separation of nuclear waste may be useful for optimal storage, disposal, or environmental remediation. The most dangerous part of nuclear waste is the fission product, which produces most of the heat and medium-term radiation. Plasmas are well-suited to separating nuclear waste because they can separate many different species in a single step. A number of plasma devices have been designed for such mass separation, but there has been no standardized comparison between these devices. We define a standard metric, the separative power per unit volume, and derive it for three different plasma mass filters: the plasma centrifuge, Ohkawa filter, and the magnetic centrifugal mass filter. __________________________________________________

  18. Metrics for comparing plasma mass filters

    SciTech Connect (OSTI)

    Fetterman, Abraham J.; Fisch, Nathaniel J.

    2011-10-15

    High-throughput mass separation of nuclear waste may be useful for optimal storage, disposal, or environmental remediation. The most dangerous part of nuclear waste is the fission product, which produces most of the heat and medium-term radiation. Plasmas are well-suited to separating nuclear waste because they can separate many different species in a single step. A number of plasma devices have been designed for such mass separation, but there has been no standardized comparison between these devices. We define a standard metric, the separative power per unit volume, and derive it for three different plasma mass filters: the plasma centrifuge, Ohkawa filter, and the magnetic centrifugal mass filter.

  19. FY 2013 Metric Summary | Department of Energy

    Broader source: Energy.gov (indexed) [DOE]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantity of Natural GasAdjustmentsShirleyEnergy A plug-inPPLforLDRD Report to Congress MoreHyd rog en Tan41FY 2013 Q1 Metric

  20. Clean Cities 2013 Annual Metrics Report

    Alternative Fuels and Advanced Vehicles Data Center [Office of Energy Efficiency and Renewable Energy (EERE)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels Data Center Home PageBlender PumpVehiclesThe Heat Is onis3 Annual Metrics Report

  1. Clean Cities 2014 Annual Metrics Report

    Alternative Fuels and Advanced Vehicles Data Center [Office of Energy Efficiency and Renewable Energy (EERE)]

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative Fuels Data Center Home PageBlender PumpVehiclesThe Heat Is onis3 Annual Metrics4

  2. Compiling and Linking FAQ | Argonne Leadership Computing Facility

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would like submit the following commentsMethods for Estimating:I Overview of How to Compile and

  3. Compiling RES Legislation for Kazakhstan | Open Energy Information

    Open Energy Info (EERE)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on QA:QA J-E-1 SECTION J APPENDIX E LISTStar EnergyLawler,Coal TechnologiesClioCommunityLtd JumpAntasCompareCompiling RES

  4. Intel C++ compiler error: stl_iterator_base_types.h

    Broader source: All U.S. Department of Energy (DOE) Office Webpages (Extended Search)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Homesum_a_epg0_fpd_mmcf_m.xls" ,"Available from WebQuantityBonneville Power Administration would likeUniverseIMPACT EVALUATION PLANIs gravity aOverviewISMscientistJanuary 2014C++ compiler

  5. 2014 Wind Program Peer Review Compiled Presentations | Department of Energy

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative Fuels Data Center Home Page on Google Bookmark EERE: Alternative Fuels Data Center Home Page on Delicious Rank EERE: Alternative FuelsofProgram:Y-12 Beta-3 Racetracks2 DOEEnergyEnergy SoftWasteCompiled

  6. Superradiance on the Reissner-Nordstrom metric

    E-Print Network [OSTI]

    Laurent Di Menza; Jean-Philippe Nicolas

    2015-06-22

    In this article, we study the superradiance of charged scalar fields on the sub-extremal Reissner-Nordstrom metric, a mechanism by which such fields can extract energy from a static spherically symmetric charged black hole. A geometrical way of measuring the amount of energy extracted is proposed. Then we investigate the question numerically. The toy-model and the numerical methods used in our simulations are presented and the problem of long time measurement of the outgoing energy flux is discussed. We provide a numerical example of a field exhibiting a behaviour analogous to the Penrose process: an incoming wave packet which splits, as it approaches the black hole, into an incoming part with negative energy and an outgoing part with more energy than the initial incoming one. We also show another type of superradiant solution for which the energy extraction is more important. Hyperradiant behaviour is not observed, which is an indication that the Reissner-Nordstrom metric is linearly stable in the sub-extremal case.

  7. Measurable Control System Security through Ideal Driven Technical Metrics

    SciTech Connect (OSTI)

    Miles McQueen; Wayne Boyer; Sean McBride; Marie Farrar; Zachary Tudor

    2008-01-01

    The Department of Homeland Security National Cyber Security Division supported development of a small set of security ideals as a framework to establish measurable control systems security. Based on these ideals, a draft set of proposed technical metrics was developed to allow control systems owner-operators to track improvements or degradations in their individual control systems security posture. The technical metrics development effort included review and evaluation of over thirty metrics-related documents. On the bases of complexity, ambiguity, or misleading and distorting effects the metrics identified during the reviews were determined to be weaker than necessary to aid defense against the myriad threats posed by cyber-terrorism to human safety, as well as to economic prosperity. Using the results of our metrics review and the set of security ideals as a starting point for metrics development, we identified thirteen potential technical metrics - with at least one metric supporting each ideal. Two case study applications of the ideals and thirteen metrics to control systems were then performed to establish potential difficulties in applying both the ideals and the metrics. The case studies resulted in no changes to the ideals, and only a few deletions and refinements to the thirteen potential metrics. This led to a final proposed set of ten core technical metrics. To further validate the security ideals, the modifications made to the original thirteen potential metrics, and the final proposed set of ten core metrics, seven separate control systems security assessments performed over the past three years were reviewed for findings and recommended mitigations. These findings and mitigations were then mapped to the security ideals and metrics to assess gaps in their coverage. The mappings indicated that there are no gaps in the security ideals and that the ten core technical metrics provide significant coverage of standard security issues with 87% coverage. Based on the two case studies and evaluation of the seven assessments, the security ideals demonstrated their value in guiding security thinking. Further, the final set of core technical metrics has been demonstrated to be both usable in the control system environment and provide significant coverage of standard security issues.

  8. On the Hamilton approach to the metric GR

    E-Print Network [OSTI]

    Frolov, Alexei M

    2015-01-01

    Basic principles of the Hamilton approach developed for the metric General Relativity (Einstein`s GR) are discussed. In particular, we derive the Hamiltonian of the metric GR in the explicit form. This Hamiltonian is a quadratic function of the momenta $\\pi^{mn}$ conjugate to the spatial components $g_{mn}$ of the metric tensor $g_{\\alpha\\beta}$. The Hamilton approach is used to analyze some problems of metric GR, including the internal structure of propagating gravitational waves and quantization of the metric GR. We also derive the Schr\\"{o}dinger equation for the free Gravitational field and show that actual gravitational field cannot propagate as pure harmonic oscillations, or harmonic gravitational waves. A number of inequalities useful in the metric GR are derived.

  9. Warm inflation and scalar perturbations of the metric

    E-Print Network [OSTI]

    Mauricio Bellini

    2001-01-16

    A second-order expansion for the quantum fluctuations of the matter field was considered in the framework of the warm inflation scenario. The friction and Hubble parameters were expended by means of a semiclassical approach. The fluctuations of the Hubble parameter generates fluctuations of the metric. These metric fluctuations produce an effective term of curvature. The power spectrum for the metric fluctuations can be calculated on the infrared sector.

  10. National Energy Strategy: A compilation of public comments; Interim Report

    SciTech Connect (OSTI)

    Not Available

    1990-04-01

    This Report presents a compilation of what the American people themselves had to say about problems, prospects, and preferences in energy. The Report draws on the National Energy Strategy public hearing record and accompanying documents. In all, 379 witnesses appeared at the hearings to exchange views with the Secretary, Deputy Secretary, and Deputy Under Secretary of Energy, and Cabinet officers of other Federal agencies. Written submissions came from more than 1,000 individuals and organizations. Transcripts of the oral testimony and question-and-answer (Q-and-A) sessions, as well as prepared statements submitted for the record and all other written submissions, form the basis for this compilation. Citations of these sources in this document use a system of identifying symbols explained below and in the accompanying box. The Report is organized into four general subject areas concerning: (1) efficiency in energy use, (2) the various forms of energy supply, (3) energy and the environment, and (4) the underlying foundations of science, education, and technology transfer. Each of these, in turn, is subdivided into sections addressing specific topics --- such as (in the case of energy efficiency) energy use in the transportation, residential, commercial, and industrial sectors, respectively. 416 refs., 44 figs., 5 tabs.

  11. On isotropic metric of Schwarzschild solution of Einstein equation

    E-Print Network [OSTI]

    T. Mei

    2006-10-24

    The known static isotropic metric of Schwarzschild solution of Einstein equation cannot cover with the range of r<2MG, a new isotropic metric of Schwarzschild solution is obtained. The new isotropic metric has the characters: (1) It is dynamic and periodic. (2) It has infinite singularities of the spacetime. (3) It cannot cover with the range of 0metric.

  12. Conceptual Framework for Developing Resilience Metrics for the...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Conceptual Framework for Developing Resilience Metrics for the Electricity, Oil, and Gas Sectors in the United States (September 2014) Conceptual Framework for Developing...

  13. Resilient Control Systems Practical Metrics Basis for Defining Mission Impact

    SciTech Connect (OSTI)

    Craig G. Rieger

    2014-08-01

    "Resilience” describes how systems operate at an acceptable level of normalcy despite disturbances or threats. In this paper we first consider the cognitive, cyber-physical interdependencies inherent in critical infrastructure systems and how resilience differs from reliability to mitigate these risks. Terminology and metrics basis are provided to integrate the cognitive, cyber-physical aspects that should be considered when defining solutions for resilience. A practical approach is taken to roll this metrics basis up to system integrity and business case metrics that establish “proper operation” and “impact.” A notional chemical processing plant is the use case for demonstrating how the system integrity metrics can be applied to establish performance, and

  14. Stable determination of generic simple metrics from the hyperbolic ...

    E-Print Network [OSTI]

    problem of recovering such metrics from the Dirichlet-to-Neumann map associated ..... Using a partition of unity, one can extend ' in a small neighborhood of @?.

  15. Integration of Sustainability Metrics into Design Cases and State...

    Office of Energy Efficiency and Renewable Energy (EERE) Indexed Site

    Conversion Stage Life Cycle Inventory * Fossil GHGs * Fossil Energy Use * Fuel Yield * Carbon-to-Fuel Efficiency * Water Consumption * Wastewater Generation Sustainability Metrics...

  16. Non-perturbative scalar gauge-invariant metric fluctuations from the Ponce de Leon metric in the STM theory of gravity

    E-Print Network [OSTI]

    Mariano Anabitarte; Mauricio Bellini

    2008-02-20

    We study our non-perturbative formalism to describe scalar gauge-invariant metric fluctuations by extending the Ponce de Leon metric.

  17. Taking out 1 billion tons of CO2: The magic of China's 11th Five-Year Plan?

    SciTech Connect (OSTI)

    Zhou, Nan; Lin, Jiang; Zhou, Nan; Levine, Mark; Fridley, David

    2007-07-01

    China's 11th Five-Year Plan (FYP) sets an ambitious target for energy-efficiency improvement: energy intensity of the country's gross domestic product (GDP) should be reduced by 20% from 2005 to 2010 (NDRC, 2006). This is the first time that a quantitative and binding target has been set for energy efficiency, and signals a major shift in China's strategic thinking about its long-term economic and energy development. The 20% energy intensity target also translates into an annual reduction of over 1.5 billion tons of CO2 by 2010, making the Chinese effort one of most significant carbon mitigation effort in the world today. While it is still too early to tell whether China will achieve this target, this paper attempts to understand the trend in energy intensity in China and to explore a variety of options toward meeting the 20% target using a detailed end-use energy model.

  18. Clean Cities 2013 Annual Metrics Report

    SciTech Connect (OSTI)

    Johnson, C.; Singer, M.

    2014-10-01

    Each year, the U.S. Department of Energy asks its Clean Cities program coordinators to submit annual reports of their activities and accomplishments for the previous calendar year. Data and information are submitted via an online database that is maintained as part of the Alternative Fuels Data Center (AFDC) at the National Renewable Energy Laboratory (NREL). Coordinators submit a range of data that characterize the membership, funding, projects, and activities of their coalitions. They also submit data about sales of alternative fuels, deployment of alternative fuel vehicles (AFVs) and hybrid electric vehicles (HEVs), idle-reduction (IR) initiatives, fuel economy activities, and programs to reduce vehicle miles traveled (VMT). NREL analyzes the data and translates them into petroleum-use reduction impacts, which are summarized in this 2013 Annual Metrics Report.

  19. Bi-metric Gravity and "Dark Matter"

    E-Print Network [OSTI]

    I. T. Drummond

    2000-08-18

    We present a bi-metric theory of gravity containing a length scale of galactic size. For distances less than this scale the theory satisfies the standard tests of General Relativity. For distances greater than this scale the theory yields an effective gravitational constant much larger than the locally observed value of Newton's constant. The transition from one regime to the other through the galactic scale can explain the observed rotation curves of galaxies and hence the effects normally attributed to the presence of dark matter. Phenomena on an extragalactic scale such as galactic clusters and the expansion of the universe are controlled by the enhanced gravitational coupling. This provides an explanation of the missing matter normally invoked to account for the observed value of Hubble's constant in relation to observed matter.

  20. Methods and results for stress analyses on 14-ton, thin-wall depleted UF{sub 6} cylinders

    SciTech Connect (OSTI)

    Kirkpatrick, J.R.; Chung, C.K.; Frazier, J.L.; Kelley, D.K.

    1996-10-01

    Uranium enrichment operations at the three US gaseous diffusion plants produce depleted uranium hexafluoride (DUF{sub 6}) as a residential product. At the present time, the inventory of DUF{sub 6} in this country is more than half a million tons. The inventory of DUF{sub 6} is contained in metal storage cylinders, most of which are located at the gaseous diffusion plants. The principal objective of the project is to ensure the integrity of the cylinders to prevent causing an environmental hazard by releasing the contents of the cylinders into the atmosphere. Another objective is to maintain the cylinders in such a manner that the DUF{sub 6} may eventually be converted to a less hazardous material for final disposition. An important task in the DUF{sub 6} cylinders management project is determining how much corrosion of the walls can be tolerated before the cylinders are in danger of being damaged during routine handling and shipping operations. Another task is determining how to handle cylinders that have already been damaged in a manner that will minimize the chance that a breach will occur or that the size of an existing breach will be significantly increased. A number of finite element stress analysis (FESA) calculations have been done to analyze the stresses for three conditions: (1) while the cylinder is being lifted, (2) when a cylinder is resting on two cylinders under it in the customary two-tier stacking array, and (3) when a cylinder is resting on tis chocks on the ground. Various documents describe some of the results and discuss some of the methods whereby they have been obtained. The objective of the present report is to document as many of the FESA cases done at Oak Ridge for 14-ton thin-wall cylinders as possible, giving results and a description of the calculations in some detail.

  1. Facts and Figures Compiled 21.1.2015 12:15:09 by Document Globe 1

    E-Print Network [OSTI]

    Cerveny, Vlastislav

    Facts and Figures Compiled 21.1.2015 12:15:09 by Document Globe ® 1 Erasmus Programme · Ratio as a whole, the ratio for the entire University is approximately 1:1. #12;Compiled 21.1.2015 12/Erasmus programme is shown in this graph: #12;Compiled 21.1.2015 12:15:09 by Document Globe ® 3 Destination

  2. RFI Released to Compile Teaming Partner List for Upcoming BENEFIT FOA

    Broader source: Energy.gov [DOE]

    Energy Efficiency and Renewable Energy (EERE) is compiling a Teaming Partner List to facilitate the formation of new project teams for the anticipated Buildings Energy Efficiency Frontiers &...

  3. COMPILATION OF LABORATORY SCALE ALUMINUM WASH AND LEACH REPORT RESULTS

    SciTech Connect (OSTI)

    HARRINGTON SJ

    2011-01-06

    This report compiles and analyzes all known wash and caustic leach laboratory studies. As further data is produced, this report will be updated. Included are aluminum mineralogical analysis results as well as a summation of the wash and leach procedures and results. Of the 177 underground storage tanks at Hanford, information was only available for five individual double-shell tanks, forty-one individual single-shell tanks (e.g. thirty-nine 100 series and two 200 series tanks), and twelve grouped tank wastes. Seven of the individual single-shell tank studies provided data for the percent of aluminum removal as a function of time for various caustic concentrations and leaching temperatures. It was determined that in most cases increased leaching temperature, caustic concentration, and leaching time leads to increased dissolution of leachable aluminum solids.

  4. Compiler-Enhanced Incremental Checkpointing for OpenMP Applications

    SciTech Connect (OSTI)

    Bronevetsky, G; Marques, D; Pingali, K; McKee, S; Rugina, R

    2009-02-18

    As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety of causes. Checkpointing is a popular technique for tolerating such failures, enabling applications to periodically save their state and restart computation after a failure. Although a variety of automated system-level checkpointing solutions are currently available to HPC users, manual application-level checkpointing remains more popular due to its superior performance. This paper improves performance of automated checkpointing via a compiler analysis for incremental checkpointing. This analysis, which works with both sequential and OpenMP applications, significantly reduces checkpoint sizes and enables asynchronous checkpointing.

  5. Compiler-Enhanced Incremental Checkpointing for OpenMP Applications

    SciTech Connect (OSTI)

    Bronevetsky, G; Marques, D; Pingali, K; Rugina, R; McKee, S A

    2008-01-21

    As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety of causes. Checkpointing is a popular technique for tolerating such failures, enabling applications to periodically save their state and restart computation after a failure. Although a variety of automated system-level checkpointing solutions are currently available to HPC users, manual application-level checkpointing remains more popular due to its superior performance. This paper improves performance of automated checkpointing via a compiler analysis for incremental checkpointing. This analysis, which works with both sequential and OpenMP applications, reduces checkpoint sizes by as much as 80% and enables asynchronous checkpointing.

  6. Table 1. 2013 Summary Statistics

    U.S. Energy Information Administration (EIA) Indexed Site

    tons)", "Sulfur dioxide (short tons)",3978753 "Nitrogen oxide (short tons)",2411564 "Carbon dioxide (thousand metric tons)",2172355 "Sulfur dioxide (lbsMWh)",2 "Nitrogen oxide...

  7. A Content Propagation Metric for Efficient Content Distribution

    E-Print Network [OSTI]

    Keinan, Alon

    A Content Propagation Metric for Efficient Content Distribution Ryan S. Peterson Cornell University@cs.cornell.edu ABSTRACT Efficient content distribution in large networks comprising data- centers, end hosts, and distributed in-network caches is a diffi- cult problem. Existing systems rely on mechanisms and metrics

  8. Metrics for Evaluating Conventional and Renewable Energy Technologies (Presentation)

    SciTech Connect (OSTI)

    Mann, M. K.

    2013-01-01

    With numerous options for the future of natural gas, how do we know we're going down the right path? How do we designate a metric to measure and demonstrate change and progress, and how does that metric incorporate all stakeholders and scenarios?

  9. Primordial fluctuations of the metric in the warm inflation scenario

    E-Print Network [OSTI]

    Mauricio Bellini

    2000-05-16

    I consider a semiclassical expansion of the scalar field in the warm inflation scenario. I study the evolution for the fluctuations of the metric around the Friedmann-Robertson-Walker one. The formalism predicts that, in the power-law expansion universe, the fluctuations of the metric decreases with time.

  10. Self-benchmarking Guide for Data Centers: Metrics, Benchmarks, Actions

    E-Print Network [OSTI]

    LBNL-3393E Self-benchmarking Guide for Data Centers: Metrics, Benchmarks, Actions Paul Mathew (CEC), and by the U.S. Department of Energy, under Contract No. DE-AC02- 05CH11231. #12;Data Center ........................................................................................................3 3. Overall Data Center Performance Metrics

  11. A Primer on Hardware Security: Models, Methods, and Metrics

    E-Print Network [OSTI]

    INVITED P A P E R A Primer on Hardware Security: Models, Methods, and Metrics The paper is a primer on hardware security threat models, metrics, and remedies. By Masoud Rostami, Farinaz Koushanfar, and Ramesh) production supply chain has intro- duced hardware-based vulnerabilities. Existing literature in hardware

  12. PRIMARY RESEARCH PAPER Summer stream temperature metrics for predicting brook

    E-Print Network [OSTI]

    Vermont, University of

    -012-1336-1 #12;affected by warm water temperatures. Long-term stream temperature monitoring is useful biological surveys; thus, using temperature is appealing as a first-cut metric for monitoring fishPRIMARY RESEARCH PAPER Summer stream temperature metrics for predicting brook trout (Salvelinus

  13. Scalars, Vectors and Tensors from Metric-Affine Gravity

    E-Print Network [OSTI]

    Karahan, Canan N; Demir, Durmus A

    2011-01-01

    The metric-affine gravity provides a useful framework for analyzing gravitational dynamics since it treats metric tensor and affine connection as fundamentally independent variables. In this work, we show that, a metric-affine gravity theory composed of the invariants formed from non-metricity, torsion and curvature tensors decomposes exhaustively into a theory of scalar, vector and tensor fields. These fields are natural candidates for the ones needed by various cosmological phenomena. Indeed, we show that the model accommodates TeVeS gravity (relativistic modified gravity theory), vector inflation, and aether-like models. Detailed analyses of these and other phenomena can lead to a standard metric-affine gravity model encoding scalars, vectors and tensors necessitated by cosmology.

  14. Scalars, Vectors and Tensors from Metric-Affine Gravity

    E-Print Network [OSTI]

    Canan N. Karahan; Asli Altas; Durmus A. Demir

    2013-02-02

    The metric-affine gravity provides a useful framework for analyzing gravitational dynamics since it treats metric tensor and affine connection as fundamentally independent variables. In this work, we show that, a metric-affine gravity theory composed of the invariants formed from non-metricity, torsion and curvature tensors can be decomposed into a theory of scalar, vector and tensor fields. These fields are natural candidates for the ones needed by various cosmological and other phenomena. Indeed, we show that the model accommodates TeVeS gravity (relativistic modified gravity theory), vector inflation, and aether-like models. Detailed analyses of these and other phenomena can lead to a standard metric-affine gravity model encoding scalars, vectors and tensors.

  15. Can Fault Prediction Models and Metrics be Used for Vulnerability Prediction? Yonghee Shin and Laurie Williams

    E-Print Network [OSTI]

    Young, R. Michael

    are built with traditional metrics of complexity, code churn, and fault history. We have performed to the code [17]. Hence, complexity metrics and code churn metrics have been used for fault prediction [5, 17 fault prediction metrics ­ complexity, code churn, and fault history metrics for vulnerability

  16. Practical Diagnostics for Evaluating Residential Commissioning Metrics

    SciTech Connect (OSTI)

    Wray, Craig; Walker, Iain; Siegel, Jeff; Sherman, Max

    2002-06-11

    In this report, we identify and describe 24 practical diagnostics that are ready now to evaluate residential commissioning metrics, and that we expect to include in the commissioning guide. Our discussion in the main body of this report is limited to existing diagnostics in areas of particular concern with significant interactions: envelope and HVAC systems. These areas include insulation quality, windows, airtightness, envelope moisture, fan and duct system airflows, duct leakage, cooling equipment charge, and combustion appliance backdrafting with spillage. Appendix C describes the 83 other diagnostics that we have examined in the course of this project, but that are not ready or are inappropriate for residential commissioning. Combined with Appendix B, Table 1 in the main body of the report summarizes the advantages and disadvantages of all 107 diagnostics. We first describe what residential commissioning is, its characteristic elements, and how one might structure its process. Our intent in this discussion is to formulate and clarify these issues, but is largely preliminary because such a practice does not yet exist. Subsequent sections of the report describe metrics one can use in residential commissioning, along with the consolidated set of 24 practical diagnostics that the building industry can use now to evaluate them. Where possible, we also discuss the accuracy and usability of diagnostics, based on recent laboratory work and field studies by LBNL staff and others in more than 100 houses. These studies concentrate on evaluating diagnostics in the following four areas: the DeltaQ duct leakage test, air-handler airflow tests, supply and return grille airflow tests, and refrigerant charge tests. Appendix A describes those efforts in detail. In addition, where possible, we identify the costs to purchase diagnostic equipment and the amount of time required to conduct the diagnostics. Table 1 summarizes these data. Individual equipment costs for the 24 practical diagnostics range from a few hundred dollars to many thousands of dollars. The higher costs are associated with infrared thermography and state-of-the-art automated diagnostic systems. Most tests can be performed in one hour or less, using equipment priced toward the lower end of the cost spectrum.

  17. Generalized Transformation Design: metrics, speeds, and diffusion

    E-Print Network [OSTI]

    Kinsler, Paul

    2015-01-01

    We show that a unified and maximally generalized approach to spatial transformation design is possible, one that encompasses all second order waves, rays, or diffusion processes in anisotropic media. At the design step it is \\emph{not} necessary to specify the physical process for which a specific device will be -- or is intended to be -- built. The primary approximation required is that the effect of wave impedance is neglected, an attribute that plays no role in ray propagation, and therefore is not relevant for pure ray devices; another constraint is that spatial variation in material parameters may need to be sufficiently small. Device construction relies on how we can re-imagine the abstract mathematical notion of a metric on a manifold as a speed-squared matrix (or a diffusion matrix), a step which also specifies the means by which transformation devices will actually be built. Notably, we can conclude that a generalised ray theory that allows for anisotropic indexes (speeds) generates the same predicti...

  18. (Data in metric tons of yttrium oxide (Y O ) content, unless otherwise noted)2 3 Domestic Production and Use: The rare-earth element, yttrium, was mined as a constituent of the mineral bastnasite,

    E-Print Network [OSTI]

    /31/98 Thorium ores and concentrates (monazite) 2612.20.0000 Free Free. Rare-earth metals, scandium and yttrium Domestic Production and Use: The rare-earth element, yttrium, was mined as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth

  19. (Data in metric tons of yttrium oxide (Y2O3) content, unless noted) Domestic Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the

    E-Print Network [OSTI]

    ores and concentrates (monazite) 2612.20.0000 Free Free. Rare-earth metals, scandium and yttrium Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth

  20. (Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2005. All

    E-Print Network [OSTI]

    -31-05 Thorium ores and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium and yttrium Production and Use: The rare-earth element yttrium was not mined in the United States in 2005. All yttrium and compounds containing by weight >19% to rare-earth compounds, including

  1. [Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted] Domestic Production and Use: Rare earths were mined by one U.S. company in 2012. Bastnasite, a rare-earth

    E-Print Network [OSTI]

    and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium and yttrium, whether or not intermixed Production and Use: Rare earths were mined by one U.S. company in 2012. Bastnasite, a rare-earth% Y2O3 2846.90.4000 Free. Other rare-earth compounds, including yttrium oxide >85% Y2O3, yttrium

  2. (Data in metric tons of yttrium oxide (Y O ) content, unless otherwise noted)2 3 Domestic Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the

    E-Print Network [OSTI]

    /31/96 Thorium ores and concentrates (monazite) 2612.20.0000 Free Free. Rare-earth metals, scandium and yttrium Domestic Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth

  3. (Data in metric tons of yttrium oxide (Y2O3) content, unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was mined as a constituent of the mineral bastnasite,

    E-Print Network [OSTI]

    and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium and yttrium, whether or not intermixed Production and Use: The rare-earth element yttrium was mined as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth fluocarbonate mineral, was mined

  4. (Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2009. All

    E-Print Network [OSTI]

    . Rare-earth metals, scandium and yttrium, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad Production and Use: The rare-earth element yttrium was not mined in the United States in 2009. All yttrium. Other rare-earth compounds, including yttrium oxide >85% Y2O3, yttrium nitrate, and other individual

  5. (Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2006. All

    E-Print Network [OSTI]

    -31-06 Thorium ores and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium and yttrium Production and Use: The rare-earth element yttrium was not mined in the United States in 2006. All yttrium and compounds containing by weight >19% to rare-earth compounds, including

  6. (Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2008. All

    E-Print Network [OSTI]

    12-31-08 Thorium ores and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium Production and Use: The rare-earth element yttrium was not mined in the United States in 2008. All yttrium and compounds containing by weight >19% to rare-earth compounds, including

  7. (Data in metric tons of yttrium oxide (Y O ) content, unless otherwise noted)2 3 Domestic Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the

    E-Print Network [OSTI]

    .20.0000 Free Free. Rare-earth metals, scandium and yttrium, whether or not intermixed or interalloyed 2805 Domestic Production and Use: The rare-earth element, yttrium, was mined by one company as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth

  8. [Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted] Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2010. All

    E-Print Network [OSTI]

    . Rare-earth metals, scandium and yttrium, whether or not intermixed or interalloyed 2805.30.0000 5.0% ad Production and Use: The rare-earth element yttrium was not mined in the United States in 2010. All yttrium. Other rare-earth compounds, including yttrium oxide >85% Y2O3, yttrium nitrate, and other individual

  9. (Data in metric tons of yttrium oxide (Y2O3) content, unless otherwise noted) Domestic Production and Use: The rare-earth element, yttrium, was mined as a constituent of the mineral

    E-Print Network [OSTI]

    .20.0000 Free. Rare-earth metals, scandium and yttrium, whether or not intermixed or interalloyed 2805.30.0000 5 Production and Use: The rare-earth element, yttrium, was mined as a constituent of the mineral bastnasite, but was not recovered as a separate element during processing. Bastnasite, a rare-earth fluocarbonate mineral, was mined

  10. (Data in metric tons of yttrium oxide (Y2O3) content unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2004. Yttrium

    E-Print Network [OSTI]

    Relations 12-31-04 Thorium ores and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium Production and Use: The rare-earth element yttrium was not mined in the United States in 2004. Yttrium and compounds containing by weight >19% to rare-earth compounds, including

  11. (Data in metric tons of yttrium oxide (Y2O3) content, unless otherwise noted) Domestic Production and Use: The rare-earth element yttrium was not mined in the United States in 2003.

    E-Print Network [OSTI]

    Relations 12/31/03 Thorium ores and concentrates (monazite) 2612.20.0000 Free. Rare-earth metals, scandium Production and Use: The rare-earth element yttrium was not mined in the United States in 2003. Yttrium and compounds containing by weight >19% to rare-earth compounds, including

  12. (Data in thousand metric tons of silicon content unless otherwise noted) Domestic Production and Use: Estimated value of silicon alloys and metal produced in the United States in 2012

    E-Print Network [OSTI]

    and aluminum alloys and the chemical industry. The semiconductor and solar industries, which manufacture chips%; and other, 5%. Silicon metal: Brazil, 41%; South Africa, 20%; Canada, 12%; Australia, 9%; and other, 18 materials source for aluminum-silicon alloys--was projected to increase by 10% in 2012 compared

  13. (Data in thousand metric tons of silicon content unless otherwise noted) Domestic Production and Use: Estimated value of silicon alloys produced in the United States in 2010 was $770

    E-Print Network [OSTI]

    producers of aluminum and aluminum alloys and the chemical industry. The semiconductor and solar industries%; South Africa, 28%; Canada, 17%; Australia, 10%; and other, 1%. Total: China, 26%; Brazil, 21%; Norway apparent consumption by 38%. This was in line with the projected 38% increase in domestic steel production

  14. (Data in thousand metric tons of silicon content unless otherwise noted) Domestic Production and Use: Estimated value of silicon alloys and metal produced in the United States in 2011

    E-Print Network [OSTI]

    and aluminum alloys and the chemical industry. The semiconductor and solar industries, which manufacture chips%; and other, 4%. Silicon metal: Brazil, 39%; South Africa, 22%; Canada, 13%; Australia, 10%; and other, 16 secondary aluminum production--the primary materials source for aluminum-silicon alloys--was projected

  15. LCTES'04, pages 95 --106, 2004 A Trace-based Binary Compilation Framework for

    E-Print Network [OSTI]

    Xue, Jingling

    the effects of individual optimisations on power and energy usage. There has been relatively little workLCTES'04, pages 95 -- 106, 2004 A Trace-based Binary Compilation Framework for Energy-Aware Computing Lian Li and Jingling Xue Compiler Research Group School of Computer Science and Engineering

  16. Automated, Retargetable Back-Annotation for Host Compiled Performance and Power Modeling

    E-Print Network [OSTI]

    Gerstlauer, Andreas

    and back- annotation of basic code blocks with all possible predeces- sors. Results from applying ourAutomated, Retargetable Back-Annotation for Host Compiled Performance and Power Modeling Suhas typical front- and back-end optimiza- tions by working at the compiler-generated intermediate rep

  17. EAC: A Compiler Framework for High-Level Energy Estimation and Optimization

    E-Print Network [OSTI]

    Sivasubramaniam, Anand

    only evaluate a small number of alternative optimiza- tion strategies, the energy estimation processEAC: A Compiler Framework for High-Level Energy Estimation and Optimization I. Kadayif, M. Kandemir University University Park, PA, 16802, USA Abstract This paper presents a novel Energy-Aware Compilation (EAC

  18. The MetaCC project Compilation and optimisation on the Grid http://www.metacc.net

    E-Print Network [OSTI]

    Silber, Georges-André

    -Andre.Silber@ensmp.fr http://www.metacc.net The MetaCC team is supported by the french ministry of research (ACI Grid, jeune are handled by standard tools and kernel modules. User can access its files with a combination of rsync. Compilation can also be done on the grid using a distributed compilation service developped with DIET (ACI

  19. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Getting Started Guide Intel Corporation.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt .................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux* ..................25 4

  20. Intel Cluster Toolkit Compiler Edition 3.2 for Linux* OS

    E-Print Network [OSTI]

    Nikolic, Branislav K.

    Intel® Cluster Toolkit Compiler Edition 3.2 for Linux* OS Tutorial Intel Corporation (Revision.2 Installation of Intel® Cluster Toolkit Compiler Edition on 32-Bit and 64-Bit Nodes that Share a Common /opt..................................................................24 4.6 Running an MPI Program Using Intel® MPI Library on Linux....................25 4

  1. Compiled by the Alliance for Research in Chicagoland Communities (ARCC) Connecting with Partners

    E-Print Network [OSTI]

    Chisholm, Rex L.

    Compiled by the Alliance for Research in Chicagoland Communities (ARCC) Connecting with Partners community research projects. Find out who's been doing work on your topic of interest. Build alliances input? As research team members? On a Community Advisory Board? #12;Compiled by the Alliance

  2. Compiling Application-Specific Hardware Mihai Budiu and Seth Copen Goldstein

    E-Print Network [OSTI]

    Goldstein, Seth Copen

    Compiling Application-Specific Hardware Mihai Budiu and Seth Copen Goldstein Carnegie Mellon for imple- menting Application-Specific Hardware. ASH is based on automatic hardware synthesis from high CASH, a scalable compiler framework for ASH, which generates hardware from programs written in C. Our

  3. Compilation of directly measured nuclear spins of ground states and long-lived isomers

    SciTech Connect (OSTI)

    MacDonald, Allison; Karamy, Babak; Setoodehnia, Kiana; Singh, Balraj

    2013-02-15

    A compilation of the nuclear spins of ground and isomeric states measured by direct methods is presented. The first compilation of direct measurements of nuclear spins and moments was published in 1976 (G. H. Fuller, J. Phys. Chem. Ref. Data 5, 835, (1976)) with literature covered up to 1974. To our knowledge, the present work is the first such compilation since then. It is anticipated that the area of direct spin measurement will continue to expand using the state-of-the-art radioactive ion-beam and laser techniques. Literature cutoff date for the present compilation is February 2013. It is intended that the present compilation will be kept updated in a timely manner.

  4. Schwarzschild-like metric and a quantum vacuum

    E-Print Network [OSTI]

    P. R. Silva

    2013-02-01

    A quantum vacuum, represented by a viscous fluid, is added to the Einstein vacuum, surrounding a spherical distribution of mass. This gives as a solution, in spherical coordinates, a Schwarzschild-like metric. The plot of g00 and g11 components of the metric, as a function of the radial coordinate, display the same qualitative behavior as that of the Schwarzschild metric. However, the temperature of the event horizon is equal to the Hawking temperature multiplied by a factor of two, while the entropy is equal to half of the Bekenstein one.

  5. Chemical reactions of UF{sub 6} with water on ingress to damaged model 48X 10 ton cylinder

    SciTech Connect (OSTI)

    Rothman, A.B.

    1996-02-01

    Chemistry studies of the effects of water flooding in Model 48X 10-ton UF{sub 6} storage cylinders, as a result of impact fractures, were conducted to support the Safety Analysis Report for Packaging (SARP) review of the Paducah Tiger Overpack for transportation of those cylinders. The objectives of the study were to determine the maximum amount of water that could be admitted to the interior of such a damaged cylinder, the resulting geometries and chemical compositions from reactions of water with the UF{sub 6} contents of the cylinder, and the end-state water moderated and reflected configurations for input to nuclear criticality safety analyses. The case identified for analysis was the flooding of the inside of a cylinder, submerged horizontally in 3 ft of water. The flooding was driven by an initial pressure drop of 13 psig, through an assumed fracture (1/32 in. wide {times} 1/2 in. deep {times} 18 in. long) in the barrel of the cylinder. During the initial addition of water, transient back pressures occur from the effects of the heats of reaction and solution at the water/UF{sub 6} interface, with some chugging as more water is added to alternately coot the reaction surface and then heat it again as the added water reacts with more UF{sub 6}.

  6. A Compiler for Fault-Tolerant High Level Quantum Circuits

    E-Print Network [OSTI]

    Alexandru Paler; Ilia Polian; Kae Nemoto; Simon J. Devitt

    2015-09-07

    Fault-tolerant quantum error correction is an absolute necessity for any quantum architecture destined to tackle interesting, large-scale quantum algorithms. The theoretical formalism of quantum error correction codes, fault-tolerant circuit constructions, gate decompositions and relevant optimisations have been well founded for nearly two decades. However, at this point we still do not have a reliable compiler to adapt a high level circuit description to a fully fault-tolerant, error corrected description. There are many technical hurdles to this, including dynamic circuit constructions that occur due to teleportation protocols necessary to achieve fault-tolerance with commonly used error correction codes. We combine multiple results to develop a package that takes any high level quantum circuit consisting of CNOT, Toffoli, Controlled-$\\sqrt{X}$ and arbitrary single qubit rotations and converts it to a equivalent quantum circuit employing ancillary protocols needed for fault-tolerant error correction. We call this representation the (I)initialisation, (C)NOT, (M)measurement representation (ICM) and consists of an initialisation layer of qubits into one of four distinct states, a massive array of CNOT operations that implement the relevant algorithmic decompositions and fault-tolerant ancillary protocols and a series of time ordered $X$- and $Z$-basis measurements. Our package will output either a standard circuit description or a canonical geometric structure that represents its implementation for topological quantum codes that can be further optimised and implemented on actual quantum hardware.

  7. Compiler-Assisted Detection of Transient Memory Errors

    SciTech Connect (OSTI)

    Tavarageri, Sanket; Krishnamoorthy, Sriram; Sadayappan, Ponnuswamy

    2014-06-09

    The probability of bit flips in hardware memory systems is projected to increase significantly as memory systems continue to scale in size and complexity. Effective hardware-based error detection and correction requires that the complete data path, involving all parts of the memory system, be protected with sufficient redundancy. First, this may be costly to employ on commodity computing platforms and second, even on high-end systems, protection against multi-bit errors may be lacking. Therefore, augmenting hardware error detection schemes with software techniques is of consider- able interest. In this paper, we consider software-level mechanisms to comprehensively detect transient memory faults. We develop novel compile-time algorithms to instrument application programs with checksum computation codes so as to detect memory errors. Unlike prior approaches that employ checksums on computational and architectural state, our scheme verifies every data access and works by tracking variables as they are produced and consumed. Experimental evaluation demonstrates that the proposed comprehensive error detection solution is viable as a completely software-only scheme. We also demonstrate that with limited hardware support, overheads of error detection can be further reduced.

  8. Efficient Topological Compilation for Weakly-Integral Anyon Model

    E-Print Network [OSTI]

    Alex Bocharov; Xingshan Cui; Vadym Kliuchnikov; Zhenghan Wang

    2015-04-13

    In a recent series of two research papers Cui, Wang and Hong proposed a class of anyonic models for universal quantum computation based on weakly-integral anyons. While universal set of gates cannot be obtained in this context by anyon braiding alone, designing a certain type of sector charge measurement provides universality. From the mathematical standpoint the underlying unitary bases arising in various versions of the weakly-integral anyonic models are defined over a certain ring of Eisenstein rationals, that has useful number-theoretic properties. In this paper we develop a compilation algorithm to approximate arbitrary $n$-qutrit unitaries with asymptotically efficient circuits over the metaplectic anyon model, the most recent instance of the weakly-integral anyonic class. One flavor of our algorithm produces efficient circuits with upper complexity bound asymptotically in $O(3^{2\\,n} \\, \\log{1/\\varepsilon})$ and entanglement cost that is exponential in $n$. Another flavor of the algorithm produces efficient circuits with upper complexity bound in $O(n\\,3^{2\\,n} \\, \\log{1/\\varepsilon})$ and no additional entanglement cost.

  9. The NACRE Thermonuclear Reaction Compilation and Big Bang Nucleosynthesis

    E-Print Network [OSTI]

    Richard H. Cyburt; Brian D. Fields; Keith A. Olive

    2001-05-17

    The theoretical predictions of big bang nucleosynthesis (BBN) are dominated by uncertainties in the input nuclear reaction cross sections. In this paper, we examine the impact on BBN of the recent compilation of nuclear data and thermonuclear reactions rates by the NACRE collaboration. We confirm that the adopted rates do not make large overall changes in central values of predictions, but do affect the magnitude of the uncertainties in these predictions. Therefore, we then examine in detail the uncertainties in the individual reaction rates considered by NACRE. When the error estimates by NACRE are treated as 1\\sigma limits, the resulting BBN error budget is similar to those of previous tabulations. We propose two new procedures for deriving reaction rate uncertainties from the nuclear data: one which sets lower limits to the error, and one which we believe is a reasonable description of the present error budget. We propagate these uncertainty estimates through the BBN code, and find that when the nuclear data errors are described most accurately, the resulting light element uncertainties are notably smaller than in some previous tabulations, but larger than others. Using these results, we derive limits on the cosmic baryon-to-photon ratio $\\eta$, and compare this to independent limits on $\\eta$ from recent balloon-borne measurements of the cosmic microwave background radiation (CMB). We discuss means to improve the BBN results via key nuclear reaction measurements and light element observations.

  10. Gromov-Hausdorff Distance for Quantum Metric Spaces

    E-Print Network [OSTI]

    Marc A. Rieffel

    2003-02-20

    By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric spaces a version of Gromov-Hausdorff distance. We show that the basic theorems of the classical theory have natural quantum analogues. Our main example involves the quantum tori, $A_{\\th}$. We show, for consistently defined ``metrics'', that if a sequence $\\{\\th_n\\}$ of parameters converges to a parameter $\\th$, then the sequence $\\{A_{\\th_n}\\}$ of quantum tori converges in quantum Gromov-Hausdorff distance to $A_{\\th}$.

  11. Guidelines and Metrics for Configurable and Sustainable Architectural Knowledge Modelling

    E-Print Network [OSTI]

    Brezany, Peter

    Guidelines and Metrics for Configurable and Sustainable Architectural Knowledge Modelling ABSTRACT erosion, architecture knowledge, technical sustainability, technical debt. 1. INTRODUCTION Architectural to achieve architecture sustainability. Our main contributions of this paper is a configurable meta

  12. A Topography-Preserving Latent Variable Model with Learning Metrics

    E-Print Network [OSTI]

    Kaski, Samuel

    A Topography-Preserving Latent Variable Model with Learning Metrics Samuel Kaski and Janne grid to the input spa- ce. The mapping preserves the topography but measures local distances in terms

  13. Square Root of Metric: The Geometry Background of Unified Theory?

    E-Print Network [OSTI]

    De-Sheng Li

    2015-09-29

    We use the square root of inverse metric described by $l=u^{\\dagger} \\gamma^{a} u \\theta_{a}$ construct an $U(4)$ gauge invariant, locally Lorentz invariant and generally covariant Lagrangian $\\mathcal{L}=\

  14. PROPAGATION OF SINGULARITIES FOR ROUGH METRICS HART F. SMITH

    E-Print Network [OSTI]

    Smith, Hart F.

    PROPAGATION OF SINGULARITIES FOR ROUGH METRICS HART F. SMITH Abstract. We use a wave packet the Simons Foundation (# 266371 to Hart Smith). 1 #12;2 HART F. SMITH H¨ormander's theorem [9] on propagation

  15. A Graph Analytic Metric for Mitigating Advanced Persistent Threat

    SciTech Connect (OSTI)

    Johnson, John R.; Hogan, Emilie A.

    2013-06-04

    This paper introduces a novel graph analytic metric that can be used to measure the potential vulnerability of a cyber network to specific types of attacks that use lateral movement and privilege escalation such as the well known Pass The Hash, (PTH). The metric is computed from an oriented subgraph of the underlying cyber network induced by selecting only those edges for which a given property holds between the two vertices of the edge. The metric with respect to a select node on the subgraph is defined as the likelihood that the select node is reachable from another arbitrary node in the graph. This metric can be calculated dynamically from the authorization and auditing layers during the network security authorization phase and will potentially enable predictive deterrence against attacks such as PTH.

  16. Analyses Of Two End-User Software Vulnerability Exposure Metrics

    SciTech Connect (OSTI)

    Jason L. Wright; Miles McQueen; Lawrence Wellman

    2012-08-01

    The risk due to software vulnerabilities will not be completely resolved in the near future. Instead, putting reliable vulnerability measures into the hands of end-users so that informed decisions can be made regarding the relative security exposure incurred by choosing one software package over another is of importance. To that end, we propose two new security metrics, average active vulnerabilities (AAV) and vulnerability free days (VFD). These metrics capture both the speed with which new vulnerabilities are reported to vendors and the rate at which software vendors fix them. We then examine how the metrics are computed using currently available datasets and demonstrate their estimation in a simulation experiment using four different browsers as a case study. Finally, we discuss how the metrics may be used by the various stakeholders of software and to software usage decisions.

  17. Analysis of Solar Cell Quality Using Voltage Metrics: Preprint

    SciTech Connect (OSTI)

    Toberer, E. S.; Tamboli, A. C.; Steiner, M.; Kurtz, S.

    2012-06-01

    The highest efficiency solar cells provide both excellent voltage and current. Of these, the open-circuit voltage (Voc) is more frequently viewed as an indicator of the material quality. However, since the Voc also depends on the band gap of the material, the difference between the band gap and the Voc is a better metric for comparing material quality of unlike materials. To take this one step further, since Voc also depends on the shape of the absorption edge, we propose to use the ultimate metric: the difference between the measured Voc and the Voc calculated from the external quantum efficiency using a detailed balance approach. This metric is less sensitive to changes in cell design and definition of band gap. The paper defines how to implement this metric and demonstrates how it can be useful in tracking improvements in Voc, especially as Voc approaches its theoretical maximum.

  18. Compiled by Greg Mountenay for Teacher Candidates (Prof 155/150) September 2011 Why Should I Care About Mental Health?

    E-Print Network [OSTI]

    Fletcher, Robin

    1 Compiled by Greg Mountenay for Teacher Candidates (Prof 155/150) September 2011 Why Should I Care RESOURCE! http://www.adcet.edu.au/cats/view.aspx?id=4015 #12;2 Compiled by Greg Mountenay for Teacher

  19. Proceedings of the workshop on Compilation of (Symbolic) Languages for Parallel Computers

    SciTech Connect (OSTI)

    Foster, I.; Tick, E. (comp.)

    1991-11-01

    This report comprises the abstracts and papers for the talks presented at the Workshop on Compilation of (Symbolic) Languages for Parallel Computers, held October 31--November 1, 1991, in San Diego. These unreferred contributions were provided by the participants for the purpose of this workshop; many of them will be published elsewhere in peer-reviewed conferences and publications. Our goal is planning this workshop was to bring together researchers from different disciplines with common problems in compilation. In particular, we wished to encourage interaction between researchers working in compilation of symbolic languages and those working on compilation of conventional, imperative languages. The fundamental problems facing researchers interested in compilation of logic, functional, and procedural programming languages for parallel computers are essentially the same. However, differences in the basic programming paradigms have led to different communities emphasizing different species of the parallel compilation problem. For example, parallel logic and functional languages provide dataflow-like formalisms in which control dependencies are unimportant. Hence, a major focus of research in compilation has been on techniques that try to infer when sequential control flow can safely be imposed. Granularity analysis for scheduling is a related problem. The single- assignment property leads to a need for analysis of memory use in order to detect opportunities for reuse. Much of the work in each of these areas relies on the use of abstract interpretation techniques.

  20. 868 New Phytologist (2009) 183: 868879 The Authors (2009) 868www.newphytologist.org Journal compilation New Phytologist (2009)

    E-Print Network [OSTI]

    Rieseberg, Loren

    2009-01-01

    & Maherali, 2006; Saldana et al., 2007). Here we used a compilation of unpublished and pub- lished data

  1. Measures of agreement between computation and experiment:validation metrics.

    SciTech Connect (OSTI)

    Barone, Matthew Franklin; Oberkampf, William Louis

    2005-08-01

    With the increasing role of computational modeling in engineering design, performance estimation, and safety assessment, improved methods are needed for comparing computational results and experimental measurements. Traditional methods of graphically comparing computational and experimental results, though valuable, are essentially qualitative. Computable measures are needed that can quantitatively compare computational and experimental results over a range of input, or control, variables and sharpen assessment of computational accuracy. This type of measure has been recently referred to as a validation metric. We discuss various features that we believe should be incorporated in a validation metric and also features that should be excluded. We develop a new validation metric that is based on the statistical concept of confidence intervals. Using this fundamental concept, we construct two specific metrics: one that requires interpolation of experimental data and one that requires regression (curve fitting) of experimental data. We apply the metrics to three example problems: thermal decomposition of a polyurethane foam, a turbulent buoyant plume of helium, and compressibility effects on the growth rate of a turbulent free-shear layer. We discuss how the present metrics are easily interpretable for assessing computational model accuracy, as well as the impact of experimental measurement uncertainty on the accuracy assessment.

  2. Conformal Transformations in Metric-Affine Gravity and Ghosts

    E-Print Network [OSTI]

    Canan N. Karahan; Oktay Dogangun; Durmus A. Demir

    2012-05-20

    Conformal transformations play a widespread role in gravity theories in regard to their cosmological and other implications. In the pure metric theory of gravity, conformal transformations change the frame to a new one wherein one obtains a conformal-invariant scalar-tensor theory such that the scalar field, deriving from the conformal factor, is a ghost. In this work, conformal transformations and ghosts will be analyzed in the framework of the metric-affine theory of gravity. Within this framework, metric and connection are independent variables, and hence, transform independently under conformal transformations. It will be shown that, if affine connection is invariant under conformal transformations then the scalar field under concern is a non-ghost, non-dynamical field. It is an auxiliary field at the classical level, and might develop a kinetic term at the quantum level. Alternatively, if connection transforms additively with a structure similar to yet more general than that of the Levi-Civita connection, the resulting action describes the gravitational dynamics correctly, and more importantly, the scalar field becomes a dynamical non-ghost field. The equations of motion, for generic geometrical and matter-sector variables, do not reduce connection to the Levi-Civita connection, and hence, independence of connection from metric is maintained. Therefore, metric-affine gravity provides an arena in which ghosts arising from conformal factor are avoided thanks to the independence of connection from the metric.

  3. XAX: a multi-ton, multi-target detection system for dark matter, double beta decay and pp solar neutrinos

    E-Print Network [OSTI]

    K. Arisaka; H. Wang; P. F. Smith; D. Cline; A. Teymourian; E. Brown; W. Ooi; D. Aharoni; C. W. Lam; K. Lung; S. Davies; M. Price

    2009-01-07

    A multi-target detection system XAX, comprising concentric 10 ton targets of 136Xe and 129/131Xe, together with a geometrically similar or larger target of liquid Ar, is described. Each is configured as a two-phase scintillation/ionization TPC detector, enhanced by a full 4pi array of ultra-low radioactivity Quartz Photon Intensifying Detectors (QUPIDs) replacing the conventional photomultipliers for detection of scintillation light. It is shown that background levels in XAX can be reduced to the level required for dark matter particle (WIMP) mass measurement at a 10^-10 pb WIMP-nucleon cross section, with single-event sensitivity below 10^-11 pb. The use of multiple target elements allows for confirmation of the A^2 dependence of a coherent cross section, and the different Xe isotopes provide information on the spin-dependence of the dark matter interaction. The event rates observed by Xe and Ar would modulate annually with opposite phases from each other for WIMP mass >~100 GeV/c^2. The large target mass of 136Xe and high degree of background reduction allow neutrinoless double beta decay to be observed with lifetimes of 10^27-10^28 years, corresponding to the Majorana neutrino mass range 0.01-0.1 eV, the most likely range from observed neutrino mass differences. The use of a 136Xe-depleted 129/131Xe target will also allow measurement of the pp solar neutrino spectrum to a precision of 1-2%.

  4. Review of corrosion in 10- and 14-ton mild steel depleted UF{sub 6} storage cylinders

    SciTech Connect (OSTI)

    Lykins, M.L.

    1995-08-01

    A literature review was conducted to determine the type, extent and severity of corrosion found in the 10- and 14-ton mild steel depleted UF{sub 6} storage cylinders. Also discussed in this review is corrosion found in the valves and plugs used in the cylinders. Corrosion of the cylinders is a gradual process which occurs slowly over time. Understanding corrosion of the cylinders is an important concern for long term storage of the UF{sub 6} in the cylinder yards, as well as the final disposition of the depleted UF{sub 6} tails inventory in the future. The following conclusions are made from the literature review: (1) The general external corrosion rate of the cylinders is about 1 to 2 mils per year (1 mil = 0.001{double_prime}). The highest general external corrosion rate was over 5 mpy on the 48G type cylinders. (2) General internal corrosion from the depleted UF{sub 6} is negligible under normal storage conditions. Crevice corrosion can occur at the cylinder/saddle interface from the retention of water in this area. Crevice corrosion can occur at the cylinder/skirt interface on the older skirted cylinders due to the lack of water drainage in this area. Crevice corrosion can occur on cylinders that have been in ground contact. Crevice corrosion and galvanic corrosion can occur where the stainless steel I.D. nameplates are attached to the cylinder. The packing nuts on the bronze one-inch valves used in the cylinders are susceptible to stress corrosion cracking (SCC). Mechanical damage from routine handling can lead to a breach in a cylinder with subsequent accelerated corrosion of the mild steel due to attack from HF and other UF{sub 6} hydrolysis by-products.

  5. An Application-Specific Compiler for High-Speed Binary Image Morphology Scott Hemmert, Brad Hutchings and Anshul Malvi

    E-Print Network [OSTI]

    Nelson, Brent E.

    An Application-Specific Compiler for High-Speed Binary Image Morphology Scott Hemmert, Brad discusses a two-level compilation scheme used for generating high-speed binary image morphology pipelines from a textual description of the algorithm. The first-level compiler generates a generic morphology

  6. IEEE Computer Society International Conference on Computer Languages 1998, Loyola Univ., Chicago, May 1998 Modular Compilers Based on Monad Transformers

    E-Print Network [OSTI]

    Kamin, Sam

    , May 1998 Modular Compilers Based on Monad Transformers William L. Harrison Samuel N. Kamin Department. It has proven dif­ ficult to extend the method to compilation. We demon­ strate that by introducing as for an interpreter. A number of language con­ structs and features are compiled: expressions, CBV and CBN evaluation

  7. A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-wise Tampering and Permutations

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    A Rate-Optimizing Compiler for Non-malleable Codes Against Bit-wise Tampering and Permutations-rates for such constructions. In this work, we present a compiler to transform low-rate (in fact, zero rate) non and Guruswami (TCC 2014). Further, our compiler can be applied to non-malleable codes against the class of bit

  8. Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation

    E-Print Network [OSTI]

    Batzoglou, Serafim

    Biologically-Inspired Self-Assembly of Two-Dimensional Shapes Using Global-to-Local Compilation by decentralized, identically- programmed agents. Our system compiles a prede- termined global shape into a program. In the global- to-local compilation phase, an input shape is de- composed into a network of covering

  9. Assessment of the current status of basic nuclear data compilations

    SciTech Connect (OSTI)

    Riemer, R.L.

    1992-12-31

    The Panel on Basic Nuclear Data Compilations believes that it is important to provide the user with an evaluated nuclear database of the highest quality, dependability, and currency. It is also important that the evaluated nuclear data are easily accessible to the user. In the past the panel concentrated its concern on the cycle time for the publication of A-chain evaluations. However, the panel now recognizes that publication cycle time is no longer the appropriate goal. Sometime in the future, publication of the evaluated A-chains will evolve from the present hard-copy Nuclear Data Sheets on library shelves to purely electronic publication, with the advent of universal access to terminals and the nuclear databases. Therefore, the literature cut-off date in the Evaluated Nuclear Structure Data File (ENSDF) is rapidly becoming the only important measure of the currency of an evaluated A-chain. Also, it has become exceedingly important to ensure that access to the databases is as user-friendly as possible and to enable electronic publication of the evaluated data files. Considerable progress has been made in these areas: use of the on-line systems has almost doubled in the past year, and there has been initial development of tools for electronic evaluation, publication, and dissemination. Currently, the nuclear data effort is in transition between the traditional and future methods of dissemination of the evaluated data. Also, many of the factors that adversely affect the publication cycle time simultaneously affect the currency of the evaluated nuclear database. Therefore, the panel continues to examine factors that can influence cycle time: the number of evaluators, the frequency with which an evaluation can be updated, the review of the evaluation, and the production of the evaluation, which currently exists as a hard-copy issue of Nuclear Data Sheets.

  10. Compilation of Earthquakes from 1850-2007 within 200 miles of the Idaho National Laboratory

    SciTech Connect (OSTI)

    N. Seth Carpenter

    2010-07-01

    An updated earthquake compilation was created for the years 1850 through 2007 within 200 miles of the Idaho National Laboratory. To generate this compilation, earthquake catalogs were collected from several contributing sources and searched for redundant events using the search criteria established for this effort. For all sets of duplicate events, a preferred event was selected, largely based on epicenter-network proximity. All unique magnitude information for each event was added to the preferred event records and these records were used to create the compilation referred to as “INL1850-2007”.

  11. Regulatory and technical reports (abstract index journal): Annual compilation for 1994. Volume 19, Number 4

    SciTech Connect (OSTI)

    1995-03-01

    This compilation consists of bibliographic data and abstracts for the formal regulatory and technical reports issued by the US Nuclear Regulatory Commission (NRC) Staff and its contractors. It is NRC`s intention to publish this compilation quarterly and to cumulate it annually. The main citations and abstracts in this compilation are listed in NUREG number order. These precede the following indexes: secondary report number index, personal author index, subject index, NRC originating organization index (staff reports), NRC originating organization index (international agreements), NRC contract sponsor index (contractor reports), contractor index, international organization index, and licensed facility index. A detailed explanation of the entries precedes each index.

  12. The Authors (2007). Journal compilation New Phytologist (2007) www.newphytologist.org responses of photosynthesis, canopy properties and plant production to

    E-Print Network [OSTI]

    2007-01-01

    Meetings © The Authors (2007). Journal compilation © New Phytologist (2007) www-8137.2007.02280.x© The Authors (2007). Journal compilation © New Phytologist (2007) Mycorrhizal symbioses play

  13. On Metric Ramsey-Type Phenomena Yair Bartal Nathan Linial Manor Mendel Assaf Naor

    E-Print Network [OSTI]

    Bartal, Yair

    On Metric Ramsey-Type Phenomena Yair Bartal Nathan Linial Manor Mendel Assaf Naor Abstract The main space theory or as part of Ramsey Theory in combinatorics. Given a #12;nite metric space on n points, we.2 Generic upper bounds via metric composition . . . . . . . . . . . . . . . . . . . . . . 6 3 Metric Ramsey

  14. Use of metrics in an effective ALARA program

    SciTech Connect (OSTI)

    Bates, B.B. Jr. [Los Alamos National Laboratory, NM (United States)

    1996-06-01

    ALARA radiological protection programs require metrics to meet their objectives. Sources of metrics include external dosimetry; internal dosimetry; radiological occurrences from the occurrence reporting an processing system (ORPS); and radiological incident reports (RIR). The sources themselves contain an abundance of specific {open_quotes}indicators.{close_quotes} To choose the site-specific indicators that will be tracked and trended requires careful review. Justification is needed to defend the indicators selected and maybe even stronger justification is needed for those indicators that are available, but not chosen as a metric. Historically, the many different sources of information resided in a plethora of locations. Even the same type of metric had data located in different areas and could not be easily totaled for the entire Site. This required the end user to expend valuable time and effort to locate the data they needed. To address this problem, a central metrics database has been developed so that a customer can have all their questions addressed quickly and correctly. The database was developed in the beginning to answer some of the customer`s most frequently asked questions. IL is now also a tool to communicate the status of the radiation protection program to facility managers. Finally, it also addresses requirements contained in the Rad Con manual and the 10CFR835 implementation guides. The database uses currently available, {open_quotes}user friendly,{close_quotes} software and contains information from RIR`s, ORPS, and external dosimetry records specific to ALARA performance indicators. The database is expandable to allow new metrics input. Specific reports have been developed to assist customers in their tracking and trending of ALARA metrics. These include quarterly performance indicator reports, monthly radiological incident reports, monthly external dose history and goals tracking reports, and the future use of performance indexing.

  15. ENERGY-EFFICIENT NEW COMMERCIAL BUILDINGS IN THE NORTHWEST REGION: A COMPILATION OF MEASURED DATA

    E-Print Network [OSTI]

    Piette, M.A.

    2010-01-01

    might expect an energy-efficient building to be expensive toto build an energy-efficient building for no more thanestimates for new energy-efficient buildings, we compiled

  16. Low-Temperature Geothermal Water in Utah: A compilation of Data...

    Open Energy Info (EERE)

    Low-Temperature Geothermal Water in Utah: A compilation of Data for Thermal Wells and Springs Through 1993 Jump to: navigation, search OpenEI Reference LibraryAdd to library Web...

  17. Efficient compilation of structured parallel programs for distributed memory MIMD machines

    E-Print Network [OSTI]

    Pelagatti, Susanna

    Department of Computer Science -- University of Pisa -- Pisa -- Italy ffi Pisa Science Center -- Hewlett Packard Laboratories -- Pisa -- Italy e­mail: fbacci compiler developed during a joint project between the Department of Computer Science ­ University of Pisa

  18. Regulatory and technical reports (abstract index journal): Annual compilation for 1996, Volume 21, No. 4

    SciTech Connect (OSTI)

    Sheehan, M.A.

    1997-04-01

    This compilation is the annual cumulation of bibliographic data and abstracts for the formal regulatory and technical reports issued by the U.S. Nuclear Regulatory Commission (NRC) Staff and its contractors.

  19. Compilation Techniques for High-Performance Embedded Systems with Multiple Processors 

    E-Print Network [OSTI]

    Franke, Bjorn

    Despite the progress made in developing more advanced compilers for embedded systems, programming of embedded high-performance computing systems based on Digital Signal Processors (DSPs) is still a highly skilled manual ...

  20. A comparison of designs for extensible and extension-oriented compilers

    E-Print Network [OSTI]

    Clements, Austin T., S.M. Massachusetts Institute of Technology

    2008-01-01

    Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers and errors in Linux and other systems, and add support for specialized control flow to ...

  1. Comment on "Atomic mass compilation 2012" by B. Pfeiffer, K. Venkataramaniah, U. Czok, C. Scheidenberger

    E-Print Network [OSTI]

    Audi, Georges; Block, Michael; Bollen, Georg; Herfurth, Frank; Goriely, Stéphane; Hardy, John C; Kondev, Filip G; Kluge, Juergen H; Lunney, David; Pearson, Mike J; Savard, Guy; Sharma, Kumar; Wang, Meng; Zhang, Yuhu

    2014-01-01

    This "Comment" submitted to ADNDT on December 13, 2013 concerns a publication entitled "Atomic Mass Compilation 2012", which is due to appear in the March 2014 issue of the journal Atomic Data and Nuclear Data Tables (available online on September 6, 2013). We would like to make it clear that this paper is not endorsed by the Atomic Mass Evaluation (AME) international collaboration. The AME provides carefully recommended evaluated data, published periodically. The "Atomic Mass Compilation 2012" is not to be associated with the latest publication, AME2012, nor with any of the previously published mass evaluations that were developed under the leadership of Prof. A.H. Wapstra. We found the data presented in "Atomic Mass Compilation 2012" to be misleading and the approach implemented to be lacking in rigour since it does not allow to unambiguously trace the original published mass values. Furthermore, the method used in "Atomic Mass Compilation 2012" is not valid and leads to erroneous and contradictory outputs,...

  2. Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong

    E-Print Network [OSTI]

    Groce, Alex David

    Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong Xiaoli Fern Eric EideScript engine. Google's proprietary ClusterFuzz effort "hammers away at it [Chrome, includ- ing its V8 Java

  3. Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong

    E-Print Network [OSTI]

    Regehr, John

    Taming Compiler Fuzzers Yang Chen Alex Groce Chaoqiang Zhang Weng-Keen Wong Xiaoli Fern Eric Eide previously unknown bugs in the same JavaScript engine. Google's proprietary ClusterFuzz effort "hammers away

  4. CCC: A Caching Compiler for C Brian Koehler and R. Nigel Horspool

    E-Print Network [OSTI]

    Horspool, R. Nigel

    in production environments often have to reprocess the same header les. CCC is a caching C compiler which with the le. However, it is much harder to avoid re-processing an unchanged `.h' le. There are two basic

  5. Biomass as Feedstock for a Bioenergy and Bioproducts Industry: The Technical Feasibility of a Billion-Ton Annual Supply, April 2005

    SciTech Connect (OSTI)

    2005-04-01

    The purpose of this report is to determine whether the land resources of the United States are capable of producing a sustainable supply of biomass sufficient to displace 30 percent or more of the country’s present petroleum consumption – the goal set by the Biomass R&D Technical Advisory Committee in their vision for biomass technologies. Accomplishing this goal would require approximately 1 billion dry tons of biomass feedstock per year.

  6. Transportation legislative data base: State radioactive materials transportation statute compilation, 1989--1993

    SciTech Connect (OSTI)

    NONE

    1994-04-01

    The Transportation Legislative Data Base (TLDB) is a computer-based information service containing summaries of federal, state and certain local government statutes and regulations relating to the transportation of radioactive materials in the United States. The TLDB has been operated by the National Conference of State Legislatures (NCSL) under cooperative agreement with the US Department of Energy`s (DOE) Office of Civilian Radioactive Waste Management since 1992. The data base system serves the legislative and regulatory information needs of federal, state, tribal and local governments, the affected private sector and interested members of the general public. Users must be approved by DOE and NCSL. This report is a state statute compilation that updates the 1989 compilation produced by Battelle Memorial Institute, the previous manager of the data base. This compilation includes statutes not included in the prior compilation, as well as newly enacted laws. Statutes not included in the prior compilation show an enactment date prior to 1989. Statutes that deal with low-level radioactive waste transportation are included in the data base as are statutes from the states of Alaska and Hawaii. Over 155 new entries to the data base are summarized in this compilation.

  7. Effective use of metrics in an ALARA program

    SciTech Connect (OSTI)

    Bates, B.B. Jr.

    1996-07-01

    ALARA radiological protection programs require metrics to meet their objectives. Sources of metrics include; external dosimetry; internal dosimetry; radiological occurrences from the occurrence reporting and processing system (ORPS); and radiological incident reports (RIR). The sources themselves contain an abundance of specific ``indicators``. To choose the site-specific indicators that will be tracked and trended requires careful review. This required the end users to expend valuable time and effort to locate the data they needed. To address this problem, a central metrics database has been developed so that customers can have all their questions addressed quickly and correctly. The database was developed in the beginning to answer some of the customer`s most frequently asked questions. It is now also a tool to communicate the status of the radiation protection program to facility managers. Finally it also addresses requirements contained in the Rad Con manual and the 10CFR835 implementation guides. The database uses currently available, ``user friendly``, software and contains information from RIR`s, ORPS, and external dosimetry records specific to ALARA performance indicators. The database is expandable to allow new metrics input. Specific reports have been developed to assist customers in their tracking and trending of ALARA metrics.

  8. Metrics Evolution in an Energy Research & Development Program

    SciTech Connect (OSTI)

    Brent Dixon

    2011-08-01

    All technology programs progress through three phases: Discovery, Definition, and Deployment. The form and application of program metrics needs to evolve with each phase. During the discovery phase, the program determines what is achievable. A set of tools is needed to define program goals, to analyze credible technical options, and to ensure that the options are compatible and meet the program objectives. A metrics system that scores the potential performance of technical options is part of this system of tools, supporting screening of concepts and aiding in the overall definition of objectives. During the definition phase, the program defines what specifically is wanted. What is achievable is translated into specific systems and specific technical options are selected and optimized. A metrics system can help with the identification of options for optimization and the selection of the option for deployment. During the deployment phase, the program shows that the selected system works. Demonstration projects are established and classical systems engineering is employed. During this phase, the metrics communicate system performance. This paper discusses an approach to metrics evolution within the Department of Energy's Nuclear Fuel Cycle R&D Program, which is working to improve the sustainability of nuclear energy.

  9. The Non-Metricity Formulation of General Relativity

    E-Print Network [OSTI]

    Igor Mol

    2015-01-13

    After recalling the differential geometry of non-metric connections in the formalism of differential forms, we introduce the idea of a Non-Metricity (NM) connection, whose connection $1$--forms coincides with the non-metricity $1$--forms for a class of cobase fields. Then we formulate a theory of gravitation (equivalent to General Relativity (GR)) which admits a geometrical interpretation in a flat torsionless space where the gravitational field is completely manifest in the non-metricity of a NM connection. We define and then apply the non-metricity gauge to a gravitational Lagrangian density discovered by Wallner and which is equivalent to the Einstein-Hilbert Lagrangian density. The Einstein equations coupled to the matter currents $\\left( \\mathcal{J}_{\\alpha}\\right) $ thus becomes $\\delta dg_{\\alpha}=\\mathcal{T}_{\\alpha}+\\mathcal{J}_{\\alpha}$, where $\\left( \\mathcal{T}_{\\alpha}\\right) $ is identified as the gravitational energy-momentum currents, to which we shall find a relatively simple and physically appealing form. It is also shown that in the gravitational analogue of the Lorenz gauge, our field equations can be written as a system of Proca equations, which may be of interest in the study of propagation of gravitational-electromagnetic waves.

  10. Conformal Transformations in Metric-Affine Gravity and Ghosts

    E-Print Network [OSTI]

    Karahan, Canan N; Demir, Durmus A

    2012-01-01

    Conformal transformations play a widespread role in gravity theories in regard to their cosmological and other implications. In the pure metric theory of gravity, conformal transformations change the frame to a new one wherein one obtains a conformal-invariant scalar-tensor theory such that the scalar field, deriving from the conformal factor, is a ghost. In this work, conformal transformations and ghosts will be analyzed in the framework of the metric-affine theory of gravity. Within this framework, metric and connection are independent variables, and hence, transform independently under conformal transformations. It will be shown that, if affine connection is invariant under conformal transformations then the scalar field under concern is a non-ghost, non-dynamical field. It is an auxiliary field at the classical level, and might develop a kinetic term at the quantum level. Alternatively, if connection transforms additively with a structure similar to yet more general than that of the Levi-Civita connection...

  11. Metrics for Evaluating the Accuracy of Solar Power Forecasting: Preprint

    SciTech Connect (OSTI)

    Zhang, J.; Hodge, B. M.; Florita, A.; Lu, S.; Hamann, H. F.; Banunarayanan, V.

    2013-10-01

    Forecasting solar energy generation is a challenging task due to the variety of solar power systems and weather regimes encountered. Forecast inaccuracies can result in substantial economic losses and power system reliability issues. This paper presents a suite of generally applicable and value-based metrics for solar forecasting for a comprehensive set of scenarios (i.e., different time horizons, geographic locations, applications, etc.). In addition, a comprehensive framework is developed to analyze the sensitivity of the proposed metrics to three types of solar forecasting improvements using a design of experiments methodology, in conjunction with response surface and sensitivity analysis methods. The results show that the developed metrics can efficiently evaluate the quality of solar forecasts, and assess the economic and reliability impact of improved solar forecasting.

  12. Tidal deformation of a slowly rotating material body. External metric

    E-Print Network [OSTI]

    Philippe Landry; Eric Poisson

    2015-07-31

    We construct the external metric of a slowly rotating, tidally deformed material body in general relativity. The tidal forces acting on the body are assumed to be weak and to vary slowly with time, and the metric is obtained as a perturbation of a background metric that describes the external geometry of an isolated, slowly rotating body. The tidal environment is generic and characterized by two symmetric-tracefree tidal moments E_{ab} and B_{ab}, and the body is characterized by its mass M, its radius R, and a dimensionless angular-momentum vector \\chi^a new quantities, which we designate as rotational-tidal Love numbers. All these Love numbers are gauge invariant in the usual sense of perturbation theory, and all vanish when the body is a black hole.

  13. An Automated Evaluation Metric for Chinese Text Entry

    E-Print Network [OSTI]

    Jiang, Mike Tian-Jian; Lin, Jaimie; Lin, Jerry; Hsu, Wen-Lien

    2007-01-01

    In this paper, we propose an automated evaluation metric for text entry. We also consider possible improvements to existing text entry evaluation metrics, such as the minimum string distance error rate, keystrokes per character, cost per correction, and a unified approach proposed by MacKenzie, so they can accommodate the special characteristics of Chinese text. Current methods lack an integrated concern about both typing speed and accuracy for Chinese text entry evaluation. Our goal is to remove the bias that arises due to human factors. First, we propose a new metric, called the correction penalty (P), based on Fitts' law and Hick's law. Next, we transform it into the approximate amortized cost (AAC) of information theory. An analysis of the AAC of Chinese text input methods with different context lengths is also presented.

  14. Primer Control System Cyber Security Framework and Technical Metrics

    SciTech Connect (OSTI)

    Wayne F. Boyer; Miles A. McQueen

    2008-05-01

    The Department of Homeland Security National Cyber Security Division supported development of a control system cyber security framework and a set of technical metrics to aid owner-operators in tracking control systems security. The framework defines seven relevant cyber security dimensions and provides the foundation for thinking about control system security. Based on the developed security framework, a set of ten technical metrics are recommended that allow control systems owner-operators to track improvements or degradations in their individual control systems security posture.

  15. Calabi-Yau metrics for quotients and complete intersections

    DOE Public Access Gateway for Energy & Science Beta (PAGES Beta)

    Braun, Volker; Brelidze, Tamaz; Douglas, Michael R.; Ovrut, Burt A.

    2008-05-22

    We extend previous computations of Calabi-Yau metrics on projective hypersurfaces to free quotients, complete intersections, and free quotients of complete intersections. In particular, we construct these metrics on generic quintics, four-generation quotients of the quintic, Schoen Calabi-Yau complete intersections and the quotient of a Schoen manifold with Z? x Z? fundamental group that was previously used to construct a heterotic standard model. Various numerical investigations into the dependence of Donaldson's algorithm on the integration scheme, as well as on the Kähler and complex structure moduli, are also performed.

  16. World`s LPG supply picture will change by 2000

    SciTech Connect (OSTI)

    True, W.R.

    1995-11-06

    Middle East LPG producers will continue to dominate world export markets in 1996. Led by Saudi Arabia, the Middle East will produce nearly 26 million metric tons of LPG in million metric tons of LPG in 1996, more than 54% of the world`s almost 48 million metric tons of export LPG. In 2000, however, with world exports of LPG expanding to 58.9 million metric tons, Middle East suppliers; share will have remained flat, making up 31.7 million metric tons, or 53.9%. Saudi Arabia`s contribution will exceed 15 million metric tons, reflecting essentially no growth since 1995. These and other patterns, from data compiled by Purvin and Gertz, Dallas, and published earlier this year, show other suppliers of LPG, especially African (Algeria/Nigeria), North Sea, and Latin American (Venezuela/Argentina), picking up larger shares in the last 5 years of this decade. This scenario assumes completion of several major supply projects that are either panned, under construction, or nearing start up in most of these areas. The paper discusses the global picture, the supply situation in the Middle East, Africa, the North Sea, and South America.

  17. A Comprehensive and Comparative Metric for Information Security

    E-Print Network [OSTI]

    Breu, Ruth

    A Comprehensive and Comparative Metric for Information Security Steffen Weiß1 , Oliver Weissmann2 security GmbH, Germany Abstract Measurement of information security is important for organizations , Falko Dressler1* 1 Dept. of Computer Science 7, University of Erlangen, Germany 2 atsec information

  18. Harmonic maps on domains with piecewise Lipschitz continuous metrics

    E-Print Network [OSTI]

    Wang, Changyou

    Harmonic maps on domains with piecewise Lipschitz continuous metrics Haigang Li , Changyou Wang consider harmonic map from (, g) to a compact Rie- mannian manifold (N, h) Rk without boundary. We generalize the notion of stationary harmonic maps and prove their partial regularity. We also discuss

  19. Linear harmonic oscillator in spaces with degenerate metrics

    E-Print Network [OSTI]

    N. A. Gromov

    2006-03-02

    With the help of contraction method we study the harmonic oscillator in spaces with degenerate metrics, namely, on Galilei plane and in the flat 3D Cayley-Klein spaces $R_3(j_2,j_3).$ It is shown that the inner degrees of freedom are appeared which physical dimensions are different from the dimension of the space.

  20. Quantitative Metrics of Social Response for Autism Diagnosis*

    E-Print Network [OSTI]

    Scassellati, Brian

    Quantitative Metrics of Social Response for Autism Diagnosis* Brian Scassellati Department and treatment of autism, a pervasive developmental disorder which results in selective impairment of social to address critical problems in diagnosing autism. We provide preliminary data and observations on how

  1. EERE Portfolio: Primary Benefits Metrics for FY09

    SciTech Connect (OSTI)

    [EERE

    2011-11-17

    This collection of data tables shows the benefits metrics related to energy security, environmental impacts, and economic impacts for both the entire EERE portfolio of renewable energy technologies as well as the individual technologies. Data are presented for the years 2015, 2020, 2030, and 2050, for both the NEMS and MARKAL models.

  2. MESUR: USAGE-BASED METRICS OF SCHOLARLY IMPACT

    SciTech Connect (OSTI)

    BOLLEN, JOHAN [Los Alamos National Laboratory; RODRIGUEZ, MARKO A. [Los Alamos National Laboratory; VAN DE SOMPEL, HERBERT [Los Alamos National Laboratory

    2007-01-30

    The evaluation of scholarly communication items is now largely a matter of expert opinion or metrics derived from citation data. Both approaches can fail to take into account the myriad of factors that shape scholarly impact. Usage data has emerged as a promising complement to existing methods o fassessment but the formal groundwork to reliably and validly apply usage-based metrics of schlolarly impact is lacking. The Andrew W. Mellon Foundation funded MESUR project constitutes a systematic effort to define, validate and cross-validate a range of usage-based metrics of schlolarly impact by creating a semantic model of the scholarly communication process. The constructed model will serve as the basis of a creating a large-scale semantic network that seamlessly relates citation, bibliographic and usage data from a variety of sources. A subsequent program that uses the established semantic network as a reference data set will determine the characteristics and semantics of a variety of usage-based metrics of schlolarly impact. This paper outlines the architecture and methodology adopted by the MESUR project and its future direction.

  3. Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric

    E-Print Network [OSTI]

    Riabov, Vladimir V.

    The purpose of this document is to describe the structured testing methodology for software testing, also uses the control flow structure of software to establish path cover- age criteria. The resultant testCabe, object oriented, software development, software diagnostic, software metrics, software testing

  4. Thermodynamics and the naked singularity in the Gamma-metric

    E-Print Network [OSTI]

    K. Lochan; D. Malafarina; T. P. Singh

    2010-09-23

    We investigate a possible way of establishing a parallel between the third law of black hole mechanics, and the strong version of the third law of thermodynamics. We calculate the surface gravity and area for a naked singular null surface in the Gamma-metric and explain in what sense this behaviour violates thermodynamics.

  5. A Case Study in Developing Process Unit Energy Metrics 

    E-Print Network [OSTI]

    Davis, J. L.; Van Atta, B.

    2006-01-01

    At the 2005 IETC Conference, KBC (Davis and Knight) submitted a paper on Integrating Process Unit Energy Metrics into a Plant Energy Managemenet System. For the 2006 conference, KBC wishes to submit a paper that details an actual case study where...

  6. Metrics-driven development of an autonomous indoor

    E-Print Network [OSTI]

    Differential drive Ground-truth camera Sonars and IR Pan-tilt unit IMU Platform: depth-only perception #12 Obstacle avoidance Lag estimator Drive controller Differential drive Horizontal scan Path tracking in large environments #12;Key metric of autonomy: mean time to failure #12;10 Atrium Lounge Hallway

  7. New set of metrics for the computational performance

    E-Print Network [OSTI]

    New set of metrics for the computational performance of IS-ENES Earth System Models TR/CMGC/14/73 U performance of Earth System Models is developed and used for an initial performance analysis of the EC models.................................................................................................................................5 2.1 List of Participating Earth System Models

  8. Kerr-NUT-AdS metrics and string theory 

    E-Print Network [OSTI]

    Chen, Wei

    2009-05-15

    With the advent of supergravity and superstring theory, it is of great importance to study higher-dimensional solutions to the Einstein equations. In this dissertation, we study the higher dimensional Kerr-AdS metrics, and show how they admit...

  9. Dynamic Adaptive Search Based Software Engineering Needs Fast Approximate Metrics

    E-Print Network [OSTI]

    Harman, Mark

    1 Dynamic Adaptive Search Based Software Engineering Needs Fast Approximate Metrics Mark Harman. University College Dublin, Ireland. Abstract--Search Based Software Engineering (SBSE) uses fitness functions to guide an automated search for solutions to challenging software engineering problems. The fitness

  10. Calculation and Optimization of Thresholds for Sets of Software Metrics

    E-Print Network [OSTI]

    Grabowski, Jens

    ,grabowski,waack}@cs.uni-goettingen.de Abstract. Many software quality models use software metrics to determine qual- ity attributes of software/IEC, 2005). To up- hold the required standard of quality, the assessment and assurance of software quality characteristics are an import part of the execution of software projects. In many models to assess the quality

  11. Using Software Metrics Tools for Maintenance Decisions: A Classroom Exercise

    E-Print Network [OSTI]

    Katchabaw, Michael James

    identify modules with low software quality; renovating those modules would be a step toward improving (Bauer) taught a senior under­ graduate course entitled ``Software Processes, Measure­ ments and Quality''. The course concentrated on the use of software metrics to evaluate software quality. We decided to use

  12. Metrics and Smoothing of TranslationInvariant Radon

    E-Print Network [OSTI]

    Greenblatt, Michael

    Metrics and Smoothing of Translation­Invariant Radon Transforms Along Curves Michael Greenblatt 1: (617) 253­4358 Running head: Radon Transforms 1 This research was supported in part by NSF grant DMS­invariant Radon transforms along curves for # # # and p

  13. An effective theory of metrics with maximal acceleration

    E-Print Network [OSTI]

    Ricardo Gallego Torromé

    2015-10-15

    A geometric theory for spacetimes whose world lines associated with physical particles have an upper bound for the proper acceleration is developed. After some fundamental remarks on the requirements that the classical dynamics for point particles should hold, the notion of generalized metric and a theory of maximal proper acceleration are introduced. A perturbative approach to metrics of maximal proper acceleration is discussed and we show how it provides a consistent theory where the associated Lorentzian metric corresponds to the limit when the maximal proper acceleration goes to infinity. Then several of the physical and kinematical properties of the maximal acceleration metric are investigated, including a discussion of the rudiments of the causal theory and the introduction of the notions of radar distance and celerity function. We discuss the corresponding modification of the Einstein mass-energy relation when the associated Lorentzian geometry is flat. In such context it is also proved that the physical dispersion relation is relativistic. Two possible physical scenarios where the modified mass-energy relation could be confronted against experiment are briefly discussed.

  14. Mining Simulation Metrics for Failure Triage in Regression Testing

    E-Print Network [OSTI]

    Veneris, Andreas

    are grouped by applying data-mining clustering algorithms. Fi- nally, the generated failure clustersMining Simulation Metrics for Failure Triage in Regression Testing Zissis Poulos1 , Andreas Veneris of failures can be exposed. These failures need to be properly grouped and distributed among engineers

  15. Methods, Metrics and Motivation for a Green Computer Science Program

    E-Print Network [OSTI]

    Way, Thomas

    and, more recently, economically sensible [13]. "Going Green" implies reducing your energy useMethods, Metrics and Motivation for a Green Computer Science Program Mujtaba Talebi and Thomas Way are uniquely positioned to promote greater awareness of Green Computing, using the academic setting

  16. Metrics and Benchmarks for Energy Efficiency in Laboratories

    SciTech Connect (OSTI)

    Mathew, Paul

    2007-10-26

    A wide spectrum of laboratory owners, ranging from universities to federal agencies, have explicit goals for energy efficiency in their facilities. For example, the Energy Policy Act of 2005 (EPACT 2005) requires all new federal buildings to exceed ASHRAE 90.1-2004 1 by at least 30 percent. The University of California Regents Policy requires all new construction to exceed California Title 24 2 by at least 20 percent. A new laboratory is much more likely to meet energy efficiency goals if quantitative metrics and targets are explicitly specified in programming documents and tracked during the course of the delivery process. If efficiency targets are not explicitly and properly defined, any additional capital costs or design time associated with attaining higher efficiencies can be difficult to justify. The purpose of this guide is to provide guidance on how to specify and compute energy efficiency metrics and benchmarks for laboratories, at the whole building as well as the system level. The information in this guide can be used to incorporate quantitative metrics and targets into the programming of new laboratory facilities. Many of these metrics can also be applied to evaluate existing facilities. For information on strategies and technologies to achieve energy efficiency, the reader is referred to Labs21 resources, including technology best practice guides, case studies, and the design guide (available at www.labs21century.gov/toolkit).

  17. Metric Attractors for Smooth Unimodal Maps Jacek Graczyk

    E-Print Network [OSTI]

    Sands, Duncan

    Metric Attractors for Smooth Unimodal Maps Jacek Graczyk #3; Dept. of Math. University of Paris XI 91405 Orsay Cedex France Duncan Sands CNRS, Dept. of Math. University of Paris XI 91405 Orsay Cedex attractor for some dynamics if the basin of attraction B(A) := fx : !(x) #26; Ag of A has positive Lebesgue

  18. Urgent need for a common metric to make precipitation

    E-Print Network [OSTI]

    Dukes, Jeffrey

    Letters Urgent need for a common metric to make precipitation manipulation experiments comparable of altered precipitation patterns, by contrast, have received far less atten- tion. The results of precipitation manipulation experiments were only recently synthesized for the first time (Wu et al., 2011

  19. Einstein static Universe in hybrid metric-Palatini gravity

    E-Print Network [OSTI]

    Christian G. Boehmer; Francisco S. N. Lobo; Nicola Tamanini

    2015-02-18

    Hybrid metric-Palatini gravity is a recent and novel approach to modified theories of gravity, which consists of adding to the metric Einstein-Hilbert Lagrangian an f(R) term constructed a la Palatini. It was shown that the theory passes local tests even if the scalar field is very light, and thus implies the existence of a long-range scalar field, which is able to modify the dynamics in galactic and cosmological scales, but leaves the Solar System unaffected. In this work, motivated by the possibility that the Universe may have started out in an asymptotically Einstein static state in the inflationary universe context, we analyse the stability of the Einstein static Universe by considering linear homogeneous perturbations in the respective dynamically equivalent scalar-tensor representation of hybrid metric-Palatini gravity. Considering linear homogeneous perturbations, the stability regions of the Einstein static universe are parametrized by the first and second derivatives of the scalar potential, and it is explicitly shown that a large class of stable solutions exists in the respective parameter space, in the context of hybrid metric-Palatini gravity.

  20. A nuclear criticality safety assessment of the loss of moderation control in 2 1/2 and 10-ton cylinders containing enriched UF{sub 6}

    SciTech Connect (OSTI)

    Newvahner, R.L. [Martin Marietta Energy Systems, Inc., Piketon, OH (United States); Pryor, W.A. [PAI Corp., Oak Ridge, TN (United States)

    1991-12-31

    Moderation control for maintaining nuclear criticality safety in 2 {1/2}-ton, 10-ton, and 14-ton cylinders containing enriched uranium hexafluoride (UF{sub 6}) has been used safely within the nuclear industry for over thirty years, and is dependent on cylinder integrity and containment. This assessment evaluates the loss of moderation control by the breaching of containment and entry of water into the cylinders. The first objective of this study was to estimate the required amounts of water entering these large UF{sub 6} cylinders to react with, and to moderate the uranium compounds sufficiently to cause criticality. Hypothetical accident situations were modeled as a uranyl fluoride (UO{sub 2}F{sub 2}) slab above a UF{sub 6} hemicylinder, and a UO{sub 2}F{sub 2} sphere centered within a UF{sub 6} hemicylinder. These situations were investigated by computational analyses utilizing the KENO V.a Monte Carlo Computer Code. The results were used to estimate both the masses of water required for criticality, and the limiting masses of water that could be considered safe. The second objective of the assessment was to calculate the time available for emergency control actions before a criticality would occur, i.e., a {open_quotes}safetime{close_quotes}, for various sources of water and different size openings in a breached cylinder. In the situations considered, except the case for a fire hose, the safetime appears adequate for emergency control actions. The assessment shows that current practices for handling moderation controlled cylinders of low enriched UF{sub 6}, along with the continuation of established personnel training programs, ensure nuclear criticality safety for routine and emergency operations.