National Library of Energy BETA

Sample records for restricted computer software

  1. Exhibit CCS Commercial Computer Software Restricted Rights UT-B Contracts Div Page 1 of 1

    E-Print Network [OSTI]

    Exhibit CCS ­ Commercial Computer Software ­ Restricted Rights UT-B Contracts Div July 2010 Page 1 the delivery of, this computer software, the rights of the Company and the Government regarding its use of 1 exccs-july10.doc Exhibit CCS Ref: FAR 52.227-19 COMMERCIAL COMPUTER SOFTWARE LICENSE (July 2010

  2. Exhibit 2 Representation of Limited Rights Data and Restricted Computer Software UT-B Contracts Div Page 1 of 1

    E-Print Network [OSTI]

    Exhibit 2 ­ Representation of Limited Rights Data and Restricted Computer Software UT-B Contracts, the Seller may withhold from delivery data that qualify as limited rights data or restricted computer delivery of limited rights data or restricted computer software, marked with limited rights or restricted

  3. Representation of Limited Rights Data and Restricted Computer...

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

    Representation of Limited Rights Data and Restricted Computer Software Representation of Limited Rights Data and Restricted Computer Software Representation of Limited Rights Data...

  4. SOFTWARE ENGINEERING COMPUTER SCIENCE

    E-Print Network [OSTI]

    Haykin, Simon

    SOFTWARE ENGINEERING COMPUTER SCIENCE ... What's the Difference? goeng1@mcmaster.ca www goeng1mac.blogspot.ca f t Computer Engineering encompasses computer hardware, electronics, digital communications, signal processing and robotics. The focus of Computer Engineering is on computer hardware and its

  5. Software & GRID Computing for LHC

    E-Print Network [OSTI]

    Evans, Hal

    Software & GRID Computing for LHC (Computing Work in a Big Group) Frederick Luehring luehring computing Writing software in large collaboration Processing a large datastream February 10, 2011 P410/P Software in a Collaboration February 10, 2011 P410/P609 Presentation F. Luehring Pg. 10 #12;Collaborative

  6. Computer Aided Evolutionary Design for Software Engineering

    E-Print Network [OSTI]

    Rich, Charles

    1979-01-01

    We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of software systems. ...

  7. Guide to Preventing Computer Software Piracy

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2001-07-12

    Guide to Preventing Computer Software Piracy It is the intent of the Department of Energy (DOE) to issue guidance in accordance with Federal CIO Council recommendations and in compliance with Executive Order 13103. The guidance in this document is based on the CIO Council's recommendations in reference to computer software piracy, and applies to all DOE elements. Canceled by DOE N 205.18

  8. Electrical, Computer and Software Engineering

    E-Print Network [OSTI]

    Petriu, Emil M.

    ) COMPUTERENG. Math (Bool Alg..) ELECTRICALENG. Math, Electricity COMPUTER SCIENCE Math (Formal Logic, Process Algebra, ) SOTWARE ENG. (SE) : To support industrial-produced application-specific SW ??Computer

  9. Computing Nash Equilibria for Scheduling on Restricted Parallel Links

    E-Print Network [OSTI]

    Mavronicolas, Marios

    Computing Nash Equilibria for Scheduling on Restricted Parallel Links Martin Gairing Thomas L of assigning n jobs to m parallel machines. In a pure Nash equilibrium, no user may im- prove its own main result, we introduce a polynomial time algorithm to compute from any given assignment a pure Nash

  10. VMCrypt -Modular Software Architecture for Scalable Secure Computation

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    VMCrypt - Modular Software Architecture for Scalable Secure Computation Lior Malka Jonathan Katz on efficiency and automation aspects of secure computation, in this paper we focus on software modularity software also introduces a new technique for parallel evaluation of garbled circuits. The software

  11. A Computer Engineer's Perception of Software Engineering Michael Stumm

    E-Print Network [OSTI]

    Stumm, Michael

    A Computer Engineer's Perception of Software Engineering Michael Stumm Department of Electrical and Computer Engineering University of Toronto Toronto, Canada M5S 1A4 1 Introduction While software many computer engineering professionals. First, industry cries out for software engineering solutions

  12. Cluster computing software for GATE simulations

    SciTech Connect (OSTI)

    Beenhouwer, Jan de; Staelens, Steven; Kruecker, Dirk; Ferrer, Ludovic; D'Asseler, Yves; Lemahieu, Ignace; Rannou, Fernando R.

    2007-06-15

    Geometry and tracking (GEANT4) is a Monte Carlo package designed for high energy physics experiments. It is used as the basis layer for Monte Carlo simulations of nuclear medicine acquisition systems in GEANT4 Application for Tomographic Emission (GATE). GATE allows the user to realistically model experiments using accurate physics models and time synchronization for detector movement through a script language contained in a macro file. The downside of this high accuracy is long computation time. This paper describes a platform independent computing approach for running GATE simulations on a cluster of computers in order to reduce the overall simulation time. Our software automatically creates fully resolved, nonparametrized macros accompanied with an on-the-fly generated cluster specific submit file used to launch the simulations. The scalability of GATE simulations on a cluster is investigated for two imaging modalities, positron emission tomography (PET) and single photon emission computed tomography (SPECT). Due to a higher sensitivity, PET simulations are characterized by relatively high data output rates that create rather large output files. SPECT simulations, on the other hand, have lower data output rates but require a long collimator setup time. Both of these characteristics hamper scalability as a function of the number of CPUs. The scalability of PET simulations is improved here by the development of a fast output merger. The scalability of SPECT simulations is improved by greatly reducing the collimator setup time. Accordingly, these two new developments result in higher scalability for both PET and SPECT simulations and reduce the computation time to more practical values.

  13. Computer Science: An Overview Software Engineering

    E-Print Network [OSTI]

    Lanubile, Filippo

    Engineering 7.1 The Software Engineering Discipline 7 2 The Software Life Cycle 7.2 The Software Life-4 Programming #12;3 Figure 7.1 The software life cycle Copyright 2012 Pearson Education, Inc. 0-5 Figure 7.2 The development phase of the software life cycle Copyright 2012 Pearson Education, Inc. 0-6 #12;4 Analysis Stage

  14. Trends in Computing and Software Dr. Lyle N. Long

    E-Print Network [OSTI]

    Trends in Computing and Software by Dr. Lyle N. Long Distinguished Professor of Aerospace trends Software Trends Conclusions #12;L.N.Long Predicting the Future ? Before I make any predictions graduates: 167 in Systems Engineering (23 %) 136 in Software Engineering (19 %) 59 in Mechanical Engineering

  15. Representation of Limited Rights Data and Restricted Computer Software

    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 AEnergyPresidentialThis 3-DMarchLLC Open Annual Report I. Basic(December 2012)5

  16. Representation of Limited Rights Data and Restricted Computer Software

    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 wouldMassR&D100 Winners *ReindustrializationEnergyWind EnergyReports Nuclear

  17. Representation of Limited Rights Data and Restricted Computer Software |

    Energy Savers [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 DeliciousMathematicsEnergyInterestedReplacement-2-A Wholesale Power Rate

  18. Representation of Limited Rights Data and Restricted Computer Software |

    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: Report Appendices |ProjectKnowRedoxRelatedFraud toReportingReports

  19. A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing

    E-Print Network [OSTI]

    A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing Christoph Endres aspects of the ubiquitous computing vision as described by Mark Weiser [60]. This survey is meant computing devices are only an intermediate stage in this evolution, but the vision of ubiquitous computing

  20. The First International Workshop on Automation of Software Test Department of Computing

    E-Print Network [OSTI]

    Zhu, Hong

    The First International Workshop on Automation of Software Test Hong Zhu Department of Computing, Experimentation, Languages, Management, Measurement. Keywords Software test, Software automation, Test case and environments, Component integration test. 1 MOTIVATION Software testing is indispensable for all software

  1. Barracuda Computational Particle Fluid Dynamics (CPFD) Software...

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

    is inherently limited and not completely accurate. With assistance from AMO, a consortium of industrial partners led by CPFD Software, LLC, has developed and commercialized...

  2. Open-Source Software in Computational Research: A Case Study

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

    Syamlal, Madhava; O'Brien, Thomas J.; Benyahia, Sofiane; Gel, Aytekin; Pannala, Sreekanth

    2008-01-01

    A case study of open-source (OS) development of the computational research software MFIX, used for multiphase computational fluid dynamics simulations, is presented here. The verification and validation steps required for constructing modern computational software and the advantages of OS development in those steps are discussed. The infrastructure used for enabling the OS development of MFIX is described. The impact of OS development on computational research and education in gas-solids flow, as well as the dissemination of information to other areas such as geophysical and volcanology research, is demonstrated. This study shows that the advantages of OS development were realized inmorethe case of MFIX: verification by many users, which enhances software quality; the use of software as a means for accumulating and exchanging information; the facilitation of peer review of the results of computational research.less

  3. Software Reuse in High Performance Computing Shirley Browne

    E-Print Network [OSTI]

    Dongarra, Jack

    Software Reuse in High Performance Computing Shirley Browne University of Tennessee 107 Ayres Hall high performance computing architectures in the form of distributed memory mul tiprocessors have and cost of programming applications to run on these machines. Economical use of high performance computing

  4. Software Reuse in High Performance Computing Shirley Browne

    E-Print Network [OSTI]

    Dongarra, Jack

    Software Reuse in High Performance Computing Shirley Browne University of Tennessee 107 Ayres Hall high performance computing architectures in the form of distributed memorymul- tiprocessors have become of programming applications to run on these machines. Economical use of high performance computing and subsequent

  5. User-Oriented Software for Energy Conservation with Personal Computers

    E-Print Network [OSTI]

    Schmidt, P. S.; Fischer, D. B.; Barr, C. L.

    1982-01-01

    Personal computers offer the potential for significantly easing the task of energy conservation engineering and management. Effective use of these powerful tools, however, requires good software. This paper describes a number of techniques...

  6. Computational Approaches for Modelling Elastohydrodynamic Lubrication Using Multiphysics Software

    E-Print Network [OSTI]

    Jimack, Peter

    the Integral Approach (IA). The computational cost of performing this calculation is , for N points over developing highly specialised, bespoke software are highlighted. In order to calculate the complex nonlinear partial differential equation system representing the full problem. This includes

  7. Using Agentbased Software for Scientific Computing

    E-Print Network [OSTI]

    Dongarra, Jack

    in computational servers. New numerical functionalities can be integrated easily into the servers by a specific, Computational Servers \\Lambda Department of Computer Science, University of Tennessee, TN 37996 y Mathematical computations. Another class of tools falls under the category of numerical function libraries. These libraries

  8. Practical methods to improve the development of computational software

    SciTech Connect (OSTI)

    Osborne, A. G.; Harding, D. W.; Deinert, M. R. [Department of Mechanical Engineering, University of Texas, Austin (United States)

    2013-07-01

    The use of computation has become ubiquitous in science and engineering. As the complexity of computer codes has increased, so has the need for robust methods to minimize errors. Past work has show that the number of functional errors is related the number of commands that a code executes. Since the late 1960's, major participants in the field of computation have encouraged the development of best practices for programming to help reduce coder induced error, and this has lead to the emergence of 'software engineering' as a field of study. Best practices for coding and software production have now evolved and become common in the development of commercial software. These same techniques, however, are largely absent from the development of computational codes by research groups. Many of the best practice techniques from the professional software community would be easy for research groups in nuclear science and engineering to adopt. This paper outlines the history of software engineering, as well as issues in modern scientific computation, and recommends practices that should be adopted by individual scientific programmers and university research groups. (authors)

  9. Software Policy | 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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | DepartmentmaterialsSoftware

  10. Integrated Computer Software for Process Design Methodology

    E-Print Network [OSTI]

    Gautam, R.

    1985-01-01

    A computer-aided system for synthesis, simulation and optimization of heat exchanger networks will be described. It features Pinch Technology, its extensions and Union Carbide's in-house research and development. The capabilities of the system...

  11. Les Hatton, Oakwood Computing, 1999. Submitted to IEEE Software July/1999. Page .. 1 "Characterising the diagnosis of software failure "

    E-Print Network [OSTI]

    Hatton, Les

    Les Hatton, Oakwood Computing, 1999. Submitted to IEEE Software July/1999. Page .. 1 Laboratory, University of Kent. U.K. Version #1.3, 12th. July, 1999 #12; Les Hatton, Oakwood Computing, 1999. Submitted to IEEE Software July/1999. Page .. 2 Abstract Software systems are characterised uniquely amongst

  12. Software Requests Mann Library Public Access Computing Mann Library's public access computing (PAC) environment deploys a suite of software that is available at

    E-Print Network [OSTI]

    Angenent, Lars T.

    Software Requests Mann Library Public Access Computing Mann Library's public access computing for requesting Mann Library public access computing software is: Sara E. Wright, 254-6218, sew268@cornell.edu #12; to academic and research-related resources, by all patrons of the Library. Software for instruction

  13. Proposals with computer/laptop and software purchases: In order to use agency funds to pay for computers, software and peripherals,

    E-Print Network [OSTI]

    Kurapov, Alexander

    Proposals with computer/laptop and software purchases: In order to use agency funds to pay for computers, software and peripherals, specific language needs to be included as part of your proposal budget and/or software to complete the project goals. Try to be as specific as possible. Computer Purchase

  14. SE-CSE 2009: The Second International Workshop on Software Engineering for Computational Science and Engineering

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    SE-CSE 2009: The Second International Workshop on Software Engineering for Computational Science with the development of Computational Science & Engineering (CS&E) software. This software includes: 1) Scientific, the development of CS&E software has historically attracted little attention from the software engineering

  15. Computational Experience with a Software Framework for Parallel Integer Programming

    E-Print Network [OSTI]

    Ralphs, Ted

    from NSF grant DMI-0522796 Department of Mathematical Sciences, IBM T. J. Watson Research Center, Yorktown Heights, NY 10598, ladanyi@us.ibm.com Department of Mathematical Sciences, Clemson UniversityComputational Experience with a Software Framework for Parallel Integer Programming Y. Xu T. K

  16. GEOMETRIC ALGORITHMS AND SOFTWARE ARCHITECTURE FOR COMPUTATIONAL PROTOTYPING

    E-Print Network [OSTI]

    Dutton, Robert W.

    IN VASCULAR SURGERY AND MEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF MECHANICAL ENGINEERING interventions. #12;v The software framework was also extended for use in computational prototyping of micro-electro-mechanical systems (MEMS). While MEMS are often constructed utilizing integrated-circuit fabrication techniques

  17. Scalable Computing Software Laboratory Technical Report Department of Computer Science

    E-Print Network [OSTI]

    Sun, Xian-He

    -He Sun Department of Computer Science Illinois Institute of Technology Parallel Execution Group Oracle.x.jin@oracle.com sun@iit.edu May 2, 2013 Technical Report No. IIT/CS-SCS2013-05 http://www.cs.iit.edu 10 West 31st, requires the power of both high performance computing and data processing. This study introduces a system

  18. Computer software engineers design, create, and modify computer applications.

    E-Print Network [OSTI]

    of a company's computer systems and plan their future growth. Working with a company, they coordinate each suggestions about its technical direction. They also might set up the company's intranets--networks that link engineers work for companies that config- ure, implement, and install complete computer systems. They may

  19. Cloud Computing and Distributed Systems Laboratory DEPT. OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING

    E-Print Network [OSTI]

    Melbourne, University of

    Cloud Computing and Distributed Systems Laboratory DEPT. OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING THE UNIVERSITY OF MELBOURNE, AUSTRALIA The Cloud Computing and Distributed Systems (CLOUDS in 2008 by the CLOUDS lab at the University of Melbourne, facilitates the realization of the above vision

  20. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions

    E-Print Network [OSTI]

    Hicks, Michael

    functions on the stack, and con-freeness safety (CFS), which allows modifications to active functions, and that both AS and CFS dramatically reduced, but did not fully eliminate, these failures. CFS yielded more failures than AS, but AS was more restrictive than CFS, disallowing far more successful updates. Our

  1. High Energy Physics Forum for Computational Excellence: Working Group Reports (I. Applications Software II. Software Libraries and Tools III. Systems)

    E-Print Network [OSTI]

    Habib, Salman; LeCompte, Tom; Marshall, Zach; Borgland, Anders; Viren, Brett; Nugent, Peter; Asai, Makoto; Bauerdick, Lothar; Finkel, Hal; Gottlieb, Steve; Hoeche, Stefan; Sheldon, Paul; Vay, Jean-Luc; Elmer, Peter; Kirby, Michael; Patton, Simon; Potekhin, Maxim; Yanny, Brian; Calafiura, Paolo; Dart, Eli; Gutsche, Oliver; Izubuchi, Taku; Lyon, Adam; Petravick, Don

    2015-01-01

    Computing plays an essential role in all aspects of high energy physics. As computational technology evolves rapidly in new directions, and data throughput and volume continue to follow a steep trend-line, it is important for the HEP community to develop an effective response to a series of expected challenges. In order to help shape the desired response, the HEP Forum for Computational Excellence (HEP-FCE) initiated a roadmap planning activity with two key overlapping drivers -- 1) software effectiveness, and 2) infrastructure and expertise advancement. The HEP-FCE formed three working groups, 1) Applications Software, 2) Software Libraries and Tools, and 3) Systems (including systems software), to provide an overview of the current status of HEP computing and to present findings and opportunities for the desired HEP computational roadmap. The final versions of the reports are combined in this document, and are presented along with introductory material.

  2. High Energy Physics Forum for Computational Excellence: Working Group Reports (I. Applications Software II. Software Libraries and Tools III. Systems)

    E-Print Network [OSTI]

    Salman Habib; Robert Roser; Tom LeCompte; Zach Marshall; Anders Borgland; Brett Viren; Peter Nugent; Makoto Asai; Lothar Bauerdick; Hal Finkel; Steve Gottlieb; Stefan Hoeche; Paul Sheldon; Jean-Luc Vay; Peter Elmer; Michael Kirby; Simon Patton; Maxim Potekhin; Brian Yanny; Paolo Calafiura; Eli Dart; Oliver Gutsche; Taku Izubuchi; Adam Lyon; Don Petravick

    2015-10-29

    Computing plays an essential role in all aspects of high energy physics. As computational technology evolves rapidly in new directions, and data throughput and volume continue to follow a steep trend-line, it is important for the HEP community to develop an effective response to a series of expected challenges. In order to help shape the desired response, the HEP Forum for Computational Excellence (HEP-FCE) initiated a roadmap planning activity with two key overlapping drivers -- 1) software effectiveness, and 2) infrastructure and expertise advancement. The HEP-FCE formed three working groups, 1) Applications Software, 2) Software Libraries and Tools, and 3) Systems (including systems software), to provide an overview of the current status of HEP computing and to present findings and opportunities for the desired HEP computational roadmap. The final versions of the reports are combined in this document, and are presented along with introductory material.

  3. Computer software design description for the integrated control and data acquisition system LDUA system

    SciTech Connect (OSTI)

    Aftanas, B.L.

    1998-08-12

    This Computer Software Design Description (CSDD) document provides the overview of the software design for all the software that is part of the integrated control and data acquisition system of the Light Duty Utility Arm System (LDUA). It describes the major software components and how they interface. It also references the documents that contain the detailed design description of the components.

  4. The University of Melbourne Department of Computer Science and Software Engineering

    E-Print Network [OSTI]

    Melbourne, University of

    1 The University of Melbourne Department of Computer Science and Software Engineering 433-254 Software Design Semester 2, 2003 Solutions - Tutorial 1 Week 2 1. Define the term software engineering. Sample Answer: x An early definition given at the first NATO conference on software engineering (1968

  5. Software defect tracking during new product development of a computer system

    E-Print Network [OSTI]

    Curhan, Lisa A., 1961-

    2005-01-01

    Software defects (colloquially known as "bugs") have a major impact on the market acceptance and profitability of computer systems. Sun Microsystems markets both hardware and software for a wide variety of customer needs. ...

  6. Sandia National Laboratories Advanced Simulation and Computing (ASC) software quality plan : ASC software quality engineering practices Version 3.0.

    SciTech Connect (OSTI)

    Turgeon, Jennifer L.; Minana, Molly A.; Hackney, Patricia; Pilch, Martin M.

    2009-01-01

    The purpose of the Sandia National Laboratories (SNL) Advanced Simulation and Computing (ASC) Software Quality Plan is to clearly identify the practices that are the basis for continually improving the quality of ASC software products. Quality is defined in the US Department of Energy/National Nuclear Security Agency (DOE/NNSA) Quality Criteria, Revision 10 (QC-1) as 'conformance to customer requirements and expectations'. This quality plan defines the SNL ASC Program software quality engineering (SQE) practices and provides a mapping of these practices to the SNL Corporate Process Requirement (CPR) 001.3.6; 'Corporate Software Engineering Excellence'. This plan also identifies ASC management's and the software project teams responsibilities in implementing the software quality practices and in assessing progress towards achieving their software quality goals. This SNL ASC Software Quality Plan establishes the signatories commitments to improving software products by applying cost-effective SQE practices. This plan enumerates the SQE practices that comprise the development of SNL ASC's software products and explains the project teams opportunities for tailoring and implementing the practices.

  7. Project Software Engineering for Computational Science Software SECOSS II Project Description

    E-Print Network [OSTI]

    Heermann, Dieter W.

    . There is also a difference in the objective: a software engineer's goal is to produce high quality software work in the project SECOSS we have developed a quality assurance process for scientific software [1 the quality assurance process developed for DUNE [5] should be extended for the software framework DEALII [6

  8. software

    E-Print Network [OSTI]

    software contact ... software. TREECODE3D_YUKAWA. TREECODE3D_YUKAWA is a Fortran90 subroutine for approximating the screened Coulomb...

  9. Mathematics Advice for: 1. Bachelor of Engineering, Bachelor of Advanced Computing, Bachelor of Software Engineering students

    E-Print Network [OSTI]

    of Software Engineering students Students who have completed ACT Maths Methods should read the followingMathematics Advice for: 1. Bachelor of Engineering, Bachelor of Advanced Computing, Bachelor

  10. IEEE TRANSACTIONS ON COMPUTERS, VOL. C-25, NO. 12, DECEMBER 1976 Software Engineering

    E-Print Network [OSTI]

    Hayes, Jane E.

    IEEE TRANSACTIONS ON COMPUTERS, VOL. C-25, NO. 12, DECEMBER 1976 Software Engineering BARRY W. BOEHM Abstract-This paper provides a definition of the term "software engineering" and a survey- able in the various phases ofthe software life cycle-requirements engineering, design, coding, test

  11. Bachelor of Science in Computer Science and Master of Science in Software Engineering

    E-Print Network [OSTI]

    Rock, Chris

    Bachelor of Science in Computer Science and Master of Science in Software Engineering FIRST YEAR THIRD YEAR Fall Spring CS 3361, Concepts of Program. Lang. 3 CS 3365, Software Engineering I 3 CS 3364 CS 4365, Software Engineering II 3 CS 4366, Sr. Capstone Project 3 CS 4352, Operating Systems 3 CS

  12. Software Cybernetics in the Age of Cloud Computing --Challenges and Opportunities

    E-Print Network [OSTI]

    Zhu, Hong

    ]; etc. Software cybernetics, as a subdivision of cybernetics in the domain of software engineering, hasSoftware Cybernetics in the Age of Cloud Computing -- Challenges and Opportunities Hong Zhu" [1], the past six decades have seen a rapid development of cybernetics and its applications to a wide

  13. Software Documents, Their Relationships and Properties School of Computing and Information Technology

    E-Print Network [OSTI]

    Han, Jun

    Software Documents, Their Relationships and Properties Jun Han School of Computing and Information: +61 3 9044604, fax: +61 3 9044124 Abstract. One of the functionalities of software development environments is to maintain all the docu- ments produced in the software development process. To facilitate

  14. The interactive effects of individual learning style, computer software, and teacher involvement on developing typing skill

    E-Print Network [OSTI]

    Goodman, Sarina Renae

    1995-01-01

    This research examines the effects and interactions of an individual's learning style, the type of computer software, and the level of teacher involvement on students learning how to type on a computer keyboard. The research ...

  15. The role of computer-aided drafting, analysis, and design software in structural engineering practice

    E-Print Network [OSTI]

    De los Reyes, Adrian

    2006-01-01

    Perhaps the greatest innovation in engineering in the last fifty years, computer software has changed the way structural engineers conduct nearly every aspect of their daily business. Computer-aided drafting, analysis, and ...

  16. Surveillance Analysis Computer System (SACS) software design document (SDD)

    SciTech Connect (OSTI)

    Glasscock, J.A.

    1995-09-01

    This document contains the Software Design Description for Phase II of the SACS project, and Impact Level 3Q system

  17. 1HYDEN: Academic Transfer Agreement -Page Computer Software License Agreement

    E-Print Network [OSTI]

    Shamir, Ron

    in and to the Software and any translations, adaptations, alterations, modifications or similar derivative of any of the foregoing and in and to any physical embodiment of the Software and associated documentation vest to use the Software as aforesaid does not include any obligation or undertaking to supply any

  18. Switchover software reliability estimate for Paducah Freezer/Sublimer computer systems

    SciTech Connect (OSTI)

    Flanagan, D.M.; Davis, J.N.

    1993-04-01

    K-25 Engineering Division purchased a series of redundant computer systems and developed software for the purpose of providing continuous process monitoring and control for the Freezer/Sublimer equipment in the gaseous diffusion process at the Paducah Gaseous Diffusion Plant. The application software is loaded on two central processing units (CPU) so that in the event of a failure of the primary unit, the processing can switch to the backup unit and continue processing without error. It is the purpose of this document to demonstrate the reliability of this system with respect to its ability to switch properly between redundant CPU. The total reliability estimation problem -- which considers the computer hardware, the operating system software, and the application software -- has been reduced to one that considers only the application software directly involved in the switchover process. Estimates are provided for software reliability and the testing coverage. Software and hardware reliability models and reliability growth models are considered in addition to Bayesian approaches.

  19. Software Quality, Software Process,

    E-Print Network [OSTI]

    Hamlet, Richard

    Software Quality, Software Process, and Software Testing Dick Hamlet Portland State University Department of Computer Science Center for Software Quality Research PO Box 751 Portland, OR 97207 Internet. However, unless testing goals are clearly related to true measurements of software quality, the testing

  20. Certainty in Stockpile Computing: Recommending a Verification and Validation Program for Scientific Software

    SciTech Connect (OSTI)

    Lee, J.R.

    1998-11-01

    As computing assumes a more central role in managing the nuclear stockpile, the consequences of an erroneous computer simulation could be severe. Computational failures are common in other endeavors and have caused project failures, significant economic loss, and loss of life. This report examines the causes of software failure and proposes steps to mitigate them. A formal verification and validation program for scientific software is recommended and described.

  1. Sandia National Laboratories Advanced Simulation and Computing (ASC) software quality plan. Part 1: ASC software quality engineering practices, Version 2.0.

    SciTech Connect (OSTI)

    Sturtevant, Judith E.; Heaphy, Robert; Hodges, Ann Louise; Boucheron, Edward A.; Drake, Richard Roy; Minana, Molly A.; Hackney, Patricia; Forsythe, Christi A.; Schofield, Joseph Richard, Jr.; Pavlakos, Constantine James; Williamson, Charles Michael; Edwards, Harold Carter

    2006-09-01

    The purpose of the Sandia National Laboratories Advanced Simulation and Computing (ASC) Software Quality Plan is to clearly identify the practices that are the basis for continually improving the quality of ASC software products. The plan defines the ASC program software quality practices and provides mappings of these practices to Sandia Corporate Requirements CPR 1.3.2 and 1.3.6 and to a Department of Energy document, ASCI Software Quality Engineering: Goals, Principles, and Guidelines. This document also identifies ASC management and software project teams responsibilities in implementing the software quality practices and in assessing progress towards achieving their software quality goals.

  2. PRIMA: Academic Transfer Agreement -Page Computer Software License Agreement

    E-Print Network [OSTI]

    Shamir, Ron

    that all right title and interest in and to the Software and any translations, adaptations, alterations, modifications or similar derivative of any of the foregoing and in and to any physical embodiment it is hereby clarified that the license to use the Software as aforesaid does not include any obligation

  3. software

    E-Print Network [OSTI]

    software. TREECODE3D_YUKAWA. TREECODE3D_YUKAWA is a Fortran90 subroutine for approximating the screened Coulomb (Yukawa) electrostatic...

  4. Cloud Computing for the Grid: GridControl: A Software Platform to Support the Smart Grid

    SciTech Connect (OSTI)

    2012-02-08

    GENI Project: Cornell University is creating a new software platform for grid operators called GridControl that will utilize cloud computing to more efficiently control the grid. In a cloud computing system, there are minimal hardware and software demands on users. The user can tap into a network of computers that is housed elsewhere (the cloud) and the network runs computer applications for the user. The user only needs interface software to access all of the clouds data resources, which can be as simple as a web browser. Cloud computing can reduce costs, facilitate innovation through sharing, empower users, and improve the overall reliability of a dispersed system. Cornells GridControl will focus on 4 elements: delivering the state of the grid to users quickly and reliably; building networked, scalable grid-control software; tailoring services to emerging smart grid uses; and simulating smart grid behavior under various conditions.

  5. FY95 software project management plan: TMACS, CASS computer systems

    SciTech Connect (OSTI)

    Spurling, D.G.

    1994-11-11

    The FY95 Work Plan for TMACS and CASS Software Projects describes the activities planned for the current fiscal year. This plan replaces WHC-SD-WM-SDP-008. The TMACS project schedule is included in the TWRS Integrated Schedule.

  6. Cloud Computing and Software as a Service in BMI Timoteus Ziminski

    E-Print Network [OSTI]

    Demurjian, Steven A.

    Cloud Computing and Software as a Service in BMI Timoteus Ziminski tbz@engr.uconn.edu May 7, 2011 1 Introduction The term "cloud computing" is one of the currently most frequently used buzz words and most of critique regarding the manner in which cloud computing is marketed is certainly not out of place (not

  7. Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications

    E-Print Network [OSTI]

    Carver, Jeffrey C.

    Third International Workshop on Software Engineering for High Performance Computing (HPC, and financial modeling. The TOP500 website (http://www.top500.org) lists the top 500 high performance computing to define new ways of measuring high performance computing systems that take into account not only the low

  8. AN APPROACH TO SOFTWARE CHANGE MANAGEMENT Peninsula School of Computing and Information Technology

    E-Print Network [OSTI]

    Han, Jun

    AN APPROACH TO SOFTWARE CHANGE MANAGEMENT SUPPORT Jun Han Peninsula School of Computing-325. IASTED ACTA PRESS. #12;AN APPROACH TO SOFTWARE CHANGE MANAGEMENT SUPPORT JUN HAN Peninsula School change is complex, and needs to be managed and assisted by automated tools. In this paper, we present

  9. Computing Legacy Software Behavior to Understand Functionality and Security Properties: An IBM/370 Demonstration

    SciTech Connect (OSTI)

    Linger, Richard C [ORNL; Pleszkoch, Mark G [ORNL; Prowell, Stacy J [ORNL; Sayre, Kirk D [ORNL; Ankrum, Scott [MITRE Corporation

    2013-01-01

    Organizations maintaining mainframe legacy software can benefit from code modernization and incorporation of security capabilities to address the current threat environment. Oak Ridge National Laboratory is developing the Hyperion system to compute the behavior of software as a means to gain understanding of software functionality and security properties. Computation of functionality is critical to revealing security attributes, which are in fact specialized functional behaviors of software. Oak Ridge is collaborating with MITRE Corporation to conduct a demonstration project to compute behavior of legacy IBM Assembly Language code for a federal agency. The ultimate goal is to understand functionality and security vulnerabilities as a basis for code modernization. This paper reports on the first phase, to define functional semantics for IBM Assembly instructions and conduct behavior computation experiments.

  10. A many-core software framework for embedded space computing

    E-Print Network [OSTI]

    Sun, Eugene Yu-Ting

    2013-01-01

    Space computing has long called for powerful yet power-efficient hardware for on-board computation. The emergence of many-core CPUs on a single die provides one potential solution. The development of processors like Maestro ...

  11. Cloud computing : implications for enterprise software vendors (ESV)

    E-Print Network [OSTI]

    Francis, Leonard, S.M. Massachusetts Institute of Technology

    2009-01-01

    'Cloud computing', is a broad concept and in general is a term used for internet-based computing resources that are in an unspecified remote location or locations and that are flexible and fungible. Clouds provide a wide ...

  12. Using Agent-based Software for Scienti c Computing

    E-Print Network [OSTI]

    Dongarra, Jack

    , freely available numerical libraries. These libraries are embedded in computational servers. New Department of Computer Science, University of Tennessee, TN 37996 y Mathematical Science Section, Oak Ridge is to help the user perform some speci c types of scienti c computations. Like numerical libraries

  13. Addressing the Energy Crisis in Mobile Computing with Developing Power Aware Software

    E-Print Network [OSTI]

    Krintz, Chandra

    Addressing the Energy Crisis in Mobile Computing with Developing Power Aware Software Selim Gurun, we first articulate the problem and describe the stateoftheart in energyaware hardware features performance adjustments and computation o#loading. We investigate various applications in terms of energy e

  14. MpPVM : A Software System Non-Dedicated Heterogeneous Computing

    E-Print Network [OSTI]

    Sun, Xian-He

    MpPVM : A Software System for Non-Dedicated Heterogeneous Computing Kasidit Chanchio Xian-He Sun migration for PVM application programs in a non-dedicated heterogeneous computing environ- ment. New and promising performance of our process migration mechanism in the scalable non- dedicated heterogeneous

  15. Technology and Education: Computers, Software, and the Internet

    E-Print Network [OSTI]

    Fairlie, Robert

    2015-01-01

    the Racial Divide on the Internet." Science 17 April: 390-Bureau. 2012. Computer and Internet Access in the United2012, Table 1. Reported Internet Usage for Individuals 3

  16. Software

    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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | Departmentmaterials |Software

  17. Institute for Software Research School of Computer Science

    E-Print Network [OSTI]

    with UA; the public health report by RW Johnson, 1641170 project with Columbia; and the robustness report1 This report/document supersedes CMU-ISR-09-115 "ORA User's Guide 2009", June 2009 1 This work-01-2-0009; the *ORA-Pythia, near-term impact report, and *ORA-CaesarIII by the AFOSR through a MURI on Computational

  18. Avida: A Software Platform for Research in Computational

    E-Print Network [OSTI]

    Ofria, Charles A.

    Department of Computer Science and Engineering Michigan State University East Lansing, MI 48824 ofria programs. It provides detailed control over experimental settings and protocols, a large array assumptions on a more basic level. An approach to studying evolution that lies somewhere between evolution

  19. Sage: Open Source Mathematical Software: Symbolic Computation, Combinatorial Species,

    E-Print Network [OSTI]

    Stein, William

    Algorithms, and Distributed Computation William Stein, Gary Furnish, Mike Hansen, Robert Miller, and Yi Qiang reinventing the wheel. This is a proposal for $18,000 (=$4,500 4) addressed to Chris DiBona at Google and Vastly Optimize Symbolic Compu- tation Gary Furnish (Utah, Undergraduate in Physics) Symbolic

  20. A DocumentBased Approach to Software Engineering Environments \\Lambda Peninsula School of Computing and Information Technology

    E-Print Network [OSTI]

    Han, Jun

    A DocumentBased Approach to Software Engineering Environments \\Lambda Jun Han Peninsula School approaches to software engineering environ ments, from productcentred to processcentred. In this paper, we; A DocumentBased Approach to Software Engineering Environments Jun Han Peninsula School of Computing

  1. Reiner Hartenstein, TU Kaiserslautern http://hartenstein.de CASHE stands for Computer-Aided Software / Hardware Engineering

    E-Print Network [OSTI]

    Hartenstein, Reiner

    -Aided Software / Hardware Engineering July 1993 Reiner Hartenstein: CASHE using a new Machine Paradigm; Codes/CASHE'93 - 2nd IFIP International Workshop on Hardware/Software Codesign, May 24 27, 1993 1 #12;Reiner Hartenstein, TU Kaiserslautern http://hartenstein.de CASHE stands for Computer-Aided Software / Hardware

  2. Computational Systems & Software Environment | National Nuclear Security

    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-SessionsSouthReport for the t-) S/,,5 'a C |Administration Computational

  3. Computers & Industrial Engineering (In Press) Wu & Liu Development and Evaluation of an Ergonomic Software Package

    E-Print Network [OSTI]

    Wu, Changxu (Sean)

    Computers & Industrial Engineering (In Press) Wu & Liu 1 Development and Evaluation of an Ergonomic-Machine Interface Design and Evaluation Changxu Wu Department of Industrial and Systems Engineering State University Application in Excel (VBA) software package and an illustrative case study to evaluate its effectiveness

  4. Between Service Science and Service-Oriented Software Systems Faculty of Computer Science

    E-Print Network [OSTI]

    Yan, Yuhong

    1 Between Service Science and Service-Oriented Software Systems Yuhong Yan Faculty of Computer. Introduction Service Science is promoted by many leading IT companies, such as IBM and SAP. These companies Science University of New Brunswick Canada Yuhong.yan@unb.ca Juergen Bode International School

  5. Computer Science 50 Software Design and Implementation -or, how to be a hacker

    E-Print Network [OSTI]

    Campbell, Andrew T.

    Computer Science 50 Software Design and Implementation - or, how to be a hacker In what follows, we and class reading. Course Overview "How can I really call myself a CS major and not be a hacker?" - CS50 hacker or your money back! #12;Grading 75% - Laboratory exercises There are 7 weekly laboratory

  6. Sandia National Laboratories Advanced Simulation and Computing (ASC) software quality plan. Part 1 : ASC software quality engineering practices version 1.0.

    SciTech Connect (OSTI)

    Minana, Molly A.; Sturtevant, Judith E.; Heaphy, Robert; Hodges, Ann Louise; Boucheron, Edward A.; Drake, Richard Roy; Forsythe, Christi A.; Schofield, Joseph Richard, Jr.; Pavlakos, Constantine James; Williamson, Charles Michael; Edwards, Harold Carter

    2005-01-01

    The purpose of the Sandia National Laboratories (SNL) Advanced Simulation and Computing (ASC) Software Quality Plan is to clearly identify the practices that are the basis for continually improving the quality of ASC software products. Quality is defined in DOE/AL Quality Criteria (QC-1) as conformance to customer requirements and expectations. This quality plan defines the ASC program software quality practices and provides mappings of these practices to the SNL Corporate Process Requirements (CPR 1.3.2 and CPR 1.3.6) and the Department of Energy (DOE) document, ASCI Software Quality Engineering: Goals, Principles, and Guidelines (GP&G). This quality plan identifies ASC management and software project teams' responsibilities for cost-effective software engineering quality practices. The SNL ASC Software Quality Plan establishes the signatories commitment to improving software products by applying cost-effective software engineering quality practices. This document explains the project teams opportunities for tailoring and implementing the practices; enumerates the practices that compose the development of SNL ASC's software products; and includes a sample assessment checklist that was developed based upon the practices in this document.

  7. TriBITS lifecycle model. Version 1.0, a lean/agile software lifecycle model for research-based computational science and engineering and applied mathematical software.

    SciTech Connect (OSTI)

    Willenbring, James M.; Bartlett, Roscoe Ainsworth; Heroux, Michael Allen

    2012-01-01

    Software lifecycles are becoming an increasingly important issue for computational science and engineering (CSE) software. The process by which a piece of CSE software begins life as a set of research requirements and then matures into a trusted high-quality capability is both commonplace and extremely challenging. Although an implicit lifecycle is obviously being used in any effort, the challenges of this process - respecting the competing needs of research vs. production - cannot be overstated. Here we describe a proposal for a well-defined software lifecycle process based on modern Lean/Agile software engineering principles. What we propose is appropriate for many CSE software projects that are initially heavily focused on research but also are expected to eventually produce usable high-quality capabilities. The model is related to TriBITS, a build, integration and testing system, which serves as a strong foundation for this lifecycle model, and aspects of this lifecycle model are ingrained in the TriBITS system. Here, we advocate three to four phases or maturity levels that address the appropriate handling of many issues associated with the transition from research to production software. The goals of this lifecycle model are to better communicate maturity levels with customers and to help to identify and promote Software Engineering (SE) practices that will help to improve productivity and produce better software. An important collection of software in this domain is Trilinos, which is used as the motivation and the initial target for this lifecycle model. However, many other related and similar CSE (and non-CSE) software projects can also make good use of this lifecycle model, especially those that use the TriBITS system. Indeed this lifecycle process, if followed, will enable large-scale sustainable integration of many complex CSE software efforts across several institutions.

  8. Software Models for Mobile Wireless Evaggelia Pitoura

    E-Print Network [OSTI]

    Pitoura, Evaggelia

    with a given cost and level of technology ) mobile elements with less resources (e.g., memory, screen size' & $ % Software Models for Mobile Wireless Computing Evaggelia Pitoura Computer Science Department #12; ' & $ % Introduction Restrictions [25, 7, 10, 2]: Mobility ffl System configuration is no longer

  9. Power plant computer aided design software char properties generated by a fluidized bed gasifier

    E-Print Network [OSTI]

    Siebold, Walter Joachim

    1987-01-01

    POWER PLANT COMPUTER AIDED DESIGN SOFTWARE CHAR PROPERTIES GENERATED BY A FLUIDIZED BED GASIFIER A Thesis by WALTER JOACHIM SIEBOLD Submitted to the Graduate College of Texas ASM University In partial fulfillment of the requirements... incorporates the application of many engineering disciplines. Some of the design parameters are company's well kept secrets. However, using basic engineering fundamentals, a rough power plant layout can be designed. The power plant design shoul d star...

  10. software running on on-board computers. Back then, however, hardly anyone talked about concepts such as computing or computers. On the contrary, the

    E-Print Network [OSTI]

    Geffner, Hector

    #12; 2 software running on on-board computers. Back then, however, hardly anyone talked about. However, thanks to advances in basic research in the field of semiconductor physics, scientists discovered carbon- based wires called nanotubes. As with silicon, the answer once again lies with basic research

  11. Software Engineering M3 / 2012 Software Engineering

    E-Print Network [OSTI]

    Singer, Jeremy

    Software Engineering M3 / 2012 1 Software Engineering In a 21st century knowledge-based economy, computer software is of vital importance. For instance to 3% of the total UK economy. Furthermore, software infrastructure of some kind

  12. I use the University-recommended free anti-virus software to scan my computer at least once

    E-Print Network [OSTI]

    Mountziaris, T. J.

    I use the University-recommended free anti- virus software to scan my computer at least once every month. I set up my computer to receive automatic updates for my operating system. Windows: update products, when prompted to do so. My computer has a User Account for everyday use. I only use

  13. Assessment of Computer Simulation Software and Process Data for High Pressure Die Casting of Magnesium

    SciTech Connect (OSTI)

    Sabau, Adrian S; Hatfield, Edward C; Dinwiddie, Ralph Barton; Kuwana, Kazunori; Viti, Valerio; Hassan, Mohamed I; Saito, Kozo

    2007-09-01

    Computer software for the numerical simulation of solidification and mold filling is an effective design tool for cast structural automotive magnesium components. A review of commercial software capabilities and their validation procedures was conducted. Aside form the software assessment, the program addressed five main areas: lubricant degradation, lubricant application, gate atomization, and heat transfer at metal mold interfaces. A test stand for lubricant application was designed. A sensor was used for the direct measurement of heat fluxes during lubricant application and casting solidification in graphite molds. Spray experiments were conducted using pure deionized water and commercial die lubricants. The results show that the sensor can be used with confidence for measuring heat fluxes under conditions specific to the die lube application. The data on heat flux was presented in forms suitable for use in HPDC simulation software. Severe jet breakup and atomization phenomena are likely to occur due to high gate velocities in HPDC. As a result of gate atomization, droplet flow affects the mold filling pattern, air entrapment, skin formation, and ensuing defects. Warm water analogue dies were designed for obtaining experimental data on mold filling phenomena. Data on break-up jet length, break-up pattern, velocities, and droplet size distribution were obtained experimentally and was used to develop correlations for jet break-up phenomena specific to die casting gate configurations.

  14. Introduction to Software Engineering

    E-Print Network [OSTI]

    Syllabus Background References Homework Videos Project Introduction to Software Engineering AERSP Exam Conclusions Appendix Links Hits Software Engineering: AERSP 440 http Confidence Aerospace Software (2006) IEEE Computer Society SE Portal Software Engineering: AERSP 440 http

  15. Software packages

    E-Print Network [OSTI]

    Software and codes for matrix computations. If you cannot access any code, please email me. A hierarchically semiseparable (HSS) package. Matlab codes...

  16. Useful Software

    E-Print Network [OSTI]

    Purdue's Engineering Computer Network has SSH clients available for Purdue faculty, staff, and students. Below is a link to the ECN software download page:...

  17. Evaluation of High-Performance Computing Software Shirley Browne Jack Dongarray Tom Rowanz

    E-Print Network [OSTI]

    Dongarra, Jack

    are applying this approach to the Parallel Tools Library PTLIB, a new software repository for paral- lel di cult to nd elsewhere. 1 Introduction Selecting the appropriate software for a high- performanceTools Library PTLIB, a new software repository for paral- lelsystems software and tools, andHPC-Netlib, a high

  18. Automated Analysis of Software Designs with Graphic Quality Models Department of Computer Science

    E-Print Network [OSTI]

    Zhu, Hong

    Automated Analysis of Software Designs with Graphic Quality Models QIAN ZHANG Department@brookes.ac.uk Abstract: Software quality models play a significant role in software quality assurance. Based on our previous work on graphic modelling of software quality, this paper extends the quality modelling language

  19. Software Aspects of IEEE Floating-Point Computations for Numerical Applications in High Energy Physics

    ScienceCinema (OSTI)

    None

    2011-10-06

    Floating-point computations are at the heart of much of the computing done in high energy physics. The correctness, speed and accuracy of these computations are of paramount importance. The lack of any of these characteristics can mean the difference between new, exciting physics and an embarrassing correction. This talk will examine practical aspects of IEEE 754-2008 floating-point arithmetic as encountered in HEP applications. After describing the basic features of IEEE floating-point arithmetic, the presentation will cover: common hardware implementations (SSE, x87) techniques for improving the accuracy of summation, multiplication and data interchange compiler options for gcc and icc affecting floating-point operations hazards to be avoided About the speaker Jeffrey M Arnold is a Senior Software Engineer in the Intel Compiler and Languages group at Intel Corporation. He has been part of the Digital->Compaq->Intel compiler organization for nearly 20 years; part of that time, he worked on both low- and high-level math libraries. Prior to that, he was in the VMS Engineering organization at Digital Equipment Corporation. In the late 1980s, Jeff spent 2 years at CERN as part of the CERN/Digital Joint Project. In 2008, he returned to CERN to spent 10 weeks working with CERN/openlab. Since that time, he has returned to CERN multiple times to teach at openlab workshops and consult with various LHC experiments. Jeff received his Ph.D. in physics from Case Western Reserve University.

  20. Signal processing applications usually encounter multi-dimensional real-time per-formance requirements and restrictions on resources, which makes software implementa-

    E-Print Network [OSTI]

    Bhattacharyya, Shuvra S.

    ABSTRACT Signal processing applications usually encounter multi-dimensional real-time per- formance for software implementation for signal processing applications. In this thesis, a number of important memory processing applica- Title of dissertation: INTEGRATED SOFTWARE SYNTHESIS FOR SIGNAL PROCESSING APPLICATIONS

  1. 1 Open Source Software licensing software

    E-Print Network [OSTI]

    Verschelde, Jan

    Outline 1 Open Source Software licensing software copyright and copyleft 2 Modules and Packages Science Jan Verschelde, 6 March 2015 Intro to Computer Science (MCS 260) software licensing & packages L-23 6 March 2015 1 / 29 #12;software licensing modules and packages 1 Open Source Software licensing

  2. 1 6 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/06/$20.00 2006 IEEE RE 05: Engineering

    E-Print Network [OSTI]

    Wieringa, Roel

    's Daniel Jackson gave a highly acclaimed keynote on the state of the practice and trends in software safety management Software engineers often view requirements as a technical artifact that is produced early in (or1 6 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/06/$20.00 © 2006 IEEE focus RE

  3. Technical manual for the Augmented Computer Exercise for Inspection Training (ACE-IT) software

    SciTech Connect (OSTI)

    Dobranich, P.R. [Sandia National Labs., Albuquerque, NM (United States). Cooperative Monitoring Center and Regional Security; Horak, K.E.; Hagan, D.; Evanko, D.; Nelson, J.; Ryder, C.; Hedlund, D. [Ogden Environmental and Energy Services, Inc., Albuquerque, NM (United States)

    1997-09-01

    The on-site inspection provisions in many current and proposed arms control agreements require extensive preparation and training on the part of both the Inspection Teams (inspectors) and Inspected Parties (host). Current training techniques include table-top inspections and practice inspections. The Augmented Computer Exercise for Inspection Training (ACE-IT), an interactive computer training tool, increases the utility of table-top inspections. ACE-IT has been designed to provide training for challenge inspections under the Chemical Weapons Convention (CWC); however, this training tool can be modified for other inspection regimes. Although ACE-IT provides training from notification of an inspection through post-inspection activities, the primary emphasis of ACE-IT is in the inspection itself--particularly with the concept of managed access. ACE-IT also demonstrates how inspection provisions impact compliance determination and the protection of sensitive information. This Technical Manual describes many of the technical aspects of the ACE-IT training software.

  4. Under consideration for publication in Formal Aspects of Computing Concurrent Software Verification with

    E-Print Network [OSTI]

    Ouaknine, Joël

    , Oxford, UK Abstract. We present a framework for model checking concurrent software systems which powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning with hardware and communication proto- cols, model checking is increasingly used to verify software systems

  5. instruments, as well as the computer software designed to process the data. The most important role of the cell biologist

    E-Print Network [OSTI]

    Extavour, Cassandra

    instruments, as well as the computer software designed to process the data. The most important role to take advantage of reagents and pieces of equipment that are currently available. For example available precast gels, whose use is becoming increasingly widespread for routine assays. Also, now

  6. last updated June 17, 2013 @8:22 a.m BASc in Computer Engineering, Option in Software Engineering

    E-Print Network [OSTI]

    Pulfrey, David L.

    Chemistry for Engineers CHEM 260 3 Organic Chemistry for Engineers EOSC 110 3 The Solid Earth EOSC 112 3last updated June 17, 2013 @8:22 a.m BASc in Computer Engineering, Option in Software Engineering Electives A course may be applied to satisfy the requirements of at most one

  7. Future Generation Computer Systems 19 (2003) 12991307 The synergistic integration of mathematics, software engineering,

    E-Print Network [OSTI]

    Melnik, Roderick

    2003-01-01

    , software engineering, and user-centred design: exploring new trends in education C. Angelov, R.V.N. Melnik activities at the University of Southern Denmark that combine mathematical modelling, software engineering-mail address: rmelnik@mci.sdu.dk (R.V.N. Melnik). software and usability engineers, and hardware spe- cialists

  8. Editorial to the special issue of Computers & Operations Research on Search-Based Software Engineering

    E-Print Network [OSTI]

    Gutjahr, Walter

    on the application of optimization and metaheuristic search techniques to problems in software engineering. Optimization and search based techniques have been applied to a wide range of software engineering problems as Search Based Software Engineering (SBSE) [5, 10]. The past five years have wit- ness a dramatic growth

  9. Incorporating Quality Requirements in Software Migration Process* Dept. of Electrical & Computer Engineering

    E-Print Network [OSTI]

    Zou, Ying

    1 Incorporating Quality Requirements in Software Migration Process* Ying Zou Dept. of Electrical propose a quality driven software migration framework that aims to identify and extract an object model of software transformations that generate a target system with desired quality characteristics. Moreover

  10. DiFX: A software correlator for very long baseline interferometry using multi-processor computing environments

    E-Print Network [OSTI]

    A. T. Deller; S. J. Tingay; M. Bailes; C. West

    2007-02-06

    We describe the development of an FX style correlator for Very Long Baseline Interferometry (VLBI), implemented in software and intended to run in multi-processor computing environments, such as large clusters of commodity machines (Beowulf clusters) or computers specifically designed for high performance computing, such as multi-processor shared-memory machines. We outline the scientific and practical benefits for VLBI correlation, these chiefly being due to the inherent flexibility of software and the fact that the highly parallel and scalable nature of the correlation task is well suited to a multi-processor computing environment. We suggest scientific applications where such an approach to VLBI correlation is most suited and will give the best returns. We report detailed results from the Distributed FX (DiFX) software correlator, running on the Swinburne supercomputer (a Beowulf cluster of approximately 300 commodity processors), including measures of the performance of the system. For example, to correlate all Stokes products for a 10 antenna array, with an aggregate bandwidth of 64 MHz per station and using typical time and frequency resolution presently requires of order 100 desktop-class compute nodes. Due to the effect of Moore's Law on commodity computing performance, the total number and cost of compute nodes required to meet a given correlation task continues to decrease rapidly with time. We show detailed comparisons between DiFX and two existing hardware-based correlators: the Australian Long Baseline Array (LBA) S2 correlator, and the NRAO Very Long Baseline Array (VLBA) correlator. In both cases, excellent agreement was found between the correlators. Finally, we describe plans for the future operation of DiFX on the Swinburne supercomputer, for both astrophysical and geodetic science.

  11. Cloud Computing - Software as a Service (SaaS) - CRM Application

    E-Print Network [OSTI]

    Hassan, Sikander

    2012-12-14

    and efficient computing process is evolving known as Cloud Computing. The main characteristic of Cloud Computing is on demand self-service. A consumer can unilaterally obtain computing capabilities, such as server time and network storage, as needed...

  12. The ACTS Center for Software Sustainability

    E-Print Network [OSTI]

    Leroy, Drummond-Lewis

    2014-01-01

    Software Engineering for High Performance Computing Systemwith DOE high performance computing centers like NERSC, and

  13. Method and computer product to increase accuracy of time-based software verification for sensor networks

    DOE Patents [OSTI]

    Foo Kune, Denis (Saint Paul, MN); Mahadevan, Karthikeyan (Mountain View, CA)

    2011-01-25

    A recursive verification protocol to reduce the time variance due to delays in the network by putting the subject node at most one hop from the verifier node provides for an efficient manner to test wireless sensor nodes. Since the software signatures are time based, recursive testing will give a much cleaner signal for positive verification of the software running on any one node in the sensor network. In this protocol, the main verifier checks its neighbor, who in turn checks its neighbor, and continuing this process until all nodes have been verified. This ensures minimum time delays for the software verification. Should a node fail the test, the software verification downstream is halted until an alternative path (one not including the failed node) is found. Utilizing techniques well known in the art, having a node tested twice, or not at all, can be avoided.

  14. Automating Regression Testing for Evolving GUI Software Department of Computer Science

    E-Print Network [OSTI]

    Memon, Atif M.

    working around-the- clock to maximize code churn rates. To ensure rapid quality assurance of such software successful for improving code churn rates, these practices also create new challenges for quality assurance

  15. Software Construction and Composition Tools for Petascale Computing SCW0837 Progress Report

    SciTech Connect (OSTI)

    Epperly, T W; Hochstein, L

    2011-09-12

    The majority of scientific software is distributed as source code. As the number of library dependencies and supported platforms increases, so does the complexity of describing the rules for configuring and building software. In this project, we have performed an empirical study of the magnitude of the build problem by examining the development history of two DOE-funded scientific software projects. We have developed MixDown, a meta-build tool, to simplify the task of building applications that depend on multiple third-party libraries. The results of this research indicate that the effort that scientific programmers spend takes a significant fraction of the total development effort and that the use of MixDown can significantly simplify the task of building software with multiple dependencies.

  16. Texas A&M University Census Research Data Center Initiative Computing Environment and Available Software

    E-Print Network [OSTI]

    Bermdez, Jos Luis

    TXCRDC Notes on Computing in CRDCs #12;R. R is a language and environment for statistical computing in CRDC computing environment. General statistical packages --------------------------- SAS, Stata, and R Special purpose statistical packages ----------------- HLM, SUDAAN Specialized languages

  17. Presented at the 17th International Conference on Testing Computer Software TCS`2000 in Washington, D.C. Using Dependency Charts to Improve

    E-Print Network [OSTI]

    Glinz, Martin

    Presented at the 17th International Conference on Testing Computer Software TCS`2000 in Washington, D.C. Using Dependency Charts to Improve Scenario-Based Testing Management of Inter) are used in many modern software engineering methods for capturing requirements and specifying a system

  18. 03/05/2010 09:26Photos: 3D replicas to help sell your home? That's computer vision | Software | silicon.com Page 1 of 11http://www.silicon.com/technology/software/2010/03/30/photos-3d-...cas-to-help-sell-your-home-thats-computer-vision-39745647/print/

    E-Print Network [OSTI]

    Cipolla, Roberto

    model of Antony Gormley's head, printed via 3D printer Photo credits: Natasha Lomas03/05/2010 09:26Photos: 3D replicas to help sell your home? That's computer vision | Software | silicon.com Page 1 of 11http://www.silicon.com/technology/software/2010/03/30/photos-3d

  19. Software Function Allocation Methodology

    E-Print Network [OSTI]

    O'Neal, Michael Ralph

    1988-01-01

    ABSTRACT Software Function Allocation Methodology. (May 1988) Michael Ralph O'Neal, B. S. , Texas A&M University Chairman of Advisory Committee: Dr. William Lively Modern distributed computer systems are very powerful and useful; they also offer new... software system designers with a thorough and flexible method to allocate software functions among the hardware components of a distributed computer system. Software designers select and rank relevant Design Parameters, analyze how well different...

  20. An Undergraduate Course on Software Bug Detection Tools and Techniques

    E-Print Network [OSTI]

    Larson, Eric

    Science Education Computer Science Education D.2.5 [Software Engineering]: Testing and Debugging symbolic execution, testing tools. General Terms Reliability, Security, Verification. Keywords software testing, software verification, computer security, compilers, software engineering, computer science

  1. Analysis of Japanese Software Business

    E-Print Network [OSTI]

    Inada, Kenichiro

    2010-01-01

    Today, our society is surrounded by information system, computers, and software. It is no exaggeration to say that our daily life depends on software and its function. Accordingly, the business of software has made miraculous ...

  2. A synchronous communication system for a software-based Byzantine fault tolerant computer

    E-Print Network [OSTI]

    Sterling, Reuben Marbell

    2006-01-01

    This thesis describes the redesign of a Byzantine-resilient, quad-redundant computer to remove proprietary hardware components. The basic architecture consists of four Commercial Off-The-Shelf (COTS) processors in a ...

  3. A computational method and software development for make-to-order pricing optimization

    E-Print Network [OSTI]

    Wang, Zhiyong, S.M. Massachusetts Institute of Technology

    2006-01-01

    High variability of demand and inflexible capacity are inevitable in a make-to-order production despite its cost savings. A computational method is proposed in this thesis to exploit pricing opportunities in the price ...

  4. The Macolumn - the Mac gets geophysical. [A review of geophysical software for the Apple Macintosh computer

    SciTech Connect (OSTI)

    Busbey, A.B. )

    1990-02-01

    Seismic Processing Workshop, a program by Parallel Geosciences of Austin, TX, is discussed in this column. The program is a high-speed, interactive seismic processing and computer analysis system for the Apple Macintosh II family of computers. Also reviewed in this column are three products from Wilkerson Associates of Champaign, IL. SubSide is an interactive program for basin subsidence analysis; MacFault and MacThrustRamp are programs for modeling faults.

  5. Toward a Performance/Resilience Tool for Hardware/Software Co-Design of High-Performance Computing Systems

    SciTech Connect (OSTI)

    Engelmann, Christian [ORNL] [ORNL; Naughton, III, Thomas J [ORNL

    2013-01-01

    xSim is a simulation-based performance investigation toolkit that permits running high-performance computing (HPC) applications in a controlled environment with millions of concurrent execution threads, while observing application performance in a simulated extreme-scale system for hardware/software co-design. The presented work details newly developed features for xSim that permit the injection of MPI process failures, the propagation/detection/notification of such failures within the simulation, and their handling using application-level checkpoint/restart. These new capabilities enable the observation of application behavior and performance under failure within a simulated future-generation HPC system using the most common fault handling technique.

  6. Foundations of Software Technology and Theoretical Computer Science (2009) Submission Deductive Verification of Continuous

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01

    state transition systems is a powerful modeling formalism, it is inadequate for modeling systems Verification of Continuous Dynamical Systems Ankur Taly1 , Ashish Tiwari2 1 Computer Science Department inference rules for safety verification of polynomial continuous dynamical systems. We present two different

  7. A Software Package for Partitioning Unstructured Graphs, Partitioning Meshes, and Computing

    E-Print Network [OSTI]

    Karypis, George

    of Minnesota, Department of Computer Science / Army HPC Research Center Minneapolis, MN 55455 {karypis, kumar}@cs.umn.edu September 20, 1998 Metis [MEE tis]: `Metis' is the Greek word for wisdom. Metis was a titaness in Greek by IST/BMDO through Army Research Office contract DA/DAAH0493G0080, and by Army High Performance

  8. Computational Sprinting on a Hardware/Software Testbed Arun Raghavan Laurel Emurian Lei Shao

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    sprinting) and/or boosting frequen- cy/voltage (frequency sprinting) to power levels that far exceed the computation is complete. To avoid oversubscrip- tion penalties (context switching inefficiencies after design. In the past, chip designers could deliver value by exploiting transistor counts that double

  9. "Developments in Statistical Computing Software" November 13, 2014. Systems Design Engineering, University of Waterloo

    E-Print Network [OSTI]

    McLeod, Ian

    \\SYDE Overview of R R provides an advanced and sophisticated statistical computing environment. R can be used. At a higher level than repl, R supports scripts, functional programs, many data formats and packages. CRAN R there is the paper, Gentleman and Lang (2007). Statistical Analyses and Reproducible Research. R and time series

  10. 7 2 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/06/$20.00 2006 IEEE Aggregating experimental results derived

    E-Print Network [OSTI]

    7 2 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/06/$20.00 2006 IEEE practitioners make decisions. We made an extensive search in IEEE Xplore and ACM digital libraries looking). Some other experiments study the quality of test-case sets according to dif- ferent criteria

  11. SE2S03, 2006 --WOLFRAM KAHL, Computing and Software, McMaster University 1.9 12 int myArray[10];

    E-Print Network [OSTI]

    Sekerinski, Emil

    Array[7] = { 0 }; /* result: [ 0, 0, 0, 0, 0, 0, 0 ] */ int myArray[7] = { }; /* Not ANSI CMaster University 1.47 51 VarArray #include /* VarArray.c */ #define SIZE 10 void printRow(int r[], intSE2S03, 2006 -- WOLFRAM KAHL, Computing and Software, McMaster University 1.9 12 Arrays int my

  12. Internal dosimetry software comparison

    E-Print Network [OSTI]

    Fulmer, Judith Renee

    1992-01-01

    , Richland, WA. 32 organ and effective dose equivalents from chronic or acute exposures. CINDY software may be used to assess both annual and committed dose equivalents. Calculations are performed by the software using a differential equations solver... computing system is recommended when using the software, though an IBM AT compatible system may be used when ingrowth of radioactive daughters is not of concern. The CINDY software requires a * International Business Machines, Boca Raton, FL. 33...

  13. System Software and Tools for High Performance Computing Environments: A report on the findings of the Pasadena Workshop, April 14--16, 1992

    SciTech Connect (OSTI)

    Sterling, T. [Universities Space Research Association, Washington, DC (United States); Messina, P. [Jet Propulsion Lab., Pasadena, CA (United States); Chen, M. [Yale Univ., New Haven, CT (United States)] [and others

    1993-04-01

    The Pasadena Workshop on System Software and Tools for High Performance Computing Environments was held at the Jet Propulsion Laboratory from April 14 through April 16, 1992. The workshop was sponsored by a number of Federal agencies committed to the advancement of high performance computing (HPC) both as a means to advance their respective missions and as a national resource to enhance American productivity and competitiveness. Over a hundred experts in related fields from industry, academia, and government were invited to participate in this effort to assess the current status of software technology in support of HPC systems. The overall objectives of the workshop were to understand the requirements and current limitations of HPC software technology and to contribute to a basis for establishing new directions in research and development for software technology in HPC environments. This report includes reports written by the participants of the workshop`s seven working groups. Materials presented at the workshop are reproduced in appendices. Additional chapters summarize the findings and analyze their implications for future directions in HPC software technology development.

  14. The Software Factory: Integrating CASE Technologies to Improve Productivity

    E-Print Network [OSTI]

    Menendez, Jose

    This report addresses the use of computer-aided software engineering (CASE) technology for the development of aircraft software.

  15. The Manycore Revolution and Parallel Software Projects at NERSC

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

    Revolution and Parallel Software The Manycore Revolution and Parallel Software | Tags: Math & Computer Science PGAS.jpg Key Challenges: A new software ecosystem is expected to...

  16. Software Safety Tutorial Status Update 1 Software Safety Tutorial

    E-Print Network [OSTI]

    Tian, Jeff

    ? Software safety: The property of being accident- free for (embedded) software systems. Accident: failures with severe consequences Hazard: condition for accident Specialized techniques Software safety engineering./property/environment damage excess energy/dangerous substance computers relatively safe but computer control accidents

  17. Announcement of Computer Software

    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 OutreachProductswsicloudwsiclouddenDVA N C E D B L O O D S TAPropaneandAn319 12 BONNEVILLEa n d i aAugF 241.4

  18. Software Systems & Engineering Research in ECE

    E-Print Network [OSTI]

    Pulfrey, David L.

    Software Systems & Engineering Research in ECE 25 June 2014 Sathish Gopalakrishnan #12;Real (since 2011) Human-computer Interaction Usable Security Software Engineering Processes Distributed process in software engineering Impact of cognitive biases Management of technical debt: taxonomy

  19. SE2S03, 2006 --WOLFRAM KAHL, Computing and Software, McMaster University 1.5 8 Simple Programs

    E-Print Network [OSTI]

    Sekerinski, Emil

    and Software, McMaster University 1.40 44 Linux Output $ ./message Enter count: 2 Enter message: 5%rebate 5%rebate 5%rebate $ ./message Enter count: 2 Enter message: 10%discount 10-1073752496iscount 10

  20. Gammasphere software development

    SciTech Connect (OSTI)

    Piercey, R.B.

    1993-01-01

    Activities of the nuclear physics group are described. Progress was made in organizing the Gammasphere Software Working Group, establishing a nuclear computing facility, participating in software development at Lawrence Berkeley, developing a common data file format, and adapting the ORNL UPAK software to run at Gammasphere. A universal histogram object was developed that defines a file format and provides for an objective-oriented programming model. An automated liquid nitrogen fill system was developed for Gammasphere (110 Ge detectors comprise the sphere).

  1. FY 2009 Annual Report of Joule Software Metric SC GG 3.1/2.5.2, Improve Computational Science Capabilities

    SciTech Connect (OSTI)

    Kothe, Douglas B [ORNL; Roche, Kenneth J [ORNL; Kendall, Ricky A [ORNL

    2010-01-01

    The Joule Software Metric for Computational Effectiveness is established by Public Authorizations PL 95-91, Department of Energy Organization Act, and PL 103-62, Government Performance and Results Act. The U.S. Office of Management and Budget (OMB) oversees the preparation and administration of the President s budget; evaluates the effectiveness of agency programs, policies, and procedures; assesses competing funding demands across agencies; and sets the funding priorities for the federal government. The OMB has the power of audit and exercises this right annually for each federal agency. According to the Government Performance and Results Act of 1993 (GPRA), federal agencies are required to develop three planning and performance documents: 1.Strategic Plan: a broad, 3 year outlook; 2.Annual Performance Plan: a focused, 1 year outlook of annual goals and objectives that is reflected in the annual budget request (What results can the agency deliver as part of its public funding?); and 3.Performance and Accountability Report: an annual report that details the previous fiscal year performance (What results did the agency produce in return for its public funding?). OMB uses its Performance Assessment Rating Tool (PART) to perform evaluations. PART has seven worksheets for seven types of agency functions. The function of Research and Development (R&D) programs is included. R&D programs are assessed on the following criteria: Does the R&D program perform a clear role? Has the program set valid long term and annual goals? Is the program well managed? Is the program achieving the results set forth in its GPRA documents? In Fiscal Year (FY) 2003, the Department of Energy Office of Science (DOE SC-1) worked directly with OMB to come to a consensus on an appropriate set of performance measures consistent with PART requirements. The scientific performance expectations of these requirements reach the scope of work conducted at the DOE national laboratories. The Joule system emerged from this interaction. Joule enables the chief financial officer and senior DOE management to track annual performance on a quarterly basis. Joule scores are reported as success, goal met (green light in PART), mixed results, goal partially met (yellow light in PART), and unsatisfactory, goal not met (red light in PART). Joule links the DOE strategic plan to the underlying base program targets.

  2. RETROSPECTIVE: Software Pipelining

    E-Print Network [OSTI]

    Lam, Monica

    RETROSPECTIVE: Software Pipelining: An Effective Scheduling Technique for VLIW Machines Monica S. Lam Computer Systems Laboratory Stanford University ABSTRACT The basic idea behind software pipelining was first developed by Patel and Davidson for scheduling hardware pipe-lines. As instruction- level

  3. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.20 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  4. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.22 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  5. Tax Deduction Qualified Software

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyGauge Summit version 3.21 (incorporating DOE-2.1E (v120)) qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  6. ITOUGH2 software qualification

    SciTech Connect (OSTI)

    Finsterle, S.; Pruess, K.; Fraser, P.

    1996-10-01

    The purpose of this report is to provide all software baseline documents necessary for the software qualification of ITOUGH2. ITOUGH2 is a computer program providing inverse modeling capabilities for TOUGH2. TOUGH2 is a numerical simulation code for multi-dimensional coupled fluid and heat flow of multiphase, multicomponent fluid mixtures in porous and fractured media.

  7. The Software Patent Debate

    E-Print Network [OSTI]

    Guadamuz, Andres

    2006-01-01

    The paper discusses the proposed European Directive on the Patentability of Computer-Implemented Inventions and the subsequent debate that followed. Do software patents - as argued by policymakers' - result in increased innovation?...

  8. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration...

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

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Configuration Management...

  9. Policy-Parametric Software Travis Breaux

    E-Print Network [OSTI]

    Young, R. Michael

    Policy-Parametric Software Travis Breaux Department of Computer Science North Carolina State University tdbreaux@ncsu.edu Abstract Policy-parametric software describes a vision for enterprise software that promotes organizational policy as a computational parameter in future software systems. In the following

  10. SOFTWARE CATALOG

    E-Print Network [OSTI]

    Beyers, Evelyn

    2013-01-01

    No Test Output Comments NRCC SOFTWARE REQUEST FORM Recipienti s t i c a 1 Mechanics . Software Too 1 s .. Other Libra ro o o 79 o o ... 85 NRCC Software Library Order

  11. More Mac software and connections

    SciTech Connect (OSTI)

    Busbey, A.B.

    1988-11-01

    This column briefly reviews several geologic software packaged designed for Apple Macintosh. In addition, it discusses methods of networking Apple Macintosh computers.

  12. Multiphase flow calculation software

    DOE Patents [OSTI]

    Fincke, James R. (Idaho Falls, ID)

    2003-04-15

    Multiphase flow calculation software and computer-readable media carrying computer executable instructions for calculating liquid and gas phase mass flow rates of high void fraction multiphase flows. The multiphase flow calculation software employs various given, or experimentally determined, parameters in conjunction with a plurality of pressure differentials of a multiphase flow, preferably supplied by a differential pressure flowmeter or the like, to determine liquid and gas phase mass flow rates of the high void fraction multiphase flows. Embodiments of the multiphase flow calculation software are suitable for use in a variety of applications, including real-time management and control of an object system.

  13. Electromagnetic Compatibility (EMC) of CAN+* Tobias Ziermann and Jrgen Teich, Hardware/Software Co-Design, Department of Computer Science,

    E-Print Network [OSTI]

    Teich, Jrgen

    Electromagnetic Compatibility (EMC) of CAN+* Tobias Ziermann and Jrgen Teich, Hardware/Software Co-Design to standard CAN in terms of EMC. 1 Introduction The CAN has established itself to be the de facto standard-cost. This is pos- sible because its popularity enables mass production. The only disadvantage of CAN

  14. Towards Integrated Variant Management in Global Software Engineering: An Experience Report

    E-Print Network [OSTI]

    Ulm, Universitt

    management based on experiences. Keywords--software product line, integrated feature modeling, traceability by electric/electronic components and corresponding software. Thereby, software product lines (SPL be extended by partly automated variant configuration mechanisms to handle restrictions and dependencies

  15. Eelke Forlmer and Jan Bosch International Journal of Software Engineering

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    (2007) Hyoung-In Ihm #12;Contents Introduction Overview Software Architecture-Quality framework Case, KAIST 2/18 #12;Introduction (1/2) Software architecture restricts software quality Earliest design/W quality Relating to S/W architecture 2007-10-17 Software Engineering Lab, KAIST Quality Quality ... 5

  16. Teaching Software Development Skills Early in the Curriculum Through Software Engineering

    E-Print Network [OSTI]

    Liew, Chun Wai

    Teaching Software Development Skills Early in the Curriculum Through Software Engineering C. W Software engineering is commonly taught as an upper level course in many computer science departments. This paper describes our experience in teaching software engineering to second year students in computer

  17. ECE 587 Hardware/Software Co-Design Lecture 17 Software Synthesis I

    E-Print Network [OSTI]

    Wang, Jia

    ECE 587 Hardware/Software Co-Design Lecture 17 Software Synthesis I Professor Jia Wang Department of Electrical and Computer Engineering Illinois Institute of Technology March 23, 2015 ECE 587 Hardware/Software 587 Hardware/Software Co-Design Spring 2015 2/19 #12;Outline Software Synthesis Code Generation ECE

  18. Computer software design description for the Treated Effluent Disposal Facility (TEDF), Project L-045H, Operator Training Station (OTS)

    SciTech Connect (OSTI)

    Carter, R.L. Jr.

    1994-11-07

    The Treated Effluent Disposal Facility (TEDF) Operator Training Station (OTS) is a computer-based training tool designed to aid plant operations and engineering staff in familiarizing themselves with the TEDF Central Control System (CCS).

  19. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design...

    Office of Environmental Management (EM)

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Software Design Checklist This checklist is intended to...

  20. Software platform for integrated water quality decision support systems

    E-Print Network [OSTI]

    Software platform for integrated water quality decision support systems P. Cianchi*, S. Marsili Processing) modules with limited computing capacity. Defining agents as a self contained software program

  1. P2P Systems Meet Mobile Computing: A Community-Oriented Software Infrastructure for Mobile Social Applications

    E-Print Network [OSTI]

    Borcea, Cristian

    Applications Cristian Borcea Department of Computer Science New Jersey Institute of Technology Newark, NJ, USA creates an unprecedented potential for innovative mobile applications that can enhance users' social-scale dynamic interactions be- tween mobile devices, as required by these applications. This paper proposes

  2. Common Misconceptions about Software Architecture

    E-Print Network [OSTI]

    van der Hoek, Andr

    the people in the other building do." "Architecture is [insert favorite technology here]." "The network be restricted to one aspect only. Architecture is more than just a "technology watch," but I see manyCommon Misconceptions about Software Architecture by Philippe Kruchten Rational Fellow Rational

  3. A Software Package to Construct Polynomial Sets over Z_2 for Determining the Output of Quantum Computations

    E-Print Network [OSTI]

    Vladimir P. Gerdt; Vasily M. Severyanov

    2005-12-08

    A C# package is presented that allows a user for an input quantum circuit to generate a set of multivariate polynomials over the finite field Z_2 whose total number of solutions in Z_2 determines the output of the quantum computation defined by the circuit. The generated polynomial system can further be converted to the canonical Groebner basis form which provides a universal algorithmic tool for counting the number of common roots of the polynomials.

  4. Deed Restrictions for Solar

    Broader source: Energy.gov [DOE]

    This report summarizes the efforts made to address Task 3 - Examples of Residential Deed Restrictions Allowing Solar. The focus of the study is on communities surrounding Houston, Texas.

  5. Risk assessment of selected commercial firewall software

    E-Print Network [OSTI]

    Cropper, Charles Austin

    2000-01-01

    Computer security is of significant current concern. This study investigates the efficacy of seceded commercially available firewall software packages including those software packages' inoculation from network-based slacks. The packages taxed were...

  6. Gammasphere software development. Progress report

    SciTech Connect (OSTI)

    Piercey, R.B.

    1993-05-01

    Activities of the nuclear physics group are described. Progress was made in organizing the Gammasphere Software Working Group, establishing a nuclear computing facility, participating in software development at Lawrence Berkeley, developing a common data file format, and adapting the ORNL UPAK software to run at Gammasphere. A universal histogram object was developed that defines a file format and provides for an objective-oriented programming model. An automated liquid nitrogen fill system was developed for Gammasphere (110 Ge detectors comprise the sphere).

  7. Software Defined Radio Architecture

    E-Print Network [OSTI]

    Kranakis, Evangelos

    ) [14]. The USRP2 bridges the analog world of electromagnetic radio waves and digital world of computersChapter 2 Software Defined Radio Architecture A SDR is a real-time system. The inputs to the system are actions performed by the radio operator and data produced by active elements present in the SDR

  8. CUPS Software Users Manual

    E-Print Network [OSTI]

    Easy Software Products

    CUPS is licensed under the GNU General Public License and GNU Library General ... Additional backends are available in network service packages such as the SMB ..... operating system software developed and/or marketed by Apple Computer, Inc., .... Many people have made generous contributions to the wide range of...

  9. Software Carpentry: Lessons Learned

    E-Print Network [OSTI]

    Greg Wilson

    2014-01-29

    Over the last 15 years, Software Carpentry has evolved from a week-long training course at the US national laboratories into a worldwide volunteer effort to raise standards in scientific computing. This article explains what we have learned along the way the challenges we now face, and our plans for the future.

  10. Parallel Application Software on High Performance Survey of Parallel Software Packages of potential

    E-Print Network [OSTI]

    Ferreira-Resende, Antnio

    i Parallel Application Software on High Performance Computers Survey of Parallel Software Packages.Lockey Edition 3: 24th June 1996 Abstract Parallel software packages which may be of use in scientific, software packages, scientific applications. This report is available from http://www.dl.ac.uk/TCSC/HPCI/ c

  11. Appendix F Software F.1 Software packages

    E-Print Network [OSTI]

    of the software used are specified. A comparison of software calculation quality for two primary packages employedAppendix F Software F.1 Software packages The following table contains the list of software used in the Griffin experiment. The primary use of the software, the software manufacturer and version number

  12. Software Dependability Evaluation Based on Markov Usage Models

    E-Print Network [OSTI]

    Gutjahr, Walter

    for computing optimal state transition probabilities for software tests, based on a Markov usage model; this distribution may also be used in the more general context of structural statistical testing of software, software usage models, software testing. 1 Introduction 1.1 Markov Software Usage Models In the last years

  13. Useful Software - Department of Mathematics, Purdue University

    E-Print Network [OSTI]

    $author.value

    Purdue's Engineering Computer Network has SSH clients available for Purdue faculty, staff, and students. Below is a link to the ECN software download page:...

  14. Tax Deduction Qualified Software Tas version 9.3.1

    Broader source: Energy.gov [DOE]

    Information about the Tas version 9.3.1 qualified computer software and federal tax incentive requirements for commercial buildings.

  15. Tax Deduction Qualified Software Tas version 9.3.2

    Broader source: Energy.gov [DOE]

    Information about the Tas version 9.3.2 qualified computer software and federal tax incentive requirements for commercial buildings.

  16. Seminar on Software Engineering Software Standards

    E-Print Network [OSTI]

    Feitelson, Dror

    APIs and protocols Process standards Quality standards Software engineering terminology Lifecycle- operability Certification, guidelines Assurances #12;Software Standards Quality standards are rare - HardSeminar on Software Engineering Software Standards #12;"the good thing about standards

  17. Public Understanding of Software Engineering Anthony Finkelstein

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Public Understanding of Software Engineering Anthony Finkelstein Department of Computer Science the issues presented by the public understanding of software engineering. By public understanding I mean of software engineering and can form the basis for a debate on this topic Motivation Though we have a well

  18. Software Engineering Education (SEEd) Mark A. Ardis

    E-Print Network [OSTI]

    Ardis, Mark

    Software Engineering Education (SEEd) Mark A. Ardis School of Systems and Enterprises Stevens of Computer Science & Software Engineering Butler University Indianapolis, Indiana 46208 USA phenders@butler.edu Is Software Engineering an Engineering Professional Discipline? Recently two articles have been published

  19. SOFTWARE ENGINEERING January Entry, 120 credit program

    E-Print Network [OSTI]

    Doedel, Eusebius

    Methods for Software Engineering 3 SOEN 341 Software Process 3 Basic Science Year 3 Fall Course Number Project 4 ENGR 301 Engineering Management Principles and Economics 3 SOEN 321 Information Systems SecuritySOFTWARE ENGINEERING January Entry, 120 credit program Computer Games Option Last revised: March

  20. Reprinted from: Journal of Systems and Software

    E-Print Network [OSTI]

    Berry, Daniel M.

    positive or negative, write to Robert L. Glass, Edi- tor, Journal of Systems and Software, Computing Trends. The Importance of Ignorance in Requirements Engineering Daniel M. Berry Software Engineering Institute, CarnegieReprinted from: Journal of Systems and Software Volume 28, Number 1 February, 1995 Pages 179

  1. Software Engineering Education (SEEd) Mark A. Ardis

    E-Print Network [OSTI]

    Ardis, Mark

    be the current trend. But here is where the NDC data tells a different story. The software engineering programsSoftware Engineering Education (SEEd) Mark A. Ardis School of Systems and Enterprises Stevens of Computer Science & Software Engineering Butler University Indianapolis, Indiana 46208 USA phenders

  2. Appendix E: Software Video Analysis of Motion

    E-Print Network [OSTI]

    Minnesota, University of

    E - 1 Appendix E: Software Video Analysis of Motion Analyzing pictures (movies or videos using a computer and data acquisition software. This appendix will guide a person somewhat familiar: SOFTWARE E - 2 Using video to analyze motion is a two-step process. The first step is recording a video

  3. Institute for Software Technology Software Maintenance

    E-Print Network [OSTI]

    1 Institute for Software Technology Software Maintenance VU 3.0 WS 2006 Univ.Prof. Dr. Franz Wotawa Institut fr Softwaretechnologie wotawa@ist.tugraz.at VU Software Maintenance 2Institute for Software Technology Wozu Software Maintenance? Meine Software ist immer korrekt! Keine Modifikationen. Nur neue

  4. 964 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 22, NO. 8, AUGUST 2003 Complex Instruction and Software Library Mapping

    E-Print Network [OSTI]

    De Micheli, Giovanni

    for embedded multimedia applications, time to market of embedded software has become a crucial issue or the inverse discrete cosine transform routine. Our measurements on SmartBadgeIV show that even higher mapping, embedded systems, performance optimization, power minimization, software optimization, symbolic

  5. Supercomputing | Computer Science | ORNL

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

    Resilience Engineering of Scientific Software Translation Quantum Computing Machine Learning Information Retrieval Content Tagging Visual Analytics Data Earth Sciences Energy...

  6. Computational Differentiation in Global Optimization

    E-Print Network [OSTI]

    Neumaier, Arnold

    Computational Differentiation in Global Optimization Software This talk will present: 1. The general problem framework in optimization software. 2. An example of effectiveness of computational differentiation in optimization packages. 3. Particular importance of computational differentiation verified

  7. Electrical, Computer and Software Engineering

    E-Print Network [OSTI]

    Petriu, Emil M.

    helicopter. Cannons Tank #12;University of Ottawa School of Information Technology - SITE Emil M. Petriu and maintainability; - Standards (..ISO9000) for documentation and quality assurance,.. University of Ottawa School

  8. Software | 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 of NaturalDukeWakefieldSulfateSciTechtail.Theory ofDidDevelopment Top Scientific ImpactTechnologiesEnergy.gov » Web

  9. computers

    National Nuclear Security Administration (NNSA)

    Each successive generation of computing system has provided greater computing power and energy efficiency.

    CTS-1 clusters will support NNSA's Life Extension Program and...

  10. Software Developers

    Broader source: Energy.gov [DOE]

    Because SEED will provide a common, open-source data framework, software developers will be able to write applications that access the data in a consistent way (with proper permissions), or build functionalities onto the SEED platform in a replicable way.

  11. The Computational Sciences. Research

    E-Print Network [OSTI]

    Christensen, Dan

    The Computational Sciences. Research activities range from the theoretical foundations. The teaching mission of the computational sciences includes almost every student in the University for computational hardware and software. The computational sciences are undergoing explosive growth worldwide

  12. Self-assembled software and method of overriding software execution

    DOE Patents [OSTI]

    Bouchard, Ann M.; Osbourn, Gordon C.

    2013-01-08

    A computer-implemented software self-assembled system and method for providing an external override and monitoring capability to dynamically self-assembling software containing machines that self-assemble execution sequences and data structures. The method provides an external override machine that can be introduced into a system of self-assembling machines while the machines are executing such that the functionality of the executing software can be changed or paused without stopping the code execution and modifying the existing code. Additionally, a monitoring machine can be introduced without stopping code execution that can monitor specified code execution functions by designated machines and communicate the status to an output device.

  13. Euclid Software and Tools

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

    Software and Tools Software and Tools The table below shows the software installed on Euclid that is managed by modules. Package Category Version Module Install Date Date Made...

  14. Statistical Software - Overview

    E-Print Network [OSTI]

    de Leeuw, Jan

    2010-01-01

    Review of Statistical Software. International As- sociationStatistical Methods Need Software: A View of Statisti- calJournal of Statistical Software, 13, 2004. URL http://www.

  15. Statistical Software - Overview

    E-Print Network [OSTI]

    Jan De Leeuw

    2011-01-01

    Review of Statistical Software. International As- sociationStatistical Methods Need Software: A View of Statisti- calJournal of Statistical Software, 13, 2004. URL http://www.

  16. TOUGH2 Software Qualification

    E-Print Network [OSTI]

    2010-01-01

    lower temperatures. TOUGH2 SOFTWARE QUALIFICATION - FEBRUARY131 TOUGH2 SOFTWARE QUALIFICATION - FEBRUARY 1996 v . LISTmesh generators. TOUGH2 SOFTWARE QUALIFICATION - FEBRUARY

  17. Validation of Software for Bayesian Models Using Posterior Quantiles

    E-Print Network [OSTI]

    Gelman, Andrew

    developing the necessary software "from scratch," and such software is rarely tested to the same extent 2004). Standard approaches to software testing and debugging from the engineering and computer science what it claims to do. Here we outline a simulation-based method for testing the correctness of software

  18. A Theoretical Foundation for Software Engineering: A Model Calculus

    E-Print Network [OSTI]

    Perry, Dewayne E.

    A Theoretical Foundation for Software Engineering: A Model Calculus Dewayne E. Perry Advanced Research in Software Engineering (ARiSE) Electrical and Computer Engineering The University of Texas of software engineering and software engineering research. While empirical evaluation is important in both

  19. New AES software speed records Daniel J. Bernstein1

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    New AES software speed records Daniel J. Bernstein1 and Peter Schwabe2 1 Department of Computer, Netherlands peter@cryptojedi.org Abstract. This paper presents new speed records for AES software, taking microarchitectures. Keywords: AES, software implementation 1 Introduction This paper describes a new AES software

  20. Journal of Software Testing, Verification, and Reliability, V. 10, no. 2, June 2000. Regression Test Selection for C++ Software

    E-Print Network [OSTI]

    Rothermel, Gregg

    Journal of Software Testing, Verification, and Reliability, V. 10, no. 2, June 2000. Regression Test Selection for C++ Software Gregg Rothermel Dept. of Computer Science Oregon State Universityoriented software. This paper presents a regression test selection technique for use with objectoriented software

  1. Statistische Software (R) Paul Fink, M.Sc.

    E-Print Network [OSTI]

    Cattaneo, Marco

    Statistische Software (R) Paul Fink, M.Sc. Institut für Statistik Ludwig Mathematics Computation 1900 1950 2000 ?Theory Methodology Paul Fink: Statistische Software (R) SoSe 2015 2, · und Computer verwenden, um Daten zu analysieren. Paul Fink: Statistische Software (R) SoSe 2015 3

  2. Department of Computer Science

    E-Print Network [OSTI]

    North, Siobhn

    Department of Computer Science Retrieving Software Component using Clone Detection and Program appropriate software components in a library or software component retrieval are an important task in software features using clone detection technique, (iii) searching components in the library based on the clone

  3. 3 2 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/04/$20.00 2004 IEEE distributed systems is most often specified in

    E-Print Network [OSTI]

    Memon, Atif M.

    , they unfortunately also increase the churn rates in QoS-intensive software (see the "QoS and PSAs" sidebar). focus, Aniruddha Gokhale, and Balachandran Natarajan, Vanderbilt University #12;Such churn typically destabilizes QoS proper- ties such as latency, jitter, and throughput rates as well as--perhaps even more

  4. Discouraging Software Piracy Using Software Aging

    E-Print Network [OSTI]

    Discouraging Software Piracy Using Software Aging Markus Jakobsson Michael Reiter Abstract Most people consider frequent software updates a nuisance. However, we show how this common phenomenon can be turned into a feature that protects against software piracy. We define a protocol for "drop-in" upgrades

  5. 3D Representations for Software Visualization Andrian Marcus

    E-Print Network [OSTI]

    Maletic, Jonathan I.

    research from software analysis, information visualization, human-computer interaction, and cognitive, texture, abstraction mechanism, and by supporting new manipulation techniques and user interfaces.2 [Information Interfaces and Presentation] User Interfaces Keywords: Software visualization, 3D visualization

  6. Software Evolution: A Road Map Vclav T. Rajlich

    E-Print Network [OSTI]

    Software Evolution: A Road Map Vclav T. Rajlich Department of Computer Science Wayne State nonprofit organizations from sale taxes on certain specific items is such a surprise. Software modification

  7. Computational Theoryand Applications

    E-Print Network [OSTI]

    Fekete, Sndor P.

    -Restricted Tours in the plane S~indor P. Fekete a,*, Gerhard J. Woeginger b,1 a Center for Parallel Computing

  8. Software Engineering for Development A Position Statement

    E-Print Network [OSTI]

    Blake, Edwin

    , Software Engineering. 1. Introduction How can we develop software for rural and disadvantaged communities. These approaches are wrapped into an iterative Action Research paradigm in order to directly include the community that are far removed from the needs of local communities. Computer Science innovation, when applied with a too

  9. Supervisory Control of Software Systems Vir V. Phoha, Senior Member, IEEE, Amit U. Nadgar,

    E-Print Network [OSTI]

    Ray, Asok

    Supervisory Control of Software Systems Vir V. Phoha, Senior Member, IEEE, Amit U. Nadgar, Asok Ray software systems based on the Supervisory Control Theory (SCT). Our method uses the SCT to model the execution of a software application by restricting the actions of the OS with little or no modifications

  10. Computational Plasma Physicist | Princeton Plasma Physics Lab

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

    users of TRANSP and related software. We are seeking a person with strong technical knowledge of numerical analysis, parallel computing, software development, and large-scale...

  11. ORNL Software Expo | ornl.gov

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

    ORNL Software Expo Aug 05 2015 08:00 AM - 12:00 PM Programmers Throughout ORNL Main Street and the Court of Flags in Building 5700 Computer Science and Mathematics Division Event...

  12. Daylighting Prediction Software: Comparative Analysis and Application

    E-Print Network [OSTI]

    Estes, J. M. Jr.; Schreppler, S.; Newsom, T.

    2004-01-01

    for the calibrated modeling of light scattered in enclosed spaces. These software packages used algorithms based on either total radiosity (flux transfer) computations or physically accurate ray tracing. A summary of this survey along with the selection criteria used...

  13. Designing supportability into software

    E-Print Network [OSTI]

    Shirolkar, Prashant A., 1973-

    2004-01-01

    Background: Despite the identification of a "software crisis" in the 1960s, large software projects are full of defects even today [19]. These defects cause the software to behave unexpectedly. The cause generally is ...

  14. Designing security into software

    E-Print Network [OSTI]

    Zhang, Chang Tony

    2006-01-01

    When people talk about software security, they usually refer to security applications such as antivirus software, firewalls and intrusion detection systems. There is little emphasis on the security in the software itself. ...

  15. Software for Multilevel Analysis

    E-Print Network [OSTI]

    Jan de Leeuw; Ita Kreft

    2011-01-01

    SOFTWARE FOR MULTILEVEL ANALYSIS JAN DE LEEUW AND ITA G.G.of the more important software programs and packages thatstatistical and numerical software does not have and does

  16. The Other Software

    E-Print Network [OSTI]

    McWilliams, Chandler B.

    2009-01-01

    F. 1997. There is No Software. in Literature, Media,F. 2008. Language. in Software Studies. M. FULLER, Ed. MITThe Other Software Chandler B. McWilliams University of

  17. Leica Confocal Software LCS

    E-Print Network [OSTI]

    Yavuz, Deniz

    Leica Confocal Software LCS User manual (for Leica TCS SP2 systems) #12;Version: RK09052000 Page 2......................................................................................2 2 The Leica Confocal Software: An overview...............................................7 2.1 Starting the software..........................................................................7 2

  18. Qualified Software for Calculating Commercial Building Tax Deductions

    Office of Energy Efficiency and Renewable Energy (EERE)

    On this page you'll find a list of qualified computer software for calculating commercial building energy and power cost savings that meet federal tax incentive requirements.

  19. Thoughts From the 2012 Whitney Software Symposium | GE Global...

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

    Big Data, Modeling and Simulation, High Performance Computing and the Industrial Internet as key technological enablers of GE's Software initiatives. We enjoyed speakers from...

  20. Software Architecture and Software Configuration Bernhard Westfechtel

    E-Print Network [OSTI]

    Westfechtel, Bernhard

    through- out the entire software life cycle. Project management deals with coordination issues support for the management of evolving software objects throughout the whole life cycle. Several problems the software life cycle. In addition, it supports system building (creation of derived objects from

  1. software installation page

    E-Print Network [OSTI]

    The PDE software infrastructure. Once you download and untar the software, you can run it interpreted or compiled. The file all.scm includes the sources for the...

  2. software installation page

    E-Print Network [OSTI]

    Installing software used in CS/MA 615. There are sources for various software packages. Gambit web site. You can download install packages for Windows and

  3. Sandia Energy - Software

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

    modeling. The Morfeus framework provides software developers with useful software architecture building blocks or interfaces to be implemented for multiphysics application...

  4. ESTSC - Software Best Practices

    Office of Scientific and Technical Information (OSTI)

    reviews for sensitivity and export control. Exclusions. Software that meets the following criteria need not be announced to ESTSC: operational systems software that is site...

  5. Computing

    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 commentsMethodsCompositional6Energy Computers,Computing and

  6. Computing

    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 commentsMethodsCompositional6Energy Computers,Computing

  7. Computing

    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 TheComputeComputing

  8. Tax Deduction Qualified Software- EnergyPlus version 3.1.0.027

    Broader source: Energy.gov [DOE]

    On this page you'll find information qualified computer software which calculates energy and power cost savings.

  9. Title Slide European Software Testing Congress, May 2000

    E-Print Network [OSTI]

    Hatton, Les

    Title Slide European Software Testing Congress, May 2000 "Embedded software testing" by Les Hatton@oakcomp.co.uk Version 1.1: 24/Mar/2000 Copyright, L.Hatton, 2000- OAKWOOD COMPUTING - SURVIVAL AND AVOIDANCE STRATEGIES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . #12;v. 1.1, 24/Mar/2000 , Embedded software testing (slide 2). L.Hatton, 2000- Overview v Overview

  10. Test, debug and development environment of Subaru Observation Software System

    E-Print Network [OSTI]

    Hayashi, Saeko S.

    - 1/7 - Test, debug and development environment of Subaru Observation Software System Junichi have a computer system in Japan which simulates the network of the summit system in part. Software test, Japan ABSTRACT Subaru Observation Software System (SOSS) provides observers with so called high

  11. A Tool for Estimating Software Testing Requirements James M. Bieman

    E-Print Network [OSTI]

    Bieman, James M.

    A Tool for Estimating Software Testing Requirements James M. Bieman Department of Computer Science 10, 1990 Abstract We describe a prototype software tool that estimates the number of test cases to evaluate proposed testing techniques, estimate the resources required to test a software system

  12. How to introduce maturity in software change management

    E-Print Network [OSTI]

    Bendix, Lars

    1 How to introduce maturity in software change management $ Lars Bendix Department of Computer we want to suggest a structure for analysing and measuring the Change Management capability of software development organisations. Although Change Management is one of the fundamental tasks of software

  13. An Automated Software FMEA Chris Price and Neal Snooke

    E-Print Network [OSTI]

    Snooke, Neal

    An Automated Software FMEA Chris Price and Neal Snooke Department of Computer Science, Aberystwyth Conference, Singapore, April 2008 Abstract The concept of software failure mode and effects analysis (FMEA its hardware counterpart, software FMEA is immensely tedious for an engineer to perform, as well

  14. A Survey of Controlled Experiments in Software Engineering

    E-Print Network [OSTI]

    A Survey of Controlled Experiments in Software Engineering Dag I.K. Sjberg, Member, IEEE Computer articles published in 12 leading software engineering journals and conferences in the decade from 1993 performed one or more software engineering tasks. This survey quantitatively characterizes the topics

  15. CASE/CM Services Supporting InternetBased Software Engineering

    E-Print Network [OSTI]

    Biuk-Aghai, Robert P.

    CASE/CM Services Supporting InternetBased Software Engineering Robert P. BiukAghai Faculty of geographically dis tributed software engineers cooperating and com municating over the Internet. In the future of Internetbased ComputerAided Software Engineering (CASE) and Configuration Manage ment (CM) environments

  16. A Software Certification Consortium and its Top 9 Hurdles

    E-Print Network [OSTI]

    Lawford, Mark

    , Computer Science and Engineering, University of Minnesota, Minneapolis, MN, USA c Software Quality Research improve the quality of these real-time software systems and thereby reduce the risk to the public quality, it is not always clear to software practitioners how well these theoretical techniques model real

  17. Quality and Reuse in Industrial Software Engineering Greg Butler

    E-Print Network [OSTI]

    Butler, Gregory

    Quality and Reuse in Industrial Software Engineering Greg Butler Department of Computer Science in the software industry is forc ing major changes in the ways that software development and maintenance are being done. The technical trends con tributing most to improved productivity are the improvement

  18. Robust Combiners for Software Hardening Amir Herzberg and Haya Shulman

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Robust Combiners for Software Hardening Amir Herzberg and Haya Shulman Bar-Ilan University Department of Computer Science Ramat-Gan, 52900, Israel Abstract. All practical software hardening schemes S provided either X or Y satisfy S. We present the rst robust combiners for software hardening, specically

  19. Faster software for fast endomorphisms Billy Bob Brumley

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Faster software for fast endomorphisms Billy Bob Brumley Department of Pervasive Computing Tampere software libraries. Furthermore, side-channel vulnerabilities, specifically cache- timing attacks, remain method are well understood, un- fortunately it has yet to find its way into elliptic curve software

  20. Software Engineering: A Roadmap Anthony Finkelstein Jeff Kramer

    E-Print Network [OSTI]

    Finkelstein, Anthony

    Software Engineering: A Roadmap Anthony Finkelstein Jeff Kramer Department of Computer Science@doc.ic.ac.uk ABSTRACT This paper provides a roadmap for software engineering. It identifies the principal research specialisations within software engineering. The paper draws heavily on the roadmaps covering specific areas

  1. Software for control system analysis and design, symbol manipulation D. Nesic, I. M. Y. Mareels,

    E-Print Network [OSTI]

    Nesic, Dragan

    Software for control system analysis and design, symbol manipulation D. Nesic, I. M. Y. Mareels of this article is to highlight the effectiveness of symbolic computation software, or the so called computer algebra, in the analysis and design of control systems. Symbolic computation software should

  2. Computer

    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 commentsMethodsCompositional6 Computational CSEEnergy

  3. IBM Software Providesacomprehensivesolutionfor

    E-Print Network [OSTI]

    stageinthedevelopmentlifecycle Solutions for embedded software development IBM Rational software teams with Wind River Devices delivering them on time and within budget. IBM Rational software is teaming with Wind River to help build management and quality management--throughout the software development lifecycle. Wind River

  4. Scan Software 1 Introduction

    E-Print Network [OSTI]

    Alford, Simon

    Scan Software 1 Introduction Scan is a graphical user interface designed to control a confocal microscope BIORAD MRC- 600. The software can acquire simultaneously two channels, scanning an area of 0. In addition, the software can control the stage position and amplifiers setup. The software runs on the Matlab

  5. Behaviour Observation in Software Testing 20/08/99 A Theory of Behaviour Observation in Software Testing

    E-Print Network [OSTI]

    Zhu, Hong

    Behaviour Observation in Software Testing 20/08/99 -- 1 -- A Theory of Behaviour Observation in Software Testing Hong Zhu School of Computing and Mathematics, Oxford Brookes University, Gipsy Lane International University, University Park, Miami, FL 33199, Email: hex@cs.fiu.edu Abstract Software testing

  6. ICSE Workshop on Green and Sustainable Software Engineering, Zurich, Switzerland, 3rd June 2012 An Energy Consumption Model and Analysis Tool for Cloud Computing

    E-Print Network [OSTI]

    Schneider, Jean-Guy

    , the high energy consumption of data centres often results in consumption of electricity produced by "brown. As analysed in [2], the electricity consumption for powering the data centres in the USA alone is projected 2012 An Energy Consumption Model and Analysis Tool for Cloud Computing Environments FeiFei Chen, Jean

  7. Calorie restriction and sirtuins revisited

    E-Print Network [OSTI]

    Guarente, Leonard Pershing

    Calorie or dietary restriction (CR) has attracted attention because it is the oldest and most robust way to extend rodent life span. The idea that the nutrient sensors, termed sirtuins, might mediate effects of CR was ...

  8. Method for critical software event execution reliability in high integrity software

    SciTech Connect (OSTI)

    Kidd, M.E. [Sandia National Labs., Albuquerque, NM (United States)

    1997-11-01

    This report contains viewgraphs on a method called SEER, which provides a high level of confidence that critical software driven event execution sequences faithfully exceute in the face of transient computer architecture failures in both normal and abnormal operating environments.

  9. Acceptability-Oriented Computing Martin Rinard

    E-Print Network [OSTI]

    Rinard, Martin

    Engineering]: Requirements/Specifications; D.2.3 [Software Engineering]: Coding Tools and Tech- niques; D.2.3 [Software Engineering]: Software/Program Verifi- cation; D.2.3 [Software Engineering]: Testing and Debugging demands for more useful or usable computer software. In the future, several trends will increase the pres

  10. Sage: Unifying Mathematical Software for Scientists, Engineers, and Mathematicians

    E-Print Network [OSTI]

    Stein, William

    edge research in a broad range of areas of computational mathematics, ranging from applied numerical is comprehensive unified open source software for mathematical and scientific computing that builds on highSage: Unifying Mathematical Software for Scientists, Engineers, and Mathematicians Sage

  11. Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet

    E-Print Network [OSTI]

    Xie, Tao

    Educational Software Engineering: Where Software Engineering, Education, and Gaming Meet Tao Xie and advocate the subfield of educational software engineering (i.e., software engineering for education), which develops software engineering technologies (e.g., software testing and analysis, software analytics

  12. Software Tools for Technology Transfer Software Monitoring with Controllable Overhead

    E-Print Network [OSTI]

    Zadok, Erez

    Software Tools for Technology Transfer Software Monitoring with Controllable Overhead Xiaowan Huang Stony Brook University Appears in the Proceedings of Software Tools for Technology Transfer Abstract. We

  13. Track 2 Commercial Grade Dedication of Software.

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

    of other types of software - Instrumentation & control software - Software development Design and Analysis Software * Finite element analysis * Piping analysis * Seismic...

  14. Evolve : a preliminary multicore architecture for Introspective Computing

    E-Print Network [OSTI]

    Eastep, Jonathan M. (Jonathan Michael)

    2007-01-01

    This thesis creates a framework for Introspective Computing. Introspective Computing is a computing paradigm characterized by self-aware software. Self-aware software systems use hardware mechanisms to observe an application's ...

  15. some information about software.

    E-Print Network [OSTI]

    Greg Buzzard: Software Please email me (buzzard at math dot purdue dot edu) to obtain software for finding optimal binary filters, as described in D.S. Wilcox, et...

  16. User' Software Manual

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

    MM-Group Home MMG Advisory Committees 4-ID-D Home Recent Publications Beamline Info Optics Instrumentation Software User Info FAQs 4-ID-D Beamline Software Manual Introduction...

  17. Intel Architecture Software Developer's

    E-Print Network [OSTI]

    Dinda, Peter A.

    Intel Architecture Software Developer's Manual Volume 1: Basic Architecture NOTE: The Intel Architecture Software Developer's Manual consists of three volumes: Basic Architecture, Order Number 243190 sustaining applications. Intel may make changes to specifications and product descriptions at any time

  18. Bridge Decomposition of Restriction Measures

    E-Print Network [OSTI]

    Tom Alberts; Hugo Duminil-Copin

    2010-07-03

    Motivated by Kesten's bridge decomposition for two-dimensional self-avoiding walks in the upper half plane, we show that the conjectured scaling limit of the half-plane SAW, the SLE(8/3) process, also has an appropriately defined bridge decomposition. This continuum decomposition turns out to entirely be a consequence of the restriction property of SLE(8/3), and as a result can be generalized to the wider class of restriction measures. Specifically we show that the restriction hulls with index less than one can be decomposed into a Poisson Point Process of irreducible bridges in a way that is similar to Ito's excursion decomposition of a Brownian motion according to its zeros.

  19. CDF THERORY SOFTWARE

    Energy Science and Technology Software Center (OSTI)

    003883WKSTN00 cDF Theory Software for mesoscopic modeling of equilibrium and transport phenomena store.pnnl.gov

  20. Software for managing scientific workflows.

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

    Debugging and Profiling Data, Visualization, and Analytics Grid Software and Services Workflow Software NERSC Software Downloads Policies User Surveys NERSC Users Group User...

  1. Engineering secure software

    E-Print Network [OSTI]

    Jetly, Prateek

    2001-01-01

    -the-fact fixes in the form of software patches. The root causes for security problems in software are explored. A survey of research attempts at engineering secure software is presented. The techniques discussed range from those that are very similar...

  2. Software Certification Experience in the Canadian Nuclear Industry: Lessons for the Future

    E-Print Network [OSTI]

    Lawford, Mark

    Keywords nuclear, software certification, safety-critical software 1. INTRODUCTION The computer controlled the first nuclear safety systems in Canada that were software based. This posed a problem for the regulatorsSoftware Certification Experience in the Canadian Nuclear Industry: Lessons for the Future Alan

  3. An IDE for Software Development Using Tabular Expressions Dennis K. Peters1

    E-Print Network [OSTI]

    Lawford, Mark

    Dept. of Computing and Software, McMaster University, Hamilton, ON 3 Software Quality Research Lab all 3 authors were at the Software Quality Research Laboratory, Univer- sity of Limerick. Copyright cAn IDE for Software Development Using Tabular Expressions Dennis K. Peters1 , Mark Lawford2

  4. Computational Plasma Physicist (Theoretical Research, TRANSP...

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

    are seeking a person with strong technical knowledge of numerical analysis, parallel computing, software development, and large-scale scientific production computing in a physics...

  5. CS 160 Computer Science Orientation Catalog Description: Introduction to the computer science field and profession. Team problem

    E-Print Network [OSTI]

    field and profession. Team problem solving. Social and ethical issues surrounding the use of computers representations Computer use Problem-solving System and application software Computer professions

  6. RESTRICTED ACCESS to Groat Road

    E-Print Network [OSTI]

    MacMillan, Andrew

    RESTRICTED ACCESS to Dudely B Menzies Bridge to Kinsmen Park to High Level Bridge to Groat Road 89 Ave Edinboro Road Saskatchewan Drive Saskatchewan Drive Saskatchewan Drive 88 Corbett Field West Aberhart Centre Childcare Centre South Field Car Park Thermal Energy Storage Corbett Hall Canadian Blood

  7. HAZARD ANALYSIS SOFTWARE

    SciTech Connect (OSTI)

    Sommer, S; Tinh Tran, T

    2008-04-08

    Washington Safety Management Solutions, LLC developed web-based software to improve the efficiency and consistency of hazard identification and analysis, control selection and classification, and to standardize analysis reporting at Savannah River Site. In the new nuclear age, information technology provides methods to improve the efficiency of the documented safety analysis development process which includes hazard analysis activities. This software provides a web interface that interacts with a relational database to support analysis, record data, and to ensure reporting consistency. A team of subject matter experts participated in a series of meetings to review the associated processes and procedures for requirements and standard practices. Through these meetings, a set of software requirements were developed and compiled into a requirements traceability matrix from which software could be developed. The software was tested to ensure compliance with the requirements. Training was provided to the hazard analysis leads. Hazard analysis teams using the software have verified its operability. The software has been classified as NQA-1, Level D, as it supports the analysis team but does not perform the analysis. The software can be transported to other sites with alternate risk schemes. The software is being used to support the development of 14 hazard analyses. User responses have been positive with a number of suggestions for improvement which are being incorporated as time permits. The software has enforced a uniform implementation of the site procedures. The software has significantly improved the efficiency and standardization of the hazard analysis process.

  8. 3F6 -Software Engineering and Design Software Management I

    E-Print Network [OSTI]

    Young, Steve

    ;Contents 1. Software Engineering 2. Software Life Cycle 3. Team Organisation 4. Product Development 5-design. These phases constitute the software life cycle. #12;2 Engineering Part IIA: 3F6 - Software Engineering and Design The Software Life Cycle WaterFall Model This view of the software life cycle is based

  9. 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.

  10. Restricted Most Powerful Bayesian Tests

    E-Print Network [OSTI]

    Goddard, Scott D

    2015-04-24

    novel Bayesian variable selection method and compare its performance to other Bayesian tests based on g-priors in a sequence of numerical examples. Finally, a software package for R is detailed which implements the RMPBTs described herein as well as many...

  11. CSE 445/598 Distributed Software Development Syllabus and Course Information

    E-Print Network [OSTI]

    that extends the scope of the CSE445 course contents. Prerequisites by Topic CSE 360: Software life cycle models; project management, team development environments and methodologies; software architectures Description Distributed system architectures and design, service-oriented computing, and frameworks

  12. CFB: A Call For Benchmarks -for Software Visualization Jonathan I. Maletic

    E-Print Network [OSTI]

    Maletic, Jonathan I.

    CFB: A Call For Benchmarks - for Software Visualization Jonathan I. Maletic Department of Computer to develop this Call- For-Benchmarks in Software Visualization. We will motivate why this "CFB" may

  13. Tax Deduction Qualified Software DesignBuilder version 4.2.0.054

    Broader source: Energy.gov [DOE]

    Information about the DesignBuilder version 4.2.0.054 qualified computer software (www.buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  14. Computer Science | More Science | ORNL

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

    computation capability includes experts in system software, component technology, architecture algorithms, virtualization, networking, real-time and large-scale data analytics,...

  15. Partial Restriction Digests Leslie Vosshall

    E-Print Network [OSTI]

    Partial Restriction Digests 4/18/2001 Leslie Vosshall Purpose: To generate DNA cut at a subset to the following schedule for digests [A] [F]: [A] 1.0 ul Enzyme [B] 0.1 ul Enzyme [C] 0.05 ul Enzyme [D] 0.01 ul Enzyme [E] 0.005 ul Enzyme [F] 0.001 ul Enzyme [A] add 1 ul of enzyme and mix well; place digest on wet

  16. The Rights of Computer Program Users under Japanese and United States Copyright Laws

    E-Print Network [OSTI]

    Bendekgey, Lee; Mead, Caroline H.; Miki, Shigeru

    1991-01-01

    citations omitted). THE RIGHTS OF COMPUTER PROGRAM USERSIdaho 1983). THE RIGHTS OF COMPUTER PROGRAM USERS restrictedARTICLES THE RIGHTS OF COMPUTER PROGRAM USERS UNDER JAPANESE

  17. Hopper Software and Tools

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

    File Storage and IO Software and Tools Debugging and profiling Performance and Optimization Cray XE Documentation Cluster Compatibility Mode PDSF Genepool Testbeds Retired...

  18. Fenestration Software Tools

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

    dccurcija@lbl.gov Lawrence Berkeley National Laboratory Fenestration Software Tools 2014 Building Technologies Office Peer Review 2 Project Summary Timeline: Start date: 1012013...

  19. Fourier restriction phenomenon in thin sets

    E-Print Network [OSTI]

    Papadimitropoulos, Christos

    2010-01-01

    We study the Fourier restriction phenomenon in settings where there is no underlying proper smooth subvariety. We prove an (Lp, L2) restriction theorem in general locally compact abelian groups and apply it in groups ...

  20. Conserving Software-based Artwork through Software Engineering

    E-Print Network [OSTI]

    Marchese, Francis

    Conserving Software-based Artwork through Software Engineering Francis T. Marchese Department is offered for conserving software-based digital art in perpetuity based on software engineering practice. Software engineering is a rigorous, formalized practice approach to preservation that engages all

  1. A Global Software Inspection Process for Distributed Software Development

    E-Print Network [OSTI]

    delivering high-quality software to global users at lower costs. The main expected benefits from distributed towards quality assurance and management. Keywords: Global Software Development, Distributed Software Development, Software Inspection, Tool, Software quality Categories: D.2.2, D.2.4 1 Introduction Due

  2. Methodology Modelling: Combining Software Processes with Software Products \\Lambda

    E-Print Network [OSTI]

    Han, Jun

    of software processes in improving the quality of software products has been widely recognised for some time processes and software products is a major factor in improving soft ware quality. 2. Finegrained, nonMethodology Modelling: Combining Software Processes with Software Products \\Lambda Jun Han and Jim

  3. Software Quality Model Requirements for Software Quality Engineering

    E-Print Network [OSTI]

    Suryn, Witold

    Software Quality Model Requirements for Software Quality Engineering Marc-Alexis Ct M. Ing (marc Quality Engineering, Software Quality Models, ISO/IEC 9126. Abstract Software Quality Engineering is an emerging discipline that is concerned with improving the approach to software quality. It is important

  4. Empowering Software Development Environments by Automatic Software Measurement

    E-Print Network [OSTI]

    Westfechtel, Bernhard

    Empowering Software Development Environments by Automatic Software Measurement Bernhard Daubner.daubner@uni-bayreuth.de Abstract In order to facilitate the application of software mea- surement the gathering of software measures should be automated as far as possible by the integration of the software measurement process

  5. Institute for Software Technology Recommender Systems

    E-Print Network [OSTI]

    Hardcover 45.90 American fiction, murder, neo-Nazism attributes #12;Institute for Software Technology 4 fiction, murder, neo- Nazism User profile Title Genre Author Type Price Keywords ... Fiction Brunonia, Barry, Ken Follett Paperback 25.65 Detective, murder, New York Simple approach Compute

  6. Software Engineering, an established Accreditable Engineering Discipline

    E-Print Network [OSTI]

    Szabados, Barna

    Software Engineering, an established Accreditable Engineering Discipline By B.Szabados, P.Eng, Mc of the Canadian Engineering Accreditation Board (CEAB), as well as at a workshop at the NCDEAS meeting in September 1997. 1. INTRODUCTION In the late seventies, the discipline of Computer Engineering has evolved

  7. Presenting Software License Conflicts through Argumentation

    E-Print Network [OSTI]

    Scacchi, Walt

    Presenting Software License Conflicts through Argumentation Thomas A. Alspaugh Computer Science@ics.uci.edu Abstract--Heterogeneously-licensed systems pose new chal- lenges to architects and designers seeking, license conflicts may prevent a system's legal use. Our previous work showed that rights, obligations

  8. Computational Systems & Software Environment | National Nuclear...

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

    development, integration and initial deployment, continuing product support, and quality and reliability activities, as well as industrial and academic collaborations....

  9. PHOTO: Bryan Christie Design COMPUTING / SOFTWARE

    E-Print Network [OSTI]

    Schaeffer, Jonathan

    back, the attackers still manage to creep forward behind a curtain of smoke and flying debris. Moments is called F.E.A.R. , short for First Encounter Assault Recon, and its use of AI, along with its impressive, look good and move naturally. But, ideally, they should also be able to engage in believable

  10. Software Engineer (Computing and Networking Division) | Princeton...

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

    staff and long term projects. This position requires excellent communication skills, problem solving abilities, and the desire to work with individuals in a scientific...

  11. Software and Libraries | 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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | System Overview Data Storage

  12. The Software Industry and Software Engineering

    E-Print Network [OSTI]

    Feitelson, Dror

    engineeringproduction science Amateurs and virtuosos Knowledge does not propagate Waste of materials Small scale it anew Documentation of libraries etc. #12;Path to True Engineering Define body of knowledge needed... #12;What Software Companies Do You Know? Microsoft is not the only one... #12;Classification I

  13. Engineering Careers: Software Engineering

    E-Print Network [OSTI]

    Fenster, Sam

    Analysis HR, Payroll, Inventory Control #12;Custom software Help run my business Online banking High it #12;It is "professional" programing Software Engineering hacking up some code It is not what you do day #12;I am part of a team Programmers + Product Managers + Business Managers #12;You're stifling me

  14. Sequence Assembly Validation by Restriction Digest Fingerprint

    E-Print Network [OSTI]

    Rouchka, Eric

    Sequence Assembly Validation by Restriction Digest Fingerprint Comparison Eric C. Rouchka and David examines the use of restriction digest analysis as a method for testing the fidelity of sequence assembly. Restriction digest fingerprint matching is an established technology for high resolution physical map

  15. Dynamic Adaptive Search Based Software Engineering Mark Harman1

    E-Print Network [OSTI]

    Harman, Mark

    Dynamic Adaptive Search Based Software Engineering Mark Harman1 , Edmund Burke2 , John A. Clark3 of Stirling, Stirling, FK9 4LA Scotland, UK. 3 Department of Computer Science, University of York, Deramore, Birmingham B15 2TT, UK. ABSTRACT Search Based Software Engineering (SBSE) has proved to be a very effective

  16. MONITORING IN A SOFTWARE DEVELOPMENT ENVIRONMENT: A RELATIONAL APPROACH

    E-Print Network [OSTI]

    Snodgrass, Richard T.

    MONITORING IN A SOFTWARE DEVELOPMENT ENVIRONMENT: A RELATIONAL APPROACH Richard Snodgrass Department of Computer Science University of North Carolina Chapel Hill, NC 27514 Abstract: A monitor is an important component of a software development environment. The infor- mation collected and processed

  17. SociallyOriented Requirements Engineering Software Engineering Meets Ethnography

    E-Print Network [OSTI]

    Miller, Tim

    SociallyOriented Requirements Engineering Software Engineering Meets Ethnography Sonja Pedell1,3 , Tim Miller2 , Frank Vetere1 , Leon Sterling3 , Steve Howard1 1 Department of Information Systems, The University of Melbourne 2 Department of Computer Science and Software Engineering, The University

  18. Practical Software Engineering Lecture 1.1 Language

    E-Print Network [OSTI]

    Practical Software Engineering Lecture 1.1 Language Computer language used depends on the problem a language is a tool o Scientific/engineering simulations High performance, good libraries always: Set up a Revision Control system and write a makefile. Revision control can control software

  19. Software Development oftware development is an art. The most note-

    E-Print Network [OSTI]

    Filman, Robert E.

    with an attention to economy and we get engineering, like the computer science holy grail of "software engineering of workmanship. Engineering includes reliability and economy of construction. We expect our software systems a desired end. Art stands in contrast to science, engineering, manufacturing, and fashion. Science distills

  20. Multivariate Graphs in Software Engineering and A. Telea2

    E-Print Network [OSTI]

    Telea, Alexandru C.

    Multivariate Graphs in Software Engineering S. Diehl1 and A. Telea2 1 Department of Computer, the Netherlands Abstract. Multivariate networks, or graphs, are an essential element of various activities. In this chapter, we present the specific context in which multivariate graphs occur in software engineering

  1. Statistical Disclosure Control: Methods and Software Development in

    E-Print Network [OSTI]

    Jureckova, Jana

    language and runs under all platforms. Turn your ideas into software easily. #12;Using R for SDC Some and statistical computing. ­ is a modern object-oriented high-level programming language and runs under allStatistical Disclosure Control: Methods and Software Development in Matthias Templ Vienna

  2. 1 Computer Architecture hardware components

    E-Print Network [OSTI]

    Verschelde, Jan

    Outline 1 Computer Architecture hardware components programming environments 2 Getting Started January 2015 Intro to Computer Science (MCS 260) Computer Architecture L-2 14 January 2015 1 / 23 #12;Computer Architecture Hardware & Software A computer system consists of 1 Hardware: physical components

  3. Uncovering Student Values for Hiring in the Software Industry

    E-Print Network [OSTI]

    VanDeGrift, Tammy

    Systems University of Washington, Tacoma and TAMMY VANDEGRIFT School of Engineering University of Portland.1145/1316450.1316454. Authors' addresses: D. Chinn, Computing and Software Systems, University of Washington, Tacoma, Tacoma, WA

  4. A distributed embedded software architecture for multiple Unmanned Aerial Vehicles

    E-Print Network [OSTI]

    Matczynski, Michael J

    2006-01-01

    In order to deploy intelligent, next-generation applications on Unmanned Aerial Vehicles (UAVs), we must first develop a software architecture that supports onboard computation and flexible communication. This thesis ...

  5. The Software Technology of the 21st Century: From Software Reuse to Collaborative Software Design

    E-Print Network [OSTI]

    Fischer, Gerhard

    The Software Technology of the 21st Century: From Software Reuse to Collaborative Software Design (software) design problems require more knowledge than any single person or any single group possesses because the knowledge relevant to a problem is distributed among many different stakeholders. Software

  6. Software-Defined Mobile Cloud

    E-Print Network [OSTI]

    Ku, Ian

    2014-01-01

    M. Gerla. Towards Software- Defined VANETs: ArchitectureI. Ku, Y. Lu, and M. Gerla. Software-Defined Mobile Cloud:C. Peylo, CloudMAC: towards software defined WLANs, ACM

  7. Computer Science & Engineering

    E-Print Network [OSTI]

    Weiblen, George D

    Computer Science & Engineering at the University of Minnesota Yearsof excellence 40 Department the department head history of the computer science & engineering department Timeline Faculty Awards Software.anderson #12; A Message from the Department Head The University of Minnesota's Computer Science and Engineering

  8. Tax Deduction Qualified Software Tas version 9.2.1.5

    Broader source: Energy.gov [DOE]

    information about the Tas version 9.2.1.5 qualified computer software and federal tax incentive requirements for commercial buildings

  9. Tax Deduction Qualified Software Tas version 9.2.1.7

    Broader source: Energy.gov [DOE]

    Information about the Tas version 9.2.1.7 qualified computer software and federal tax incentive requirements for commercial buildings.

  10. Tax Deduction Qualified Software Tas version 9.2.1.4

    Broader source: Energy.gov [DOE]

    information about the Tas version 9.2.1.4 qualified computer software and federal tax incentive requirements for commercial buildings

  11. Parallel I/O Software Infrastructure for Large-Scale Systems

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

    Systems Parallel IO Software Infrastructure for Large-Scale Systems | Tags: Math & Computer Science Choudhary.png An illustration of how MPI---IO file domain alignment...

  12. An analysis of the cloud computing platform

    E-Print Network [OSTI]

    Bhattacharjee, Ratnadeep

    2009-01-01

    A slew of articles have been written about the fact that computing will eventually go in the direction of electricity. Just as most software users these days also own the hardware that runs the software, electricity users ...

  13. CANbus. , Testing software

    E-Print Network [OSTI]

    Kozak, Victor R.

    V.R.Kozak Abstract The article describes a specialized software package for devices with CANbus and label - - + - - - - - - + - - 00- 0F Write to channel 0-15 + - - - + + - - - - - - 10- 1F Request from

  14. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02

    To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01.

  15. Software Quality Assurance

    Broader source: Directives, Delegations, and Requirements [Office of Management (MA)]

    2000-10-02

    DOE N 251.40, dated 5/3/01, extends this directive until 12/31/01. To define requirements and responsibilities for software quality assurance (SQA) within the Department of Energy (DOE). Does not cancel other directives.

  16. Mining Software Usage with the Automatic Library Tracking Database (ALTD)

    SciTech Connect (OSTI)

    Hadri, Bilel [ORNL; Fahey, Mark R [ORNL

    2013-01-01

    Tracking software usage is important for HPC centers, computer vendors, code developers and funding agencies to provide more efficient and targeted software support, and to forecast needs and guide HPC software effort towards the Exascale era. However, accurately tracking software usage on HPC systems has been a challenging task. In this paper, we present a tool called Automatic Library Tracking Database (ALTD) that has been developed and put in production on several Cray systems. The ALTD infrastructure prototype automatically and transparently stores information about libraries linked into an application at compilation time and also the executables launched in a batch job. We will illustrate the usage of libraries, compilers and third party software applications on a system managed by the National Institute for Computational Sciences.

  17. SGE: Software Presentation

    E-Print Network [OSTI]

    Nouanegue, H. F.; Daoud, A.; Lavigne, K.; Poulin, A.; Charette, A.; Lahala, S.; Sansregret, S.; Desbiens, G.

    2013-01-01

    -Qu?bec Why SGE software is needed? > Increase energy efficiency in Commercial and Institutional Buildings > Optimize HVAC systems operation (Power demand and energy consumption) > Simplify and assist building operators 4 Groupe ? Technologie, Hydro...: Herv? Frank Nouanegue Team: Ahmed Daoud Karine Lavigne Alain Poulin Andr? Charette Sylvain Lahaie Simon Sansregret Guy Desbiens ?SGE? Software presentation 2 Groupe ? Technologie, Hydro-Qu?bec SGE: it means? > In French: Syst?me de gestion...

  18. 423A HIGH-PERFORMANCE COMPUTING/NUMERICAL The International Journal of High Performance Computing Applications,

    E-Print Network [OSTI]

    Higham, Nicholas J.

    423A HIGH-PERFORMANCE COMPUTING/NUMERICAL The International Journal of High Performance Computing and barriers in the development of high-performance computing (HPC) algorithms and software. The activity has computing, numerical analy- sis, roadmap, applications and algorithms, software 1 The High-performance

  19. The Hidden Job Requirements for a Software Engineer

    SciTech Connect (OSTI)

    Marinovici, Maria C.; Kirkham, Harold; Glass, Kevin A.

    2014-01-09

    In a world increasingly operated by computers, where innovation depends on software, the software engineers role is changing continuously and gaining new dimensions. In commercial software development as well as scientific research environments, the way software developers are perceived is changing, because they are more important to the business than ever before. Nowadays, their job requires skills extending beyond the regular job description posted by HR, and more is expected. To advance and thrive in their new roles, the software engineers must embrace change, and practice the themes of the new era (integration, collaboration and optimization). The challenges may be somehow intimidating for freshly graduated software engineers. Through this paper the authors hope to set them on a path for success, by helping them relinquish their fear of the unknown.

  20. The Evolution Matrix: Recovering Software Evolution using Software Visualization Techniques

    E-Print Network [OSTI]

    Lanza, Michele

    The Evolution Matrix: Recovering Software Evolution using Software Visualization Techniques Michele - ABSTRACT One of the major problems in software evolution is coping with the complexity which stems from and effective way to visualize the evolution of software systems which helps to recover the evolution of object

  1. The Software Invention Cube: a Classification Scheme for Software Inventions

    E-Print Network [OSTI]

    Klint, Paul

    The Software Invention Cube: a Classification Scheme for Software Inventions Jan A. Bergstra.science.uva.nl/~janb and Paul Klint Centrum voor Wiskunde en Informatica (CWI), Software Engineering Department and Informatics system aims at protecting inventions. The requirement that a software invention should make `a technical

  2. 1.00 / 1.001 Introduction to Computers and Engineering Problem Solving, Fall 2005

    E-Print Network [OSTI]

    Harward, Judson

    This course teaches fundamental software development and computational methods for engineering, scientific and managerial applications. Emphasis is focused on object-oriented software design and development. Assignments ...

  3. 1.00 Introduction to Computers and Engineering Problem Solving, Spring 2005

    E-Print Network [OSTI]

    Kocur, George

    This course examines fundamental software development and computational methods for engineering, scientific and managerial applications. Emphasis is placed on object-oriented software design and development. Students engage ...

  4. 1.00 Introduction to Computers and Engineering Problem Solving, Spring 2002

    E-Print Network [OSTI]

    Kocur, George

    Fundamental software development and computational methods for engineering and scientific applications. Object-oriented software design and development. Weekly programming problems cover programming concepts, graphical ...

  5. Final Report. Center for Scalable Application Development Software

    SciTech Connect (OSTI)

    Mellor-Crummey, John

    2014-10-26

    The Center for Scalable Application Development Software (CScADS) was established as a part- nership between Rice University, Argonne National Laboratory, University of California Berkeley, University of Tennessee Knoxville, and University of Wisconsin Madison. CScADS pursued an integrated set of activities with the aim of increasing the productivity of DOE computational scientists by catalyzing the development of systems software, libraries, compilers, and tools for leadership computing platforms. Principal Center activities were workshops to engage the research community in the challenges of leadership computing, research and development of open-source software, and work with computational scientists to help them develop codes for leadership computing platforms. This final report summarizes CScADS activities at Rice University in these areas.

  6. Large-Scale Software Unit Testing on the Grid Yaohang Li, 2

    E-Print Network [OSTI]

    Li, Yaohang

    Large-Scale Software Unit Testing on the Grid 1 Yaohang Li, 2 Tao Dong, 3 Xinyu Zhang, 4 Yongduan-scale and cost-efficient computational grid resources as a software testing test bed to support automated software unit test in a complicated system. Within this test framework, a dynamic bag-of-tasks model

  7. Sample Chapter 1, not for redistribution 1 Introduction to Software Testing

    E-Print Network [OSTI]

    Offutt, Jeff

    Sample Chapter 1, not for redistribution 1 Introduction to Software Testing Ammann & Offutt Part I cases, but the analysis of computations. The ideas and techniques of software testing have become, and then explaining the central notion of test coverage. Software is a key ingredient in many of the devices

  8. Recent Trends in Graduate Software Engineering Mark Ardis (Moderator) Shawn Bohner

    E-Print Network [OSTI]

    Ardis, Mark

    Recent Trends in Graduate Software Engineering Mark Ardis (Moderator) Shawn Bohner Stevens.sedano@sv.cmu.edu Abstract This panel will discuss recent trends in graduate software engineering programs, including of software engineering to other disciplines, such as computer science and systems engineering. 1. Position

  9. ECE 587 Hardware/Software Co-Design Lecture 28 Final Exam Review

    E-Print Network [OSTI]

    Wang, Jia

    of Electrical and Computer Engineering Illinois Institute of Technology April 29, 2015 ECE 587 Hardware/Software Verification ECE 587 Hardware/Software Co-Design Spring 2015 3/46 #12;System Design Trends Traditional: boardECE 587 Hardware/Software Co-Design Lecture 28 Final Exam Review Professor Jia Wang Department

  10. NetMul, a WorldWide Web user interface for multivariate analysis software

    E-Print Network [OSTI]

    Thioulouse, Jean

    1 NetMul, a WorldWide Web user interface for multivariate analysis software Jean Thioulouse The development of graphical user interfaces (GUI) for computer operating systems and desktop software Macintosh Finder, are examples of this development. Statistical software has followed this route (see

  11. Software Documents: Comparison and Measurement Tom Arbuckle, Adam Balaban, Dennis K. Peters and Mark Lawford

    E-Print Network [OSTI]

    Lawford, Mark

    Software Documents: Comparison and Measurement Tom Arbuckle, Adam Balaban, Dennis K. Peters of Newfoundland, St. John's NL, Canada A1B 3X5. Email: dpeters@engr.mun.ca Department of Computing and Software@mcmaster.ca Abstract-- For some time now, researchers have been seeking to place software measurement on a more firmly

  12. High-Speed Software Implementation of the Optimal Ate Pairing over BarretoNaehrig

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    High-Speed Software Implementation of the Optimal Ate Pairing over Barreto­Naehrig Curves Jean-0052 Abstract. This paper describes the design of a fast software library for the computation of the optimal ate, finite field arithmetic, bilinear pairing software implementation. 1 Introduction The protocol solutions

  13. A Software-Oriented Floating-Point Format for Enhancing Automotive Control Systems

    E-Print Network [OSTI]

    Hwu, Wen-mei W.

    A Software-Oriented Floating-Point Format for Enhancing Automotive Control Systems Daniel A, yamada, hwug@crhc.uiuc.edu August 11, 1999 In recent years, the software of automotive control sys- tems- ber computation in automotive control systems by design- ing a new software-oriented floating

  14. Pumping-Restriction Theorem for Stochastic Networks

    E-Print Network [OSTI]

    V. Y. Chernyak; N. A. Sinitsyn

    2008-09-02

    We formulate an exact result, which we refer to as the pumping restriction theorem (PRT). It imposes strong restrictions on the currents generated by periodic driving in a generic dissipative system with detailed balance. Our theorem unifies previously known results with the new ones and provides a universal nonperturbative approach to explore further restrictions on the stochastic pump effect in non-adiabatically driven systems.

  15. The ATLAS Data Management Software Engineering Process

    E-Print Network [OSTI]

    Lassnig, M; The ATLAS collaboration; Stewart, G A; Barisits, M; Beermann, T; Vigne, R; Serfon, C; Goossens, L; Nairz, A; Molfetas, A

    2014-01-01

    Rucio is the next-generation data management system of the ATLAS experiment. The software engineering process to develop Rucio is fundamentally different to existing software development approaches in the ATLAS distributed computing community. Based on a conceptual design document, development takes place using peer-reviewed code in a test-driven environment. The main objectives are to ensure that every engineer understands the details of the full project, even components usually not touched by them, that the design and architecture are coherent, that temporary contributors can be productive without delay, that programming mistakes are prevented before being committed to the source code, and that the source is always in a fully functioning state. This contribution will illustrate the workflows and products used, and demonstrate the typical development cycle of a component from inception to deployment within this software engineering process. Next to the technological advantages, this contribution will also hi...

  16. The ATLAS Data Management Software Engineering Process

    E-Print Network [OSTI]

    Lassnig, M; The ATLAS collaboration; Stewart, G A; Barisits, M; Beermann, T; Vigne, R; Serfon, C; Goossens, L; Nairz, A

    2013-01-01

    Rucio is the next-generation data management system of the ATLAS experiment. The software engineering process to develop Rucio is fundamentally different to existing software development approaches in the ATLAS distributed computing community. Based on a conceptual design document, development takes place using peer-reviewed code in a test-driven environment. The main objectives are to ensure that every engineer understands the details of the full project, even components usually not touched by them, that the design and architecture are coherent, that temporary contributors can be productive without delay, that programming mistakes are prevented before being committed to the source code, and that the source is always in a fully functioning state. This contribution will illustrate the workflows and products used, and demonstrate the typical development cycle of a component from inception to deployment within this software engineering process. Next to the technological advantages, this contribution will also hi...

  17. Reducing Digital Copyright Infringement Without Restricting Innovation

    E-Print Network [OSTI]

    Lemley, Mark

    2004-01-01

    INFRINGEMENT WITHOUT RESTRICTING INNOVATION M a r k A.Lemley* & R. An t h o n y R e e s e " INTRODUCTION I. SUING FACILITATORS

  18. Second laws under control restrictions

    E-Print Network [OSTI]

    H. Wilming; R. Gallego; J. Eisert

    2015-07-28

    The second law of thermodynamics, formulated as an ultimate bound on the maximum extractable work, has been rigorously derived in multiple scenarios. However, the unavoidable limitations that emerge due to the lack of control on small systems are often disregarded when deriving such bounds, which is specifically important in the context of quantum thermodynamics. Here, we study the maximum extractable work with limited control over the working system and its interaction with the heat bath. We derive a general second law when the set of accessible Hamiltonians of the working-system is arbitrarily restricted. We then apply our bound to particular scenarios that are important in realistic implementations: limitations on the maximum energy gap and local control over many-body systems. We hence demonstrate in what precise way the lack of control affects the second law. In particular, contrary to the unrestricted case, we show that the optimal work extraction is not achieved by simple thermal contacts. Our results do not only generalize the second law to scenarios of practical relevance, but also take first steps in the direction of local thermodynamics.

  19. Self-assembling software generator

    DOE Patents [OSTI]

    Bouchard, Ann M. (Albuquerque, NM); Osbourn, Gordon C. (Albuquerque, NM)

    2011-11-25

    A technique to generate an executable task includes inspecting a task specification data structure to determine what software entities are to be generated to create the executable task, inspecting the task specification data structure to determine how the software entities will be linked after generating the software entities, inspecting the task specification data structure to determine logic to be executed by the software entities, and generating the software entities to create the executable task.

  20. Development and validation of standard classroom observation systems for school practitioners: Ecobehavioral Assessment Systems Software (EBASS)

    E-Print Network [OSTI]

    Greenwood, Charles R.; Carta, Judith J.; Kamps, Debra; Terry, Barbara; Delquadri, Joseph

    1994-01-01

    The development and validation of Ecobehavioral Assessment Systems Software (EBASS), a computer-assisted observational system for school practitioners, are described. Portable computers, used to support observational assessment, vastly improve...

  1. West Virginia University 1 Computer Engineering

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    , develop, test, and oversee the manufacture and maintenance of embedded computer hardware and software, computer networks such as the Internet, and system-level software such as operating systems of probability and statistics Knowledge of discrete mathematics Fundamental courses in the computer engineering

  2. Faculty of Science Computer Science

    E-Print Network [OSTI]

    Faculty of Science Computer Science Computer software engineering, network and system analysis.uwindsor.ca/computerscience The University of Windsor offers a variety of computer science programs to prepare students for a career in the technology industry or in research and academia. A computer science degree provides an in-depth understanding

  3. ANU College of Engineering and Computer Science

    E-Print Network [OSTI]

    Zhou, Xiangyun "Sean"

    ANU College of Engineering and Computer Science CRICOS Provider Number 00120C Appendix B: Computing AND COMPUTER SCIENCE Taylor's Program ANU Program ANU Credits/Status Special Notes Bachelor of Software of Advanced Computing (Honours) 96 units of status Bachelor of Computer Science (Hons) (Computer Security

  4. Final Technical Report - Center for Technology for Advanced Scientific Component Software (TASCS)

    SciTech Connect (OSTI)

    Sussman, Alan

    2014-10-21

    This is a final technical report for the University of Maryland work in the SciDAC Center for Technology for Advanced Scientific Component Software (TASCS). The Maryland work focused on software tools for coupling parallel software components built using the Common Component Architecture (CCA) APIs. Those tools are based on the Maryland InterComm software framework that has been used in multiple computational science applications to build large-scale simulations of complex physical systems that employ multiple separately developed codes.

  5. RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES

    E-Print Network [OSTI]

    RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES Daniel M. Oberlin Department of Mathematics, Florida State University October 2004 x1 Introduction If #6; (n 1) is the unit sphere in R n , the Radon in a ball. The following theorem, which we regard as an estimate for a restricted Radon transform

  6. RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES

    E-Print Network [OSTI]

    RESTRICTED RADON TRANSFORMS AND UNIONS OF HYPERPLANES Daniel M. Oberlin Department of Mathematics, Florida State University October 2004 1 Introduction If (n-1) is the unit sphere in Rn , the Radon, which we regard as an estimate for a restricted Radon transform, is typical of our results here: Theorem

  7. CAN WE BUILD SOFTWARE THAT NEVER EVER CRASHES?

    E-Print Network [OSTI]

    Karlsson, Brynjar

    OF COMPUTER SCIENCE | RU LECTURE MARATHON #12;Does software crash? Why? Why so often? What do we do about it Equations Linear Algebra Probability Theory Computer Science Mathematical Logic Discrete Structures Automata freedom No starvation #12;Success stories of formal methods... The fact that industry (INTEL, IBM

  8. Mechanism Design for Software Agents with Complete Information

    E-Print Network [OSTI]

    O'Connell, Tom

    Mechanism Design for Software Agents with Complete Information Thomas C. O'Connell a,,1 Richard EDepartment of Computer Science, University at Albany, SUNY, Albany, NY 12222 Abstract We investigate the mechanism design that arise in applying results from mechanism design to computational problems. In particular, our results

  9. Knowledge Work Artifacts: Kernel Cousins for Free/Open Source Software Development

    E-Print Network [OSTI]

    Scacchi, Walt

    Institute for Software Research Donald Bren School of Information and Computer Sciences University@umich.edu Walt Scacchi Institute for Software Research Donald Bren School of Information and Computer Sciences and costs. Categories and Subject Descriptors H5.m. Information interfaces and presentation (e.g., HCI

  10. Extreme Scale Computing, Co-design

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

    and software designs that map to performance metrics. The objective function designed for optimization has as main components run time (or computational rate), problem size,...

  11. SOFTWARE TESTING Tester's Job

    E-Print Network [OSTI]

    Kundu, Sukhamay

    allows multiple different acceptable outputs for some inputs. #12;8.4 BLACK-BOX TESTING Based a requirement of category 5 w.r.t this test case. #define WORDLEN 20 void WordCharCounts(FILE *inFile) { int iSOFTWARE TESTING Tester's Job: Find as many faults of different kinds as he can. Certify some

  12. ODE software Manchester recollections

    E-Print Network [OSTI]

    Higham, Nicholas J.

    order # Gear Rev3 NAG, IMSL (Hindmarsh, Byrne) # DC01AD Harwell (Curtis) # FACSIMILE (Curtis) All BDF stiff solvers descendants of Gear's DIFSUB; Hindmarsh, Byrne, Petzold series much more direct than, Bader) later user interface design problems higher order equations #12; 6 ODE software Manchester

  13. JSATS Decoder Software Manual

    SciTech Connect (OSTI)

    Flory, Adam E.; Lamarche, Brian L.; Weiland, Mark A.

    2013-05-01

    The Juvenile Salmon Acoustic Telemetry System (JSATS) Decoder is a software application that converts a digitized acoustic signal (a waveform stored in the .bwm file format) into a list of potential JSATS Acoustic MicroTransmitter (AMT) tagcodes along with other data about the signal including time of arrival and signal to noise ratios (SNR). This software is capable of decoding single files, directories, and viewing raw acoustic waveforms. When coupled with the JSATS Detector, the Decoder is capable of decoding in real-time and can also provide statistical information about acoustic beacons placed within receive range of hydrophones within a JSATS array. This document details the features and functionality of the software. The document begins with software installation instructions (section 2), followed in order by instructions for decoder setup (section 3), decoding process initiation (section 4), then monitoring of beacons (section 5) using real-time decoding features. The last section in the manual describes the beacon, beacon statistics, and the results file formats. This document does not consider the raw binary waveform file format.

  14. Software Studies in action: Open Source and Free Software in Brazil

    E-Print Network [OSTI]

    da Silva, Cicero Inacio; de Almeida, Jane

    2009-01-01

    Lecture at the 10th Free Software International Forum (FISL)18] Brazilian Public Software Portal website: http://Software Studies in action: Open Source and Free Software in

  15. Software development practices in academia: a case study comparison

    E-Print Network [OSTI]

    Groen, Derek; Grogan, James A; Schiller, Ulf D; Osborne, James M

    2015-01-01

    Academic software development practices often differ from those of commercial development settings, yet only limited research has been conducted on assessing software development practises in academia. Here we present a case study of software development practices in four open-source scientific codes over a period of nine years, characterizing the evolution of their respective development teams, their scientific productivity, and the adoption (or discontinuation) of specific software engineering practises as the team size changes. We show that the transient nature of the development team results in the adoption of different development strategies. We relate measures of publication output to accumulated numbers of developers and find that for the projects considered the time-scale for returns on expended development effort is approximately three years. We discuss the implications of our findings for evaluating the performance of research software development, and in general any computationally oriented scienti...

  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. Massive Parallel Quantum Computer Simulator

    E-Print Network [OSTI]

    K. De Raedt; K. Michielsen; H. De Raedt; B. Trieu; G. Arnold; M. Richter; Th. Lippert; H. Watanabe; N. Ito

    2006-08-30

    We describe portable software to simulate universal quantum computers on massive parallel computers. We illustrate the use of the simulation software by running various quantum algorithms on different computer architectures, such as a IBM BlueGene/L, a IBM Regatta p690+, a Hitachi SR11000/J1, a Cray X1E, a SGI Altix 3700 and clusters of PCs running Windows XP. We study the performance of the software by simulating quantum computers containing up to 36 qubits, using up to 4096 processors and up to 1 TB of memory. Our results demonstrate that the simulator exhibits nearly ideal scaling as a function of the number of processors and suggest that the simulation software described in this paper may also serve as benchmark for testing high-end parallel computers.

  18. Computer Science Page 91Sonoma State University 2014-2015 Catalog COMPUTER SCIENCE

    E-Print Network [OSTI]

    Ravikumar, B.

    Computer Science Page 91Sonoma State University 2014-2015 Catalog COMPUTER SCIENCE DEPARTMENT Suzanne Rivoire Lynn Stauffer Tia Watts Programs Offered Bachelor of Science in Computer Science Minor in Computer Science Computer science is the scientific study of computing devices, the software that drives

  19. Saltwell PIC Skid Programmable Logic Controller (PLC) Software Configuration Management Plan

    SciTech Connect (OSTI)

    KOCH, M.R.

    1999-11-16

    This document provides the procedures and guidelines necessary for computer software configuration management activities during the operation and maintenance phases of the Saltwell PIC Skids as required by LMH-PRO-309, Rev. 0, Computer Software Quality Assurance, Section 2.6, Software Configuration Management. The software configuration management plan (SCMP) integrates technical and administrative controls to establish and maintain technical consistency among requirements, physical configuration, and documentation for the Saltwell PIC Skid Programmable Logic Controller (PLC) software during the Hanford application, operations and maintenance. This SCMP establishes the Saltwell PIC Skid PLC Software Baseline, status changes to that baseline, and ensures that software meets design and operational requirements and is tested in accordance with their design basis.

  20. Saltwell Leak Detector Station Programmable Logic Controller (PLC) Software Configuration Management Plan (SCMP)

    SciTech Connect (OSTI)

    WHITE, K.A.

    2000-11-28

    This document provides the procedures and guidelines necessary for computer software configuration management activities during the operation and maintenance phases of the Saltwell Leak Detector Stations as required by HNF-PRO-309, Rev. 1, Computer Software Quality Assurance, Section 2.4, Software Configuration Management. The software configuration management plan (SCMP) integrates technical and administrative controls to establish and maintain technical consistency among requirements, physical configuration, and documentation for the Saltwell Leak Detector Station Programmable Logic Controller (PLC) software during the Hanford application, operations and maintenance. This SCMP establishes the Saltwell Leak Detector Station PLC Software Baseline, status changes to that baseline, and ensures that software meets design and operational requirements and is tested in accordance with their design basis.

  1. Gammasphere software development. Progress report

    SciTech Connect (OSTI)

    Piercey, R.B.

    1994-01-01

    This report describes the activities of the nuclear physics group at Mississippi State University which were performed during 1993. Significant progress has been made in the focus areas: chairing the Gammasphere Software Working Group (SWG); assisting with the porting and enhancement of the ORNL UPAK histogramming software package; and developing standard formats for Gammasphere data products. In addition, they have established a new public ftp archive to distribute software and software development tools and information.

  2. Quantitative Decision-making in Software Engineering

    E-Print Network [OSTI]

    Bhattacharya, Pamela

    2012-01-01

    features for engineering software development. Engineeringand Tao Xie. Mining software engineering data. In Proc.Conference on Software Engineering (ICSE 2012), Tutorial,

  3. Software Patent Litigation ABA Section of Litigation

    E-Print Network [OSTI]

    Shamos, Michael I.

    1 Software Patent Litigation ABA Section of Litigation Intellectual Property Litigation Committee............................................................ 2 II. Infringement issues specific to software patents Relating to Software Patents.........................................................15 POSSIBLE ISSUES

  4. Quantitative Decision-making in Software Engineering

    E-Print Network [OSTI]

    Bhattacharya, Pamela

    2012-01-01

    and Tao Xie. Mining software engineering data. In Proc.Conference on Software Engineering (ICSE 2012), Tutorial,Conference on Software Engineering, 2008. [139] Peter C.

  5. Mining Test Cases To Improve Software Maintenance

    E-Print Network [OSTI]

    Ziftci, Celal

    69]. These testing and software quality related activities69]. These testing and software quality related activitiesFoundation for Software Quality, pages 4154, 2004. [35

  6. Quantitative Decision-making in Software Engineering

    E-Print Network [OSTI]

    Bhattacharya, Pamela

    2012-01-01

    215 8.2.2 Measuring software quality and maintenanceof Programming Languages on Software Quality . . . . . .development of higher-quality software. However, the lack of

  7. Visualization software for data center switch network

    E-Print Network [OSTI]

    Shahinfard, Aram

    2011-01-01

    5.4 Software Structure . . . . . . . . 5.5 Moreof the software. . . . . . . . . . . . . . . . . . . . .Figure 5.2: Screen shot of the software in the animation

  8. Open Source Software Update | Department of Energy

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

    Open Source Software Update Open Source Software Update CCBY932011.pdf DrewDEAR Data clauses for Software.pdf More Documents & Publications Microsoft Word -...

  9. Mining Test Cases To Improve Software Maintenance

    E-Print Network [OSTI]

    Ziftci, Celal

    1.1 Software Development Processes . . . . . . . . . .1.2 Software Maintenance: the MostCostly Activity in the Software Devel- opment

  10. Towards a Methodology for Software Preservation

    E-Print Network [OSTI]

    Matthews, Brian; Shaon, Arif; Bicarregui, Juan; Jones, Catherine; Woodcock, Jim; Conway, Esther

    2009-01-01

    the Significant Properties of Software and also the JISCPreserving and Accessing Software Research Outputs. The SAOsoftware preservation. Software engineering best practice

  11. Quantitative Decision-making in Software Engineering

    E-Print Network [OSTI]

    Bhattacharya, Pamela

    2012-01-01

    219 xiv 8.3.2 Software Networks for FailureSearching Software Repositories . . . . . . . . . . . . . 9for assessing the effects of programming language software

  12. IFITM Proteins Restrict Viral Membrane Hemifusion

    E-Print Network [OSTI]

    2013-01-01

    an intermediate of fusion, referred to as a cold arrestedcold arrested state (CAS), PLOS Pathogens | www.plospathogens.org January 2013 | Volume 9 | Issue 1 | e1003124 Restriction of Viral Membrane Fusion

  13. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15

    This Software Verification and Validation procedure provides the action steps for the Tank Waste Information Network System (TWINS) testing process. The primary objective of the testing process is to provide assurance that the software functions as intended, and meets the requirements specified by the client. Verification and validation establish the primary basis for TWINS software product acceptance.

  14. Software and House Requirements Engineering

    E-Print Network [OSTI]

    Berry, Daniel M.

    Software and House Requirements Engineering: Lessons Learned in Combatting Requirements Creep a requirements engineer who puts her knowledge of software construction together with her creativity to come up or remodeled a house and has developed or enhanced software must have noticed the similarity

  15. Short Manual Software Modules for

    E-Print Network [OSTI]

    Ould Ahmedou, Mohameden

    1 Short Manual Software Modules for Format Conversion, Transformation, and Synthesis 1 Introduction This document includes a short description of calling syntax and handling of the software modules developed describes the software installation process, chapter 3 shows the calling syntax of the SIF-to-CDFG format

  16. Software Engineering Discipline November 1992

    E-Print Network [OSTI]

    Berry, Daniel M.

    Software Engineering Discipline November 1992 Daniel M. Berry ESC-TR-92-034 Academic Legitimacy Legitimacy of the Software Engineering Discipline Daniel M. Berry MSE Project Approved for public release Distribution unlimited Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213

  17. Software Price List Windows Applications

    E-Print Network [OSTI]

    Software Price List Windows Applications Software cannot be returned. Also note that the University support on campus, please go to www.unh.edu/it Number Item Price Number Item Price Prices are subject Item Price Only USNH Departments may purchase software below. A license does not include media

  18. The ESA/NASA SOHO Mission Interruption: Using the STAMP Accident Analysis Technique for a Software Related Mishap

    E-Print Network [OSTI]

    Johnson, C.W.

    Johnson,C.W. Holloway,C.M. Software: Practice and Experience, Volume 33, 1177-1198 pp 1177-1198 Dept of Computing Science, University of Glasgow

  19. SAPHIRE 8 Software Configuration Management Plan

    SciTech Connect (OSTI)

    Curtis Smith

    2010-01-01

    The INL software developers use version control for both the formally released SAPHIRE versions, as well as for source code. For each formal release of the software, the developers perform an acceptance test: the software must pass a suite of automated tests prior to official release. Each official release of SAPHIRE is assigned a unique version identifier. The release is bundled into a standard installation package for easy and consistent set-up by individual users. Included in the release is a list of bug fixes and new features for the current release, as well as a history of those items for past releases. Each formal release of SAPHIRE will have passed an acceptance test. In addition to assignment of a unique version identifier for an official software release, each source code file is kept in a controlled library. Source code is a collection of all the computer instructions written by developers to create the finished product. The library is kept on a server, where back-ups are regularly made. This document describes the configuration management approach used as part of the SAPHIRE development.

  20. Gravanom Software User's Guide

    SciTech Connect (OSTI)

    Sharma, B.

    1999-03-11

    Gravanom provides you with a simple, handy tool for modeling gravity data from 2-D geological structures on a personal computer.

  1. Parallel computing works

    SciTech Connect (OSTI)

    Not Available

    1991-10-23

    An account of the Caltech Concurrent Computation Program (C{sup 3}P), a five year project that focused on answering the question: Can parallel computers be used to do large-scale scientific computations '' As the title indicates, the question is answered in the affirmative, by implementing numerous scientific applications on real parallel computers and doing computations that produced new scientific results. In the process of doing so, C{sup 3}P helped design and build several new computers, designed and implemented basic system software, developed algorithms for frequently used mathematical computations on massively parallel machines, devised performance models and measured the performance of many computers, and created a high performance computing facility based exclusively on parallel computers. While the initial focus of C{sup 3}P was the hypercube architecture developed by C. Seitz, many of the methods developed and lessons learned have been applied successfully on other massively parallel architectures.

  2. Software Framework for Advanced Power Plant Simulations

    SciTech Connect (OSTI)

    John Widmann; Sorin Munteanu; Aseem Jain; Pankaj Gupta; Mark Moales; Erik Ferguson; Lewis Collins; David Sloan; Woodrow Fiveland; Yi-dong Lang; Larry Biegler; Michael Locke; Simon Lingard; Jay Yun

    2010-08-01

    This report summarizes the work accomplished during the Phase II development effort of the Advanced Process Engineering Co-Simulator (APECS). The objective of the project is to develop the tools to efficiently combine high-fidelity computational fluid dynamics (CFD) models with process modeling software. During the course of the project, a robust integration controller was developed that can be used in any CAPE-OPEN compliant process modeling environment. The controller mediates the exchange of information between the process modeling software and the CFD software. Several approaches to reducing the time disparity between CFD simulations and process modeling have been investigated and implemented. These include enabling the CFD models to be run on a remote cluster and enabling multiple CFD models to be run simultaneously. Furthermore, computationally fast reduced-order models (ROMs) have been developed that can be 'trained' using the results from CFD simulations and then used directly within flowsheets. Unit operation models (both CFD and ROMs) can be uploaded to a model database and shared between multiple users.

  3. BIOSCIENCE COMPUTING AND THE ROLE OF COMPUTATIONAL SIMULATION IN BIOLOGY

    E-Print Network [OSTI]

    Clack, Christopher D.

    Chapter 1 BIOSCIENCE COMPUTING AND THE ROLE OF COMPUTATIONAL SIMULATION IN BIOLOGY Christopher D and Biology, drawing inspiration from Biology to solve Computer Sci- ence challenges and simultaneously using new bio-inspired adaptive software to model and simulate biological systems. This Chapter first

  4. VICE-PRESIDENT, ACADEMIC COMPUTER SERVICES UNIT

    E-Print Network [OSTI]

    Thompson, Michael

    RESEARCH SERVICES SPONSORED RESEARCH ADMINISTRATION DEPARTMENTS ANAESTHESIA BIOCHEMISTRY AND BIOMEDICAL PROGRAM ASSOCIATE DEAN, GRADUATE STUDIES (FHS) BIOCHEMISTRY AND BIOMEDICAL SCIENCES HEALTH RESEARCH DEPARTMENTS CHEMICAL ENGINEERING CIVIL ENGINEERING COMPUTING AND SOFTWARE ELECTRICAL AND COMPUTER ENGINEERING

  5. A visual approach for exploring computational design

    E-Print Network [OSTI]

    McGill, Miranda Clare, 1973-

    2001-01-01

    This thesis concerns the use of computers for learning about computational design and shape grammars. It discusses how software can be developed to create "microworlds" for designing, and how to take into account the needs ...

  6. Hipikat: A Project Memory for Software Development

    E-Print Network [OSTI]

    van der Hoek, Andr

    Hipikat: A Project Memory for Software Development Davor CCubranicc, Gail C. Murphy, Member, IEEE's usefulness in software modification tasks. One study evaluated the usefulness of Hipikat's recommendations Terms--Software development teams, project memory, software artifacts, recommender system, user studies

  7. Scientific Data Processing and Visualization Software Company

    E-Print Network [OSTI]

    Delene, David J.

    Scientific Data Processing and Visualization Software Company Dr. David J. Delene Department #12;The Solution Proper Software Open-source software environment designed to provide scientifically Develop prototype of the Software House. Cloud-based environment. Virtual Machines. Assessment

  8. Faculty of Science Computer Science

    E-Print Network [OSTI]

    Faculty of Science Computer Science Software engineering, network and system analysis continue a variety of computer science programs to prepare students for a career in the technology industry or in research and academia. A computer science degree provides an in-depth understanding of the fundamentals

  9. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM | Department of...

    Office of Environmental Management (EM)

    PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM System Maintenance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More Documents & Publications Preacceptance...

  10. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements...

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

    requirements management activities SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements Management Checklist More Documents & Publications SOFTWARE QUALITY & SYSTEMS...

  11. 1002 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 11, NOVEMBER 1998 A Strategy for Improving Safety Related

    E-Print Network [OSTI]

    Fenton, Norman

    1002 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 24, NO. 11, NOVEMBER 1998 A Strategy for Improving Safety Related Software Engineering Standards Norman E. Fenton, Member, IEEE Computer Society to produce systems of acceptable reliability and safety. As well as helping users and developers of software

  12. Getting Started: Go to Software.lbl.gov; scroll down (or page down) until you find Remedy Interactive

    E-Print Network [OSTI]

    Knowles, David William

    Getting Started: Go to Software.lbl.gov; scroll down (or page down) until you find Remedy Setup Wizard will open and install the software...takes a few minutes The Setup Wizard will walk you it up on your computer, check out RSIGuard in the A-Z Index (requires Powerpoint software). #12;

  13. Sandia Energy - Software

    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.Theory ofDid youOxygenLaboratory Fellows JerryPredictive4:Safety,Software Home

  14. Software Carpentry Bootcamp

    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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | DepartmentmaterialsSoftware

  15. Software Defined Networking for

    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 RoomPreservation ofAlbuquerque|Sensitive Species3performedValley | DepartmentmaterialsSoftware

  16. Creating science-driven computer architecture: A new path to scientific leadership

    E-Print Network [OSTI]

    2002-01-01

    computer architectures, thereby opening a sustainable patharchitecture, software, tools, algorithms, and libraries. In order to maintain a sustainable

  17. Engineering the computational economy Michael Wooldridge

    E-Print Network [OSTI]

    Woolridge, Mike

    Engineering the computational economy Michael Wooldridge Department of Computer Science, University, such as that of an industrialised nation. The economy is generally designed/engineered by the government of the nation in order of software agents, and agentoriented software engineering. The purpose of this presentation is first

  18. Engineering the computational economy Michael Wooldridge

    E-Print Network [OSTI]

    Woolridge, Mike

    Engineering the computational economy Michael Wooldridge Department of Computer Science, University, such as that of an industrialised nation. The economy is generally designed/engineered by the government of the nation in order of software agents, and agent-oriented software engineering. The purpose of this presentation is first

  19. Experience with Software Architectures and Configured Software Descriptions

    E-Print Network [OSTI]

    Scacchi, Walt

    our experience in the specification, design, implementation and evolution of software engineering a commercial DBMS). However, experience with the explicit specification of the architctural design of large

  20. South Pole Telescope Software Systems: Control, Monitoring, and Data Acquisition

    E-Print Network [OSTI]

    Story, K; Ade, P; Aird, K A; Austermann, J E; Beall, J A; Becker, D; Bender, A N; Benson, B A; Bleem, L E; Britton, J; Carlstrom, J E; Chang, C L; Chiang, H C; Cho, H-M; Crawford, T M; Crites, A T; Datesman, A; de Haan, T; Dobbs, M A; Everett, W; Ewall-Wice, A; George, E M; Halverson, N W; Harrington, N; Henning, J W; Hilton, G C; Holzapfel, W L; Hoover, S; Huang, N; Hubmayr, J; Irwin, K D; Karfunkle, M; Keisler, R; Kennedy, J; Lee, A T; Li, D; Lueker, M; Marrone, D P; McMahon, J J; Mehl, J; Meyer, S S; Montgomery, J; Montroy, T E; Nagy, J; Natoli, T; Nibarger, J P; Niemack, M D; Novosad, V; Padin, S; Pryke, C; Reichardt, C L; Ruhl, J E; Saliwanchik, B R; Sayre, J T; Schaffer, K K; Shirokoff, E; Smecher, G; Stalder, B; Tucker, C; Vanderlinde, K; Vieira, J D; Wang, G; Williamson, R; Yefremenko, V; Yoon, K W; Young, E; 10.1117/12.925808

    2012-01-01

    We present the software system used to control and operate the South Pole Telescope. The South Pole Telescope is a 10-meter millimeter-wavelength telescope designed to measure anisotropies in the cosmic microwave background (CMB) at arcminute angular resolution. In the austral summer of 2011/12, the SPT was equipped with a new polarization-sensitive camera, which consists of 1536 transition-edge sensor bolometers. The bolometers are read out using 36 independent digital frequency multiplexing (\\dfmux) readout boards, each with its own embedded processors. These autonomous boards control and read out data from the focal plane with on-board software and firmware. An overall control software system running on a separate control computer controls the \\dfmux boards, the cryostat and all other aspects of telescope operation. This control software collects and monitors data in real-time, and stores the data to disk for transfer to the United States for analysis.

  1. DEVELOPING A SOFTWARE TESTING ONTOLOGY 1 Running head: DEVELOPING A SOFTWARE TESTING ONTOLOGY

    E-Print Network [OSTI]

    Zhu, Hong

    DEVELOPING A SOFTWARE TESTING ONTOLOGY 1 Running head: DEVELOPING A SOFTWARE TESTING ONTOLOGY Developing A Software Testing Ontology in UML for A Software Growth Environment of Web-Based Applications;DEVELOPING A SOFTWARE TESTING ONTOLOGY 2 Developing A Software Testing Ontology in UML for A Software Growth

  2. Energy Tracking Software Platform

    SciTech Connect (OSTI)

    Ryan Davis; Nathan Bird; Rebecca Birx; Hal Knowles

    2011-04-04

    Acceleration has created an interactive energy tracking and visualization platform that supports decreasing electric, water, and gas usage. Homeowners have access to tools that allow them to gauge their use and track progress toward a smaller energy footprint. Real estate agents have access to consumption data, allowing for sharing a comparison with potential home buyers. Home builders have the opportunity to compare their neighborhood's energy efficiency with competitors. Home energy raters have a tool for gauging the progress of their clients after efficiency changes. And, social groups are able to help encourage members to reduce their energy bills and help their environment. EnergyIT.com is the business umbrella for all energy tracking solutions and is designed to provide information about our energy tracking software and promote sales. CompareAndConserve.com (Gainesville-Green.com) helps homeowners conserve energy through education and competition. ToolsForTenants.com helps renters factor energy usage into their housing decisions.

  3. Unit 10: Software Quality To introduce software quality management and

    E-Print Network [OSTI]

    Finkelstein, Anthony

    1 Unit 10: Software Quality Objective To introduce software quality management and assurance for, and commitment to, quality. The supplier should ensure that this policy is understood or services #12;6 Management Review The quality management system will need to be reviewed at regular

  4. Molecular Biology Basics Planning Restriction Enzyme Digests

    E-Print Network [OSTI]

    Aris, John P.

    Molecular Biology Basics Planning Restriction Enzyme Digests A. Checklist: Buffer type Addition of BSA Optimum temperature Number of units of enzyme B. Plan to digest DNA with an "excess" of enzyme activity. Plan for the "excess" to be divided between time of digestion and number of units of enzyme

  5. SiRFChipsandSoftware SiRFstar ARCHITECTURE

    E-Print Network [OSTI]

    Berns, Hans-Gerd

    SiRFChipsandSoftware SiRFstar ARCHITECTURE SiRFstar architecture builds on the high-performance Si, computing power and flexibility. It is the first GPS architecture designed to be available both as a highly architecture for stand- alone GPS based products. A 50MHz ARM7 CPU has sufficient throughput to support

  6. A Geographic Information System (GIS) integrates hardware, software, and data

    E-Print Network [OSTI]

    Gilbes, Fernando

    1 A Geographic Information System (GIS) integrates hardware, software, and data for capturing 1 2 34 5 #12;3 Geographic Information Systems (GIS) are specialized computer programs designed, managing, analyzing, and displaying all forms of geographically referenced information. GIS allows us

  7. Special Focus on High-Confidence Software Technologies SCIENCE CHINA

    E-Print Network [OSTI]

    Yang, Yun

    , China; 3School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn VIC of high-level middleware services for different comput- ing paradigms such as cluster, grid, and cloud intensive e-science applications such as weather fore- cast earthquake modeling, and astrophysics [4

  8. Character String Predicate Based Automatic Software Test Data Generation

    E-Print Network [OSTI]

    Lyu, Michael R.

    Character String Predicate Based Automatic Software Test Data Generation Ruilian Zhao Computer is an important element in programming. A problem that needs further research is how to automatically generate generation of program paths including character string predicates, and the effectiveness of this approach

  9. Open Source Software Maintenance Process Framework Timo Koponen

    E-Print Network [OSTI]

    Scacchi, Walt

    provides required operations, their inputs and outputs. Most of the maintenance activities are similar30 Open Source Software Maintenance Process Framework Timo Koponen Department of Computer Science.hotti@uku.fi ABSTRACT To identify the Open Source maintenance process two well known Open Source projects Apache HTTP

  10. Oldenburg Lecture Notes in Software Engineering Towards Versioning Sustainability Reports

    E-Print Network [OSTI]

    Damm, Werner

    for Computer Science Software Engineering 26111 Oldenburg, Germany copyright by authors #12;Content reporting guidelines concerning the environ- ment which includes criteria on energy, biodiversity, most companies are reporting their sustainability reports on the web [16]. Also, the usage of the web

  11. Research Challenges for Visualization Software Hank Childs1

    E-Print Network [OSTI]

    Laboratory 4 Sandia National Laboratories 5 Los Alamos National Laboratory 6 RWTH Aachen University, Germany, Office of Science, Office of Advanced Scientific Computing Research, of the U.S. Department of Energy. Usage of visual- ization software is ubiquitous, with examples ranging from common information graphics

  12. PSPP: A Protein Structure Prediction Pipeline for Computing Clusters

    E-Print Network [OSTI]

    recognition, and ab initio. This software can be deployed on a user's own high-performance computing cluster by the U.S. Department of Defense High Performance Computing Modernization Program, under the High Performance Computing Software Applications Institutes initiative. The funders had no role in study design

  13. On Solving a Problem in Algebraic Geometry by Cluster Computing ?

    E-Print Network [OSTI]

    program is implemented in the software library CASA on top of the computer algebra system Maple (computer algebra software for constructive algebraic geometry) which has been developed on topOn Solving a Problem in Algebraic Geometry by Cluster Computing ? Wolfgang Schreiner, Christian

  14. Software measurement 2009. 1. 14

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    that is obtained by measuring Measure[1] A standard or unit of measurement The extent, dimensions, capacitySoftware measurement Tutorial 2009. 1. 14 Yeong-Seok Seo #12; KAIST SE LAB 2009 Contents Introduction Designing a software measurement process Measurement elements Measurement scales Measure

  15. Comparing Web Services with Other Software Components y.yu@open.ac.uk

    E-Print Network [OSTI]

    Lu, Jianguo

    - 1 - Comparing Web Services with Other Software Components Yijun Yu y.yu@open.ac.uk Computing to be developed. As a kind of software components, web service technology has flourished and attracted a flurry of research activities. Despite the vast amount of research on mechanisms of web services, there have been

  16. Tax Deduction Qualified Software- EnerSim version 9.02

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnerSim version 9.02 qualified computer software (buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  17. Tax Deduction Qualified Software DesignBuilder version 3.0.0.105

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the DesignBuilder version 3.0.0.105 qualified computer software (www.buildings.energy.gov/qualified_software.html), which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  18. Oldenburg Lecture Notes in Software Engineering 2nd Workshop EASED@BUIS 2013

    E-Print Network [OSTI]

    Damm, Werner

    for Adaptive Embedded Sy- stems 19 Dmitriy Shorin, Armin Zimmermann Evaluation of Embedded System Energy UsageOldenburg Lecture Notes in Software Engineering 2nd Workshop EASED@BUIS 2013 -- Energy Aware Oldenburg Department for Computer Science Software Engineering 26111 Oldenburg, Germany copyright

  19. Development of a Method for Quantifying the Reliability of Nuclear Safety-Related Software

    SciTech Connect (OSTI)

    Yi Zhang; Michael W. Golay

    2003-10-01

    The work of our project is intended to help introducing digital technologies into nuclear power into nuclear power plant safety related software applications. In our project we utilize a combination of modern software engineering methods: design process discipline and feedback, formal methods, automated computer aided software engineering tools, automatic code generation, and extensive feasible structure flow path testing to improve software quality. The tactics include ensuring that the software structure is kept simple, permitting routine testing during design development, permitting extensive finished product testing in the input data space of most likely service and using test-based Bayesian updating to estimate the probability that a random software input will encounter an error upon execution. From the results obtained the software reliability can be both improved and its value estimated. Hopefully our success in the project's work can aid the transition of the nuclear enterprise into the modern information world. In our work, we have been using the proprietary sample software, the digital Signal Validation Algorithm (SVA), provided by Westinghouse. Also our work is being done with their collaboration. The SVA software is used for selecting the plant instrumentation signal set which is to be used as the input the digital Plant Protection System (PPS). This is the system that automatically decides whether to trip the reactor. In our work, we are using -001 computer assisted software engineering (CASE) tool of Hamilton Technologies Inc. This tool is capable of stating the syntactic structure of a program reflecting its state requirements, logical functions and data structure.

  20. SAPHIRE 8 Software Quality Assurance Plan

    SciTech Connect (OSTI)

    Curtis Smith

    2010-02-01

    This Quality Assurance (QA) Plan documents the QA activities that will be managed by the INL related to JCN N6423. The NRC developed the SAPHIRE computer code for performing probabilistic risk assessments (PRAs) using a personal computer (PC) at the Idaho National Laboratory (INL) under Job Code Number (JCN) L1429. SAPHIRE started out as a feasibility study for a PRA code to be run on a desktop personal PC and evolved through several phases into a state-of-the-art PRA code. The developmental activity of SAPHIRE was the result of two concurrent important events: The tremendous expansion of PC software and hardware capability of the 90s and the onset of a risk-informed regulation era.

  1. Generating Precise Dependencies for Large Software

    E-Print Network [OSTI]

    Cortes, Corinna

    Generating Precise Dependencies for Large Software Pei Wang, Jinqiu Yang, Lin Tan University-term software development, especially for large software with millions of lines of code. This paper designs/C++ software projects. The tool extracts both symbol- level and module-level dependencies of a software system

  2. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

    Smith, Curtis L; Choi, Yong-Joon; Zou, Ling

    2014-09-01

    This INL plan comprehensively describes the software for RELAP-7 and documents the software, interface, and software design requirements for the application. The plan also describes the testing-based software verification and validation (SV&V) processa set of specially designed software models used to test RELAP-7.

  3. 1 Verification Techniques software testing: search bugs

    E-Print Network [OSTI]

    Verschelde, Jan

    objectives and requirements of software verification Software is a product, subject to quality control. A product has (industrial) quality if it performs as specified, as expected by the user. Software testing. The profession of a software tester is just as essential as that of a software developer to achieve quality

  4. Affymetrix Transcriptome Analysis Console (TAC) Software

    E-Print Network [OSTI]

    Chapman, Michael S.

    Data Sheet Affymetrix Transcriptome Analysis Console (TAC) Software Easy-to-use software, and for the first time we are providing extensive software tools to take you from microarray data to identifying) Software takes the normalized and summarized data from Affymetrix Expression ConsoleTM Software to the next

  5. Software as Labor Process Nathan Ensmenger

    E-Print Network [OSTI]

    Ensmenger, Nathan

    Software as Labor Process Nathan Ensmenger University of Pennsylvania Philadelphia USA nathanen@cra.org The Software Crisis and the "Labor Problem" in Programming ... For almost as long as there has been software, there has been a software crisis.1 Laments about the inability of software developers to produce products

  6. Optimal Software Rejuvenation for Tolerating Soft Failures

    E-Print Network [OSTI]

    Telek, Mikls

    Optimal Software Rejuvenation for Tolerating Soft Failures Andr'as Pfening a;1 , Sachin Garg b;2 of software ``aging'' has come to light which causes performance of a software to degrade with time. Software of determining the optimal time to rejuvenate a server type software which experiences ``soft failures

  7. Tax Deduction Qualified Software DesignBuilder version 3.0.0.097

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the DesignBuilder version 3.0.0.097 qualified computer software, which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  8. Tax Deduction Qualified Software- Green Building Studio Web Service version 3.4

    Broader source: Energy.gov [DOE]

    Information about the Green Building Studio Web Service version 3.4 qualified computer software, which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  9. Building Technologies Program: Tax Deduction Qualified Software- DOE-2.2 version 47d

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the DOE-2.2 version 47d qualified computer software, which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  10. A Software Defined Radio Experimental Platform for GPS/GNSS Signal Reception Analysis

    E-Print Network [OSTI]

    Pu, Lingjun

    2015-08-05

    limitations of GPS chip evaluation kits are their low quality clocks, and very limited computing resources for more sophisticated experiments. This thesis will talk about this portable software platform and the project which was conducted on it to explore...

  11. American Institute of Aeronautics and Astronautics Practical Software Engineering Strategies for Scientific

    E-Print Network [OSTI]

    Roy, Chris

    , nuclear power plants, and medical devices (e.g., pacemakers). Software engineering is an enormously broad tolerance used, the number of significant figures used in the floating point computations, etc. The goal

  12. Tax Deduction Qualified Software- EnergyPlus version 3.0.0.028

    Broader source: Energy.gov [DOE]

    On this page you'll find information about the EnergyPlus version 3.0.0.028 qualified computer software which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  13. Distributed & conceptual CAD (DC-CAD) : a new software solution for product design

    E-Print Network [OSTI]

    Egan, Mark D. (Mark Douglas), 1985-

    2007-01-01

    Many computer aided design (CAD) software packages focus on detailed design and not on early stage, conceptual design. The ability to conceptualize and sketch early versions of a product solution is currently limited to ...

  14. Weak Restricted and Very Restricted Operators on L2 J. Marshall Ash

    E-Print Network [OSTI]

    Ash, J. Marshall

    Weak Restricted and Very Restricted Operators on L2 J. Marshall Ash Transactions of the American OPERATORS ON L* BY J. MARSHALL ASH' Dedicated to the memory of Kurel de Leeuw ABSTRACT.A battlement per page #12;676 J. M. ASH Say that T is of weak type (2,2) and write T E w.(2,2) if (1.4) holds

  15. The Software Technology of the 21st Century: From Software Reuse to Collaborative Software Design

    E-Print Network [OSTI]

    Fischer, Gerhard

    Gerhard Fischer University of Colorado, Center for LifeLong Learning and Design (L3D) Department supports evolution [Dawkins, 1987]. Various types of software artifacts, such as design knowledge a cognitive and social problem [Fischer, 1987]. Designers must locate reusable software artifacts relevant

  16. Most Viewed Documents for Mathematics and Computing: September...

    Office of Scientific and Technical Information (OSTI)

    for configuration management using computer aided software engineering (CASE) tools Smith, P.R.; Sarfaty, R. (1993) 26 Ferrite Measurement in Austenitic and Duplex Stainless...

  17. MaRIE theory, modeling and computation roadmap executive summary...

    Office of Scientific and Technical Information (OSTI)

    discovery, with theory and high performance computing, itself co-designed by constrained optimization of hardware and software, and experiments. MaRIE's theory, modeling, and...

  18. EDS operator and control software

    SciTech Connect (OSTI)

    Ott, L.L.

    1985-04-01

    The Enrichment Diagnostic System (EDS) was developed at Lawrence Livermore National Laboratory (LLNL) to acquire, display and analyze large quantities of transient data for a real-time Advanced Vapor Laser Isotope Separation (AVLIS) experiment. Major topics discussed in this paper are the EDS operator interface (SHELL) program, the data acquisition and analysis scheduling software, and the graphics software. The workstation concept used in EDS, the software used to configure a user's workstation, and the ownership and management of a diagnostic are described. An EDS diagnostic is a combination of hardware and software designed to study specific aspects of the process. Overall system performance is discussed from the standpoint of scheduling techniques, evaluation tools, optimization techniques, and program-to-program communication methods. EDS is based on a data driven design which keeps the need to modify software to a minimum. This design requires a fast and reliable data base management system. A third party data base management product, Berkeley Software System Database, written explicitly for HP1000's, is used for all EDS data bases. All graphics is done with an in-house graphics product, Device Independent Graphics Library (DIGLIB). Examples of devices supported by DIGLIB are: Versatec printer/plotters, Raster Technologies Graphic Display Controllers, and HP terminals (HP264x and HP262x). The benefits derived by using HP hardware and software as well as obstacles imposed by the HP environment are presented in relation to EDS development and implementation.

  19. Functional Testing Protocols for Commercial Building Efficiency Baseline Modeling Software

    E-Print Network [OSTI]

    Jump, David

    2014-01-01

    for Proprietary Software Testing Protocols (vendors value software testing as a means to and requirements for testing software vendor energy

  20. Facility Software Quality Assurance for Capital Project Decisions...

    Office of Environmental Management (EM)

    Quality Assurance for DOE nuclear facilities * Software Development * Software Control and Monitoring Applications * Analysis and Design Software * Spreadsheets and...

  1. Software and Hardware Techniques for Mitigating the Multicore Interference Problem /

    E-Print Network [OSTI]

    Gupta, Anshuman

    2013-01-01

    2 Qtime: Measuring Execution Quality in Software . . . . .Execution Quality in Software . . . . . . . . . . . . . . .Measuring Execution Quality in Software Multicore processors

  2. Computer resources Computer resources

    E-Print Network [OSTI]

    Yang, Zong-Liang

    Computer resources 1 Computer resources available to the LEAD group Cdric David 30 September 2009 #12;Ouline UT computer resources and services JSG computer resources and services LEAD computers LEAD computers 2 #12;UT Austin services UT EID and Password 3 https://utdirect.utexas.edu #12;UT Austin

  3. Land Disposal Restrictions (LDR) program overview

    SciTech Connect (OSTI)

    Not Available

    1993-04-01

    The Hazardous and Solid Waste Amendments (HSWA) to the Resource Conservation and Recovery Act (RCRA) enacted in 1984 required the Environmental Protection Agency (EPA) to evaluate all listed and characteristic hazardous wastes according to a strict schedule and to develop requirements by which disposal of these wastes would be protective of human health and the environment. The implementing regulations for accomplishing this statutory requirement are established within the Land Disposal Restrictions (LDR) program. The LDR regulations (40 CFR Part 268) impose significant requirements on waste management operations and environmental restoration activities at DOE sites. For hazardous wastes restricted by statute from land disposal, EPA is required to set levels or methods of treatment that substantially reduce the waste`s toxicity or the likelihood that the waste`s hazardous constituents will migrate. Upon the specified LDR effective dates, restricted wastes that do not meet treatment standards are prohibited from land disposal unless they qualify for certain variances or exemptions. This document provides an overview of the LDR Program.

  4. Mining Test Cases To Improve Software Maintenance

    E-Print Network [OSTI]

    Ziftci, Celal

    1.4 Software Testing and Using Tests to ImproveTom Badgett. The Art of Software Testing. Wiley Publishing,tional Conference on Software Testing, Washington DC, USA,

  5. Master Program `Software Engineering for Embedded Systems'

    E-Print Network [OSTI]

    Berns, Karsten

    Modules Master Program `Software Engineering for Embedded Systems' November 2014 #12;1 Table............................................................................................................................ 4 B-M.1 SOFTWARE ENGINEERING INTRODUCTION ............................................................................................................. 15 E-M.3 - SOFTWARE PRODUCT LINE ENGINEERING

  6. REPRESENTATIVE COURSE SEQUENCE SOFTWARE ENGINEERING (SE)

    E-Print Network [OSTI]

    Huang, Haiying

    REPRESENTATIVE COURSE SEQUENCE SOFTWARE ENGINEERING (SE) Freshman Year First Semester Second Semester Second Semester CSE 3310 Fundamentals of Software CSE 3302 Programming Languages Engineering CSE 3320 Operating Systems CSE 3315 Theoretical Concepts in CSE CSE 4310 Software Engineering

  7. TRANSFORMING USABILITY ENGINEERING REQUIREMENTS INTO SOFTWARE

    E-Print Network [OSTI]

    Carter, Jim

    Chapter N TRANSFORMING USABILITY ENGINEERING REQUIREMENTS INTO SOFTWARE ENGINEERING SPECIFICATIONS Engineers as the basis of analysis and design in software development. While UML is very strong, requirements, software engineering, specifications, unified usability engineering 1. INTRODUCTION While

  8. Techniques in Active and Generic Software Libraries

    E-Print Network [OSTI]

    Smith, Jacob N.

    2010-07-14

    Reusing code from software libraries can reduce the time and effort to construct software systems and also enable the development of larger systems. However, the benefits that come from the use of software libraries may ...

  9. The Underground Economy of Fake Antivirus Software

    E-Print Network [OSTI]

    Steigerwald, Douglas; Vigna, Giovanni; Kruegel, Christopher; Kemmerer, Richard; Abman, Ryan; Stone-Gross, Brett

    2011-01-01

    Report on Rogue Security Software. In Whitepaper, 2009. 11.1 The Underground Economy of Fake Antivirus Software 17. J.Fake Antivirus Software. http://www. pcworld.com/

  10. Scientific Software Libraries for Scalable Architectures

    E-Print Network [OSTI]

    Glowinski, Roland

    Scientific Software Libraries for Scalable Architectures S. Lennart Johnsson Kapil K. Mathur TR19; Scientific Software Libraries for Scalable Architectures S. Lennart Johnsson Kapil K. Mathur Thinking introduce new demands on software systems with respect to perfor mance, scalability, robustness

  11. Publicly Verifiable Software Watermarking Aloni Cohen

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Publicly Verifiable Software Watermarking Aloni Cohen Justin Holmgren Vinod Vaikuntanathan May 26, 2015 Abstract Software Watermarking is the process of transforming a program into a functionally equiv software watermarking and showed that the existence of indis- tinguishability obfuscation implies

  12. Correctness-Oriented Approaches to Software Development

    E-Print Network [OSTI]

    Gilmore, Stephen

    This thesis reports upon the experimental development of a software system. The domain of interest of this study is the use of mathematical reasoning in software development. An experiment is devised in which a modular software system is formally...

  13. Software Productivity Measurement Using Multiple Size Measures

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Software Productivity Measurement Using Multiple Size Measures Software Productivity MeasurementContents Introduction Background Related work Motivation Productivity measurement - Measurement model - Productivity measure construction - Productivity analysis Conclusion Discussion #12;Software Engineering Lab, KAIST 3

  14. Software Engineering Pre-Professional Courses Degree Plan for Bachelor of Science in Software Engineering 2005

    E-Print Network [OSTI]

    Huang, Haiying

    /Cultural Elective CSE 4321 Software Testing CSE 4326 Software System Design Project I CSE 4322 Software ProjectSoftware Engineering Pre-Professional Courses Degree Plan for Bachelor of Science in Software 10/23/2006 #12;Software Engineering Professional Courses Degree Plan for Bachelor of Science

  15. Software Engineering Pre-Professional Courses Degree Plan for Bachelor of Science in Software Engineering 2006

    E-Print Network [OSTI]

    Huang, Haiying

    /Cultural Elective CSE 4321 Software Testing CSE 4326 Software System Design Project I CSE 4322 Software ProjectSoftware Engineering Pre-Professional Courses Degree Plan for Bachelor of Science in Software 10/23/2006 #12;Software Engineering Professional Courses Degree Plan for Bachelor of Science

  16. Producing Open Source Software How to Run a Successful Free Software

    E-Print Network [OSTI]

    Tesfatsion, Leigh

    Producing Open Source Software How to Run a Successful Free Software Project Karl Fogel #12;Producing Open Source Software: How to Run a Successful Free Software Project by Karl Fogel Copyright 2005 ............................................................................................................ 11 The Rise of Proprietary Software and Free Software ........................................ 11

  17. Software Risk Management A Practical Guide | Department of Energy

    Energy Savers [EERE]

    Software Risk Management A Practical Guide Software Risk Management A Practical Guide This document is a practical guide for integrating software risk management into a software...

  18. Guidelines for Software Measurement, SQAS | Department of Energy

    Energy Savers [EERE]

    Guidelines for Software Measurement, SQAS Guidelines for Software Measurement, SQAS This document defines a core set of four software measures that can be used within any software...

  19. SAPHIRE 8 Software Acceptance Test Plan

    SciTech Connect (OSTI)

    Ted S. Wood; Curtis L. Smith

    2009-07-01

    This document describe & report the overall SAPHIRE 8 Software acceptance test paln to offically release the SAPHIRE version 8 software to the NRC custoer for distribution.

  20. The AirMaster+ Software Tool

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

    AIRMaster+ Software Tool Industrial Technologies Program Save Energy Now Energy Efficiency Software Tools http:www.eere.energy.govindustrybestpracticessoftware.html The...

  1. DC Pro Software Tool Suite

    SciTech Connect (OSTI)

    2009-04-01

    This fact sheet describes how DOE's Data Center Energy Profiler (DC Pro) Software Tool Suite and other resources can help U.S. companies identify ways to improve the efficiency of their data centers.

  2. Ten Incredibly Dangerous Software Ideas

    E-Print Network [OSTI]

    G. A. Maney

    2006-07-07

    This is a rough draft synopsis of a book presently in preparation. This book provides a systematic critique of the software industry. This critique is accomplished using classical methods in practical design science.

  3. Hardware Sizing for Software Application

    E-Print Network [OSTI]

    Swaminathan, Ganesh

    2009-05-15

    Hardware sizing is an approximation of the hardware resources required to support a software implementation. Just like any theoretical model, hardware sizing model is an approximation of the reality. Depending on the infrastructure needs, workload...

  4. SOFTWARE QUALITY ASSURANCE FOR EMERGENCY RESPONSE CONSEQUENCE ASSESSMENT MODELS AT DOE'S SAVANNAH RIVER SITE

    SciTech Connect (OSTI)

    Hunter, C

    2007-12-17

    The Savannah River National Laboratory's (SRNL) Atmospheric Technologies Group develops, maintains, and operates computer-based software applications for use in emergency response consequence assessment at DOE's Savannah River Site. These applications range from straightforward, stand-alone Gaussian dispersion models run with simple meteorological input to complex computational software systems with supporting scripts that simulate highly dynamic atmospheric processes. A software quality assurance program has been developed to ensure appropriate lifecycle management of these software applications. This program was designed to meet fully the overall structure and intent of SRNL's institutional software QA programs, yet remain sufficiently practical to achieve the necessary level of control in a cost-effective manner. A general overview of this program is described.

  5. Managing risk in software systems

    SciTech Connect (OSTI)

    Fletcher, S.K.; Jansma, R.M.; Murphy, M.D. [and others

    1995-07-01

    A methodology for risk management in the design of software systems is presented. It spans security, safety, and correct operation of software within the context of its environment, and produces a risk analysis and documented risk management strategy. It is designed to be iteratively applied, to attain appropriate levels of detail throughout the analysis. The methodology and supporting tools are discussed. The methodology is critiqued relative to other research in the field. Some sample applications of the methodology are presented.

  6. Practical Experience in the Numerical Dangers of Heterogeneous Computing

    E-Print Network [OSTI]

    Dongarra, Jack

    in writing reliable numerical library software for heterogeneous computing environments. Although a lot ways to avoid potential pitfalls, or if that is not possible, we recommend that the software;1. INTRODUCTION There are special challenges associated with writing reliable numerical software on networks

  7. LICENSING AGREEMENT The Wisconsin ProgramSlicing Tool (SLICER) is a software system that supports operations on programs,

    E-Print Network [OSTI]

    Reps, Thomas W.

    to transfer a copy of the SLICER via ftp. 2.1 Restricted License: Use of the SLICER, or any part thereof, or any software derived in whole or in part therefrom, is authorized for the limited purpose of notforprofit research by LICENSEE only. Use for any other purpose (including use in conjunction with research for profit

  8. FOURIER RESTRICTION FOR AFFINE ARCLENGTH MEASURES IN THE PLANE

    E-Print Network [OSTI]

    FOURIER RESTRICTION FOR AFFINE ARCLENGTH MEASURES IN THE PLANE Daniel M. Oberlin Department class of curves in the plane, of the Fe#11;erman-Zygmund theorem on restriction of the Fourier transformB10. Key words and phrases. Fourier transform, restriction. Typeset by A M S-T E X 1 #12; 2 DANIEL M

  9. Sequence Assembly Validation by Multiple Restriction Digest Fragment Coverage Analysis

    E-Print Network [OSTI]

    Rouchka, Eric

    Sequence Assembly Validation by Multiple Restriction Digest Fragment Coverage Analysis Eric C the possibility of analyzing multiple, independent restriction digests as a method for testing the fidelity of the fragment assembly is highly desirable. Comparison of predicted and experimental restriction digests has

  10. Strong RestrictedOrientation Convexity Eugene Fink # Derick Wood +

    E-Print Network [OSTI]

    Fink, Eugene

    Strong Restricted­Orientation Convexity Eugene Fink # Derick Wood + Abstract Strong restricted; Widmayer et al., 1987; Rawlins and Wood, 1987 ] , restricted­orientation convexity [ Rawlins, 1987; Rawlins and Wood, 1991; Schuierer, 1991 ] , NESW convexity [ Lipski and Papadimitriou, 1981; Soisalon

  11. Genomics via Optical Mapping II: Ordered Restriction Maps

    E-Print Network [OSTI]

    Mishra, Bud

    production of ordered restriction maps from individual DNA molecules. Ordered restriction maps were enzyme cleavage sites are visible as gaps that appear flanking the relaxed DNA fragments (pieces that such a restriction map created from one single DNA molecule is limited in its accuracy by the resolution

  12. CHIRON Quick software troubleshooting guide IMPORTANT: the Chiron acquisition software (Chiron GUI) and the guider software are totally

    E-Print Network [OSTI]

    Tokovinin, Andrei A.

    CHIRON Quick software troubleshooting guide IMPORTANT: the Chiron acquisition software (Chiron GUI) and the guider software are totally unrelated. Restarting (or operating in any form) one will not fix") The software starts, but not all the green lights (led's on top of the main gui) are turned ON > if the TCS

  13. The Teacher: "Concepts!" The Student: "Tools!" --On the Number and Importance of Concepts, Methods, and Tools to be Taught in Software

    E-Print Network [OSTI]

    Glinz, Martin

    , and Tools to be Taught in Software Engineering Education Martin Glinz Institut fr Informatik University, methods, and tools that should be taught in software engineering education. It is shown that em- phasis with proper emphasis. The software engineering cur- riculum of the Department of Computer Science

  14. Widget:RestrictedIFrame | 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 JEnvironmental Jump to:EA EISTJThinWarsaw,What IsLogoCloud JumpRRSectionFilter JumpRestrictedIFrame

  15. MASTER OF SCIENCE IN COMPUTER SCIENCE Mission Statement

    E-Print Network [OSTI]

    O'Laughlin, Jay

    MASTER OF SCIENCE IN COMPUTER SCIENCE Mission Statement The mission of the Department of Computer Learning Outcomes The Computer Science Department offers a Master of Science program in Computer Science with two specializations: Computer Science (CS) and Software Engineering (SE). Upon successful completion

  16. Facet-like Structures in Computer Science Napier University, School of Computing,

    E-Print Network [OSTI]

    Priss, Uta

    -like structures are used in computer science. 10 years ago the notion of "facets" was mainly restricted to libraryFacet-like Structures in Computer Science Uta Priss Napier University, School of Computing, u on a mathematical model for facets (and class hierarchies in general), called formal concept analysis, and discusses

  17. Foundations of Software Testing: Dependability Theory

    E-Print Network [OSTI]

    Hamlet, Richard

    Foundations of Software Testing: Dependability Theory Dick Hamlet Portland State University Center for Software Quality Research Abstract Testing is potentially the best grounded part of software engineering's pri- mary goal should be to measure the dependability of tested software. In support of this goal

  18. AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge

    E-Print Network [OSTI]

    Woolridge, Mike

    AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge Queen Mary and Westfield College, University of London London E1 4NS, United Kingdom M.J.Wooldridge@qmw.ac.uk Abstract Software engineers continually-suited to the construction of certain types of software, which mainstream software engineering has had little success with

  19. AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge

    E-Print Network [OSTI]

    Woolridge, Mike

    AGENTS AND SOFTWARE ENGINEERING Michael Wooldridge Queen Mary and Westfield College, University of London London E1 4NS, United Kingdom M.J.Wooldridge@qmw.ac.uk Abstract Software engineers continuallysuited to the construction of certain types of software, which mainstream software engineering has had little success with

  20. Academic Legitimacy of the Software Engineering Discipline

    E-Print Network [OSTI]

    Berry, Daniel M.

    Academic Legitimacy of the Software Engineering Discipline Daniel M. Berry Software Engineering the academic substance of software engineering. It identifies the basic research questions and the methods used engineering. The article then discusses at length what about software makes its production so difficult

  1. Salah Uddin Ahmed Extending Software Engineering

    E-Print Network [OSTI]

    Salah Uddin Ahmed Extending Software Engineering Collaboration towards the Intersection of Software by NTNU-trykk #12;ii Abstract The intersection between Software Engineering and Art is an interesting area and artists. Often in these projects, software engineers have to work together with artists in order

  2. Relating Clusterization Measures and Software Quality

    E-Print Network [OSTI]

    Beszedes, rpd

    Relating Clusterization Measures and Software Quality Bla Csaba, Lajos Schrettner, rpd Beszdes clusters and software quality. Such attempts are hindered by a number of difficulties: there are problems in assessing the quality of software, measuring the degree of clusterization of software and finding the means

  3. West Virginia University 1 Software Engineering

    E-Print Network [OSTI]

    Mohaghegh, Shahab

    West Virginia University 1 Software Engineering Degrees Offered Masters of Science, Software offers professionally oriented Masters of Science in Software Engineering (M.S.S.E) degree program, as well as a graduate Certificate in Software Engineering. The M.S.S.E. provides graduate educational

  4. Grokking Software Architecture Richard C. Holt

    E-Print Network [OSTI]

    Holt, Richard C.

    Grokking Software Architecture Richard C. Holt Software Architecture Group (SWAG) School architecture and to help solve various problems in software analysis. That paper explains how Tarski's binary relations between them. Software architecture, especially as-built architecture, is such a subject

  5. ALiCE: A Java-based Grid Computing System

    E-Print Network [OSTI]

    Teo, Yong Meng

    A computational grid is a hardware and software infrastructure that provides dependable, consistent, pervasive, and inexpensive access to high-end computational capabilities. This talk is divided into three parts. Firstly, ...

  6. Introducing Computer Systems from a Programmer's Perspective

    E-Print Network [OSTI]

    Shewchuk, Jonathan

    Introducing Computer Systems from a Programmer's Perspective Randal E. Bryant Carnegie Mellon on a computer. It provides broad coverage of processor operation, compilers, operating systems, and networking these abstractions are implemented on the hardware and software of real computer systems. Our abstractions

  7. UW CSE is housed in the Paul G. Allen Center for Computer Science & Engineering, made possible

    E-Print Network [OSTI]

    Washington at Seattle, University of

    UW CSE is housed in the Paul G. Allen Center for Computer Science & Engineering, made possible Computer graphics, computer vision, and animation Human-computer interaction and ubiquitous computing, and intelligent Internet systems Software engineering Computational biology and synthetic biology Computational

  8. What is Software Engineering? Software Engineering is the discipline providing methods and tools for the construction

    E-Print Network [OSTI]

    Briand, Lionel C.

    What is Software Engineering? Software Engineering is the discipline providing methods and tools of engineering to software. What does Software Engineering Involve? It involves the elicitation of the system are also required to run successful projects and construct quality systems. Why is Software Engineering

  9. Software Quality Engineering where to find it in Software Engineering Body of Knowledge

    E-Print Network [OSTI]

    Suryn, Witold

    Software Quality Engineering where to find it in Software Engineering Body of Knowledge (SWEBOK.begnoche.1@ens.etsmtl.ca Abstract Software quality engineering makes its way to wider professional to this of the Software Engineering Body of Knowledge (SWEBOK). As software quality makes the intrinsic part of SWEBOK

  10. ECE 587 Hardware/Software Co-Design Lecture 09 Software Processor Modeling I

    E-Print Network [OSTI]

    Wang, Jia

    ECE 587 Hardware/Software Co-Design Lecture 09 Software Processor Modeling I Professor Jia Wang Hardware/Software Co-Design Spring 2015 1/22 #12;Reading Assignment This lecture: 3.4 Next lecture: 3.4 ECE 587 Hardware/Software Co-Design Spring 2015 2/22 #12;Outline Software Processor Modeling Application

  11. Software mitigations to hedge AES against cachebased software side channel vulnerabilities

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Software mitigations to hedge AES against cache­based software side channel vulnerabilities Ernie goals of improving the software isolation properties of PC plat­ forms, software side channels have become a subject of interest. Recent publications discussed cache­based software side channel

  12. Software mitigations to hedge AES against cache-based software side channel vulnerabilities

    E-Print Network [OSTI]

    International Association for Cryptologic Research (IACR)

    Software mitigations to hedge AES against cache-based software side channel vulnerabilities Ernie goals of improving the software isolation properties of PC plat- forms, software side channels have become a subject of interest. Recent publications discussed cache-based software side channel

  13. Providing Configuration Management Support in Software Engineering Environments

    E-Print Network [OSTI]

    Han, Jun

    Providing Configuration Management Support in Software Engineering Environments Jun Han Peninsula development project. A software engineering environment should not only pro- vide support for software products and software processes in general, but also pay attention to high level software engineering

  14. Navigation computation in the smart cockpit

    E-Print Network [OSTI]

    Lee, Kristopher Alex

    1998-01-01

    This thesis discusses the design and development of a hics. software module responsible for performing various navigation computations in the smart cockpit. The goals of decreased workload and increased situation awareness ...

  15. University of British Columbia Department of Computer Science

    E-Print Network [OSTI]

    Hoos, Holger H.

    resources, such as oil or natural gas, along with increased competition within larger, often global markets of computer science and are core components of many software systems used in real-world applications-tabling, resource allocation, production planning and optimisation, computer-aided design and software verifi

  16. 1.00 Introduction to Computers and Engineering Problem Solving, Fall 2002

    E-Print Network [OSTI]

    Harward, Vernon Judson

    This course presents fundamental software development and computational methods for engineering and scientific applications. Object-oriented software design and development is the focus of the course. Weekly programming ...

  17. Software Tools | 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:Financing Tool FitsProjectDataSecretaryDepartment of EnergyDepartment» Software Tools Software

  18. Reflective responsibility for risk: a critical view of software and information systems development risk

    E-Print Network [OSTI]

    De Montfort University

    evaluation of future states because the future is by definition unknown. Risks as known uncertaintiesReflective responsibility for risk: a critical view of software and information systems development risk management Bernd Carsten Stahl Faculty of Computer Science and Engineering, Centre for Computing

  19. THE REQUIREMENTS FOR A COTS SOFTWARE COMPONENT: A Ljerka Beus-Dukic, Andy Wellings

    E-Print Network [OSTI]

    Beus-Dukic, Ljerka

    Department of Computer Science, University of York, York, YO10 5DD, United Kingdom E-mail: {ljerka,andy}@cs.york.ac.uk Abstract The goal of the GUARDS project is to design and develop a generic fault-tolerant computer of the underlying hardware and software. The GUARDS1 project is an ESPRIT project with an aim to design and develop

  20. NSTX-U Digital Coil Protection System Software Detailed Design

    SciTech Connect (OSTI)

    2014-06-01

    The National Spherical Torus Experiment (NSTX) currently uses a collection of analog signal processing solutions for coil protection. Part of the NSTX Upgrade (NSTX-U) entails replacing these analog systems with a software solution running on a conventional computing platform. The new Digital Coil Protection System (DCPS) will replace the old systems entirely, while also providing an extensible framework that allows adding new functionality as desired.