Sample records for restricted computer software

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

  2. SOFTWARE ENGINEERING COMPUTER SCIENCE

    E-Print Network [OSTI]

    Bone, Gary

    SOFTWARE ENGINEERING COMPUTER SCIENCE ... What's the Difference? goeng1@mcmaster.ca www). Software Engineering covers the course content listed under Computer Science, with some additions. Software). Software Engineering students will graduate with a Bachelor of Engineering (B.Eng). Computer Science

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

    E-Print Network [OSTI]

    Computer software engineers design, create, and modify computer applications. Computer Software Engineers (0*NET 15-1031.00, 15-1032.00) Significant Points Computer software engineers are projected are expected for college graduates with at least a bachelor's degree in computer engineering or computer

  4. Guide to Preventing Computer Software Piracy

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

    2001-07-12T23:59:59.000Z

    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

  5. Honeywell Modular Automation System Computer Software Documentation

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2000-12-04T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP). This CSWD describes hardware and PFP developed software for control of stabilization furnaces. The Honeywell software can generate configuration reports for the developed control software. These reports are described in the following section and are attached as addendum's. This plan applies to PFP Engineering Manager, Thermal Stabilization Cognizant Engineers, and the Shift Technical Advisors responsible for the Honeywell MAS software/hardware and administration of the Honeywell System.

  6. See Course Restrictions Sheet College of Engineering and Computer Science

    E-Print Network [OSTI]

    Mather, Patrick T.

    See Course Restrictions Sheet College of Engineering and Computer Science Computer Science Name/ 331 Calculus or Linear Algebra MAT 263 4 or 3 J CIS321 Intro. to Probability & Statistics 4 O I SSH/VPA _______________ 3 O SSH/VPA _______________ 3 N SSH/VPA _______________ 3 Natural Sciences

  7. See Course Restrictions Sheet College of Engineering and Computer Science

    E-Print Network [OSTI]

    Mather, Patrick T.

    Algebra MA 253 4 or 3 J CIS321 Intro. to Probability & Statistics 4 O Engineering Courses (6 cr) R ECS101See Course Restrictions Sheet College of Engineering and Computer Science Computer Science Name/VPA _______________ 3 N SSH/VPA _______________ 3 Natural Sciences (12 cr) Two semester lab sequence in Natural Sciences

  8. See Course Restrictions Sheet College of Engineering and Computer Science

    E-Print Network [OSTI]

    Mather, Patrick T.

    or Linear Algebra MA442 4 or 3 J CIS321 Intro. to Probability & Statistics 4 O Engineering Courses (6 cr) RSee Course Restrictions Sheet College of Engineering and Computer Science Computer Science Name/VPA _______________ 3 O SSH/VPA _______________ 3 N SSH/VPA _______________ 3 Natural Sciences (12 cr) Two semester lab

  9. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclearHomelandMultivariateSite Map Main Menu AboutsmrSocialSoftware

  10. Honeywell Modular Automation System Computer Software Documentation

    SciTech Connect (OSTI)

    CUNNINGHAM, L.T.

    1999-09-27T23:59:59.000Z

    This document provides a Computer Software Documentation for a new Honeywell Modular Automation System (MAS) being installed in the Plutonium Finishing Plant (PFP). This system will be used to control new thermal stabilization furnaces in HA-211 and vertical denitration calciner in HC-230C-2.

  11. Honeywell modular automation system computer software documentation

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2003-07-02T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP). The Honeywell MAS is used to control the thermal stabilization furnaces in glovebox HA-211. The PFP developed software is being updated to reflect the Polycube Processing and Unwashed Salt Thermal Stabilization program addition. The polycube processing program was installed per HNF-FMP-02-11162-R2. The functional test of the program was performed in JCS work package 22-02-1031, The unwashed salt item program was installed per HNF-FMP-03-16577-RO. The functional test of the program completed in JCS work package 22-03-00654.

  12. Representation of Limited Rights Data and Restricted Computer Software

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33 1112011 Strategic2 OPAM615_CostNSAR -Department ofEM CommunicationsReportingReports

  13. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOn April 23, 2014, an OHASeptemberAssessments | DepartmentTheDepartmentAvailable

  14. 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 JC3 RSS September 9,Award RecipientsActMission to China at theMapsReportingReports

  15. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What's PossibleRadiation Protection Technical s o Freiberge s 3 % A PB 2 7 7 2 x>1 Reports High

  16. Software Engineering Frontiers in Computational Science and Engineering

    E-Print Network [OSTI]

    Hallstrom, Jason

    into the behavior of complex systems. Computational science and engineering uses computational methods to conductSoftware Engineering Frontiers in Computational Science and Engineering D. E. Stevenson Department­ quire the multidisciplinary teamwork of engineers plus com­ puter, mathematical and physical scientists

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

  18. Software Reuse in High Performance Computing Shirley Browne

    E-Print Network [OSTI]

    Hawick, Ken

    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

  19. 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-01T23:59:59.000Z

    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)

  20. Integrated Computer Software for Process Design Methodology

    E-Print Network [OSTI]

    Gautam, R.

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

  1. Integrated Computer Software for Process Design Methodology 

    E-Print Network [OSTI]

    Gautam, R.

    1985-01-01T23:59:59.000Z

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

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

  3. Software for the ACP (Advanced Computer Program) multiprocessor system

    SciTech Connect (OSTI)

    Biel, J.; Areti, H.; Atac, R.; Cook, A.; Fischler, M.; Gaines, I.; Kaliher, C.; Hance, R.; Husby, D.; Nash, T.

    1987-02-02T23:59:59.000Z

    Software has been developed for use with the Fermilab Advanced Computer Program (ACP) multiprocessor system. The software was designed to make a system of a hundred independent node processors as easy to use as a single, powerful CPU. Subroutines have been developed by which a user's host program can send data to and get results from the program running in each of his ACP node processors. Utility programs make it easy to compile and link host and node programs, to debug a node program on an ACP development system, and to submit a debugged program to an ACP production system.

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

  5. UGA Computer Equipment, Software or Services (CESS) Request Form Individual Responsible for CESS Resource and Location

    E-Print Network [OSTI]

    Arnold, Jonathan

    UGA Computer Equipment, Software or Services (CESS) Request Form Individual Responsible for CESS to install and utilize these resources in a manner consistent with established University Computer Security

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

    E-Print Network [OSTI]

    Curhan, Lisa A., 1961-

    2005-01-01T23:59:59.000Z

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

  7. 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-01T23:59:59.000Z

    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.

  8. A SOFTWARE ARCHITECTURE FOR DEVELOPMENTAL MODELING IN PLANTS: THE COMPUTABLE PLANT PROJECT

    E-Print Network [OSTI]

    Mjolsness, Eric

    dynamic objects and relationships; a C++ code generator to translate SBML into highly efficient simulationA SOFTWARE ARCHITECTURE FOR DEVELOPMENTAL MODELING IN PLANTS: THE COMPUTABLE PLANT PROJECT Victoria present the software architecture of the Computable Plant Project, a multidisciplinary computationally

  9. THE DEPARTMENT OF COMPUTER SCIENCE & ENGINEERING MS IN SOFTWARE ENGINEERING

    E-Print Network [OSTI]

    Minnesota, University of

    -Engineering and Maintenance · Configuration Management · Internet Commerce · Data Warehousing & Data Mining · Software on faculty availability a

  10. Aneka: A Software Platform for .NET-based Cloud Computing

    E-Print Network [OSTI]

    Vecchiola, Christian; Buyya, Rajkumar

    2009-01-01T23:59:59.000Z

    Aneka is a platform for deploying Clouds developing applications on top of it. It provides a runtime environment and a set of APIs that allow developers to build .NET applications that leverage their computation on either public or private clouds. One of the key features of Aneka is the ability of supporting multiple programming models that are ways of expressing the execution logic of applications by using specific abstractions. This is accomplished by creating a customizable and extensible service oriented runtime environment represented by a collection of software containers connected together. By leveraging on these architecture advanced services including resource reservation, persistence, storage management, security, and performance monitoring have been implemented. On top of this infrastructure different programming models can be plugged to provide support for different scenarios as demonstrated by the engineering, life science, and industry applications.

  11. Software Engineers (C#, C++, .Net) Cloud/Mobile Computing Bentley Systems is seeking enthusiastic software engineers, who have a passion for creating the software of the

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    team dedicated to innovation in key technology areas of cloud computing and mobile platforms. BentleySoftware Engineers (C#, C++, .Net) ­ Cloud/Mobile Computing Bentley Systems is seeking enthusiastic innovative solutions to the AEC industry for the design, construction and management of cities, airports

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

    SciTech Connect (OSTI)

    Glasscock, J.A.

    1995-09-01T23:59:59.000Z

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

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

    SciTech Connect (OSTI)

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

    1993-04-01T23:59:59.000Z

    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.

  14. Computer Lab Software Installation Policy for the Metropolitan Instructional Support Laboratory

    E-Print Network [OSTI]

    Computer Lab Software Installation Policy for the Metropolitan Instructional Support Laboratory Laboratory (MISL) provides computer lab space for faculty, staff and student use as individuals or in classes on lab computers. This policy applies to both stationary and portable lab computers. Policy: Scenario 1

  15. 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-01T23:59:59.000Z

    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.

  16. Sandia National Laboratories Advanced Simulation and Computing (ASC) software quality plan part 2 mappings for the ASC software quality engineering practices, version 2.0.

    SciTech Connect (OSTI)

    Heaphy, Robert; Sturtevant, Judith E.; 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-01T23:59:59.000Z

    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 CPR001.3.2 and CPR001.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.

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

    SciTech Connect (OSTI)

    Lee, J.R.

    1998-11-01T23:59:59.000Z

    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.

  18. Computer simulations of the restricted primitive model at very low temperature and density

    E-Print Network [OSTI]

    Chantal Valeriani; Philip J. Camp; Jos W. Zwanikken; René van Roij; Marjolein Dijkstra

    2010-01-13T23:59:59.000Z

    The problem of successfully simulating ionic fluids at low temperature and low density states is well known in the simulation literature: using conventional methods, the system is not able to equilibrate rapidly due to the presence of strongly associated cation-anion pairs. In this manuscript we present a numerical method for speeding up computer simulations of the restricted primitive model (RPM) at low temperatures (around the critical temperature) and at very low densities (down to $10^{-10}\\sigma^{-3}$, where $\\sigma$ is the ion diameter). Experimentally, this regime corresponds to typical concentrations of electrolytes in nonaqueous solvents. As far as we are aware, this is the first time that the RPM has been equilibrated at such extremely low concentrations. More generally, this method could be used to equilibrate other systems that form aggregates at low concentrations.

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

    SciTech Connect (OSTI)

    None

    2012-02-08T23:59:59.000Z

    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 cloud’s 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. Cornell’s 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.

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

    SciTech Connect (OSTI)

    Spurling, D.G.

    1994-11-11T23:59:59.000Z

    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.

  1. Computer scientists and engineers design and implement efficient software and hardware

    E-Print Network [OSTI]

    Rohs, Remo

    62 Computer scientists and engineers design and implement efficient software and hardware solutions to computer-solvable problems. They are involved in the development of areas such as high-speed networks, multimedia and creative technologies, systems design, video game development, and robotics. The Computer

  2. Computer scientists and engineers design and implement efficient software and hardware

    E-Print Network [OSTI]

    Rohs, Remo

    62 Computer scientists and engineers design and implement efficient software and hardware solutions to computer-solvable problems. They are involved in the development of areas such as high-speed networks, internet technologies, social networks, systems design, computer graphics, video game development

  3. Computer scientists and engineers design and implement efficient software and hardware solutions

    E-Print Network [OSTI]

    Rohs, Remo

    64 Computer scientists and engineers design and implement efficient software and hardware solutions to computer-solvable problems. They are involved in the development of areas such as high-speed networks, multimedia and creative technologies, systems design, virtual reality, and robotics. The Computer Science

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

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

  6. Honeywell Modular Automation System Computer Software Documentation for the Magnesium Hydroxide Precipitation Process

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2001-06-25T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP) for the Magnesium Hydroxide Precipitation Process in Rm 230C/234-5Z. The magnesium hydroxide process control software Rev 0 is being updated to include control programming for a second hot plate. The process control programming was performed by the system administrator. Software testing for the additional hot plate was performed per PFP Job Control Work Package 2Z-00-1703. The software testing was verified by Quality Control to comply with OSD-Z-184-00044, Magnesium Hydroxide Precipitation Process.

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

    E-Print Network [OSTI]

    Sun, Eugene Yu-Ting

    2013-01-01T23:59:59.000Z

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

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

    E-Print Network [OSTI]

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

    2009-01-01T23:59:59.000Z

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

  9. Rachel Mary Cardell-Oliver School of Computer Science and Software Engineering

    E-Print Network [OSTI]

    Cardell-Oliver, Rachel

    of Western Australia M002, 35 Stirling Highway, Crawley, 6009, Western Australia Phone: +61 8 6488 2231 Email Australia, 1987 BSc (1st class honours) Computer Science The University of Western Australia, 1984 (level D) School of Computer Science and Software Engineering, The University of Western Australia

  10. 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-MHP are also discussed on how to make it a comprehensive proactive ergonomic design and analysis tool. Keywords: Ergonomics, Software package, Queueing Network, Human performance, Mental workload #12;Computers & Industrial

  11. Honeywell Modular Automation System Computer Software Documentation for the Magnesium Hydroxide Precipitation Process

    SciTech Connect (OSTI)

    STUBBS, A.M.

    2001-02-01T23:59:59.000Z

    The purpose of this Computer Software Document (CSWD) is to provide configuration control of the Honeywell Modular Automation System (MAS) in use at the Plutonium Finishing Plant (PFP) for the Magnesium Hydroxide Precipitation Process in Rm 23OC/234-52. This CSWD describes hardware and PFP/FFS developed software for control of Magnesium Hydroxide Precipitation process located in room 230, 234-52. The Honeywell and Plant Scape software generate limited configuration reports for the developed control software. These reports are described in the following section and are attached as addendum's. This plan applies to PFP Engineering Manager, Thermal Stabilization Cognizant Engineers, Solutions Stabilization Engineers, and the Shift Technical Advisors responsible for the Honeywell MAS software/hardware and administration of the Honeywell System.

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

    E-Print Network [OSTI]

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

    1982-01-01T23:59:59.000Z

    files: In many types of technical computation, input data may be characterized as "common" or "case-specific". The former category includes data that don't generally change from case to case, whereas the latter includes information that is unique... distrObuted capability within a price range comparable nationally (4). Several techniques hav been to common office equipment. Microcomputers utilized in developing thes~ progr ms to with storage, computational, and display make them easy to use...

  13. Computational Experience with a Software Framework for Parallel ...

    E-Print Network [OSTI]

    2009-05-22T23:59:59.000Z

    but many MILPs arising in practice remain difficult to solve even with this advanced methodology .... local computational tasks, managing locally generated knowledge, and communicating with other ..... During load balancing, the donor chooses the best subtree in its subtree pool ...... SYMPHONY Version 5.1 User's Manual.

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

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

    E-Print Network [OSTI]

    famous people. The really funny ones fail to recognize the exponential growth of technology. #12;Thomas is to invent it." Alan Kay (OOP, Laptop, Smalltalk) #12;"Computers are useless, they can only give you answers (8 %) 56 in Information Technology (8 %) 45 in Electrical Engineering (6 %) 21 in Aerospace

  16. Software Design Issues for Experimentation in Ubiquitous Computing Thomas Reicher

    E-Print Network [OSTI]

    Bruegge, Bernd

    Universit¨at M¨unchen reicher@cs.tum.edu Timo Kosch BMW AG Timo.Kosch@bmw.de Abstract Designing smart user with the system in a static en- vironment are not handy in a mobile environment. Good user interface design the experimental setup of an environment for ubiq- uitous computing in automobiles. 1 Introduction Designing smart

  17. Optimization of a high-efficiency jet ejector by computational fluid dynamic software

    E-Print Network [OSTI]

    Watanawanavet, Somsak

    2005-08-29T23:59:59.000Z

    Computational Fluid Dynamics (CFD) software. A conventional finite-volume scheme was utilized to solve two-dimensional transport equations with the standard k-?? turbulence model (Kim et. al., 1999). In this study of a constant-area jet ejector, all parameters...

  18. FY 2015 Computer Hardware and Software Request Form Last Revision 8/12-2013 -JPW

    E-Print Network [OSTI]

    Portman, Douglas

    FY 2015 Computer Hardware and Software Request Form Last Revision 8/12-2013 - JPW End User 5-28217-2610 Cost Estimate Date Group 5-28217-2290 Cost Estimate RT# 5-28217-2120 Cost Estimate CIDS# Non CSG Budget in those sections. >>> No purchases will be made until you contact CSG after the new budgets are approved

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

  20. Application Support Specialist Computer Methods International Corp. (CMiC) is a software Development firm

    E-Print Network [OSTI]

    Ellis, Randy

    Application Support Specialist Computer Methods International Corp. (CMiC) is a software between our customers and CMiC. This position is responsible for enterprise support of our customer issues (may include, but are not limited to, the following): · Review questions and reported problems

  1. Lecture Notes in Computer Science Towards a Living Software Development Process

    E-Print Network [OSTI]

    Lecture Notes in Computer Science Towards a Living Software Development Process based on Process Process for a certain enterprise and/or a certain project will usually integrate elements from a variety of existing process models, comprising generic standards as well as specific development methods. Besides that

  2. 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-01T23:59:59.000Z

    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.

  3. 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 (Oak Ridge National Laboratory, Oak Ridge, TN); Heroux, Michael Allen

    2012-01-01T23:59:59.000Z

    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.

  4. A proposed approach for developing next-generation computational electromagnetics software

    SciTech Connect (OSTI)

    Miller, E.K.; Kruger, R.P. [Los Alamos National Lab., NM (United States); Moraites, S. [Simulated Life Systems, Inc., Chambersburg, PA (United States)

    1993-02-01T23:59:59.000Z

    Computations have become a tool coequal with mathematics and measurements as a means of performing electromagnetic analysis and design. This is demonstrated by the volume of articles and meeting presentations in which computational electromagnetics (CEM) is routinely employed to address an increasing variety of problems. Yet, in spite of the substantial resources invested in CEM software over the past three decades, little real progress seems to have been made towards providing the EM engineer software tools having a functionality equivalent to that expected of hardware instrumentation. Furthermore, the bulk of CEM software now available is generally of limited applicability to large, complex problems because most modeling codes employ a single field propagator, or analytical form, of Maxwell`s Equations. The acknowledged advantages of hybrid models, i.e., those which employ different propagators in differing regions of a problem, are relatively unexploited. The thrust of this discussion is to propose a new approach designed to address both problems outlined above, integrating advances being made in both software and hardware development. After briefly reviewing the evolution of modeling CEM software to date and pointing out the deficiencies thereof, we describe an approach for making CEM tools more truly ``user friendly`` called EMSES (Electromagnetic Modeling and Simulation Environment for Systems). This will be achieved through two main avenues. One is developing a common problem-description language implemented in a visual programming environment working together with a translator that produces the specific model description needed by various numerical treatments, in order to optimize user efficiency. The other is to employ a new modeling paradigm based on the idea of field propagators to expedite the development of the hybrid models that are needed to optimize computation efficiency.

  5. A proposed approach for developing next-generation computational electromagnetics software

    SciTech Connect (OSTI)

    Miller, E.K.; Kruger, R.P. (Los Alamos National Lab., NM (United States)); Moraites, S. (Simulated Life Systems, Inc., Chambersburg, PA (United States))

    1993-01-01T23:59:59.000Z

    Computations have become a tool coequal with mathematics and measurements as a means of performing electromagnetic analysis and design. This is demonstrated by the volume of articles and meeting presentations in which computational electromagnetics (CEM) is routinely employed to address an increasing variety of problems. Yet, in spite of the substantial resources invested in CEM software over the past three decades, little real progress seems to have been made towards providing the EM engineer software tools having a functionality equivalent to that expected of hardware instrumentation. Furthermore, the bulk of CEM software now available is generally of limited applicability to large, complex problems because most modeling codes employ a single field propagator, or analytical form, of Maxwell's Equations. The acknowledged advantages of hybrid models, i.e., those which employ different propagators in differing regions of a problem, are relatively unexploited. The thrust of this discussion is to propose a new approach designed to address both problems outlined above, integrating advances being made in both software and hardware development. After briefly reviewing the evolution of modeling CEM software to date and pointing out the deficiencies thereof, we describe an approach for making CEM tools more truly user friendly'' called EMSES (Electromagnetic Modeling and Simulation Environment for Systems). This will be achieved through two main avenues. One is developing a common problem-description language implemented in a visual programming environment working together with a translator that produces the specific model description needed by various numerical treatments, in order to optimize user efficiency. The other is to employ a new modeling paradigm based on the idea of field propagators to expedite the development of the hybrid models that are needed to optimize computation efficiency.

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

  7. Appears in the 37th International Symposium on Computer Architecture (ISCA '10) Relax: An Architectural Framework for Software Recovery

    E-Print Network [OSTI]

    Liblit, Ben

    , opportunities for energy efficiency are lost due to the conservative voltage and frequency as- sumptionsAppears in the 37th International Symposium on Computer Architecture (ISCA '10) Relax) an ISA extension that allows software to mark regions of code for software recovery, (2) a hardware or

  8. Acts -- A collection of high performing software tools for scientific computing

    SciTech Connect (OSTI)

    Drummond, L.A.; Marques, O.A.

    2002-11-01T23:59:59.000Z

    During the past decades there has been a continuous growth in the number of physical and societal problems that have been successfully studied and solved by means of computational modeling and simulation. Further, many new discoveries depend on high performance computer simulations to satisfy their demands for large computational resources and short response time. The Advanced CompuTational Software (ACTS) Collection brings together a number of general-purpose computational tool development projects funded and supported by the U.S. Department of Energy (DOE). These tools make it easier for scientific code developers to write high performance applications for parallel computers. They tackle a number of computational issues that are common to a large number of scientific applications, mainly implementation of numerical algorithms, and support for code development, execution and optimization. The ACTS collection promotes code portability, reusability, reduction of duplicate efforts, and tool maturity. This paper presents a brief introduction to the functionality available in ACTS. It also highlight the tools that are in demand by Climate and Weather modelers.

  9. Creating a strategic plan for configuration management using computer aided software engineering (CASE) tools

    SciTech Connect (OSTI)

    Smith, P.R.; Sarfaty, R.

    1993-05-01T23:59:59.000Z

    This paper provides guidance in the definition, documentation, measurement, enhancement of processes, and validation of a strategic plan for configuration management (CM). The approach and methodology used in establishing a strategic plan is the same for any enterprise, including the Department of Energy (DOE), commercial nuclear plants, the Department of Defense (DOD), or large industrial complexes. The principles and techniques presented are used world wide by some of the largest corporations. The authors used industry knowledge and the areas of their current employment to illustrate and provide examples. Developing a strategic configuration and information management plan for DOE Idaho Field Office (DOE-ID) facilities is discussed in this paper. A good knowledge of CM principles is the key to successful strategic planning. This paper will describe and define CM elements, and discuss how CM integrates the facility`s physical configuration, design basis, and documentation. The strategic plan does not need the support of a computer aided software engineering (CASE) tool. However, the use of the CASE tool provides a methodology for consistency in approach, graphics, and database capability combined to form an encyclopedia and a method of presentation that is easily understood and aids the process of reengineering. CASE tools have much more capability than those stated above. Some examples are supporting a joint application development group (JAD) to prepare a software functional specification document and, if necessary, provide the capability to automatically generate software application code. This paper briefly discusses characteristics and capabilities of two CASE tools that use different methodologies to generate similar deliverables.

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

    ScienceCinema (OSTI)

    None

    2011-10-06T23:59:59.000Z

    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.

  11. Software | Argonne National Laboratory

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

    applications, such as simulation and modeling, computation, internet usage, and more. Argonne has both commercially available software and open-source (free) software. Browse both...

  12. Business Intelligence (BI) Developer Computer Methods International Corp. (CMiC) is a software Development firm specializing in

    E-Print Network [OSTI]

    Ellis, Randy

    Business Intelligence (BI) Developer Computer Methods International Corp. (CMiC) is a software Intelligence modules relating to Jaspersoft within our application. This position reports directly to the Manager of the Reports & BI Group. Duties and responsibilities (may include, but are not limited to

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

    E-Print Network [OSTI]

    Hassan, Sikander

    2012-12-14T23:59:59.000Z

    The software industry has a tremendously competitive environment at the global and regional levels and the companies usually follow the differentiation strategy. Most of the software companies are going through a change ...

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

  15. Overture: An advanced object-oriented software system for moving overlapping grid computations

    SciTech Connect (OSTI)

    Brown, D.L.; Henshaw, W.D.

    1996-09-01T23:59:59.000Z

    While the development of high-level, easy-to-use, software libraries for numerical computations has been successful in some areas (e.g. linear system solvers, ODE solvers, grid generation), this has been an elusive goal for developers of partial differential equation (PDE) solvers. The advent of new high level languages such as C++ has begun to make this an achievable goal. This report discusses an object- oriented environment that we are developing for solving problems on overlapping (Chimera) grids. The goal of this effort is to support flexible PDE solvers on adaptive, moving, overlapping grids that cover a domain and overlap where they meet. Solutions values at the overlap are determined by interpolation. The overlapping grid approach is particularly efficient for rapidly generating high- quality grids for moving geometries since as the component grids move, only the list of interpolation points changes, and the component grids do not have to be regenerated. We use structured component grids so that efficient, fast finite-difference algorithms can be used. Oliger-Berger-Corella type mesh refinement is used to efficiently resolve fine features of the flow.

  16. 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-06T23:59:59.000Z

    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.

  17. The ACTS Center for Software Sustainability

    E-Print Network [OSTI]

    Leroy, Drummond-Lewis

    2014-01-01T23:59:59.000Z

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

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

    graphics output functions for wave-energy modeling. Funds have been requested to purchase a computer as processing of vector and raster graphics. Funds are requested to purchase Adobe SpeedGrade CS6 to enable

  19. 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-25T23:59:59.000Z

    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.

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

    SciTech Connect (OSTI)

    Epperly, T W; Hochstein, L

    2011-09-12T23:59:59.000Z

    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.

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

    system-level optimisation. Keywords-green computing; Cloud computing; energy consumption; performanceIn 1st ICSE Workshop on Green and Sustainable Software Engineering, Zurich, Switzerland, 3rd June 2012 An Energy Consumption Model and Analysis Tool for Cloud Computing Environments FeiFei Chen, Jean

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

    E-Print Network [OSTI]

    Bermúdez, 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

  3. High-Integrity Software, Computation and the Scientific Method Les Hatton, CISM, Kingston University, UK

    E-Print Network [OSTI]

    Hatton, Les

    -critical systems. Such systems on failure, have a direct impact on human safety or indirectly by dam- aging-integrity systems are fundamentally those systems which on failure, have a significant impact on humans, or imaging software. · Mission-critical systems. Such systems on failure, are typically associated

  4. An Overview of the Advanced CompuTational Software (ACTS)Collection

    SciTech Connect (OSTI)

    Drummond, Leroy A.; Marques, Osni A.

    2005-02-02T23:59:59.000Z

    The ACTS Collection brings together a number of general-purpose computational tools that were developed by independent research projects mostly funded and supported by the U.S. Department of Energy. These tools tackle a number of common computational issues found in many applications, mainly implementation of numerical algorithms, and support for code development, execution and optimization. In this article, we introduce the numerical tools in the collection and their functionalities, present a model for developing more complex computational applications on top of ACTS tools, and summarize applications that use these tools. Lastly, we present a vision of the ACTS project for deployment of the ACTS Collection by the computational sciences community.

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

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

    E-Print Network [OSTI]

    Sterling, Reuben Marbell

    2006-01-01T23:59:59.000Z

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

  7. 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-01T23:59:59.000Z

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

  8. Software is Discrete Mathematics University of Oklahoma

    E-Print Network [OSTI]

    Page, Rex L.

    , discrete mathematics, predicate logic, correctness proofs, formal methods, software engineering. 1Software is Discrete Mathematics Rex L Page University of Oklahoma School of Computer Science Descriptors D.2.4 [Software Engineering]: Software/Program Verification ­ correctness proofs, formal methods

  9. 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-01T23:59:59.000Z

    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.

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

    E-Print Network [OSTI]

    Tiwari, Ashish

    2009-01-01T23:59:59.000Z

    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

  11. "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

  12. Transparent Shaping of Existing Software to Support Pervasive and Autonomic Computing

    E-Print Network [OSTI]

    McKinley, Philip K.

    - ery, security, self auditing, and energy consumption. Even more challenging than developing Sadjadi School of Computer Science Florida International University Miami, Florida 33199 sadjadi such as quality-of-service (QoS) and energy consumption in responding to variability of conditions (e.g., wireless

  13. Student Ownership of Work Created in Computer Science Classes and Ownership of software, including the source code, that students create as part of his or

    E-Print Network [OSTI]

    Dyer, Bill

    Student Ownership of Work Created in Computer Science Classes and Projects Ownership of software, including the source code, that students create as part of his or her MSU education activities a perpetual royaltyfree nonexclusive right to use the source code and make derivative works for educational

  14. Computer Methods International Corp. (CMiC) is a software Development firm specializing in enterprise financial and cost management systems designed for the

    E-Print Network [OSTI]

    Ellis, Randy

    Computer Methods International Corp. (CMiC) is a software Development firm specializing/SQL o Oracle - 9i / 10g / 11g #12;o Java Reporting Tools · Knowledge / Experience of the following is an asset: o Oracle Reports o JSP / JSF / HTML / Web Technologies · Excellent written and oral communication

  15. Computer Methods International Corp. (CMiC) is a software Development firm specializing in enterprise financial and cost management systems designed for the

    E-Print Network [OSTI]

    Ellis, Randy

    Computer Methods International Corp. (CMiC) is a software Development firm specializing CMiC meets our overall SLA's in order to provide optimum maintenance and consistency across development · Provide guidance, support and reporting with other management members · Other related duties

  16. Beijing Institute of Technology ANU Status School of Software ANU Status School of Computer Science and Technology

    E-Print Network [OSTI]

    Zhou, Xiangyun "Sean"

    2310 Concurrent and Distributed Systems COMP2600 Formal Methods in Software Engineering COMP2310 Concurrent and Distributed Systems COMP2600 Formal Methods in Software Engineering COMP3300 Operating Systems Concurrent and Distributed Systems COMP4540 Software Engineering Research Project (12 units) COMP2600 Formal

  17. 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-01T23:59:59.000Z

    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.

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

  19. EMSL - Molecular Science Computing

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

    computing Resources and Techniques Molecular Science Computing - Sophisticated and integrated computational capabilities, including scientific consultants, software, Cascade...

  20. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office511041cloth DocumentationProductsAlternative FuelsSanta3 Table 3.EnergyAug 15, 1996 ProgramF 241.4

  1. BUILDING MANAGEMENT & RESTRICTED ACCESS

    E-Print Network [OSTI]

    Johnston, Daniel

    BUILDING MANAGEMENT & RESTRICTED ACCESS Plan Annex 2014 VIII #12;#12;#12;The University of Texas at Austiniv #12;Building Management & Restricted Access Plan Annex v CONTENTS RECORD OF CHANGES .......................................................................................................15 J. BUILDING SECURITY OPERATIONS RESTRICTED ACCESS PROCEDURES FOR BUILDINGS ON ELECTRONIC ACCESS

  2. I use OIT's free anti-virus software to scan my computer at least once every month.

    E-Print Network [OSTI]

    Schweik, Charles M.

    FOR PERSONAL COMPUTERS SECURITY CHECKLIST To secure your personal computer and data, complete all items CHECKLIST FOR PERSONAL COMPUTERS I use a password-protected screen saver on my computer will file a police report if any of my computing devices are lost or stolen. For links, instructions

  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. 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-01T23:59:59.000Z

    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.

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

  8. The Software Patent Debate 

    E-Print Network [OSTI]

    Guadamuz, Andres

    2006-01-01T23:59:59.000Z

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

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

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

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

  10. Commercial Software | Argonne National Laboratory

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

    a variety of applications including simulation, modeling, computation, internet, flexible framework modeling, and more. Commercial software can be licensed directly from...

  11. Multiphase flow calculation software

    DOE Patents [OSTI]

    Fincke, James R. (Idaho Falls, ID)

    2003-04-15T23:59:59.000Z

    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.

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

  13. A SOFTWARE PIPELINE FOR PROTEIN STRUCTURE PREDICTION Michael S. Lee

    E-Print Network [OSTI]

    Wilson, and Jaques Reifman DoD Biotechnology High Performance Computing Software Applications Institute U

  14. Software Function Allocation Methodology

    E-Print Network [OSTI]

    O'Neal, Michael Ralph

    1988-01-01T23:59:59.000Z

    Necessary) Rapid Prototypes (Optional) 3. 4. 1 SFAM Step 1 ? Preparation If the Computer System Map (CSM) has not been created for the current overall hardware system, it is completed before the software function allocation process begins.... The methodology begins when the preconditions above have been met and the CSM is completed. The first step is to consult the list of software function allocation parameters provided as part of the methodology. The list of parameters will at first be sufficient...

  15. Engineering secure software 

    E-Print Network [OSTI]

    Jetly, Prateek

    2001-01-01T23:59:59.000Z

    breaches in the operating environment. Security breaches resulting from misuse or tnisconfiguration of the program should not be blamed on the software. T'his is a debatable position. A security breach that results from an unintentional enor... units with public key algorithms, private keys, and certificates. Any attempt to access or modify the data in these devices will render them unusable. The device contains software tools. These devices use the computer they reside on as a general...

  16. 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-07T23:59:59.000Z

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

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

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

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

  18. Department of Mathematics: Computing

    E-Print Network [OSTI]

    Home > Resources > Computing Information ... Purdue's ITaP has virus protection software and various security-related software packages available for

  19. Foundations of Software Technology and Theoretical Computer Science (Bangalore) 2008. Editors: R. Hariharan, M. Mukund, V. Vinay; pp -

    E-Print Network [OSTI]

    Winskel, Glynn

    . Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge, England ABSTRACT. The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net

  20. Enterprise software : analysis of product strategies

    E-Print Network [OSTI]

    Boppana, Krishna S

    2007-01-01T23:59:59.000Z

    Since the invention of IBM 360, the first computing system about five decades ago, the processing and software capabilities have grown by leaps and have become major components of businesses. The software applications and ...

  1. Product management in software as a service

    E-Print Network [OSTI]

    Rajasekharan, Karthikeyan

    2012-01-01T23:59:59.000Z

    Software product management within Software as a Service is key domain of interest given the recent advances in Cloud Computing. This thesis explores the product management challenges within this domain. It makes a ...

  2. A shortened version of this paper appeared in IEEE Computer, October 1994. 1 HighPressure Steam Engines and Computer Software \\Lambda

    E-Print Network [OSTI]

    Leveson, Nancy

    A shortened version of this paper appeared in IEEE Computer, October 1994. 1 High­Pressure Steam the same mistakes. In particular, parallels exist between the early develop­ ment of high­pressure steam A History of the Growth of the Steam Engine (1883) Hero of Alexandria, who lived around 60 AD, con­ ducted

  3. Computer Systems and Network Manager

    E-Print Network [OSTI]

    Computer Systems and Network Manager Fort Collins, Colorado POSITION A Computers Systems activities. RESPONSIBILITIES The successful candidate will perform computer systems and network administration, including computer hardware, systems software, applications software, and all configurations

  4. Internal dosimetry software comparison

    E-Print Network [OSTI]

    Fulmer, Judith Renee

    1992-01-01T23:59:59.000Z

    (ICRP) published in 1979 provided an improved approach for the assessment of internal dose. The ICRP recommendations were implemented in federal regulations promulgated by the Nuclear Regulatory Commission (NRC) in the Code of Federal Regulations (10... in the assessment of internal dose has led to the development of various computer software. In this study, several internal dosimetry codes were examined using a standard set of benchmark problems incorporating authentic exposure data. Personal computer...

  5. Software Carpentry: Lessons Learned

    E-Print Network [OSTI]

    Greg Wilson

    2014-01-29T23:59:59.000Z

    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.

  6. Software Carpentry: Lessons Learned

    E-Print Network [OSTI]

    Wilson, Greg

    2013-01-01T23:59:59.000Z

    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.

  7. Computing Resources | Argonne Leadership Computing Facility

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

    is dedicated to large-scale computation and builds on Argonne's strengths in high-performance computing software, advanced hardware architectures and applications expertise. It...

  8. Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1

    E-Print Network [OSTI]

    Boyer, Edmond

    Relaxing B Sharing Restrictions within CSP B Arnaud Lanoix1 , Olga Kouchnarenko2 , Samuel Colin3-ST CNRS and University of Franche-Comté, Besançon, France olga.kouchnarenko@univ-fcomte.fr 3 Safe-00699997,version1-22May2012 Author manuscript, published in "International Conference on Software

  9. SU-E-I-02: A Framework to Perform Batch Simulations of Computational Voxel Phantoms to Study Organ Doses in Computed Tomography Using a Commercial Monte Carlo Software Package

    SciTech Connect (OSTI)

    Bujila, R; Nowik, P; Poludniowski, G [Karolinska University Hospital, Stockholm, Stockholm (Sweden)

    2014-06-01T23:59:59.000Z

    Purpose: ImpactMC (CT Imaging, Erlangen, Germany) is a Monte Carlo (MC) software package that offers a GPU enabled, user definable and validated method for 3D dose distribution calculations for radiography and Computed Tomography (CT). ImpactMC, in and of itself, offers limited capabilities to perform batch simulations. The aim of this work was to develop a framework for the batch simulation of absorbed organ dose distributions from CT scans of computational voxel phantoms. Methods: The ICRP 110 adult Reference Male and Reference Female computational voxel phantoms were formatted into compatible input volumes for MC simulations. A Matlab (The MathWorks Inc., Natick, MA) script was written to loop through a user defined set of simulation parameters and 1) generate input files required for the simulation, 2) start the MC simulation, 3) segment the absorbed dose for organs in the simulated dose volume and 4) transfer the organ doses to a database. A demonstration of the framework is made where the glandular breast dose to the adult Reference Female phantom, for a typical Chest CT examination, is investigated. Results: A batch of 48 contiguous simulations was performed with variations in the total collimation and spiral pitch. The demonstration of the framework showed that the glandular dose to the right and left breast will vary depending on the start angle of rotation, total collimation and spiral pitch. Conclusion: The developed framework provides a robust and efficient approach to performing a large number of user defined MC simulations with computational voxel phantoms in CT (minimal user interaction). The resulting organ doses from each simulation can be accessed through a database which greatly increases the ease of analyzing the resulting organ doses. The framework developed in this work provides a valuable resource when investigating different dose optimization strategies in CT.

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

  11. LANL access restrictions lifted

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |Is Your Home as ReadyAppointedKyungmin Ham, Ph.D.access restrictions

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

  13. Department of Computer & Information Sciences University of Delaware 302-831-2712 www.cis.udel.edu Endless career opportunities

    E-Print Network [OSTI]

    Firestone, Jeremy

    · Networking · High performance computing systems · Multimedia · Bioinformatics · Software engineering

  14. Gerardo Canfora is a full professor of computer science at the Faculty of Engineering and the Director of the Research Centre on Software

    E-Print Network [OSTI]

    Di Penta, Massimiliano

    Maintenance; the 2003 European Conference on Software Maintenance and Reengineering; the 2005 International Workshop on Principles of Software Evolution: He was the General chair of the 2003 European Conference Engineering (WCRE 2007) and of the 9th International Symposium on Web Site Evolution (WSE 2007), and steering

  15. [1] F. P. Brooks, Jr. No silver bullet: Essence and accidents of software engineering. Computer, 20(4):10--19, April 1987.

    E-Print Network [OSTI]

    abstraction paradigm raises several interesting and difficult research problems. When multiple toolies reactReferences [1] F. P. Brooks, Jr. No silver bullet: Essence and accidents of software engineering Programming, 1(3):26-- 49, August/September 1988. [5] G. E. Kaiser and D. Garlan. Melding software systems

  16. Electrical, Computer and Software Engineering

    E-Print Network [OSTI]

    Petriu, Emil M.

    as an early helicopter. Cannons Tank © Emil M. Petriu #12;Military Eng.. Mechanical Eng.. Chemical Eng and maintainability; - Standards (..ISO9000) for documentation and quality assurance,.. ELECTRICALENG. Math

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

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

  19. Computing

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

    assetsimagesicon-science.jpg Computing Providing world-class high performance computing capability that enables unsurpassed solutions to complex problems of...

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

  1. SOFTWARE CATALOG

    E-Print Network [OSTI]

    Beyers, Evelyn

    2013-01-01T23:59:59.000Z

    ASCII EBCDIC Computer CDC VAX IBM (Other) Programs DesiredEBCDIC Density Computer CDC VAX IBM (Other) Programs DesiredASSMBLY/CDC RANNUM/ASSMBLY/VAX CFS/DOC CFS/SOURCE VELCOR/

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

    DOE Patents [OSTI]

    Bouchard, Ann M.; Osbourn, Gordon C.

    2013-01-08T23:59:59.000Z

    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.

  3. USING UML IN A NON-SOFTWARE DESIGN TASK: CREATING AN ELECTRONIC SOFTWARE ENGINEERING HANDBOOK

    E-Print Network [OSTI]

    Dascalu, Sergiu

    USING UML IN A NON-SOFTWARE DESIGN TASK: CREATING AN ELECTRONIC SOFTWARE ENGINEERING HANDBOOK to future developments are also presented in the paper. Keywords: software engineering, electronic handbook & Engineering University of Nevada, Reno, USA {dascalus, muhanna, sreed}@cse.unr.edu 2 Department of Computer

  4. Managing the software design documents with XML Junichi Suzuki

    E-Print Network [OSTI]

    Suzuki, Jun

    Managing the software design documents with XML Junichi Suzuki Department of Computer Science, and addresses how we can manage the software design documents for the distributed software development. Introduction It is hard to share and manage the software design models and their documents within a distributed

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

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

    Parallel IO Software Infrastructure for Large-Scale Systems Parallel IO Software Infrastructure for Large-Scale Systems | Tags: Math & Computer Science Choudhary.png An...

  6. A flight software development and simulation framework for advanced space systems

    E-Print Network [OSTI]

    Enright, John Patrick, 1974-

    2002-01-01T23:59:59.000Z

    Distributed terrestrial computer systems employ middleware software to provide communications abstractions and reduce software interface complexity. Embedded applications are adopting the same approaches, but must make ...

  7. agent-oriented software engineering: Topics by E-print Network

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

    P. Ciancarini 1999-01-01 2 Agent-Oriented Software Engineering Report on the 4th Computer Technologies and Information Sciences Websites Summary: Agent-Oriented Software...

  8. A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms

    E-Print Network [OSTI]

    Stitt, Greg

    2011-01-01T23:59:59.000Z

    In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our approach imposes less restrictions on software tool flow than previous compiler approaches, allowing software designers to use any software language and compiler. Our approach uses a back-end partitioning tool that utilizes decompilation techniques to recover important high-level information, resulting in performance comparable to high-level compiler-based approaches.

  9. 3D Representations for Software Visualization Andrian Marcus

    E-Print Network [OSTI]

    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

  10. META-ENVIRONMENTS FOR SOFTWARE PRODUCTION ANTHONY S. KARRER

    E-Print Network [OSTI]

    Scacchi, Walt

    META-ENVIRONMENTS FOR SOFTWARE PRODUCTION ANTHONY S. KARRER Computer Science Department, Loyola December 1994 Researchers who create software production environments face considerable problems. Soft- ware production environments are large systems that are costly to develop. Furthermore, soft- ware

  11. Software Architecture and Software Configuration Bernhard Westfechtel

    E-Print Network [OSTI]

    Westfechtel, Bernhard

    the software life cycle. In addition, it supports system building (creation of derived objects from support for the management of evolving software objects throughout the whole life cycle. Several problems architectures play a central role in the development and maintenance of a software system. A software

  12. 6 8 IEEE SOFTWARE Published by the IEEE Computer Society 0740-7459/05/$20.00 2005 IEEE capabilities to manage, develop, and deliver

    E-Print Network [OSTI]

    Zelkowitz, Marvin V.

    capabilities to manage, develop, and deliver quality products. We looked at the role of process improve- ment become a major force in software development process improve- ment. Companies strive to increase, University of Maryland A case study of a five-year-old startup company looks at process improvement

  13. Follow that Sketch: Lifecycles of Diagrams and Sketches in Software Development

    E-Print Network [OSTI]

    Sillito, Jonathan

    Follow that Sketch: Lifecycles of Diagrams and Sketches in Software Development Jagoda Walny. Through a series of interviews with computer science re- searchers who develop software, we probed of sketching and diagramming in software development. I. INTRODUCTION Visualization through sketching

  14. Software tectonics

    E-Print Network [OSTI]

    Tsamis, Alexandros, 1976-

    2012-01-01T23:59:59.000Z

    The resent shift of attention in the architectural discourse towards issues of ecological design, coupled with the undeniable role of computation, has already cast a new operative role to the notion of environment. Instead ...

  15. Original article Restricted maximum likelihood

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Original article Restricted maximum likelihood estimation of covariances in sparse linear models on the simplex algorithm of Nelder and Mead [40]. Kovac [29] made modifications that turned it into a stable

  16. Financial Economies With Restricted Participation

    E-Print Network [OSTI]

    Aouani, Zaier

    2009-05-18T23:59:59.000Z

    ), Duffie and Shafer (1985) and Magill and Quinzii (1996). Financial economies with incomplete markets assume (in general) a symmetric participation structure, i.e. each consumer is confronted with the same restrictions on her portfolio trades. This is a...

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

  18. 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 & project highlights Architectures & Compilers Bioinformatics & Computational Biology Data Mining, Databases

  19. Theory and Computation | Center for Functional Nanomaterials

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

    Theory and Computation theory and computation Flexible computational infrastructure, software tools and theoretical consultation are provided to support modeling and understanding...

  20. Software Fault Diagnosis Peter Zoeteweij

    E-Print Network [OSTI]

    Zoeteweij, Peter

    Lab, Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University-to-day basis is constantly growing. Combined with a practically constant rate of faults per line of code in the software development cycle, which aim at exposing such discrepancies. In this context, automated diagnosis

  1. Software-Controlled Architectures for Low Energy

    E-Print Network [OSTI]

    Science #12;3/8/1999 SCALE 2 Improve Energy-Efficiency of Programmable Processors by Re-Examining HardwareSCALE: Software-Controlled Architectures for Low Energy Krste Asanovic MIT Laboratory for Computer-Software Interface Energy- Conscious Compilers Energy-Energy- ExposedExposed ArchitecturesArchitectures SCALE Project

  2. A Foundation for Verified Software Development Systems

    E-Print Network [OSTI]

    Kreitz, Christoph

    engineering techniques cannot provide stringent guarantees on software reliability only very few computer is adopted in safety-critical areas such as aircraft and nuclear reactors. More reliable methods supporting to develop powerful, flexible, and reliable systems for knowledge-based software development. Keywords

  3. Comparison of Strong Gravitational Lens Model Software II. HydraLens: Computer-Assisted Strong Gravitational Lens Model Generation and Translation

    E-Print Network [OSTI]

    Lefor, Alsn T

    2015-01-01T23:59:59.000Z

    The behavior of strong gravitational lens model software in the analysis of lens models is not necessarily consistent among the various software available, suggesting that the use of several models may enhance the understanding of the system being studied. Among the publicly available codes, the model input files are heterogeneous, making the creation of multiple models tedious. An enhanced method of creating model files and a method to easily create multiple models, may increase the number of comparison studies. HydraLens simplifies the creation of model files for four strong gravitational lens model software packages, including Lenstool, Gravlens/Lensmodel, glafic and PixeLens, using a custom designed GUI for each of the four codes that simplifies the entry of the model for each of these codes, obviating the need for user manuals to set the values of the many flags and in each data field. HydraLens is designed in a modular fashion, which simplifies the addition of other strong gravitational lens codes in th...

  4. Briefing, Restricted Data Classifiers- June 2014

    Broader source: Energy.gov [DOE]

    This briefing provides the training required by 10 CFR part 1045 for persons who classify documents containing Restricted Data and Formerly Restricted Data.

  5. Software Engineering School COMSC

    E-Print Network [OSTI]

    Martin, Ralph R.

    management skills and performing key technical tasks in the software development lifecycle. The module and practices that are needed to develop software-intensive systems. Students will work on a software in the software lifecycle, and the pros and cons of different models of software construction to select

  6. Evaluation of Technical Software for Microcomputers

    E-Print Network [OSTI]

    Schmidt, P. S.; Williams, M. A.

    1984-01-01T23:59:59.000Z

    Personal computers offer the potential for significantly easing the tasks of engineers and managers. Effective use of these powerful tools, however, requires good software. This paper describes a number of features affecting the usability...

  7. Understanding and Improving Software Productivity

    E-Print Network [OSTI]

    Scacchi, Walt

    Understanding and Improving Software Productivity Walt Scacchi Institute for Software Research;2 Introduction · What affects software productivity? ­ Software productivity has been one of the most studied aspects of software engineering ­ Goal: review sample of empirical studies of software productivity

  8. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power Administration would like submit theInnovationComputationalEnergy Computers,Computing

  9. applying software reliability: Topics by E-print Network

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

    12;The US Space Shuttle Feitelson, Dror 6 Aarhus Universitet Reliable Software and Architecture Computer Technologies and Information Sciences Websites Summary: Aarhus Universitet...

  10. Batteries - Simulation software aids design ... | ornl.gov

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

    Batteries - Simulation software aids design ... Designers of safe high-performance batteries for electric vehicles are getting a hand with a new computational toolset created by a...

  11. Vehicle Technologies Office: Software Tools | Department of Energy

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

    National Laboratory. GCtool The General Computational toolkit (GCtool) is a versatile simulation software package for designing, analyzing, and comparing different power-plant...

  12. asci software quality: Topics by E-print Network

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

    Quality Model Requirements for Software Quality Engineering Computer Technologies and Information Sciences Websites Summary: is an emerging discipline that is concerned with...

  13. asc software quality: Topics by E-print Network

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

    Quality Model Requirements for Software Quality Engineering Computer Technologies and Information Sciences Websites Summary: is an emerging discipline that is concerned with...

  14. agent oriented software: Topics by E-print Network

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

    21 22 23 24 25 Next Page Last Page Topic Index 1 Agent Oriented Software Engineering Computer Technologies and Information Sciences Websites Summary: - velopment. Specifically,...

  15. Designing supportability into software

    E-Print Network [OSTI]

    Shirolkar, Prashant A., 1973-

    2004-01-01T23:59:59.000Z

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

  16. Designing security into software

    E-Print Network [OSTI]

    Zhang, Chang Tony

    2006-01-01T23:59:59.000Z

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

  17. Theory and Software

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

    Theory and Software Home People Science Highlights Publications Seminars & Meetings Opportunities Advisory Committee Theory and Software Group (X-ray Science Division) The Theory...

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

  19. Software Fault Reporting Processes in Business-Critical Systems

    E-Print Network [OSTI]

    Langseth, Helge

    and product quality. Some specific software methods will be adopted from safety-critical software engineering of Computer and Information Science Faculty of Information Technology, Mathematics and Electrical Engineering and software systems. To increase e.g. the reliability and performance of such systems we rely on a plethora

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

  1. Dannenberg and Thompson, Real-Time Software Synthesis on Superscalar Architectures Real-Time Software Synthesis on Superscalar

    E-Print Network [OSTI]

    Dannenberg, Roger B.

    Dannenberg and Thompson, Real-Time Software Synthesis on Superscalar Architectures 1 Real-Time Software Synthesis on Superscalar Architectures1 Roger B. Dannenberg and Nick Thompson School of Computer: Roger B. Dannenberg and Nick Thompson, "Real-Time Software Synthesis on Superscalar Architectures

  2. Software reliability and safety in nuclear reactor protection systems

    SciTech Connect (OSTI)

    Lawrence, J.D. [Lawrence Livermore National Lab., CA (United States)

    1993-11-01T23:59:59.000Z

    Planning the development, use and regulation of computer systems in nuclear reactor protection systems in such a way as to enhance reliability and safety is a complex issue. This report is one of a series of reports from the Computer Safety and Reliability Group, Lawrence Livermore that investigates different aspects of computer software in reactor National Laboratory, that investigates different aspects of computer software in reactor protection systems. There are two central themes in the report, First, software considerations cannot be fully understood in isolation from computer hardware and application considerations. Second, the process of engineering reliability and safety into a computer system requires activities to be carried out throughout the software life cycle. The report discusses the many activities that can be carried out during the software life cycle to improve the safety and reliability of the resulting product. The viewpoint is primarily that of the assessor, or auditor.

  3. Software distribution using xnetlib

    SciTech Connect (OSTI)

    Dongarra, J.J. [Univ. of Tennessee, Knoxville, TN (US). Dept. of Computer Science]|[Oak Ridge National Lab., TN (US); Rowan, T.H. [Oak Ridge National Lab., TN (US); Wade, R.C. [Univ. of Tennessee, Knoxville, TN (US). Dept. of Computer Science

    1993-06-01T23:59:59.000Z

    Xnetlib is a new tool for software distribution. Whereas its predecessor netlib uses e-mail as the user interface to its large collection of public-domain mathematical software, xnetlib uses an X Window interface and socket-based communication. Xnetlib makes it easy to search through a large distributed collection of software and to retrieve requested software in seconds.

  4. Introduction to Software Engineering

    E-Print Network [OSTI]

    ? ) Concept of Operations (CONOPS) Software Requirements Requirements Engineering Processes System Models

  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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting theCommercialization andComputer Simulations Indicate

  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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power Administration would like submit theInnovationComputationalEnergy

  7. Video Production Services Computing and IT

    E-Print Network [OSTI]

    Bolding, M. Chad

    #12;#12;#12;#12;#12;#12;#12;#12;#12;#12;#12;#12;Video Production Services Computing Captioning software #12;#12;Laptop/ speed typing software Encoder/ Decoder Video feed Captioning software Screen display #12;#12;Laptop/ speed typing software Encoder/ Decoder Video feed Captioning software

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

  9. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOEThe Bonneville Power Administration would like submit theInnovationComputational Biology2If yousimulation of

  10. Excitation energies and Stokes shifts from a restricted open-shell Kohn-Sham approach

    E-Print Network [OSTI]

    Kowalczyk, Tim

    Restricted open-shell Kohn-Sham (ROKS) theory provides a powerful computational tool for calculating singlet excited state energies and dynamics. However, the possibility of multiple solutions to the ROKS equations — with ...

  11. Fourier restriction phenomenon in thin sets 

    E-Print Network [OSTI]

    Papadimitropoulos, Christos

    2010-01-01T23:59:59.000Z

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

  12. Research Reports on Mathematical and Computing Sciences

    E-Print Network [OSTI]

    Department of Industrial Engineering and Management, Kanagawa University, ... method, which have shown their practical efficiency by computer software ...

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

  14. Querying Schemas With Access Restrictions

    E-Print Network [OSTI]

    Benedikt, Michael; Ley, Clemens

    2012-01-01T23:59:59.000Z

    We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values for a set of positions in the relation. For example, a transition can represent access to a Web form, where the user is restricted to filling in values for a particular set of fields. We look at verifying properties of a schema describing the possible accesses of such a system. We present a language where one can describe the properties of an access path, and also specify additional restrictions on accesses that are enforced by the schema. Our main property language, AccLTL, is based on a first-order extension of linear-time temporal logic, interpreting access paths as sequences of relational structures. We also present a lower-level automaton model, Aautomata, which AccLTL specifications can compile into. We show that AccLTL and A-automata can express static analysis problems related to "querying with limited access patterns" that h...

  15. Preprint of paper published in Encyclopedia of Software Engineering, 2nd Edition, Wiley Interscience 2001.

    E-Print Network [OSTI]

    Grundy, John

    in software tools development. We provide a summary of tool applications during the software lifecycle engineers than ever before. The support of appropriate software tools is essential for developers and various likely future research trends in tools development. Introduction The demand for computer software

  16. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering

    E-Print Network [OSTI]

    Qin, Shengchao

    and Workflows · Component-Based Software Engineering · Software Safety, Security and Reliability · Reverse Engineering and Software Maintenance · Service-Oriented Computing · Semantic Web and Web Services · Type3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 29 - 31, 2009

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

  18. Continuing engineering education for software engineering professionals

    SciTech Connect (OSTI)

    Davis, P.I.

    1992-02-19T23:59:59.000Z

    Designers of software for safety-critical applications are impelled to supplement their education through continuing engineering studies in the areas of requirements analysis, hazard identification, risk analysis, fault tolerance, failure modes, and psychology. Today's complex level of design is contributing to opportunities for catastrophic design errors in computer functions where failure of such functions is capable of causing injury and death. A syllabus of post-graduate, core studies within the curricula of five engineering specialties is suggested. Software Engineers are exhorted to undertake a professional, responsible role in safety-critical software design.

  19. Continuing engineering education for software engineering professionals

    SciTech Connect (OSTI)

    Davis, P.I.

    1992-02-19T23:59:59.000Z

    Designers of software for safety-critical applications are impelled to supplement their education through continuing engineering studies in the areas of requirements analysis, hazard identification, risk analysis, fault tolerance, failure modes, and psychology. Today`s complex level of design is contributing to opportunities for catastrophic design errors in computer functions where failure of such functions is capable of causing injury and death. A syllabus of post-graduate, core studies within the curricula of five engineering specialties is suggested. Software Engineers are exhorted to undertake a professional, responsible role in safety-critical software design.

  20. Argonne's computing Zen | Argonne National Laboratory

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

    is dedicated to large-scale computation and builds on Argonne's strengths in high-performance computing software, advanced hardware architectures and applications expertise....

  1. Konstantin (Kosta) Beznosov Electrical and Computer Engineering

    E-Print Network [OSTI]

    Problem Space and its Expected Consequences Olga Beznosova Political Science University of British") human factors malware OR "computer worm" OR "computer virus" OR "malicious software" (security

  2. SOFTWARE EVOLUTION AND THE STAGED MODEL OF THE SOFTWARE LIFECYCLE

    E-Print Network [OSTI]

    1 SOFTWARE EVOLUTION AND THE STAGED MODEL OF THE SOFTWARE LIFECYCLE K. H. Bennett Research............................................................................................................11 1.5 Iterative software development ...............................................................................................................19 1.10 The stages of the software lifecycle

  3. King Fahd University of Petroleum & Minerals College of Compute Sciences and Engineering

    E-Print Network [OSTI]

    El-Alfy, El-Sayed

    King Fahd University of Petroleum & Minerals College of Compute Sciences and Engineering Information and Computer Science Department Software Engineering Student Guide Based on the revised Computer professional careers in computing. The program prepares students to work as requirements engineer, software

  4. Tank monitor and control system (TMACS) software configuration management plan

    SciTech Connect (OSTI)

    GLASSCOCK, J.A.

    1999-05-13T23:59:59.000Z

    This Software Configuration Management Plan (SCMP) describes the methodology for control of computer software developed and supported by the Systems Development and Integration (SD and I) organization of Lockheed Martin Services, Inc. (LMSI) for the Tank Monitor and Control System (TMACS). This plan controls changes to the software and configuration files used by TMACS. The controlled software includes the Gensym software package, Gensym knowledge base files developed for TMACS, C-language programs used by TMACS, the operating system on the production machine, language compilers, and all Windows NT commands and functions which affect the operating environment. The configuration files controlled include the files downloaded to the Acromag and Westronic field instruments.

  5. Automated Vulnerability Detection for Compiled Smart Grid Software

    SciTech Connect (OSTI)

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

    2012-01-01T23:59:59.000Z

    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.

  6. Agile Development and Software Evolution

    E-Print Network [OSTI]

    Feitelson, Dror

    Agile Development and Software Evolution Dror Feitelson Basic Seminar on Software Engineering Hebrew University 2011 #12;Software Lifecycle Req's Analysis Design Construction Testing Transfer Maintenance Textbook view: #12;Software Lifecycle Req's Analysis Design Construction Testing Transfer

  7. HAZARD ANALYSIS SOFTWARE

    SciTech Connect (OSTI)

    Sommer, S; Tinh Tran, T

    2008-04-08T23:59:59.000Z

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

  9. OpenADR Open Source Toolkit: Developing Open Source Software for the Smart Grid

    E-Print Network [OSTI]

    McParland, Charles

    2012-01-01T23:59:59.000Z

    Status of NIST’s EISA Smart Grid Efforts,” Mar. 26, 2009,Software for the Smart Grid Charles McParland LawrenceSoftware for the Smart Grid Charles McParland, Computational

  10. Pumping-Restriction Theorem for Stochastic Networks

    E-Print Network [OSTI]

    V. Y. Chernyak; N. A. Sinitsyn

    2008-09-02T23:59:59.000Z

    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.

  11. VMS software for the Jorway-411 Interface

    SciTech Connect (OSTI)

    Dorries, T.; Moore, C.; Pordes, R.; White, V.

    1987-08-01T23:59:59.000Z

    This reports on a Software Package to access CAMAC through the Jorway-411 Interface, for use on VAX/VMS systems. The software can be used to access parallel and/or serial CAMAC branch highways, and multiple Jorways may be connected to the VAX UNIBUS or Micro Vax QBUS. The software available includes a VAX/VMS device driver for the JORWAY-411 and support routines and programs that access the driver. The software is accompanied by extensive documentation. As discussed below, several of the packages originated from other institutions and have been enhanced by the Data Acquisition Software Group at Fermilab. The software package is in widespread use at Fermilab and over 20 other sites. The software can be run on any of the UNIBUS VAX-11 family of computers using a UNIBUS Jorway-411 to interface to CAMAC, or on a Microvax-II either interfaced to CAMAC through a Q-BUS Jorway-411, or through a Microverter and UNIBUS Jorway. The package includes facilities for performing CAMAC operations remotely. The VAX on which the user runs his or her program need not be directly connected to the Jorway. Server programs allow a VAX connected via DECNET or a PDP-11 connected via a DR11-W link to be the route for accessing the CAMAC hardware.

  12. Restriction Semigroups Manchester, 30th August

    E-Print Network [OSTI]

    St Andrews, University of

    Restriction Semigroups NBSAN 2011 Manchester, 30th August Victoria Gould University of York Victoria Gould (University of York) ICA 2010 1 / 26 #12;Where to begin? Restriction semigroups may of idempotents of S and E E(S) Victoria Gould (University of York) ICA 2010 2 / 26 #12;The relations R and L

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

  14. Embedded Software Security through Key-Based Control Flow Obfuscation

    E-Print Network [OSTI]

    Bhunia, Swarup

    ], as they are expected to run more computation-intensive software. An example is that cutting-edge cellular devices. The threat is a two-edged sword - on one hand, malicious software installed in an embedded system can harm, and physically the portable embedded sys- tems are often severely constrained by form factor, resulting

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

  16. Programming Language Support for Energy-Aware Software

    E-Print Network [OSTI]

    Mayfield, John

    Programming Language Support for Energy-Aware Software Programming Language Support for Energy-Aware servers are the norm of modern computing infrastructure, energy efficiency is a first-class design goal sustainability. This talk focuses improving energy efficiency through software-centered approaches

  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. 32 TaskSpaces: A Software Framework for Parallel

    E-Print Network [OSTI]

    De Sterck, Hans

    and Computational Biology, A. Zomaya, editor, John Wiley and Sons, 2005. i #12;Contents 32 Parallel Bioinformatics32 TaskSpaces: A Software Framework for Parallel Bioinformatics on Computational Grids HANS DE, there is a natural drive towards applying parallel and distributed computing to bioinformatics problems. Grid

  19. Bachelor of Software Engineering Industry Based Learning Stream Course Map -2013

    E-Print Network [OSTI]

    Albrecht, David

    mathematics for computer science FIT1029 Algorithmic problem solving Second Semester FIT1004 Data management FIT1010 Introduction to software engineering FIT1031 Computers and networks FIT1008 Introduction for software engineering FIT2069 Computer architecture FIT2004 Algorithms and data structures Second Semester

  20. Engineering Careers: Software Engineering

    E-Print Network [OSTI]

    Fenster, Sam

    of others When you screw up, you can do it on a massive scale #12;Totally unlike other engineering electronic device #12;Software tools Software engineers build their own tools The OS on your laptop;Just like other engineering Established body of knowledge Established practices Build on the work

  1. Probabilistic Software Workshop Probabilistic Software Workshop

    E-Print Network [OSTI]

    such identification imply a recommendation or it imply that any of the materials, instruments or equipment identified products. · NIST Disclaimer: Certain commercial equipment, instruments, software programs, and materials the official position of the National Institute of Standards and Technology or the U.S. Department of Justice

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

    National Nuclear Security Administration (NNSA)

    features. A continuing emphasis will be placed on tools for improving end-user productivity. The product also provides and supports infrastructure including office and...

  3. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del Sol HomeFacebookScholarship Fund3Biology| Nationalof big-data science Eric Pouyoul

  4. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del Sol HomeFacebookScholarship Fund3Biology| Nationalof big-data science Eric Pouyoul

  5. Windows XP VPN Instructions 12. Connect with the VPN and proceed to http://network.software.vt.edu for software.

    E-Print Network [OSTI]

    Virginia Tech

    and proceed to http://network.software.vt.edu for software. 5. For the Company Name use PPTP VT VPN. Click the Virginia Tech Wireless Network Service (http://wireless.cns.vt.edu) or the Virginia Tech Modem Pool (http on to your computer with an account that has administrator privileges. The PPTP VPN service supports 128 bit

  6. automated classification software: Topics by E-print Network

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

    while it is easy to use and efficient. Tim Menzies 45 Model-driven Automated Software FMEA Neal Snooke, PhD, Aberystwyth University Computer Technologies and Information Sciences...

  7. automated software packages: Topics by E-print Network

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

    while it is easy to use and efficient. Tim Menzies 47 Model-driven Automated Software FMEA Neal Snooke, PhD, Aberystwyth University Computer Technologies and Information Sciences...

  8. Formalizing Reusable Software Components in the Programmer's Apprentice

    E-Print Network [OSTI]

    Rich, Charles

    1987-02-01T23:59:59.000Z

    There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any resistance to the ...

  9. aided software engineering: Topics by E-print Network

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

    8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 Next Page Last Page Topic Index 1 Computer Aided Evolutionary Design for Software Engineering MIT - DSpace Summary: We report on...

  10. Job Opening at American Android Corp. Position: Software Engineer

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Job Opening at American Android Corp. Position: Software Engineer Location: Princeton, New Jersey Job Description: American Android Corp. (www.americanandroid.com) develops humanoid robots modeling, and robot behavior development. Job Requirements: BS in computer science, robotics or related

  11. Interactive Software Technology 1/24 Interactive Software Technology

    E-Print Network [OSTI]

    Wegner, Peter

    Interactive Software Technology 1/24 Interactive Software Technology Peter Wegner, Brown University Paradigms 2. Models of Interaction 3. Software Engineering, Artificial Intelligence, and Open Systems 4. Object­oriented Design: Sequential Interaction 5. Multiple Interface Models: Concurrent Interaction 6

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

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

    SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM System Maintenance Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More...

  13. Computational University of Leeds

    E-Print Network [OSTI]

    Berzins, M.

    of the key application areas is reactive fluid flow, including atmospheric chemistry, combustion, hydraulics reality systems. Software The Unit has an extensive and evolving library of multi-purpose PDE software times. Overview University of Leeds Computational PDEs Unit http://www.comp.leeds.ac.uk/cpde/ #12

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

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

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

  17. Sandia National Laboratories ASCI Applications Software Quality Engineering Practices

    SciTech Connect (OSTI)

    ZEPPER, JOHN D.; ARAGON, KATHRYN MARY; ELLIS, MOLLY A.; BYLE, KATHLEEN A.; EATON, DONNA SUE

    2003-04-01T23:59:59.000Z

    This document provides a guide to the deployment of the software verification activities, software engineering practices, and project management principles that guide the development of Accelerated Strategic Computing Initiative (ASCI) applications software at Sandia National Laboratories (Sandia). The goal of this document is to identify practices and activities that will foster the development of reliable and trusted products produced by the ASCI Applications program. Document contents include an explanation of the structure and purpose of the ASCI Quality Management Council, an overview of the software development lifecycle, an outline of the practices and activities that should be followed, and an assessment tool.

  18. An analysis of the cloud computing platform

    E-Print Network [OSTI]

    Bhattacharjee, Ratnadeep

    2009-01-01T23:59:59.000Z

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

  19. Undergraduate Programme Handbook BSc Computer Science

    E-Print Network [OSTI]

    Painter, Kevin

    Undergraduate Programme Handbook BSc Computer Science MEng Software Engineering 2014 ­ 2015 Heriot-Watt University is a Charity registered in Scotland, SC000278 School of Mathematical and Computer Sciences #12..............................................................................16 BSc Computer Science Programme Description

  20. Software quality assurance handbook

    SciTech Connect (OSTI)

    Not Available

    1990-09-01T23:59:59.000Z

    There are two important reasons for Software Quality Assurance (SQA) at Allied-Signal Inc., Kansas City Division (KCD): First, the benefits from SQA make good business sense. Second, the Department of Energy has requested SQA. This handbook is one of the first steps in a plant-wide implementation of Software Quality Assurance at KCD. The handbook has two main purposes. The first is to provide information that you will need to perform software quality assurance activities. The second is to provide a common thread to unify the approach to SQA at KCD. 2 figs.

  1. COMPUTING APPLICATIONS APPLICATIONS

    E-Print Network [OSTI]

    Bader, David A.

    COMPUTING APPLICATIONS APPLICATIONS APPLICATIONS David A. Bader NEW MEXICO, USA Robert Pennington of the interconnect net- work and related software is shown by comparing the same application running on a large

  2. Techniques in Active and Generic Software Libraries

    E-Print Network [OSTI]

    Smith, Jacob N.

    2010-07-14T23:59:59.000Z

    at the end of a multiyear journey into computer science ? especially software engineering and the development of software libraries. I would like to thank my adviser Dr. Jaakko J?arvi first and foremost. Little does he know that it was reading his papers (and... managed to actually work on a project together. Hand-in-hand I would like to thank everyone in Dr. Bjarne Stroustrup?s lab (including Bjarne for being such a good sport): Luke Wagner for helping me to understand logic and language theory; Yuriy Solodkyy...

  3. RESTRICTED-TRACE APPROXIMATION FOR NUCLEAR ANTIFERROMAGNETISM

    E-Print Network [OSTI]

    Boyer, Edmond

    1353 RESTRICTED-TRACE APPROXIMATION FOR NUCLEAR ANTIFERROMAGNETISM M. GOLDMAN and G. SARMA Service to predict several properties of nuclear antiferromagnetic structures : sublattice magnetization of nuclear dipolar magnetic ordering, either antiferromagnetic or ferromagnetic, has been reported

  4. IFITM Proteins Restrict Viral Membrane Hemifusion

    E-Print Network [OSTI]

    2013-01-01T23:59:59.000Z

    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

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

    SciTech Connect (OSTI)

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

    2013-01-01T23:59:59.000Z

    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.

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

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

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

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

  10. Software Quality Assurance

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

    2000-10-02T23:59:59.000Z

    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.

  11. Software Quality Assurance

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

    2000-10-02T23:59:59.000Z

    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.

  12. Software Talk [Compatibility Mode

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

    acquisitionanalysis software for Diffraction Beam Lines at SSRL spec SPECPLOT ICS WxDiff WebSpec First installation on BL 2-1 CSS spec Direct connection (SCSI) 3rd party user...

  13. The Hidden Job Requirements for a Software Engineer

    SciTech Connect (OSTI)

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

    2014-01-09T23:59:59.000Z

    In a world increasingly operated by computers, where innovation depends on software, the software engineer’s 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.

  14. University of Newcastle upon Tyne Software Engineering Students' Cross-site Collaboration: An Experience

    E-Print Network [OSTI]

    Newcastle upon Tyne, University of

    University of Newcastle upon Tyne COMPUTING SCIENCE Software Engineering Students' Cross-site their site's Software Engineering (SE) modules and provided strategic coupling of cross- site student groups allowed students to utilise the expertise from their site's Software Engineering (SE) modules and provided

  15. Toward a Text Classification System for the Quality Assessment of Software Requirements Written in

    E-Print Network [OSTI]

    Kosseim, Leila

    in Natural Language Olga Ormandjieva Department of Computer Science and Software Engineering ConcordiaToward a Text Classification System for the Quality Assessment of Software Requirements Written and Software Engineering Concordia University Montreal, Canada kosseim@cse.concordia.ca Ishrar Hussain

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

  17. Final Report: Center for Scalable Application Development Software

    SciTech Connect (OSTI)

    Mellor-Crummey, John [Rice University

    2014-10-26T23:59:59.000Z

    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.

  18. Managing a Software Ecosystem Using a Multiple Software Product Line

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Managing a Software Ecosystem Using a Multiple Software Product Line: a Case Study on Digital increases the number of software ecosystems: software platforms developed and maintained in a decentralized YourCast from a single system to a medium- scale ecosystem, we show how organizing it as a multiple

  19. Software Safety Tutorial Status Update 1 Software Safety Tutorial

    E-Print Network [OSTI]

    Tian, Jeff

    Software Safety Tutorial Status Update 1 Software Safety Tutorial (Status Update) Jeff Tian, tian@engr.smu.edu CSE, SMU, Dallas, TX 75275 Topics · Project Overview · Software Safety Overview · Project Tasks competency for real-time software engineers. · Project team: Jeff Tian (SMU): Basics of SSE D.T. Huynh

  20. Software Quality Model Requirements for Software Quality Engineering

    E-Print Network [OSTI]

    Suryn, Witold

    Quality Engineering needs a quality model that is usable throughout the software lifecycle, systematic, disciplined, quantifiable approach to the development and maintenance of quality of softwareSoftware Quality Model Requirements for Software Quality Engineering Marc-Alexis Côté M. Ing (marc

  1. Conserving Software-based Artwork through Software Engineering

    E-Print Network [OSTI]

    Marchese, Francis

    analysis, system and software design, its development, operation, and maintenance [1]. Software engineering role in software development within the aerospace, high technology, and financial service industries products to continue to be used. Maintenance is the longest process in the software engineering lifecycle

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

    E-Print Network [OSTI]

    Nierstrasz, Oscar

    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

  3. Radiobiological modelling with MarCell software

    SciTech Connect (OSTI)

    Hasan, J.S.; Jones, T.D.

    1996-10-01T23:59:59.000Z

    Jones introduced a bone marrow radiation cell kinetics model with great potential for application in the fields of health physics, radiation research, and medicine. However, until recently, only the model developers have been able to apply it because of the complex array of biological and physical assignments needed for evaluation of a particular radiation exposure protocol. The purpose of this article is to illustrate the use of MarCell (MARrow CELL Kinetics) software for MS-DOS, a user-friendly computer implementation of that mathematical model that allows almost anyone with an elementary knowledge of radiation physics and/or medical procedures to apply the model. A hands-on demonstration of the software will be given by guiding the user through evaluation of a medical total body irradiation protocol and a nuclear fallout scenario. A brief overview of the software is given in the Appendix.

  4. Common Misconceptions about Software Architecture

    E-Print Network [OSTI]

    van der Hoek, André

    Common Misconceptions about Software Architecture by Philippe Kruchten Rational Fellow Rational Software Canada References to architecture are everywhere: in every article, in every ad. And we take definition of software architecture. Are we all understanding the same thing? We gladly accept that software

  5. Department of Computer Science, College of Computing and Information University at Albany --State University of New York

    E-Print Network [OSTI]

    Plotkin, Joshua B.

    Department of Computer Science, College of Computing and Information University at Albany -- State, Information Retrieval, Computational Social Science, Software Engineering, Database Systems, Distributed The Department of Computer Science at the University at Albany, State University of New York (UAlbany

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

    SciTech Connect (OSTI)

    Sussman, Alan [University of Maryland

    2014-10-21T23:59:59.000Z

    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.

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

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

  9. Self-assembling software generator

    DOE Patents [OSTI]

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

    2011-11-25T23:59:59.000Z

    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.

  10. Reducing Software Failures: Addressing the Ethical Risks of the Software Development By Don Gotterbarn

    E-Print Network [OSTI]

    De Montfort University

    Reducing Software Failures: Addressing the Ethical Risks of the Software Development Lifecycle by software developers. This process also is incorporated into a software development life cycle. A tool to develop Software Development Impact Statements is also discussed. INTRODUCTION Software developers

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

  12. Toward Empirically-Based Software Visualization Languages Sarah Douglas

    E-Print Network [OSTI]

    Hundhausen, Chris

    as a separate process under the control of the dbx debugger) and graphics. At any point in the process, users and computer graphics can give one insight into the program's dynamic behavior, computer- based software for designing and specifying the algorithm-to-graphics map- ping, whereas the end users--script authors

  13. Parallel Computing on Semidefinite Programs

    E-Print Network [OSTI]

    2003-04-22T23:59:59.000Z

    Apr 22, 2003 ... Mathematics and Computer Science Division ... implementations of these methods have been restricted to a single processor. ...... Manuscript, School of Industrial and Systems Engineering, Georgia Institute of Technology, ...

  14. ITP Chemicals: Technology Roadmap for Computational Chemistry

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

    software, coupled with user-friendly graphical user interfaces, access to high performance computing is becoming available to a much broader community of users. In the longer...

  15. Introduction to Computing I Laboratory Manual

    E-Print Network [OSTI]

    Inkpen, Diana

    workstations and network. If your major is computer science or software engineering, your SITE account................................................................................................................ 6 The SITE Environment............................................................................................... 6 Printing from SITE labs

  16. Proceedings of the International Conference on Computational Biosciences and Bio-Informatics (ICCBBI 2011), July 2011, Bhubaneswar, India. A Software Tool for Information Management and Data Mining of Biological Data

    E-Print Network [OSTI]

    Baranauskas, José Augusto

    -Informatics (ICCBBI 2011), July 2011, Bhubaneswar, India. A Software Tool for Information Management and Data Mining resources. Understanding how organisms are able to adapt to difficult conditions and how organisms take of saving endangered species, produce effective environmental policies, and produce biological knowledge

  17. Software Engineering Course Notes

    E-Print Network [OSTI]

    Damon, Craig A.

    of too many managers is to chase away good people. 1. These roles may be split between technical with a manager. Managers have three roles in software development1: · people management · productivity management personnel research, Kristiansand, Norway. #12;22 Management Managing people Good people management

  18. IBM Software Cross Industries

    E-Print Network [OSTI]

    and minimize cost with our experi- enced onshore and offshore teams. We can deliver the perfect technical of core functionality for Lotus and WebSphere Portal software. Our proof-of-concept solutions provide short, focused engagements to help you explore specific, client defined functionality. Business

  19. JSATS Decoder Software Manual

    SciTech Connect (OSTI)

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

    2013-05-01T23:59:59.000Z

    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.

  20. IBM Software Providesacomprehensivesolutionfor

    E-Print Network [OSTI]

    , companies must make sure that they're delivering products that meet their customers' requirements while companies address the challenges of embedded software development and delivery-- from initial product products, services and best practices to help companies define and manage their product development

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

  2. Acknowledgment of Restricted Staff Employment Dear Colleague

    E-Print Network [OSTI]

    Acton, Scott

    ; or a University Staff position funded wholly or in part from non-continuous or non- recurring funding sources (e into a Restricted University Staff position at the University of Virginia. Employment in this position is contingent: A University Staff position created and filled to complete a specific function or project within a defined

  3. Restricting profile function of hedgehog Skyrmion

    E-Print Network [OSTI]

    Jun Yamashita; Minoru Hirayama

    2006-10-19T23:59:59.000Z

    The profile function for the hedgehog Skyrmion is investigated. After discussing how the form of the profile function is restricted by the field equation, the s tatic energy is numerically calculated. It is found that the profile functions c onsidered here sometimes give the static energy smaller than previous ones.

  4. ENUMERATION FORMUL FOR PATTERN RESTRICTED STIRLING PERMUTATIONS

    E-Print Network [OSTI]

    Kuba, Markus

    ENUMERATION FORMULÃ? FOR PATTERN RESTRICTED STIRLING PERMUTATIONS MARKUS KUBA AND ALOIS PANHOLZER ABSTRACT. We classify k-Stirling permutations avoiding a set of ordered patterns of length three according, and also structural decompositions of k-Stirling permutations via the so-called block decomposition, or via

  5. Sandia National Laboratories ASCI Applications Software Quality Engineering Practices

    SciTech Connect (OSTI)

    ZEPPER, JOHN D.; ARAGON, KATHRYN MARY; ELLIS, MOLLY A.; BYLE, KATHLEEN A.; EATON, DONNA SUE

    2002-01-01T23:59:59.000Z

    This document provides a guide to the deployment of the software verification activities, software engineering practices, and project management principles that guide the development of Accelerated Strategic Computing Initiative (ASCI) applications software at Sandia National Laboratories (Sandia). The goal of this document is to identify practices and activities that will foster the development of reliable and trusted products produced by the ASCI Applications program. Document contents include an explanation of the structure and purpose of the ASCI Quality Management Council, an overview of the software development lifecycle, an outline of the practices and activities that should be followed, and an assessment tool. These sections map practices and activities at Sandia to the ASCI Software Quality Engineering: Goals, Principles, and Guidelines, a Department of Energy document.

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

    SciTech Connect (OSTI)

    Jason L. Wright; Miles McQueen; Lawrence Wellman

    2012-08-01T23:59:59.000Z

    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.

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

  8. Replay behaviors in cyclic debugging of concurrent software

    E-Print Network [OSTI]

    Bhutkar, Arjun Vijay

    1991-01-01T23:59:59.000Z

    REPLAY BEHAVIORS IN CYCLIC DEBUGGING OF CONCURRENT SOFTWARE A Thesis by ARJUN VIJAY BHUTKAR Submitted to the Office of Graduate Studies of Texas ASM University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE... December 1991 Major Subject: Computer Science REPLAY BEHAVIORS IN CYCLIC DEBUGGING OF CONCURRENT SOFTWARE A Thesis by ARJUN VIJAY BHUTKAR Approved as to style and content by: t ) 1)) Riche. rd A. Volz (Chair of Committee) /~ ggPM Fabrizio...

  9. A methodological approach to the complexity measurement of software designs

    E-Print Network [OSTI]

    Williams, Clay Edwin

    1990-01-01T23:59:59.000Z

    A METHODOLOGICAL APPROACH TO THE COMPLEXITY MEASUREMENT OF SOFTWARE DESIGNS A Thesis by CLAY EDWIN WILLIAMS Submitted to the Office of Graduate Studies of Texas AkM University in partial fulffilment of the requirements for the degree... of MASTER OF SCIENCE December 1990 Major Subject: Computer Science A METHODOLOGICAL APPROACH TO THE COMPLEXITY MEASUREMENT OF SOFTWARE DESIGNS A Thesis by CLAY EDWIN WILLIAMS Approved as to style and content by: Willi m M. L' (Co-Chair of C ittee...

  10. Mesh component design and software integration within SUMAA3d.

    SciTech Connect (OSTI)

    Freitag, L.

    1999-01-13T23:59:59.000Z

    The requirements of distributed-memory applications that use mesh management software tools are diverse, and building software that meets these requirements represents a considerable challenge. In this paper we discuss design requirements for a general, component approach for mesh management for use within the context of solving PDE applications on parallel computers. We describe recent efforts with the SUMAA3d package motivated by a component-based approach and show how these efforts have considerably improved both the flexibility and the usability of this software.

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

  12. Mining Test Cases To Improve Software Maintenance

    E-Print Network [OSTI]

    Ziftci, Celal

    also known as software development lifecycle) is a set ofin the Software Development Lifecycle In the lifecycle of apart of the software development lifecycle, has many

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

  14. Gammasphere software development. Progress report

    SciTech Connect (OSTI)

    Piercey, R.B.

    1994-01-01T23:59:59.000Z

    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.

  15. Software Engineering Craig A. Damon

    E-Print Network [OSTI]

    Damon, Craig A.

    ) greenfield vs. brownfield project features #12;Software EngineeringCIS4150-1 20 many roles contribute to s

  16. Software Verification and Validation Procedure

    SciTech Connect (OSTI)

    Olund, Thomas S.

    2008-09-15T23:59:59.000Z

    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.

  17. SAPHIRE 8 Software Configuration Management Plan

    SciTech Connect (OSTI)

    Curtis Smith

    2010-01-01T23:59:59.000Z

    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.

  18. 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-01T23:59:59.000Z

    ? Technologie, Hydro-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... of historical data 10 Groupe ? Technologie, Hydro-Qu?bec > What are operation indicators? ? Value calculated from combination of measurements, set points or others operation indicators ? Comparables values with power units or no unit ? 30 fixed defined...

  19. SO(N) restricted Schur polynomials

    E-Print Network [OSTI]

    Garreth Kemp

    2015-01-10T23:59:59.000Z

    We focus on the 1/4-BPS sector of free super Yang-Mills theory with an SO(N) gauge group. This theory has an AdS/CFT dual in the form of type IIB string theory with AdS_5 X RP^5 geometry. With the aim of studying excited giant graviton dynamics, we construct an orthogonal basis for this sector of the gauge theory in this work. First, we demonstrate that the counting of states, as given by the partition function, and the counting of restricted Schur polynomials matches by restricting to a particular class of Young diagram labels. We then give an explicit construction of these gauge invariant operators and evaluate their two-point function exactly. This paves the way to studying the spectral problem of these operators and their D-brane duals.

  20. (865) 574-6185, mccoydd@ornl.gov Advanced Scientific Computing Research

    E-Print Network [OSTI]

    Pennycook, Steve

    on integrating new software for the science applications which researchers run on high performance computing platforms. One of the key challenges in high performance computing is to ensure that the software which

  1. Parallel computing works

    SciTech Connect (OSTI)

    Not Available

    1991-10-23T23:59:59.000Z

    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. Salvo: Seismic imaging software for complex geologies

    SciTech Connect (OSTI)

    OBER,CURTIS C.; GJERTSEN,ROB; WOMBLE,DAVID E.

    2000-03-01T23:59:59.000Z

    This report describes Salvo, a three-dimensional seismic-imaging software for complex geologies. Regions of complex geology, such as overthrusts and salt structures, can cause difficulties for many seismic-imaging algorithms used in production today. The paraxial wave equation and finite-difference methods used within Salvo can produce high-quality seismic images in these difficult regions. However this approach comes with higher computational costs which have been too expensive for standard production. Salvo uses improved numerical algorithms and methods, along with parallel computing, to produce high-quality images and to reduce the computational and the data input/output (I/O) costs. This report documents the numerical algorithms implemented for the paraxial wave equation, including absorbing boundary conditions, phase corrections, imaging conditions, phase encoding, and reduced-source migration. This report also describes I/O algorithms for large seismic data sets and images and parallelization methods used to obtain high efficiencies for both the computations and the I/O of seismic data sets. Finally, this report describes the required steps to compile, port and optimize the Salvo software, and describes the validation data sets used to help verify a working copy of Salvo.

  3. Emergency building temperature restrictions. Final evaluation

    SciTech Connect (OSTI)

    None

    1980-11-01T23:59:59.000Z

    On July 5, 1979, DOE promulgated final regulations of the Emergency Building Temperature Restrictions program, placing emergency restrictions on thermostat settings for space heating, space cooling, and hot water in commercial, industrial, and nonresidential public buildings. The final regulations restricted space heating to a maximum of 65/sup 0/F, hot water temperature to a maximum of 105/sup 0/F, and cooling temperature to a minimum of 78/sup 0/F. A comprehensive evaluation of the entire EBTF program for a nine-month period from July 16, 1979 is presented. In Chapter 1, an estimate of the population of buildings covered by EBTR is presented. In Chapter 2, EBTR compliance by building type and region is reported. Exemptions are also discussed. In Chapter 3, the simulations of building energy use are explained and the relative impact of various building characteristics and effectiveness of different control strategies are estimated. Finally, in Chapter 4, the methodology for scaling the individual building energy savings to the national level is described, and estimated national energy savings are presented.

  4. 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-01T23:59:59.000Z

    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.

  5. Gravanom Software User's Guide

    SciTech Connect (OSTI)

    Sharma, B.

    1999-03-11T23:59:59.000Z

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

  6. The Fraunhofer Quantum Computing Portal - www.qc.fraunhofer.de - A web-based Simulator of Quantum Computing Processes

    E-Print Network [OSTI]

    Helge Rose'; Torsten Asselmeyer-Maluga; Matthias Kolbe; Falk Niehoerster; Andreas Schramm

    2004-06-14T23:59:59.000Z

    Fraunhofer FIRST develops a computing service and collaborative workspace providing a convenient tool for simulation and investigation of quantum algorithms. To broaden the twenty qubit limit of workstation-based simulations to the next qubit decade we provide a dedicated high memorized Linux cluster with fast Myrinet interconnection network together with a adapted parallel simulator engine. This simulation service supplemented by a collaborative workspace is usable everywhere via web interface and integrates both hardware and software as collaboration and investigation platform for the quantum community. The beta test version realizes all common one, two and three qubit gates, arbitrary one and two bit gates, orthogonal measurements as well as special gates like Oracle, Modulo function, Quantum Fourier Transformation and arbitrary Spin-Hamiltonians up to 31 qubits. For a restricted gate set it feasible to investigate circuits with up to sixty qubits. URL: http://www.qc.fraunhofer.de

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

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

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

  10. Planning an Empirical Experiment To Evaluate The Effects Of Pair Work On The Design Phase Of The Software Lifecycle

    E-Print Network [OSTI]

    New South Wales, University of

    on the process and products of the design phase of the software development lifecycle. However, literature revealed that the product and process of pair programming work in the software development lifecycle have Of The Software Lifecycle Hiyam Al-Kilidar1 , Ross Jeffery1 , Aybuke Aurum2 , Cat Kutay1 1 School of Computer

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

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

    PROGRAM SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM Training Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM More Documents & Publications Quality Assurance Checklist...

  12. Software Quality Assurance Subcommittee : Guidelines for Requirements...

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

    Software Quality Assurance Subcommittee : Guidelines for Requirements Management Software Quality Assurance Subcommittee : Guidelines for Requirements Management Requirements...

  13. Electronic Records Management Software Applications Design Criteria...

    Energy Savers [EERE]

    Electronic Records Management Software Applications Design Criteria Standard Electronic Records Management Software Applications Design Criteria Standard This Standard is reissued...

  14. Numerical solutions of differential equations on FPGA-enhanced computers 

    E-Print Network [OSTI]

    He, Chuan

    2009-05-15T23:59:59.000Z

    . Their sustained computational performances are compared with pure software programs operating on commodity CPUbased general-purpose computers. Quantitative analysis is performed from a hierarchical set of aspects as customized/extraordinary computer arithmetic...

  15. King Fahd University of Petroleum & Minerals College of Computer Sciences and Engineering

    E-Print Network [OSTI]

    El-Alfy, El-Sayed

    King Fahd University of Petroleum & Minerals College of Computer Sciences and Engineering Information and Computer Science Department Software Engineering Student Guide (Based on the revised Software of Information and Computer Science offers a BS in Software Engineering. The current program was revised

  16. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742EnergyOnItemResearch > TheNuclear PressLaboratorySoftware Home Climate & Earth Systems

  17. Software Talk [Compatibility Mode]

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level:Energy: Grid Integration Redefining What'sis Taking Over Our Instagram Secretary Moniz9MorganYou are hereValueacquisition/analysis software

  18. NERSC Software Downloads

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1AllocationsNOVAPlayed Key Role in Workflow Software

  19. NERSC Software List

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of Science (SC)Integrated Codes |IsLove Your1AllocationsNOVAPlayed Key Role in Workflow Software

  20. Workshop and conference on Grand Challenges applications and software technology

    SciTech Connect (OSTI)

    Not Available

    1993-12-31T23:59:59.000Z

    On May 4--7, 1993, nine federal agencies sponsored a four-day meeting on Grand Challenge applications and software technology. The objective was to bring High-Performance Computing and Communications (HPCC) Grand Challenge applications research groups supported under the federal HPCC program together with HPCC software technologists to: discuss multidisciplinary computational science research issues and approaches, identify major technology challenges facing users and providers, and refine software technology requirements for Grand Challenge applications research. The first day and a half focused on applications. Presentations were given by speakers from universities, national laboratories, and government agencies actively involved in Grand Challenge research. Five areas of research were covered: environmental and earth sciences; computational physics; computational biology, chemistry, and materials sciences; computational fluid and plasma dynamics; and applications of artificial intelligence. The next day and a half was spent in working groups in which the applications researchers were joined by software technologists. Nine breakout sessions took place: I/0, Data, and File Systems; Parallel Programming Paradigms; Performance Characterization and Evaluation of Massively Parallel Processing Applications; Program Development Tools; Building Multidisciplinary Applications; Algorithm and Libraries I; Algorithms and Libraries II; Graphics and Visualization; and National HPCC Infrastructure.

  1. Trilinos developers SQE guide : ASC software quality engineering practices.

    SciTech Connect (OSTI)

    Willenbring, James Michael; Heroux, Michael Allen

    2013-05-01T23:59:59.000Z

    The Trilinos Project is an effort to develop algorithms and enabling technologies within an object-oriented software framework for the solution of large-scale, complex multi-physics engineering and scientific problems. A new software capability is introduced into Trilinos as a package. A Trilinos package is an integral unit and, although there are exceptions such as utility packages, each package is typically developed by a small team of experts in a particular algorithms area such as algebraic preconditioners, nonlinear solvers, etc. The Trilinos Developers SQE Guide is a resource for Trilinos package developers who are working under Advanced Simulation and Computing (ASC) and are therefore subject to the ASC Software Quality Engineering Practices as described in the Sandia National Laboratories Advanced Simulation and Computing (ASC) Software Quality Plan: ASC Software Quality Engineering Practices Version 3.0 document [1]. The Trilinos Developer Policies webpage [2] contains a lot of detailed information that is essential for all Trilinos developers. The Trilinos Software Lifecycle Model [3]defines the default lifecycle model for Trilinos packages and provides a context for many of the practices listed in this document.

  2. Intelligent Software Agents: Sensor Integration and Response

    SciTech Connect (OSTI)

    Kulesz, James J [ORNL; Lee, Ronald W [ORNL

    2013-01-01T23:59:59.000Z

    Abstract In a post Macondo world the buzzwords are Integrity Management and Incident Response Management. The twin processes are not new but the opportunity to link the two is novel. Intelligent software agents can be used with sensor networks in distributed and centralized computing systems to enhance real-time monitoring of system integrity as well as manage the follow-on incident response to changing, and potentially hazardous, environmental conditions. The software components are embedded at the sensor network nodes in surveillance systems used for monitoring unusual events. When an event occurs, the software agents establish a new concept of operation at the sensing node, post the event status to a blackboard for software agents at other nodes to see , and then react quickly and efficiently to monitor the scale of the event. The technology addresses a current challenge in sensor networks that prevents a rapid and efficient response when a sensor measurement indicates that an event has occurred. By using intelligent software agents - which can be stationary or mobile, interact socially, and adapt to changing situations - the technology offers features that are particularly important when systems need to adapt to active circumstances. For example, when a release is detected, the local software agent collaborates with other agents at the node to exercise the appropriate operation, such as: targeted detection, increased detection frequency, decreased detection frequency for other non-alarming sensors, and determination of environmental conditions so that adjacent nodes can be informed that an event is occurring and when it will arrive. The software agents at the nodes can also post the data in a targeted manner, so that agents at other nodes and the command center can exercise appropriate operations to recalibrate the overall sensor network and associated intelligence systems. The paper describes the concepts and provides examples of real-world implementations including the Threat Detection and Analysis System (TDAS) at the International Port of Memphis and the Biological Warning and Incident Characterization System (BWIC) Environmental Monitoring (EM) Component. Technologies developed for these 24/7 operational systems have applications for improved real-time system integrity awareness as well as provide incident response (as needed) for production and field applications.

  3. Restrictions on Federal Employees Acceptance of Gifts

    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 DataDepartment of Energy Your Density Isn'tOrigin ofEnergy at Waste-to-Energy usingof Enhanced Dr.ResponseEnergyforRestrictions on

  4. 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 onYou are now leaving Energy.gov You are now leaving Energy.gov You are beingZealand Jump to:Ezfeedflag JumpID-fTri GlobalJumpGoogleAreaMap JumpNOTITLE JumpRestrictedIFrame Jump to:

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

  6. Restriction mapping in nanofluidic devices Robert Riehn*, Manchun Lu

    E-Print Network [OSTI]

    Wang, Yan Mei

    Restriction mapping in nanofluidic devices Robert Riehn*, Manchun Lu , Yan-Mei Wang*, Shuang Fang order. We present here an approach to restriction mapping that is based on stretching DNA in nanofluidic contain- ing Mg2 and the restriction enzyme. The two microfluidic channels are linked by 10 nanofluidic

  7. Computer Science The computer science program offers a foundation in the

    E-Print Network [OSTI]

    Miles, Will

    Computer Science The computer science program offers a foundation in the fundamentals of computer, the entertainment industry or government, the computer science major, which emphasizes the theory and application in computer science, students develop expertise in systems analysis, software development, networking

  8. Knowware: the third star after Hardware and Software

    E-Print Network [OSTI]

    Lu, Ruqian

    2007-01-01T23:59:59.000Z

    This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering and its three life cycle models: furnace model, crystallization model and spiral model are proposed and analyzed. Techniques of software/knowware co-engineering are introduced. A software component whose knowledge is replaced by knowware is called mixware. An object and component oriented development schema of mixware is introduced. In particular, the tower model and ladder model for mixware development are proposed and discussed. Finally, knowledge service and knowware based Web service are introduced and compared with Web service. In summary, knowware, software and hardware should be considered as three equally important underpinnings of IT industry. Ruqian Lu is a professor of computer science of the Institute of Mathematics, Academy of Mathematics and System Sciences. He is a fellow of Chin...

  9. Computational mechanics

    SciTech Connect (OSTI)

    Goudreau, G.L.

    1993-03-01T23:59:59.000Z

    The Computational Mechanics thrust area sponsors research into the underlying solid, structural and fluid mechanics and heat transfer necessary for the development of state-of-the-art general purpose computational software. The scale of computational capability spans office workstations, departmental computer servers, and Cray-class supercomputers. The DYNA, NIKE, and TOPAZ codes have achieved world fame through our broad collaborators program, in addition to their strong support of on-going Lawrence Livermore National Laboratory (LLNL) programs. Several technology transfer initiatives have been based on these established codes, teaming LLNL analysts and researchers with counterparts in industry, extending code capability to specific industrial interests of casting, metalforming, and automobile crash dynamics. The next-generation solid/structural mechanics code, ParaDyn, is targeted toward massively parallel computers, which will extend performance from gigaflop to teraflop power. Our work for FY-92 is described in the following eight articles: (1) Solution Strategies: New Approaches for Strongly Nonlinear Quasistatic Problems Using DYNA3D; (2) Enhanced Enforcement of Mechanical Contact: The Method of Augmented Lagrangians; (3) ParaDyn: New Generation Solid/Structural Mechanics Codes for Massively Parallel Processors; (4) Composite Damage Modeling; (5) HYDRA: A Parallel/Vector Flow Solver for Three-Dimensional, Transient, Incompressible Viscous How; (6) Development and Testing of the TRIM3D Radiation Heat Transfer Code; (7) A Methodology for Calculating the Seismic Response of Critical Structures; and (8) Reinforced Concrete Damage Modeling.

  10. SHM Data Sets and Software

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

    Sets and Software Contact Institute Director Charles Farrar (505) 663-5330 Email UCSD EI Director Michael Todd (858) 534-5951 Professional Staff Assistant Jutta Kayser (505)...

  11. The architecture of a plug-and-play kernel for oilfield software applications

    SciTech Connect (OSTI)

    Ward, V.L.; Seaton, C.P. [Schlumberger Dowell, Tulsa, OK (United States)

    1996-12-01T23:59:59.000Z

    It is now common practice for engineers to use PC software to design and evaluate oilfield services. Rapidly changing technology in PC software has made it necessary for organizations to release new applications quickly to remain competitive. The authors designed a plug-and-play kernel for the computer aided design and evaluation (CADE) applications to reduce development time and time to market. The paper discusses the kernel used in the CADE software in detail.

  12. An evaluation of WPS-Plus word processing software for the IBM PC and compatibles

    SciTech Connect (OSTI)

    Reeves, C.A. Jr.; Turpin, D.M.

    1987-06-06T23:59:59.000Z

    An evaluation was performed on WPS-Plus/Workstation PC-based word processing software available from the Digital Equipment Corp. (DEC). This review concentrated on two areas: review of the built-in DEC VT100/220/240 terminal emulation software, and evaluation of the word processing functions themselves, with the former being the primary point of emphasis. The software was found in general to compare favorably with similar software residing in the DEC VAX computers, and files generated with WPS-Plus/Workstation can be transferred to the VAX computers and edited with WPS-Plus in the VAX and vice-versa, with all formatting codes intact. However, many functions most users have grown to expect in word processing software are lacking in WPS-Plus/Workstation. Thus the product can only be recommended for those who use WPS-Plus on the VAX and desire the same user interface and functionality in a personel computer product.

  13. Software/firmware design specification for 10-MWe solar-thermal central-receiver pilot plant

    SciTech Connect (OSTI)

    Ladewig, T.D.

    1981-03-01T23:59:59.000Z

    The software and firmware employed for the operation of the Barstow Solar Pilot Plant are completely described. The systems allow operator control of up to 2048 heliostats, and include the capability of operator-commanded control, graphic displays, status displays, alarm generation, system redundancy, and interfaces to the Operational Control System, the Data Acquisition System, and the Beam Characterization System. The requirements are decomposed into eleven software modules for execution in the Heliostat Array Controller computer, one firmware module for execution in the Heliostat Field Controller microprocessor, and one firmware module for execution in the Heliostat Controller microprocessor. The design of the modules to satisfy requirements, the interfaces between the computers, the software system structure, and the computers in which the software and firmware will execute are detailed. The testing sequence for validation of the software/firmware is described. (LEW)

  14. Assessment of safety-critical software in nuclear power plants

    SciTech Connect (OSTI)

    Parnas, D.L.; Madey, J. [McMaster Univ., Hamilton, Ontario (Canada); Asmis, G.J.K. [Atomic Energy Control Board, Ottawa (Canada)

    1991-04-01T23:59:59.000Z

    This article outlines an approach in the design, documentation, and evaluation of computer systems. This allows the use of software in many safety-critical applications because it enables the systematic comparison of the program behavior with the engineering specifications of the computer system. Many of the ideas in this article have been used by the Atomic Energy Control Board of Canada in its safety assessment of the software for the shutdown systems of the Darlington Station. The four main elements of this approach follow: (1) Formal Documentation of Software Requirements: Most of the details of a complex environment can be ignored by system implementers and reviewers if they are given a complete and precise statement of the behavioral requirements for the computer system. We describe five mathematical relations that specify the requirements for the software in a computerized control system. (2) Design and Documentation of the Module Structure: Complexity caused by interactions between separately written components can be reduced by applying Data Abstraction, Abstract Data Types, and Object-Oriented Programming if the interfaces are precisely and completely documented. (3) Program Function Documentation: Software executions are lengthy sequences of state changes described by algorithms. The effects of these executive sequences can be precisely specified documented with tabular presentations of the program functions. Also, large programs can be decomposed and presented at a collection of well-documented smaller programs. (4) Tripod Approach to Assessment: There are three basic approaches to the assessment of complex software products: (i) testing, (ii) systematic inspection, and (iii) certification of people and processes. Assessment of a complex system cannot depend on any one of these alone. The approach used on the Darlington shutdown software, which included systematic inspection as well as planned and statistically designed random testing, is outlined.

  15. Inconsistency Management in Software Engineering 1 INCONSISTENCY MANAGEMENT IN SOFTWARE

    E-Print Network [OSTI]

    Spanoudakis, George

    ; do not guarantee some properties of the system, such as safety and reliability; and generateInconsistency Management in Software Engineering 1 INCONSISTENCY MANAGEMENT IN SOFTWARE ENGINEERING difficulties on system maintenance. On the positive side, inconsistencies can facilitate identification of some

  16. Exact geometric and algebraic computations Menelaos I. Karavelas,

    E-Print Network [OSTI]

    Karavelas, Menelaos

    , along with the continued evolution of software libraries offering exact number types [9,12,18], provides for exact geometric and algebraic computations within the Computa- tional Geometry Algorithms Library (Cgal Library The Computational Geometry Algorithms Library (Cgal) [8] is a software li- brary for computational

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

  18. Energy Tracking Software Platform

    SciTech Connect (OSTI)

    Ryan Davis; Nathan Bird; Rebecca Birx; Hal Knowles

    2011-04-04T23:59:59.000Z

    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.

  19. STRATEGIC PLAN INSTITUTE FOR ADVANCED COMPUTER STUDIES

    E-Print Network [OSTI]

    Gruner, Daniel S.

    of national importance such as high-performance computing, software engineering, and intelligent systems. Most to Maryland. Research Programs The Institute's faculty conduct research in high performance computing, and computer vision. High-Performance Computing (HPC). In September 1993 UMIACS in conjunction

  20. Software quality is a crucial issue in a society that vitally depends on software systems. Software quality

    E-Print Network [OSTI]

    Deissenboeck, Florian

    ABSTRACT Software quality is a crucial issue in a society that vitally depends on software systems quality in development. If the top management of software dependent companies does not have effective software quality management. After giving a few examples for software quality in real life

  1. Susceptibility of Commodity Systems and Software to Memory Soft Errors

    E-Print Network [OSTI]

    Riska, Alma

    Susceptibility of Commodity Systems and Software to Memory Soft Errors Alan Messer, Member, IEEE Abstract--It is widely understood that most system downtime is acounted for by programming errors transient errors in computer system hardware due to external factors, such as cosmic rays. This work

  2. Deprogramming Large Software Systems Yohann Coppel and George Candea

    E-Print Network [OSTI]

    Candea, George

    Deprogramming Large Software Systems Yohann Coppel and George Candea School of Computer, patterns, and designs. Such reverse processes are powerful tools for manipu- lating programs and systems of access to the patterns and designs behind a body of code makes it difficult to maintain large code bases

  3. Mining Software Repositories for Rigorous Empirical Evaluation: A Position Paper

    E-Print Network [OSTI]

    Perry, Dewayne E.

    engineering, there is a rich history of using historical data for a variety of purposes from project data to derive his constructive cost model (COCOMO). A variety of studies on software faults also rely, Sarfraz Khurshid and Dewayne E Perry Electrical and Computer Engineering, The University of Texas

  4. 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 on the costs and benefits of the approaches, and the criteria which determine a successful transfer the effort and costs of maintenance and understanding are the primary means to increased productivity

  5. January 1992 Software Version: MDS 5.2

    E-Print Network [OSTI]

    California at San Diego, University of

    MDS Concepts Manual January 1992 Software Version: MDS 5.2 VAX/VMS Version 4.5 or greater MDS Equipment Corporation: CDD DECnet VAX DATATRIEVE DECUS VAXcluster DEC MicroVAX VAX Information Architecture;#12;1 Introduction MDS runs on the full line of the Digital Equipment Corporation's VAX line of computers

  6. Optimal Design of Synchronous Circuits Using Software Pipelining Techniques

    E-Print Network [OSTI]

    Boyer, Michel

    Computer Society Press, Los Alamitos, Calif., pp. 62-67. Author's addresses: F. R. Boyer, E. M. AboulhamidOptimal Design of Synchronous Circuits Using Software Pipelining Techniques FRANC¸OIS R. BOYER´eal and MICHEL BOYER Universit´e de Montr´eal We present a method to optimize clocked circuits by relocating

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

    SciTech Connect (OSTI)

    Yi Zhang; Michael W. Golay

    2003-10-01T23:59:59.000Z

    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.

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

  9. A SOFTWARE TOOL FOR WEB-BASED DISTANCE LEARNING SYSTEMS DESIGN

    E-Print Network [OSTI]

    1 A SOFTWARE TOOL FOR WEB-BASED DISTANCE LEARNING SYSTEMS DESIGN Dr. Kasim M. Al-Aubidy Computer an attempt to introduce a software tool for development of a web-based distance-learning course. The second's degree of understanding in each unit. It provides a powerful educational tool that can assist the learner

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

  11. Compiler-Directed Region-Based Security for Low-Overhead Software Vijay Kongubangaram

    E-Print Network [OSTI]

    Simha, Rahul

    Compiler-Directed Region-Based Security for Low-Overhead Software Protection Vijay Kongubangaram Department of Computer Science The George Washington University Washington, DC vijaykpk@gwu.edu Olga Gelbart@gwu.edu Abstract Software security has become a prominent area of re- search in recent years, with research efforts

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

  13. AUTOPAYITEM -A SOFTWARE TOOL TO MANAGE PAY ITEMS FOR HIGHWAY DESIGN

    E-Print Network [OSTI]

    Tian, Zong Z.

    standards and procedures of the Idaho Transportation Department (ITD). API can be described as a Micro of AutoPayItem (API), a computer software tool that manages highway design pay items based on the current Language (MDL) is the primary tool for coding the software. API allows highway designers a single point

  14. Automated Analysis of Industrial Embedded Software Moonzoo Kim and Yunho Kim

    E-Print Network [OSTI]

    Automated Analysis of Industrial Embedded Software Moonzoo Kim and Yunho Kim Computer Science, it is essen- tial to conduct concrete case studies applying automated techniques to real-world industrial describe our experience of applying various automated software anal- ysis techniques to industrial embedded

  15. BCI Software Platforms C. Brunner, G. Andreoni, L. Bianchi, B. Blankertz, C. Breitwieser, S. Kanoh,

    E-Print Network [OSTI]

    Makeig, Scott

    BCI Software Platforms C. Brunner, G. Andreoni, L. Bianchi, B. Blankertz, C. Breitwieser, S. Kanoh software platforms for brain-computer interfaces. We have identified seven major BCI plat- forms and one platform specifically targeted towards feedback and stimulus pre- sentation. We describe the intended

  16. Acid treatment removes zinc sulfide scale restriction

    SciTech Connect (OSTI)

    Biggs, K. (Kerr McGee Corp., Lafayette, LA (US)); Allison, D. (Otis Engineering Corp., Lafayette, LA (US)); Ford, W.G.F. (Halliburton Co., Duncan, OK (United States))

    1992-08-31T23:59:59.000Z

    This paper reports that removal of zinc sulfide (ZnS) scale with acid restored an offshore Louisiana well's production to original rates. The zinc sulfide scale was determined to be in the near well bore area. The selected acid had been proven to control iron sulfide (FeS) scales in sour wells without causing harm to surface production equipment, tubing, and other downhole hardware. The successful removal of the blockage re-established previous production rates with a 105% increase in flowing tubing pressure. On production for a number of months, a high rate, high-pressure offshore well was experiencing unusually rapid pressure and rate declines. A small sample of the restrictive material was obtained during the wire line operations. The well was subsequently shut in while a laboratory analysis determined that zinc sulfide was the major component of the obstruction.

  17. IBM Software IBM Rational Team

    E-Print Network [OSTI]

    IBM Software Data Sheet March 2013 IBM Rational Team Concert Be lean. Be agile. Work together near real-time, contextual collaboration for distributed project teams Improve software quality objectives. Teams are trying to adopt agile practices, but are having difficulty because of several factors

  18. Software measurement 2009. 1. 14

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    Software 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 for success Conclusion 2/28 #12; KAIST SE LAB 2009 Introduction(1/3) Definition of terminology Measurement[1

  19. SAPHIRE 8 Software Quality Assurance Plan

    SciTech Connect (OSTI)

    Curtis Smith

    2010-02-01T23:59:59.000Z

    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.

  20. Arquitecturas Software Juan Jos Moreno Navarro

    E-Print Network [OSTI]

    Fredlund, Lars-Ã?ke

    Arquitecturas Software Juan José Moreno Navarro (Curso de Software basado en Componentes, junto a Lars-Ake Fredlund) Arquitecturas Software · Motivación: ­ Complejidad creciente de aplicaciones sus propiedades globales. Arquitecturas Software · Características: ­ Parte del diseño de software

  1. The Software Engineering Master's Program 1. Introduction

    E-Print Network [OSTI]

    of Embedded Real-time Systems; ___SW4581 Software Reliability (3-1); ___SW4582 Weapons System Software SafetyThe Software Engineering Master's Program 1. Introduction The Software Engineering program at the U to learn all aspects of software development and the skills needed to efficiently and reliably plan

  2. RELAP-7 SOFTWARE VERIFICATION AND VALIDATION PLAN

    SciTech Connect (OSTI)

    Smith, Curtis L [Idaho National Laboratory; Choi, Yong-Joon [Idaho National Laboratory; Zou, Ling [Idaho National Laboratory

    2014-09-01T23:59:59.000Z

    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) process—a set of specially designed software models used to test RELAP-7.

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

    E-Print Network [OSTI]

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

    2007-01-01T23:59:59.000Z

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

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

  5. Tax Deduction Qualified Software DesignBuilder version 3.0.0...

    Office of Environmental Management (EM)

    this page you'll find information about the DesignBuilder version 3.0.0.105 qualified computer software, which calculates energy and power cost savings that meet federal tax...

  6. LHD (2011 10 31 10:00-11:30) Software System SMILE++ for Modeling of

    E-Print Network [OSTI]

    Tian, Weidong

    was started at the Laboratory of Computational Aerodynamics (ITAM, Novosibirsk,Russia) at the end of the 1990s++ parallel software system developed at ITAM. The SMILE++ is based on the OOP approach and is completely

  7. A Business Process Driven Approach for Generating Software Xulin Zhao, Ying Zou

    E-Print Network [OSTI]

    Zou, Ying

    1 A Business Process Driven Approach for Generating Software Modules Xulin Zhao, Ying Zou Dept. of Electrical and Computer Engineering, Queen's University, Kingston, ON, Canada SUMMARY Business processes describe business operations of an organization and capture business requirements. Business applications

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

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

  11. Software design for informal setups: Centring the Christopher K. Chepken1

    E-Print Network [OSTI]

    Blake, Edwin

    Software design for informal setups: Centring the benefits Christopher K. Chepken1 , Edwin H. Blake2 and Gary Marsden2 ICT4D HPI Research School, Department of Computer Science University of Cape

  12. XML Technologies and Software Engineering Cecilia Mascolo, Wolfgang Emmerich and Anthony Finkelstein

    E-Print Network [OSTI]

    Mascolo, Cecilia

    XML Technologies and Software Engineering Cecilia Mascolo, Wolfgang Emmerich and Anthony Finkelstein Department of Computer Science University College London Gower Street, London WC1E 6BT, UK {C.Mascolo|W.Emmerich

  13. Tax Deduction Qualified Software - EnergyPlus version 3.1.0.027...

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

    On this page you'll find information about the EnergyPlus version 3.1.0.027 qualified computer software which calculates energy and power cost savings that meet federal tax...

  14. Tax Deduction Qualified Software - EnergyPlus version 3.0.0.028...

    Broader source: Energy.gov (indexed) [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...

  15. Agile Software Architecture: Why Your Project Needs It

    E-Print Network [OSTI]

    de Weck, Olivier L.

    2/12/2011 1 Agile Software Architecture: Why Your Project Needs It Business meets Implementation Chris Miyachi SDM Entering Class 2000 Presentation Outline · What is Software Architecture · Architecture within the Software Lifecycle · Software Architecture and Lean Software Development · Software

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

    Office of Scientific and Technical Information (OSTI)

    for configuration management using computer aided software engineering (CASE) tools Smith, P.R.; Sarfaty, R. (1993) 22 Solar Position Algorithm for Solar Radiation Applications...

  17. June 2014 Most Viewed Documents for Mathematics And Computing...

    Office of Scientific and Technical Information (OSTI)

    for configuration management using computer aided software engineering (CASE) tools Smith, P.R.; Sarfaty, R. (1993) 18 > Description of DASSL: a differentialalgebraic system...

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

  19. automated computer analysis: Topics by E-print Network

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

    tool for the analysis of software quality Zhu, Hong 4 Please do not quote. In press, Handbook of affective computing. New York, NY: Oxford Automated Face Analysis for...

  20. Ground test accelerator control system software

    SciTech Connect (OSTI)

    Burczyk, L.; Dalesio, R.; Dingler, R.; Hill, J.; Howell, J.A.; Kerstiens, D.; King, R.; Kozubal, A.; Little, C.; Martz, V.; Rothrock, R.; Sutton, J.

    1988-01-01T23:59:59.000Z

    The GTA control system provides an environment in which the automation of a state-of-the-art accelerator can be developed. It makes use of commercially available computers, workstations, computer networks, industrial I/O equipment, and software. This system has built-in supervisory control (like most accelerator control systems), tools to support continuous control (like the process control industry), and sequential control for automatic startup and fault recovery (like few other accelerator control systems). Several software tools support these levels of control: a real-time operating system (VxWorks) with a real-time kernel (VRTX), a configuration database, a sequencer, and a graphics editor. VxWorks supports multitasking, fast context-switching, and preemptive scheduling. VxWorks/VRTX is a network-based development environment specifically designed to work in partnership with the UNIX operating system. A database provides the interface to the accelerator components. It consists of a run time library and a database configuration and editing tool. A sequencer initiates and controls the operation of all sequence programs (expressed as state programs). A graphics editor gives the user the ability to create color graphic displays showing the state of the machine in either text or graphics form. 11 refs., 2 figs.

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

  2. Introducing a one-year Master's degree to train privacy engineers The Master of Science in Information Technology--Privacy Engineering degree is a one-year graduate program for computer

    E-Print Network [OSTI]

    Murphy, Robert F.

    , software development, cyber security, human computer interaction, as well as business to incidents, and integrate privacy into the software engineering lifecycle phases; n

  3. Computational mechanics

    SciTech Connect (OSTI)

    Raboin, P J

    1998-01-01T23:59:59.000Z

    The Computational Mechanics thrust area is a vital and growing facet of the Mechanical Engineering Department at Lawrence Livermore National Laboratory (LLNL). This work supports the development of computational analysis tools in the areas of structural mechanics and heat transfer. Over 75 analysts depend on thrust area-supported software running on a variety of computing platforms to meet the demands of LLNL programs. Interactions with the Department of Defense (DOD) High Performance Computing and Modernization Program and the Defense Special Weapons Agency are of special importance as they support our ParaDyn project in its development of new parallel capabilities for DYNA3D. Working with DOD customers has been invaluable to driving this technology in directions mutually beneficial to the Department of Energy. Other projects associated with the Computational Mechanics thrust area include work with the Partnership for a New Generation Vehicle (PNGV) for ''Springback Predictability'' and with the Federal Aviation Administration (FAA) for the ''Development of Methodologies for Evaluating Containment and Mitigation of Uncontained Engine Debris.'' In this report for FY-97, there are five articles detailing three code development activities and two projects that synthesized new code capabilities with new analytic research in damage/failure and biomechanics. The article this year are: (1) Energy- and Momentum-Conserving Rigid-Body Contact for NIKE3D and DYNA3D; (2) Computational Modeling of Prosthetics: A New Approach to Implant Design; (3) Characterization of Laser-Induced Mechanical Failure Damage of Optical Components; (4) Parallel Algorithm Research for Solid Mechanics Applications Using Finite Element Analysis; and (5) An Accurate One-Step Elasto-Plasticity Algorithm for Shell Elements in DYNA3D.

  4. CTRLWORK AND MACBREAKZ ERGONOMIC BREAK REMINDER SOFTWARE

    E-Print Network [OSTI]

    California at Santa Barbara, University of

    CTRLWORK AND MACBREAKZ ERGONOMIC BREAK REMINDER SOFTWARE SOFTWARE FEATURES: Analyzes your for installation assistance. 1. Please uninstall the former ergonomic break software, RSIGuard, if currently instructions on the screen. For more information, contact the UCSB Ergonomics Program at Ergonomics

  5. Managing Variability throughout the Software Development Lifecycle

    E-Print Network [OSTI]

    Managing Variability throughout the Software Development Lifecycle Neil Loughran and Awais Rashid levels of the software development lifecycle, especially when new requirements arise. We believe of the software development lifecycle. Moreover, the effects of variability and, in particular, new variabilities

  6. Daylighting Prediction Software: Comparative Analysis and Application

    E-Print Network [OSTI]

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

    2004-01-01T23:59:59.000Z

    in selecting a software program are presented. “Radiance”, a reverse ray tracing method software package, was chosen for use in the simulations. An existing school was modeled with the Radiance software and predictions of daylighting contributions were compared...

  7. Software Security Rules, SDLC Perspective

    E-Print Network [OSTI]

    Banerjee, C

    2009-01-01T23:59:59.000Z

    Software has become an integral part of everyday life. Everyday, millions of people perform transaction through internet, ATM, mobile phone, they send email and Egreetings, and use word processing and spreadsheet for various purpose. People use software bearing in mind that it is reliable and can be trust upon and the operation they perform is secured. Now, if these software have exploitable security hole then how can they be safe for use. Security brings value to software in terms of peoples trust. The value provided by secure software is of vital importance because many critical functions are entirely dependent on the software. That is why security is a serious topic which should be given proper attention during the entire SDLC, right from the beginning. For the proper implementation of security in the software, twenty one security rules are proposed in this paper along with validation results. It is found that by applying these rules as per given implementation mechanism, most of the vulnerabilities are el...

  8. A computer system for access to distributed genome mapping data

    SciTech Connect (OSTI)

    Marr, T.G.

    1992-02-05T23:59:59.000Z

    Development of a computer system for access to distributed genome mapping data is continuing. This effort is to develop software which accesses multiple databases and retrieves data which contain information useful for accelerating mapping human chromosomes. For example, the molecular sequence databases (GenBank, EMBL Data Library, PIR, SwissProt) which contain data required for the development of oligonucleotides for probing DNA as well as for extracting data for primer pair development for PCR-based methods. It is also to develop software which qualitatively integrates the following mapping data: (1) markers regionally localized using cytogenetic methods, (2) polymorphic markers ordered by genetic linkage analysis, (3) clones ordered by various finger-printing'' methods, (4) fragments ordered by long-range restriction mapping, (5) single genomic fragments or clones that have STSs assigned to them, (6) nucleotide sequences, (7) the associated metadata such as the submitting investigator's name, location, etc; the source organism; the chromosome the element is from; the chromosomal location is whatever detail is available.

  9. Computer Science This sheet has sample occupations, work settings, employers, and career development activities associated with this major. Some of these

    E-Print Network [OSTI]

    Ronquist, Fredrik

    Computer Science This sheet has sample occupations, work settings, employers, and career Occupations Computer Operations Computer Hardware/ Software Engineer Computer Operator Database Manager/ Administrator Data Entry Operator Operations Manager Design & Manufacturing, Engineering Computer Applications

  10. Computer resources Computer resources

    E-Print Network [OSTI]

    Yang, Zong-Liang

    Computer resources 1 Computer resources available to the LEAD group Cédric 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

  11. arginase ii restricts: Topics by E-print Network

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

    P. De; Waal; Cornelis J. M. Melief 9 A DNA and restriction enzyme implementation of Turing Ma (Turing machines; Universal Turing machines; recombinant DNA; nonpalindromic...

  12. System software for the NMFECC CRAY-1 version of GIFTS 4B. [In CFT-FORTRAN

    SciTech Connect (OSTI)

    Gray, W.H.; Baudry, T.V.

    1981-01-01T23:59:59.000Z

    The Oak Ridge National Laboratory (ORNL) maintains a version of the GIFTS system structural analysis computer programs. Executable modules are supported on two different types of computer hardware, a DECsystem-10 and a CRAY-1. Without external difference to the user, these modules execute equivalently upon both types of hardware. Presented herein are the local software enhancements for the ORNL version of GIFTS for the National Magnetic Fusion Energy Computer Center (NMFECC) CRAY-1 computer as well as a description of the ORNL implementation of the system-dependent portions of the GIFTS software library for the NMFECC CRAY-1.

  13. toolkit computational mesh conceptual model.

    SciTech Connect (OSTI)

    Baur, David G.; Edwards, Harold Carter; Cochran, William K.; Williams, Alan B.; Sjaardema, Gregory D.

    2010-03-01T23:59:59.000Z

    The Sierra Toolkit computational mesh is a software library intended to support massively parallel multi-physics computations on dynamically changing unstructured meshes. This domain of intended use is inherently complex due to distributed memory parallelism, parallel scalability, heterogeneity of physics, heterogeneous discretization of an unstructured mesh, and runtime adaptation of the mesh. Management of this inherent complexity begins with a conceptual analysis and modeling of this domain of intended use; i.e., development of a domain model. The Sierra Toolkit computational mesh software library is designed and implemented based upon this domain model. Software developers using, maintaining, or extending the Sierra Toolkit computational mesh library must be familiar with the concepts/domain model presented in this report.

  14. SAPHIRE 8 Software Acceptance Test Plan

    SciTech Connect (OSTI)

    Ted S. Wood; Curtis L. Smith

    2009-07-01T23:59:59.000Z

    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.

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

  16. Software design of a general purpose data acquisition and control executive

    SciTech Connect (OSTI)

    Labiak, W.G.; Minor, E.G.

    1981-05-22T23:59:59.000Z

    The software design of an executive which performs general purpose data acquisition, monitoring, and control is presented. The executive runs on a memory-based mini or micro-computer and communicates with a disk-based computer where data analysis and display are done. The executive design stresses reliability and versatility, and has yielded software which can provide control and monitoring for widely different hardware systems. Applications of this software on two major fusion energy experiments at Lawrence Livermore National Laboratory will be described.

  17. Software Modeling and Verification Professors

    E-Print Network [OSTI]

    Ábrahám, Erika

    Software Modeling and Verification Staff · Professors Prof. Dr. Ir. Joost-Pieter Katoen Prof. em) Mark Timmer (Uni Twente, NL) Dr. Olga Tveretina (Karlsruhe University, D) Ralf Wimmer (Universität

  18. Software Engineering Introduction to SWE

    E-Print Network [OSTI]

    Razak, Saquib

    Unit 23 1 Software Engineering · Introduction to SWE · What is SDLC · Phases of SDLC #12;Unit 23 2 the new house to the customer which is now ready for occupation. #12;Unit 23 4 What is SDLC The SDLC has

  19. Ten Incredibly Dangerous Software Ideas

    E-Print Network [OSTI]

    G. A. Maney

    2006-07-07T23:59:59.000Z

    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.

  20. Measurement and Standards for Computational Science and Engineering 1 Computation has become a critical tool for the practice of science and engineering. Modern research and development leading

    E-Print Network [OSTI]

    Boisvert, Ronald F.

    of mathematical methods, algorithms, and software are crucial to the advance of modern science and engineeringMeasurement and Standards for Computational Science and Engineering 1 Computation has become. ITL promotes advancement in computational science and engineering by providing fundamental

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

  2. Division of Human Resources Retirement Renewed Membership & Reemployment Restrictions

    E-Print Network [OSTI]

    Meyers, Steven D.

    Division of Human Resources Retirement Renewed Membership & Reemployment Restrictions Questions employer after you have been retired for 12 calendar months. #12;Division of Human Resources Retirement Renewed Membership & Reemployment Restrictions Questions (813) 974-2970 Rev. 02/2012 If you are reemployed

  3. SASSI system software configuration

    SciTech Connect (OSTI)

    Weiner, E.O.

    1994-08-01T23:59:59.000Z

    The SASSI (System for Analysis for Soil-Structure Interaction) computer program was obtained by WHC from the University of California at Berkeley for seismic structural analysis of complex embedded building configurations. SASSI was developed in the 1980`s by a team of doctoral students under the direction of Prof. J. Lysmer. The program treats three-dimensional soil-structure interaction problems with the flexible volume substructuring method. In the 1970`s, the same organization developed the FLUSH program, which has achieved widespread international usage in the seismic analysis of structures. SASSI consists of nine modules, each of which are to be run as a separate execution. The SASSI source code, dated 1989 and identified as a Cray version, was put up on the RL Cray XM/232 Unicos system in 1991. That system was removed at the end of 1993, and SASSI is now installed on the LANL Cray YMP systems.

  4. Computational Analysis of Merchant Marine GPS Data* CASOS Technical Report

    E-Print Network [OSTI]

    Sadeh, Norman M.

    . Keywords: Geospatial analysis, network analysis, clustering * This work was supported in partComputational Analysis of Merchant Marine GPS Data* CASOS Technical Report George B. Davis ISRI - Institute for Software Research International CASOS - Center for Computational Analysis

  5. A Survey on Mining Software Survey Presentation

    E-Print Network [OSTI]

    Bae, Doo-Hwan

    ­ Effort Estimation ­ Mining Aspects · Papers at a glance · Related Workshop · Available Resources of mining software archives to support, ­ the maintenance of software systems, ­ improve software designA Survey on Mining Software Archives Survey Presentation Jin Ung, Oh ­ 2007.07.11 #12;Contents

  6. What is Your Software Worth? Gio Wiederhold

    E-Print Network [OSTI]

    Wiederhold, Gio

    [Boehm:81, 00]. Even software engineering management approaches termed `Earned Value Management' only This article presents a method for valuing software, based on the income that use of that software is expected expectations, software maintenance, product growth, discounting to present value, and the like, always focusing

  7. Light Duty Utility Arm Software Test Plan

    SciTech Connect (OSTI)

    Kiebel, G.R.

    1995-12-18T23:59:59.000Z

    This plan describes how validation testing of the software will be implemented for the integrated control and data acquisition system of the Light Duty Utility Arm System (LDUA). The purpose of LDUA software validation testing is to demonstrate and document that the LDUA software meets its software requirements specification.

  8. Bachelor-Fachprojekt ,,Software im Automobil"

    E-Print Network [OSTI]

    Morik, Katharina

    11 Bachelor-Fachprojekt ,,Software im Automobil" Olaf Spinczyk Arbeitsgruppe Eingebettete.cs.uni-dortmund.de/~spinczyk/ #12;Fachprojekt ,,Software im Automobil" 22 Inhalt Fachprojekte Thema ,,Software im Automobil" Durchführung Generalisierung #12;Fachprojekt ,,Software im Automobil" 33 Fachprojekte ... ... haben stärkeren

  9. NSTXpool Computer Upgrade December 9, 2010

    E-Print Network [OSTI]

    Princeton Plasma Physics Laboratory

    NSTXpool Computer Upgrade WP #1685 Bill Davis December 9, 2010 #12;Work Scope Upgrade Operating System, Application Software, and Programs that run on NSTX computers using Red Hat Enterprise Linux 3. nstxpool computers + nstxops nstxWindowsPC (Control Room Display Wall) Big Blue cluster for EFIT Selected

  10. Performance Engineering for Cloud Computing John Murphy

    E-Print Network [OSTI]

    Murphy, John

    Performance Engineering for Cloud Computing John Murphy Lero ­ The Irish Software Engineering.Murphy@ucd.ie Abstract. Cloud computing potentially solves some of the major challenges in the engineering of large efficient operation. This paper argues that cloud computing is an area where performance engineering must

  11. Program in Computer Science 151 Engineer's Way

    E-Print Network [OSTI]

    Whittle, Mark

    Program in Computer Science 151 Engineer's Way University of Virginia PO Box 400740 Charlottesville, VA 22904-4740 (434) 982-2394 www.cs.virginia.edu/ba Overview Computer Science is the study and efficiently in hardware and software. The Computer Science curriculum concentrates on developing the deep

  12. Platform Computing Inc. 3760 14th Avenue

    E-Print Network [OSTI]

    Buyya, Rajkumar

    Platform Computing Inc. 3760 14th Avenue Markham, Ontario L3R 3T7 Canada Tel: (905) 948-8448 Fax: (905) 948-9975 email: info@platform.com www.platform.com Platform Computing Launches Networking Site and researchers was launched today. The site, sponsored by HPC management software leader Platform Computing

  13. User systems guidelines for software projects

    SciTech Connect (OSTI)

    Abrahamson, L. (ed.)

    1986-04-01T23:59:59.000Z

    This manual presents guidelines for software standards which were developed so that software project-development teams and management involved in approving the software could have a generalized view of all phases in the software production procedure and the steps involved in completing each phase. Guidelines are presented for six phases of software development: project definition, building a user interface, designing software, writing code, testing code, and preparing software documentation. The discussions for each phase include examples illustrating the recommended guidelines. 45 refs. (DWL)

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

  15. Safety critical software development qualification

    SciTech Connect (OSTI)

    Marron, J. E. [Invensys Process Systems, 33 Commercial Street, Foxboro, MA 02035 (United States)

    2006-07-01T23:59:59.000Z

    With the increasing use of digital systems in control applications, customers must acquire appropriate expectations for software development and quality assurance procedures. Purchasers and users of digital systems need to understand the benefits to the supplier of effective quality systems. These systems consist not only of procedures but tools that enable automation. Without the use of automation, quality can not be assured. A software and systems quality program starts with the documents you are very familiar with. But these documents must define more than the final system. They must address specific development environment characteristics and testing capabilities. Starting with the RFP, some of the items that should be introduced are Software Configuration Management, regression testing and defect tracking. The digital system customer is in the best position to enforce the use of software and systems quality programs by including them in project requirements as early as the Purchase Order. The customer's understanding of the full scope and implementation of a software quality program is essential to achieving the quality necessary in nuclear projects, and, incidentally, completing those projects on schedule. (authors)

  16. Nonconvex network optimization: Algorithms and software

    SciTech Connect (OSTI)

    Lamar, B.

    1994-12-31T23:59:59.000Z

    Although very efficient solution methods exist for linear and convex network optimization problems, minimum cost network flow problems with concave arc cost functions are challenging because the determination of the optimal solution requires, in the worst case, an evaluation of all the extreme points in the feasible region. Even more challenging, are network flow problems whose arc costs are neither concave nor convex as is the case for problems with price breaks or all-unit discounting. Yet, such situations arise frequently in many real-world problems. In this talk, solution methods for concave cost network flow problems will be reviewed and a computer software package will be presented. In addition, a method for converting networks with arbitrary arc costs into a pure concave cost network will be described.

  17. SIMD studies in the LHCb reconstruction software

    E-Print Network [OSTI]

    Campora Perez, D H

    2015-01-01T23:59:59.000Z

    During the data taking process in the LHC at CERN, millions of collisions are recorded every second by the LHCb Detector. The LHCb Online computing farm, counting around 15000 cores, is dedicated to the reconstruction of the events in real-time, in order to filter those with interesting Physics. The ones kept are later analysed $Offline$ in a more precise fashion on the Grid. This imposes very stringent requirements on the reconstruction software, which has to be as efficient as possible. Modern CPUs support so-called vector-extensions, which extend their Instruction Sets, allowing for concurrent execution across functional units. Several libraries expose the Single Instruction Multiple Data programming paradigm to issue these instructions. The use of vectorisation in our codebase can provide performance boosts, leading ultimately to Physics reconstruction enhancements. In this paper, we present vectorisation studies of significant reconstruction algorithms. A variety of vectorisation libraries are analysed a...

  18. Navigation computation in the smart cockpit

    E-Print Network [OSTI]

    Lee, Kristopher Alex

    1998-01-01T23:59:59.000Z

    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 for the general aviation...

  19. Software or Hardware: The Future of Green Enterprise Maria Kazandjieva, Brandon Heller, Omprakash Gnawali, Wanja Hofer,

    E-Print Network [OSTI]

    Stanford University

    computing systems ­ laptops ­ would save more energy than state- of-the-art power management software, interest in "green computing" has motivated research into energy-saving techniques for enterprise systems of replacing every desktop with a laptop? To an- swer this question, we use power and utilization data col

  20. A Formal Embedded Software Verification using Software Fault Tree Analysis

    E-Print Network [OSTI]

    -mail: jbyoo@konkuk.ac.kr Extended Abstract In developing embedded software such as nuclear reactor protection checking [4]. We used a prototype version of the KNICS RPS [5] in Korean nuclear power plants, but it may also be able to auto-populate address book changes. This is based on the use of an operating

  1. Manual dos Softwares Manuseio do TheSky Astronomy Software

    E-Print Network [OSTI]

    Software Esta é a tela principal. 1- Para você capturar imagens com a Câmera CCD, você precisa conectá imagens. Clique em Chose Folder... e crie os diretórios com os nomes e lugares desejados; 5- Depois de criar os diretórios, selecione o item AutoSave on; 6- Para começar a capturar as imagens, clique em Take

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

    SciTech Connect (OSTI)

    none,

    2014-06-01T23:59:59.000Z

    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.

  3. Preparing ATLAS reconstruction software for LHC's Run 2

    E-Print Network [OSTI]

    ATLAS Collaboration; The ATLAS collaboration

    2015-01-01T23:59:59.000Z

    In order to maximize the physics potential of the ATLAS detector during LHC's Run 2, the reconstruction software has been updated. Flat computing budgets required a factor of three improved run time, while the new xAOD data format forced changes in the reconstruction algorithms. Physics performance improvements have been made in the reconstruction of various objects, using improved techniques like multivariate discriminants, etc. This paper will present an overview of the improvements that have been made.

  4. Quantum Computing Computer Scientists

    E-Print Network [OSTI]

    Yanofsky, Noson S.

    of Vector Spaces 3 The Leap From Classical to Quantum 3.1 Classical Deterministic Systems 3.2 ClassicalQuantum Computing for Computer Scientists Noson S. Yanofsky and Mirco A. Mannucci #12;© May 2007 Noson S. Yanofsky Mirco A. Mannucci #12;Quantum Computing for Computer Scientists Noson S. Yanofsky

  5. Proceedings of the Fifth Triennial Software Quality Forum 2000, Software for the Next Millennium, Software Quality Forum

    SciTech Connect (OSTI)

    Scientific Software Engineering Group, CIC-12

    2000-04-01T23:59:59.000Z

    The Software Quality Forum is a triennial conference held by the Software Quality Assurance Subcommittee for the Department of Energy's Quality Managers. The forum centers on key issues, information, and technology important in software development for the Nuclear Weapons Complex. This year it will be opened up to include local information technology companies and software vendors presenting their solutions, ideas, and lessons learned. The Software Quality Forum 2000 will take on a more hands-on, instructional tone than those previously held. There will be an emphasis on providing information, tools, and resources to assist developers in their goal of producing next generation software.

  6. Project W-211, initial tank retrieval systems, retrieval control system software configuration management plan

    SciTech Connect (OSTI)

    RIECK, C.A.

    1999-02-23T23:59:59.000Z

    This Software Configuration Management Plan (SCMP) provides the instructions for change control of the W-211 Project, Retrieval Control System (RCS) software after initial approval/release but prior to the transfer of custody to the waste tank operations contractor. This plan applies to the W-211 system software developed by the project, consisting of the computer human-machine interface (HMI) and programmable logic controller (PLC) software source and executable code, for production use by the waste tank operations contractor. The plan encompasses that portion of the W-211 RCS software represented on project-specific AUTOCAD drawings that are released as part of the C1 definitive design package (these drawings are identified on the drawing list associated with each C-1 package), and the associated software code. Implementation of the plan is required for formal acceptance testing and production release. The software configuration management plan does not apply to reports and data generated by the software except where specifically identified. Control of information produced by the software once it has been transferred for operation is the responsibility of the receiving organization.

  7. Advancing Software Development Efficiency in an Open Source Software Context

    E-Print Network [OSTI]

    ´c-Alagi´c Licentiate Thesis, 2013 Department of Computer Science Lund University #12;ii ISSN 1652-4691 Licentiate

  8. Software Process Improvement 98, Monte Carlo, December 1998. 1 Development and Integration Issues about Software Engineering,

    E-Print Network [OSTI]

    Laporte, Claude Y.

    Software Process Improvement 98, Monte Carlo, December 1998. 1 Development and Integration Issues about Software Engineering, Systems Engineering and Project Management Processes Claude Y. Laporte software engineering, systems engineering, supporting processes and project management process over

  9. Restricted Schurs and correlators for SO(N) and Sp(N)

    E-Print Network [OSTI]

    Garreth Kemp

    2014-06-15T23:59:59.000Z

    In a recent work, restricted Schur polynomials have been argued to form a complete orthogonal set of gauge invariant operators for the 1/4-BPS sector of free N = 4 super Yang-Mills theory with an SO(N) gauge group. In this work, we extend these results to the theory with an Sp(N) gauge group. Using these operators, we develop techniques to compute correlation functions of any multi-trace operators with two scalar fields exactly in the free theory limit for both SO(N) and Sp(N).

  10. Computer-aided documentation

    SciTech Connect (OSTI)

    Rosenberg, S.

    1982-01-01T23:59:59.000Z

    Current standards for high-quality documentation of complex computer systems include many criteria, based on the application and user levels. Important points common to many systems are: targeting to specific user groups; being complete, concise, and structured; containing both tutorials and reference material; being field-tested; and being timely in appearance relative to the software delivery. To achieve these goals, uniform quality standards should be more vigorously applied, the documentation development cycle should be shortened, more documentation/software help should be available on line, and more user interaction should be solicited. For future computer systems, the proposal is made that the documentation be machine comprehensible. This should be phased in, with the immediate goal being to facilitate user querying for information, and with an ultimate goal of providing a database for programmer apprentice artificial-intelligence programs that assist software development. This new functionality will be the result of several trends, including the drastically reduced cost of read-only online random-access storage via video optical disks, the ongoing successes of artificial-intelligence programs when applied to limited application areas, and the ever increasing cost of software programmers. 3 references.

  11. Simulating Concordant Computations

    E-Print Network [OSTI]

    Bryan Eastin

    2010-06-23T23:59:59.000Z

    A quantum state is called concordant if it has zero quantum discord with respect to any part. By extension, a concordant computation is one such that the state of the computer, at each time step, is concordant. In this paper, I describe a classical algorithm that, given a product state as input, permits the efficient simulation of any concordant quantum computation having a conventional form and composed of gates acting on two or fewer qubits. This shows that such a quantum computation must generate quantum discord if it is to efficiently solve a problem that requires super-polynomial time classically. While I employ the restriction to two-qubit gates sparingly, a crucial component of the simulation algorithm appears not to be extensible to gates acting on higher-dimensional systems.

  12. International Conference on Product Focused Software Development and Process Improvement, Oulu, Finland, 15-17 June, 2009.

    E-Print Network [OSTI]

    Messerschmitt, David G.

    design. As a risk-taking and experimental market, and as a source of ideas, consumer software can benefit, as well as new computing platforms such as the smart phone, the space of consumer software applications (such as replacing a home-grown accounting system by a commercial enterprise resource planning solution

  13. Montgomery County- Renewable Rights- No Private Restrictions on Renewables

    Broader source: Energy.gov [DOE]

    Provides that “a person must not create or enforce any deed restriction, covenant, rule, or regulation, or take any other action, which would prohibit the owner of any building from installing a...

  14. A Model of Vertical Restriction and Equilibrium in Retailing

    E-Print Network [OSTI]

    Bittlingmayer, George

    1983-10-01T23:59:59.000Z

    This model of distribution provides a rationale for restrictions placed on retailers by manufacturers. The manufacturer's customers are located uniformly along a road, and retailing operations are subject to increasing ...

  15. The effect of restricted highway facilities on traffic operations 

    E-Print Network [OSTI]

    Cloninger, Kriss

    1953-01-01T23:59:59.000Z

    ~ ~ ~ ~ 73 ~ ~ ~ ~ . ~ ~ . 74 LIST OF TABLES Table l. iflotor Vehicle degistrations in The 'Jnited States 2. Analysis of Traf. ic Data 3. Frequency Distribution of Vehicle Speeds at Open Site Number 2 4. Frequency Distribution of Vehicle Time... Recording Tace ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ . 25 . 26 . 31 15. Comparison of Vehicle Speeds At Open Site Number 1 And Restricted Site Number 1 . 42 16. Comparison cf Vehicle Speeds At Ooen Site Number 1 And Restricted Site Number 1 . 43 17...

  16. The effect of restricted highway facilities on traffic operations

    E-Print Network [OSTI]

    Cloninger, Kriss

    1953-01-01T23:59:59.000Z

    ~ ~ ~ ~ 73 ~ ~ ~ ~ . ~ ~ . 74 LIST OF TABLES Table l. iflotor Vehicle degistrations in The 'Jnited States 2. Analysis of Traf. ic Data 3. Frequency Distribution of Vehicle Speeds at Open Site Number 2 4. Frequency Distribution of Vehicle Time... Recording Tace ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ . 25 . 26 . 31 15. Comparison of Vehicle Speeds At Open Site Number 1 And Restricted Site Number 1 . 42 16. Comparison cf Vehicle Speeds At Ooen Site Number 1 And Restricted Site Number 1 . 43 17...

  17. Institute for Software Technology Wissensverarbeitung

    E-Print Network [OSTI]

    Motivation Example correct behavior battery(c)(ab(c)voltage(c))battery(c)(ab(c)voltage(c)) bulb for Software Technology Motivation Example cont. t t tsystem structure battery(B). bulb(L1). bulb(L2). bulb(L3 the fact that a bulb does not lit if it is broken · solution: model faulty behavior battery

  18. Sandia Software Guidelines, Volume 2. Documentation

    SciTech Connect (OSTI)

    NONE

    1995-09-01T23:59:59.000Z

    This volume is one in a series of Sandia Software Guidelines intended for use in producing quality software within Sandia National Laboratories. In consonance with the IEEE Standards for software documentation, this volume provides guidance in the selection of an adequate document set for a software project and example formats for many types of software documentation. A tutorial on life cycle documentation is also provided. Extended document thematic outlines and working examples of software documents are available on electronic media as an extension of this volume.

  19. Software archeology: a case study in software quality assurance and design

    SciTech Connect (OSTI)

    Macdonald, John M [Los Alamos National Laboratory; Lloyd, Jane A [Los Alamos National Laboratory; Turner, Cameron J [COLORADO SCHOOL OF MINES

    2009-01-01T23:59:59.000Z

    Ideally, quality is designed into software, just as quality is designed into hardware. However, when dealing with legacy systems, demonstrating that the software meets required quality standards may be difficult to achieve. As the need to demonstrate the quality of existing software was recognized at Los Alamos National Laboratory (LANL), an effort was initiated to uncover and demonstrate that legacy software met the required quality standards. This effort led to the development of a reverse engineering approach referred to as software archaeology. This paper documents the software archaeology approaches used at LANL to document legacy software systems. A case study for the Robotic Integrated Packaging System (RIPS) software is included.

  20. Computing Science Faculty of Applied Sciences www.surrey.sfu.ca/computing

    E-Print Network [OSTI]

    of technologies that are the back bone of operations in virtually every modern business. The SOFTWARE SYSTEMS and safety critical applications like air traffic control systems. SOFTWARE SYSTEMS students begin as low-level issues such as version control and best practices for coding. Systems: The study of computer

  1. Tax Deduction Qualified Software TRNSYS version 17.01.0016 TESS Libraries version 17.1.01

    Broader source: Energy.gov [DOE]

    provides information about the TRNSYS version 17.01.0016 and TESS Libraries version 17.1.01 qualified computer software, which calculates energy and power cost savings that meet federal tax incentive requirements for commercial buildings.

  2. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE J. Softw. Maint. Evol.: Res. Pract. 2007; 19:77131

    E-Print Network [OSTI]

    Maletic, Jonathan I.

    Science, Kent State University, Kent OH, U.S.A. 2Department of Mathematics and Computer Science, Ashland University, Ashland OH, U.S.A. SUMMARY A comprehensive literature survey on approaches for mining software

  3. Automatische stress tests voor software code werken uitstekend Hoe bepaal ik de kwaliteit van een stuk software? Net zoals bij banken, willen we software

    E-Print Network [OSTI]

    Al Hanbali, Ahmad

    stuk software? Net zoals bij banken, willen we software aan een stress test onderwerpen, en een rating

  4. Computer Science Colloquium Tim Menzies (P.hD., UNSW) is a Professor in

    E-Print Network [OSTI]

    Mayfield, John

    Computer Science Colloquium Tim Menzies (P.hD., UNSW) is a Professor in CS at WVU; the author://www.slideshare.net/timmenzies/in-the-age-of-big- data-what-role-for-software-engineering Dr. Tim Menzies Lane Department of Computer Science Atanasoff Hall 223 In the Age of Big Data, What Role for Software Engineers? ALL SCIENCE IS COMPUTER SCIENCE

  5. Computer Assisted Parallel Program Generation

    E-Print Network [OSTI]

    Kawata, Shigeo

    2015-01-01T23:59:59.000Z

    Parallel computation is widely employed in scientific researches, engineering activities and product development. Parallel program writing itself is not always a simple task depending on problems solved. Large-scale scientific computing, huge data analyses and precise visualizations, for example, would require parallel computations, and the parallel computing needs the parallelization techniques. In this Chapter a parallel program generation support is discussed, and a computer-assisted parallel program generation system P-NCAS is introduced. Computer assisted problem solving is one of key methods to promote innovations in science and engineering, and contributes to enrich our society and our life toward a programming-free environment in computing science. Problem solving environments (PSE) research activities had started to enhance the programming power in 1970's. The P-NCAS is one of the PSEs; The PSE concept provides an integrated human-friendly computational software and hardware system to solve a target ...

  6. Software: our quest for excellence. Honoring 50 years of software history, progress, and process

    SciTech Connect (OSTI)

    NONE

    1997-06-01T23:59:59.000Z

    The Software Quality Forum was established by the Software Quality Assurance (SQA) Subcommittee, which serves as a technical advisory group on software engineering and quality initiatives and issues for DOE`s quality managers. The forum serves as an opportunity for all those involved in implementing SQA programs to meet and share ideas and concerns. Participation from managers, quality engineers, and software professionals provides an ideal environment for identifying and discussing issues and concerns. The interaction provided by the forum contributes to the realization of a shared goal--high quality software product. Topics include: testing, software measurement, software surety, software reliability, SQA practices, assessments, software process improvement, certification and licensing of software professionals, CASE tools, software project management, inspections, and management`s role in ensuring SQA. The bulk of this document consists of vugraphs. Selected papers have been indexed separately for inclusion in the Energy Science and Technology Database.

  7. Multi-scale problems, high performance computing and hybrid numerical methods

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Multi-scale problems, high performance computing and hybrid numerical methods G. Balarac, G of High Performance Computing (HPC) is not anymore restricted to academia and scientific grand challenges

  8. Handbook of software quality assurance techniques applicable to the nuclear industry

    SciTech Connect (OSTI)

    Bryant, J.L.; Wilburn, N.P.

    1987-08-01T23:59:59.000Z

    Pacific Northwest Laboratory is conducting a research project to recommend good engineering practices in the application of 10 CFR 50, Appendix B requirements to assure quality in the development and use of computer software for the design and operation of nuclear power plants for NRC and industry. This handbook defines the content of a software quality assurance program by enumerating the techniques applicable. Definitions, descriptions, and references where further information may be obtained are provided for each topic.

  9. The Lynne and William Frankel Center for Computer Science

    E-Print Network [OSTI]

    Beimel, Amos

    The Lynne and William Frankel Center for Computer Science Department of Computer Science Ben Gurion there yet? e-Science involves the application of advanced computational methods to other areas of science developed new techniques and software prototypes. Importantly, e-Science requires advanced in both computer

  10. Regulations for the M.Eng. in Computer Science

    E-Print Network [OSTI]

    Mohrenschildt, Martin v.

    Regulations for the M.Eng. in Computer Science Master's Program in the Department of Computing and Software at McMaster University September, 2009 1 Master of Engineering (M.Eng.) in Computer Science This program is intended for those interested in a career as a practicing professional in Computer Science

  11. Navigating Computer Science Research Through Waves of Privacy Concerns

    E-Print Network [OSTI]

    Navigating Computer Science Research Through Waves of Privacy Concerns: Discussions among Computer as Institute for Software Research International Technical Report CMU-ISRI-03-102 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213-3890 Abstract Computer Science research and practice

  12. Software Challenges in Achieving Space Safety

    E-Print Network [OSTI]

    Leveson, Nancy G.

    Techniques developed for hardware reliability and safety do not work on software-intensive systems; software does not satisfy the assumptions underlying these techniques. The new problems and why the current approaches are ...

  13. A direct path to dependable software

    E-Print Network [OSTI]

    Jackson, Daniel

    2009-01-01T23:59:59.000Z

    What would it take to make software more dependable? Until now, most approaches have been indirect: some practices – processes, tools or techniques – are used that are believed to yield dependable software, and the argument ...

  14. An overview of software safety standards

    SciTech Connect (OSTI)

    Lawrence, J.D.

    1995-10-01T23:59:59.000Z

    The writing of standards for software safety is an increasingly important activity. This essay briefly describes the two primary standards-writing organizations, IEEE and IEC, and provides a discussion of some of the more interesting software safety standards.

  15. Global expansion strategies for software firms

    E-Print Network [OSTI]

    Yoden, Michihiko

    2014-01-01T23:59:59.000Z

    The business competition in the software industry is increasingly becoming a global competition. In this era with a fast-paced innovative environment, strategy plays an important role for managers in software companies in ...

  16. The Real Cost of Software Errors

    E-Print Network [OSTI]

    Zhivich, Michael A.

    Software is no longer creeping into every aspect of our lives - it's already there. In fact, failing to recognize just how much everything we do depends on software functioning correctly makes modern society vulnerable to ...

  17. TWRS systems engineering software configuration management plan

    SciTech Connect (OSTI)

    Porter, P.E.

    1996-10-09T23:59:59.000Z

    This plan delineates the requirements for control of software developed and supported by the Tank Waste Remediation System (TWRS) Technical Integration organization. The information contained in this plan shall assist employees involved with software modification and configuration control.

  18. Dealing with software: the research data issues 

    E-Print Network [OSTI]

    Hong, Neil Chue

    2014-08-26T23:59:59.000Z

    Software underpins much of the scientific research undertaken today. As well as the “traditional” use of software for modelling and simulation, it is used to manage and control instruments, and analyse and visualise data. This permeation of the use...

  19. NEAMS Software Licensing, Release, and Distribution: Implications for FY2013 Work Package Planning

    SciTech Connect (OSTI)

    Bernholdt, David E [ORNL

    2012-06-01T23:59:59.000Z

    The vision of the NEAMS program is to bring truly predictive modeling and simulation (M&S) capabilities to the nuclear engineering community in order to enable a new approach to the analysis of nuclear systems. NEAMS anticipates issuing in FY 2018 a full release of its computational 'Fermi Toolkit' aimed at advanced reactor and fuel cycles. The NEAMS toolkit involves extensive software development activities, some of which have already been underway for several years, however, the Advanced Modeling and Simulation Office (AMSO), which sponsors the NEAMS program, has not yet issued any official guidance regarding software licensing, release, and distribution policies. This motivated an FY12 task in the Capability Transfer work package to develop and recommend an appropriate set of policies. The current preliminary report is intended to provide awareness of issues with implications for work package planning for FY13. We anticipate a small amount of effort associated with putting into place formal licenses and contributor agreements for NEAMS software which doesn't already have them. We do not anticipate any additional effort or costs associated with software release procedures or schedules beyond those dictated by the quality expectations for the software. The largest potential costs we anticipate would be associated with the setup and maintenance of shared code repositories for development and early access to NEAMS software products. We also anticipate an opportunity, with modest associated costs, to work with the Radiation Safety Information Computational Center (RSICC) to clarify export control assessment policies for software under development.

  20. Mapping molecular dynamics computations to hypercubes

    E-Print Network [OSTI]

    Lakamsani, Vamsee Krishna

    1993-01-01T23:59:59.000Z

    OF CONTENTS ABSTRACT DEDICATION ACKNOWLEDGMENTS TABLE OF CONTENTS LIST OF FIGURES LIST OF TABLES CHAPTER I INTRODUCTION . . I. A High Performance Computing and the Grand Challenges I. B The Three A's in Parallel Computing I C Software Crisis in HPC... High Performance Computing and the Grand Challenges The United States goveriuuent, recently enacted the "'High Performance Computing and Communications (HP('(')' laiv [I] that aims at iniproving leadership in area~ of scientific and economic...

  1. Table of contents 1 What is software architecture? ......................................................................... 1

    E-Print Network [OSTI]

    Dustdar, Schahram

    Table of contents 1 What is software architecture? ......................................................................... 1 1.1 Software architecture as abstraction ............................................................ 2 1.2 Software architecture as blueprint

  2. Computer science is the study of design, theory, and application of computers. It is a continuously evolving field based on

    E-Print Network [OSTI]

    Hemmers, Oliver

    Computer science is the study of design, theory, and application of computers. It is a continuously evolving field based on electronics, linguistics, logic, mathematics, and systems engineering. The computer science program emphasizes the development of software and the use of computers focusing around

  3. @ work' video segment features Robotic Software Engineer

    ScienceCinema (OSTI)

    Idaho National Laboratory

    2010-01-08T23:59:59.000Z

    @ work highlights Idaho National Laboratory employees and the jobs they perform.This segment features Robotic Software Engineer Miles Walton.

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

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

    Requirements Management Checklist SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Requirements Management Checklist The following checklist is intended to provide system owners,...

  5. SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance...

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

    PROGRAM: Preacceptance Checklist Security Issues SOFTWARE QUALITY & SYSTEMS ENGINEERING PROGRAM: Preacceptance Checklist Security Issues The following checklist is intended to...

  6. Optimization Online - Optimization Software and Modeling Systems ...

    E-Print Network [OSTI]

    Optimization Software and Modeling Systems Submissions - 2009. March 2009. Modeling Languages and Systems A Structure-Conveying Modelling Language ...

  7. Cost Model and Cost Estimating Software

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

    1997-03-28T23:59:59.000Z

    This chapter discusses a formalized methodology is basically a cost model, which forms the basis for estimating software.

  8. VMS software for the Jorway-411 interface

    SciTech Connect (OSTI)

    Dorries, T.; Moore, C.; Pordes, R.; White, V.

    1987-05-01T23:59:59.000Z

    This report describes a Software Package used to access CAMAC through the Jorway-411 Interface, for use on VAX/VMS systems. The software can be used to access parallel and/or serial CAMAC branch highways, and multiple Jorways may be connected to the VAX UNIBUS or MicroVax QBUS. The software available includes a VAX/VMS device driver for the JORWAY-411 and support routines and programs that access the driver. The software is accompanied by extensive documentation.

  9. Software Architecture Evolution Olivier Barais1

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    1 Software Architecture Evolution Olivier Barais1 , Anne Franc¸oise Le Meur2 , Laurence Duchien2 and detailed treatment of the var- ious state-of-the-art approaches to evolving software architectures. Furthermore, we discuss one particular framework for software architecture evolution in more detail. 1

  10. University of Paderborn Software Engineering Group

    E-Print Network [OSTI]

    Kindler, Ekkart

    University of Paderborn Software Engineering Group 1 Subversion Configuration with Eclipse Softwaretechnikpraktikum 2006 #12;University of Paderborn Software Engineering Group 2 Installing SubclipseInstalling Subclipse Find and install new feature Use the Subclipse update site #12;University of Paderborn Software

  11. APPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION

    E-Print Network [OSTI]

    French, James C.

    with automating the management of software documentation to better increase its utility. We describe a prototype system, SLEUTH, currently under investigation as a vehicle for software documentation managementAPPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION James C. French 1 , John C. Knight, Allison

  12. APPLYING HYPERTEXT STRUCTURES TO SOFTWARE DOCUMENTATION

    E-Print Network [OSTI]

    French, James C.

    the management of software documentation to better increase its utility. We describe a prototype system, SLEUTH, currently under investigation as a vehicle for software documentation management. The prototype maintains & Management," Vol. 33, No. 2, pp. 219-231, 1997. #12;Applying Hypertext Structures to Software Documentation

  13. Logical Structure Extraction from Software Requirements Documents

    E-Print Network [OSTI]

    Czarnecki, Krzysztof

    Documents I. INTRODUCTION Requirements management (RM) tools store and manipu- late software requirementsLogical Structure Extraction from Software Requirements Documents Rehan Rauf, Michal Antkiewicz,mantkiew,kczarnec}@gsd.uwaterloo.ca Abstract--Software requirements documents (SRDs) are often authored in general-purpose rich-text editors

  14. Mathematical Methods System and Software Engineering*

    E-Print Network [OSTI]

    Mathematical Methods in System and Software Engineering* Manfred Broy Institut für Informatik. By this, we demonstrate how software engineering methods can be backed up by mathematics. We discuss the techniques and methods used in practice in software engineering and the formal techniques worked out

  15. IBM Software Thought Leadership White Paper

    E-Print Network [OSTI]

    IBM Software Thought Leadership White Paper August 2011 Transforming software delivery with cloud #12;2 Transforming software delivery with cloud Contents 2 Cloud: An opportunity 2 Increasing pressure and centralizing ALM and developer desktops 5 Concluding thoughts on the cloud Cloud: An opportunity The world

  16. SOFTWARE ENGINEERING January Entry, 120 credit program

    E-Print Network [OSTI]

    Doedel, Eusebius

    to Formal Methods for Software Engineering 3 SOEN 341 Software Process 3 Basic Science Year 3 Fall Course Principles and Economics 3 ENGR 391 Numerical Methods in Engineering 3 Note: A minimum of 7 credits from COENSOFTWARE ENGINEERING January Entry, 120 credit program Real-Time, Embedded, and Avionics Software

  17. Cultural Computing Creative Power Integrating Culture, Unconsciousness and Software

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Introduction "The ethnic crisis, the urban crisis, and the education crisis are interrelated. If viewed comprehensively all three can be seen as different facets of a larger crisis, a natural outgrowth of man's having of someone's heart' in a word. The value of arts is in contrary of the one of technologies. Great art works

  18. Software Architecture for Mobile Computing Amy L. Murphy1

    E-Print Network [OSTI]

    Picco, Gian Pietro

    of their presence, much the way that the electric motor exists in the world today. Part of enabling this vision in connectivity as changes in data availability. In this paper, we overview a solution to managing the complexity

  19. DEPARTMENT OF COMPUTER SCIENCES Verified Software: the next step

    E-Print Network [OSTI]

    Misra, Jayadev

    in 1970s) Map the Human Genome (accomplished) Map the Human Proteome (too difficult now) Find the Higgs boson (in progress) Find Gravity waves (in progress) Unify the four forces of Physics (in progress

  20. IBM Systems Software Unlocking the power of smarter computing

    E-Print Network [OSTI]

    Director 6 IBMSystemsDirectorActiveEnergyManager 7 IBMTivoliStorageProductivityCenter 8 IBMSystemsDirectorStorage IBMXIVStorageSystem 15 IBMScaleOutNetworkAttachedStorage(SONAS) 16 IBMReal-timeCompressionAppliances 17 IBMHigh IBMSystemsDirectorVMControl 24 IBMPowerVM 25 IBMSystemsDirectorStorage

  1. Computational Systems & Software Environment | National Nuclear Security

    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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625govInstrumentstdmadapInactiveVisiting theCommercialization and Innovation2010CompositionalChemistry

  2. U.S. Dept. of Energy Announcement of Computer Software

    Office of Environmental Management (EM)

    AFDC Printable Version Share this resource Send a link to EERE: Alternative Fuels Data Center Home Page to someone by E-mail Share EERE: Alternative Fuels Data Center Home Page on Facebook Tweet about EERE: Alternative Fuels Data Center Home Page on Twitter Bookmark EERE: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645 3,625 1,006 492 742 33Frequently AskedEnergyIssuesEnergyTransportation& ForumVersion:3

  3. Barracuda® Computational Particle Fluid Dynamics (CPFD®) 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 DataDepartment of Energy Your Density Isn't Your Destiny: The FutureComments fromof EnergyBILIWG:Background:Bagdad Plant1Department of

  4. Expression profile of host restriction factors in HIV-1 elite controllers

    E-Print Network [OSTI]

    2013-01-01T23:59:59.000Z

    et al. : Expression profile of host restriction factors inOpen Access Expression profile of host restriction factorsthat a transcriptional profile signature of CD4+ T cells is

  5. Addressing failures in exascale computing

    SciTech Connect (OSTI)

    Snir, Marc; Wisniewski, Robert W.; Abraham, Jacob A.; Adve, Sarita; Bagchi, Saurabh; Balaji, Pavan; Belak, Jim; Bose, Pradip; Cappello, Franck; Carlson, William; Chien, Andrew A.; Coteus, Paul; Debardeleben, Nathan A.; Diniz, Pedro; Engelmann, Christian; Erez, Mattan; Saverio, Fazzari; Geist, Al; Gupta, Rinku; Johnson, Fred; Krishnamoorthy, Sriram; Leyffer, Sven; Liberty, Dean; Mitra, Subhasish; Munson, Todd; Schreiber, Robert; Stearly, Jon; Van Hensbergen, Eric

    2014-05-01T23:59:59.000Z

    We present here a report produced by a workshop on “Addressing Failures in Exascale Computing” held in Park City, Utah, August 4–11, 2012. The charter of this workshop was to establish a common taxonomy about resilience across all the levels in a computing system; discuss existing knowledge on resilience across the various hardware and software layers of an exascale system; and build on those results, examining potential solutions from both a hardware and software perspective and focusing on a combined approach. The workshop brought together participants with expertise in applications, system software, and hardware; they came from industry, government, and academia; and their interests ranged from theory to implementation. The combination allowed broad and comprehensive discussions and led to this document, which summarizes and builds on those discussions.

  6. Addressing Failures in Exascale Computing

    SciTech Connect (OSTI)

    Snir, Marc [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Wisniewski, Robert [Intel Corporation] [Intel Corporation; Abraham, Jacob [unknown] [unknown; Adve, Sarita [University of Illinois, Urbana-Champaign] [University of Illinois, Urbana-Champaign; Bagchi, Saurabh [Purdue University] [Purdue University; Balaji, Pavan [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Belak, J. [Lawrence Livermore National Laboratory (LLNL)] [Lawrence Livermore National Laboratory (LLNL); Bose, Pradip [IBM T. J. Watson Research Center] [IBM T. J. Watson Research Center; Cappello, Franck [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Carlson, Bill [unknown] [unknown; Chien, Andrew [University of Chicago] [University of Chicago; Coteus, Paul [IBM T. J. Watson Research Center] [IBM T. J. Watson Research Center; DeBardeleben, Nathan [Los Alamos National Laboratory (LANL)] [Los Alamos National Laboratory (LANL); Diniz, Pedro [University of Southern California] [University of Southern California; Engelmann, Christian [ORNL] [ORNL; Erez, Mattan [University of Texas at Austin] [University of Texas at Austin; Fazzari, Saverio [Booz Allen Hamilton] [Booz Allen Hamilton; Geist, Al [ORNL] [ORNL; Gupta, Rinku [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Johnson, Fred [Science Applications International Corporation (SAIC), Oak Ridge, TN] [Science Applications International Corporation (SAIC), Oak Ridge, TN; Krishnamoorthy, Sriram [Pacific Northwest National Laboratory (PNNL)] [Pacific Northwest National Laboratory (PNNL); Leyffer, Sven [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Liberty, Dean [AMD] [AMD; Mitra, Subhasish [Stanford University] [Stanford University; Munson, Todd [Argonne National Laboratory (ANL)] [Argonne National Laboratory (ANL); Schreiber, Rob [HP Labs] [HP Labs; Stearley, Jon [Sandia National Laboratories (SNL)] [Sandia National Laboratories (SNL); Van Hensbergen, Eric [ARM] [ARM

    2014-01-01T23:59:59.000Z

    We present here a report produced by a workshop on Addressing failures in exascale computing' held in Park City, Utah, 4-11 August 2012. The charter of this workshop was to establish a common taxonomy about resilience across all the levels in a computing system, discuss existing knowledge on resilience across the various hardware and software layers of an exascale system, and build on those results, examining potential solutions from both a hardware and software perspective and focusing on a combined approach. The workshop brought together participants with expertise in applications, system software, and hardware; they came from industry, government, and academia, and their interests ranged from theory to implementation. The combination allowed broad and comprehensive discussions and led to this document, which summarizes and builds on those discussions.

  7. CSP 587: Software Quality Management S. Kan, Software Quality engineering, Addison-Wesley.

    E-Print Network [OSTI]

    Heller, Barbara

    hours · Quality Appraisal Programs 5 hours SEI's Capability Maturity Model ISO 9000 Total 45 hours CSPCSP 587: Software Quality Management Texts S. Kan, Software Quality engineering, Addison-Wesley. Objectives Students will learn methods of software quality management. This will include exposure to software

  8. Design for assembly : a computational approach to construct interlocking wooden frames

    E-Print Network [OSTI]

    Tai, Alan Song-Ching

    2012-01-01T23:59:59.000Z

    This thesis explores the computational process of generating and constructing interlocking frames. Its outcome delivers a sophisticated software tool that creates a three dimensional interlocking pattern, analyzes the ...

  9. S:\\PDC\\Planning\\03 Space Management\\3.5Software\\CAFM System\\User Documentation\\Function Definitons Academic.docx Room Function Definitions

    E-Print Network [OSTI]

    Papautsky, Ian

    S:\\PDC\\Planning\\03 Space Management\\3.5Software\\CAFM System\\User Documentation\\Function Definitons. Departmental research is funded from budgets that are not restricted to a specific project. #12;S:\\PDC academic departments used to establish and departmental library. #12;S:\\PDC\\Planning\\03 Space

  10. The Node Monitoring Component of a Scalable Systems Software Environment

    SciTech Connect (OSTI)

    Samuel James Miller

    2006-08-09T23:59:59.000Z

    This research describes Fountain, a suite of programs used to monitor the resources of a cluster. A cluster is a collection of individual computers that are connected via a high speed communication network. They are traditionally used by users who desire more resources, such as processing power and memory, than any single computer can provide. A common drawback to effectively utilizing such a large-scale system is the management infrastructure, which often does not often scale well as the system grows. Large-scale parallel systems provide new research challenges in the area of systems software, the programs or tools that manage the system from boot-up to running a parallel job. The approach presented in this thesis utilizes a collection of separate components that communicate with each other to achieve a common goal. While systems software comprises a broad array of components, this thesis focuses on the design choices for a node monitoring component. We will describe Fountain, an implementation of the Scalable Systems Software (SSS) node monitor specification. It is targeted at aggregate node monitoring for clusters, focusing on both scalability and fault tolerance as its design goals. It leverages widely used technologies such as XML and HTTP to present an interface to other components in the SSS environment.

  11. Software

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

    improving the KIVA internal combustion engine modeling tool to help automotive engines be more fuel efficient. A free version of KIVA can be downloaded through FCI's...

  12. 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: Alternative1 First Use of Energy for All Purposes (Fuel and Nonfuel), 2002; Level: National5Sales for4,645U.S. DOE Office of ScienceandMesa del Sol HomeFacebookScholarship Fund3Biology| Nationalof EnergyMitchmaterials

  13. Center for Technology for Advanced Scientific Component Software (TASCS) Consolidated Progress Report July 2006 - March 2009

    SciTech Connect (OSTI)

    Bernholdt, D E; McInnes, L C; Govindaraju, M; Bramley, R; Epperly, T; Kohl, J A; Nieplocha, J; Armstrong, R; Shasharina, S; Sussman, A L; Sottile, M; Damevski, K

    2009-04-14T23:59:59.000Z

    A resounding success of the Scientific Discovery through Advanced Computing (SciDAC) program is that high-performance computational science is now universally recognized as a critical aspect of scientific discovery [71], complementing both theoretical and experimental research. As scientific communities prepare to exploit unprecedented computing capabilities of emerging leadership-class machines for multi-model simulations at the extreme scale [72], it is more important than ever to address the technical and social challenges of geographically distributed teams that combine expertise in domain science, applied mathematics, and computer science to build robust and flexible codes that can incorporate changes over time. The Center for Technology for Advanced Scientific Component Software (TASCS) tackles these issues by exploiting component-based software development to facilitate collaborative high-performance scientific computing.

  14. Demonstration of Data Center Energy Use Prediction Software

    SciTech Connect (OSTI)

    Coles, Henry; Greenberg, Steve; Tschudi, William

    2013-09-30T23:59:59.000Z

    This report documents a demonstration of a software modeling tool from Romonet that was used to predict energy use and forecast energy use improvements in an operating data center. The demonstration was conducted in a conventional data center with a 15,500 square foot raised floor and an IT equipment load of 332 kilowatts. It was cooled using traditional computer room air handlers and a compressor-based chilled water system. The data center also utilized an uninterruptible power supply system for power conditioning and backup. Electrical energy monitoring was available at a number of locations within the data center. The software modeling tool predicted the energy use of the data center?s cooling and electrical power distribution systems, as well as electrical energy use and heat removal for the site. The actual energy used by the computer equipment was recorded from power distribution devices located at each computer equipment row. The model simulated the total energy use in the data center and supporting infrastructure and predicted energy use at energy-consuming points throughout the power distribution system. The initial predicted power levels were compared to actual meter readings and were found to be within approximately 10 percent at a particular measurement point, resulting in a site overall variance of 4.7 percent. Some variances were investigated, and more accurate information was entered into the model. In this case the overall variance was reduced to approximately 1.2 percent. The model was then used to predict energy use for various modification opportunities to the data center in successive iterations. These included increasing the IT equipment load, adding computer room air handler fan speed controls, and adding a water-side economizer. The demonstration showed that the software can be used to simulate data center energy use and create a model that is useful for investigating energy efficiency design changes.

  15. The emerging market for Web-based enterprise software

    E-Print Network [OSTI]

    Göldi, Andreas (Andreas Jakob)

    2007-01-01T23:59:59.000Z

    Web-based enterprise software - sometimes referred to as "Software as a Service" (SaaS) or "on demand software" - is a major wave of innovation that introduces a new technical and economic model to enterprise software. The ...

  16. Software reliability models for critical applications

    SciTech Connect (OSTI)

    Pham, H.; Pham, M.

    1991-12-01T23:59:59.000Z

    This report presents the results of the first phase of the ongoing EG G Idaho, Inc. Software Reliability Research Program. The program is studying the existing software reliability models and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for software reliability enhancement, and (3) general discussion and future research. The development of this proposed state-of-the-art software reliability model will be performed in the second place. 407 refs., 4 figs., 2 tabs.

  17. Software reliability models for critical applications

    SciTech Connect (OSTI)

    Pham, H.; Pham, M.

    1991-12-01T23:59:59.000Z

    This report presents the results of the first phase of the ongoing EG&G Idaho, Inc. Software Reliability Research Program. The program is studying the existing software reliability models and proposes a state-of-the-art software reliability model that is relevant to the nuclear reactor control environment. This report consists of three parts: (1) summaries of the literature review of existing software reliability and fault tolerant software reliability models and their related issues, (2) proposed technique for software reliability enhancement, and (3) general discussion and future research. The development of this proposed state-of-the-art software reliability model will be performed in the second place. 407 refs., 4 figs., 2 tabs.

  18. A computer system for access to distributed genome mapping data. Progress report

    SciTech Connect (OSTI)

    Marr, T.G.

    1992-02-05T23:59:59.000Z

    Development of a computer system for access to distributed genome mapping data is continuing. This effort is to develop software which accesses multiple databases and retrieves data which contain information useful for accelerating mapping human chromosomes. For example, the molecular sequence databases (GenBank, EMBL Data Library, PIR, SwissProt) which contain data required for the development of oligonucleotides for probing DNA as well as for extracting data for primer pair development for PCR-based methods. It is also to develop software which qualitatively integrates the following mapping data: (1) markers regionally localized using cytogenetic methods, (2) polymorphic markers ordered by genetic linkage analysis, (3) clones ordered by various ``finger-printing`` methods, (4) fragments ordered by long-range restriction mapping, (5) single genomic fragments or clones that have STSs assigned to them, (6) nucleotide sequences, (7) the associated metadata such as the submitting investigator`s name, location, etc; the source organism; the chromosome the element is from; the chromosomal location is whatever detail is available.

  19. Restricted Natural Gas Supply Case (released in AEO2005)

    Reports and Publications (EIA)

    2005-01-01T23:59:59.000Z

    The restricted natural gas supply case provides an analysis of the energy-economic implications of a scenario in which future gas supply is significantly more constrained than assumed in the reference case. Future natural gas supply conditions could be constrained because of problems with the construction and operation of large new energy projects, and because the future rate of technological progress could be significantly lower than the historical rate. Although the restricted natural gas supply case represents a plausible set of constraints on future natural gas supply, it is not intended to represent what is likely to happen in the future.

  20. Architecturing Conflict Handling of Pervasive Computing Resources

    E-Print Network [OSTI]

    Paris-Sud XI, Université de

    Architecturing Conflict Handling of Pervasive Computing Resources Henner Jakob1 , Charles Consel1 to conflict in their usage of shared resources, e.g., controlling doors for security and fire evacuation computing resources. This approach covers the software devel- opment lifecycle and consists of enriching