Filters








240 Hits in 5.2 sec

Change-driven development for scientific software

Mariano Méndez, Fernando G. Tinetti
2017 Journal of Supercomputing  
Founded on the principles of software essence (changeability, complexity, intangibility, and conformity), integrated development tools, and automated source code transformation.  ...  to the original source of publication and a link is inserted to the published article on Springer's website.  ...  A FORTRAN 77 program has been updated into a Fortran 90 version by applying CDD almost entirely by performing automated source code transformations, most of them implemented in the Photran IDE.  ... 
doi:10.1007/s11227-017-1966-1 fatcat:6poxgdri4jeohfbydqouhsjpju

Tailoring testing to a specific compiler---experiences

Harlan K. Seyfer
1982 Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82  
Test development and execution using the Univac Test Controller System is illustrated with examples. The experiences gained from this and other compiler testing efforts are described.  ...  The testing of the Univac UCS-Pescal compiler is described. Tests were acquired from various sources, converted from existing tests, an~ developed in house.  ...  Data supplied with each test includes documentation as to the location and type of error and the numeric error code of the corresponding error message from Appendix E of Jensen and Wirth .  ... 
doi:10.1145/800230.806990 dblp:conf/sigplan/Seyfer82 fatcat:avvrgmxqpffwxnep3ilvvybype

Present State of CFD Softwares Application for Launch Vehicle Analysis
발사체 해석을 위한 CFD 소프트웨어 적용 현황

Hwanghui Jeong, Jae Yeol Kim, Jae-Ryul Shin
2020 Journal of the Korean Society of Propulsion Engineers  
This software program takes an XML representation of the contents of a Hierarchical Data Format-Earth Observing System (HDF-EOS) file and recreates the file from that description .  ...  Please visit the following URL for additional information: http://opensource .gsfc .nasa .gov/projects/xml2he/index .  ...  The tool is capable of quickly verifying spatial resolution, enabling the appropriate use of those images in a number of applications .  ... 
doi:10.6108/kspe.2020.24.3.071 fatcat:trxkhiuqrjakll32bcjxskgwju

Use of artificial intelligence in analytical systems for the clinical laboratory

John F. Place, Alain Truchaud, Kyoichi Ozawa, Harry Pardue, Paul Schnipelsky
1995 Clinical Biochemistry  
II is concluded that AI constitutes a collective form of intellectual propery, and that there is a need for better documentation, evaluation and regulation of the systems already being used in clinical  ...  In the second part of the paper, examples are given of applications of AI in stand-alone systems for knowledge engineering and medical diagnosis and in embedded systems for failure detection, image analysis  ...  Items for future debate This review could be supplemented with a survey, in the form of a.questionnaire, concerning applications of embedded systems in laboratory instrumentation.  ... 
doi:10.1016/0009-9120(95)00002-q pmid:8521591 fatcat:akmmxkjcsjag3p5zx7ffsal3pu

Use of artificial intelligence in analytical systems for the clinical laboratory

John F. Place, Alain Truchaud, Kyoichi Ozawa, Harry Pardue, Paul Schnipelsky
1994 Clinica Chimica Acta  
II is concluded that AI constitutes a collective form of intellectual propery, and that there is a need for better documentation, evaluation and regulation of the systems already being used in clinical  ...  In the second part of the paper, examples are given of applications of AI in stand-alone systems for knowledge engineering and medical diagnosis and in embedded systems for failure detection, image analysis  ...  Items for future debate This review could be supplemented with a survey, in the form of a.questionnaire, concerning applications of embedded systems in laboratory instrumentation.  ... 
doi:10.1016/0009-8981(94)90206-2 pmid:7889593 fatcat:hhu3akulsjdtlngfsgvhu5rllu

Use of artificial intelligence in analytical systems for the clinical laboratory

John F. Place, Alain Truchaud, Kyoichi Ozawa, Harry Pardue, Paul Schnipelsky
1995 Journal of Automatic Chemistry  
machine learning, as related to clinical laboratories.It is concluded that AI constitutes a collective form of intellectual propery, and that there is a need for better documentation, evaluation and regulation  ...  of AI in stand-alone systems for knowledge engineering and medical diagnosis and in embedded systems for failure detection, image analysis, user interfacing, natural language processing, robotics and  ...  Items for future debate This review could be supplemented with a survey, in the form of a.questionnaire, concerning applications of embedded systems in laboratory instrumentation.  ... 
doi:10.1155/s1463924695000010 pmid:18924784 pmcid:PMC2548109 fatcat:p373hkzglbgkfh7auyt2t4bxv4

The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation

Mathieu Laurent, Emmanuelle Saillard, Martin Quinson
2021 2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness)  
We introduce a classification of MPI errors and provide correct and incorrect codes covering many MPI features and our categorization of errors.  ...  Many tools have been proposed in the literature to detect incorrect usages of MPI in a given program.  ...  Each incorrect code produces only one error: all codes were verified with the Valgrind tool and we manually checked the output of all bug finding tools.  ... 
doi:10.1109/correctness54621.2021.00008 fatcat:ogtf4tmuv5aclfv7txs5oaaqym

Abstracts of Current Computer Literature

1969 IEEE transactions on computers  
The report presents a graph-model of computer programs and then uses this model to develop tools for analysis of programs executing on single and multiprocessors.  ...  The treatment of data types is unusual and it allows the power and convenience of a language with dynamically varying types and yet the efficiency of FORTRAN.  ... 
doi:10.1109/t-c.1969.222584 fatcat:5xs4k4tnxzesrhzluh73ldlmy4

COMPUTERS IN MEDICINE: PAST, PRESENT, AND POTENTIAL*

G. Douglas Talbott
1966 Journal of The American Geriatrics Society  
Chronic Dis. 18: 77, 1965. 25. Finney, D. J.: The design and logic of a monitor of drug use, J. Chronic Dis. 18: 77, 1965. 26.  ...  .: Clinical experience with the use of computers for calculation of cardiac output, Am. J. Cardiol. 15: 213, 1965. . Hara, H. H., and Bellville, J.  ... 
doi:10.1111/j.1532-5415.1966.tb02921.x pmid:6012535 fatcat:z7cmuoz64rb3bcuyuexverdmai

Architecture and applications of the Connection Machine

L.W. Tucker, G.G. Robertson
1988 Computer  
Where do we find the inherent parallelism and how do we exploit it? Most computer programs consist of a control sequence (the instructions) and a collection of data elements.  ...  Fortunately, the technology base for the last twenty years has continued to improve at a steady rate-increasing in capacity and speed while decreasing in cost for performance.  ...  Users can program using four front-end computer systems (right familiar languages and programming conside of Figure 1 ) provide the development structs, with all development tools and execution environments  ... 
doi:10.1109/2.74 fatcat:zog5vvidhba3rn6p2tsco52o54

Abstracts of Current Computer Literature

1970 IEEE transactions on computers  
Audio Nonparametric Partitioning Procedure for 7351 and Electroacoustics, vol. AU-17, pp. 77-85, Determining a Structure for Multivariate A Flexible Standard Programming Sys-June 1969.  ...  J.: tion Algorithms for Paging and Segmenta-AFIPS Press, 1969, pp. 813-825. 7321 tion, J. E. Shemer (Scientific Data Systems, A model for the semantics of programs in Towards FORTRAN VI? Part 2.  ... 
doi:10.1109/tc.1970.5008907 fatcat:mkbk2sj57nezvagetslzsq5l3u

A study of current logic design practices in the automotive manufacturing industry

M.R Lucas, D.M Tilbury
2003 International Journal of Human-Computer Studies  
, and design the logic needed for a machine.  ...  This is a greater range of responsibilities than expected.  ...  Acknowledgements I would like to extend my thanks to Lamb for allowing me access to their designers and their expertise.  ... 
doi:10.1016/s1071-5819(03)00115-0 fatcat:p3k435cetnckzipp77phegv4yq

Abstracts

1968 IBM Systems Journal  
Some of these were implemented as FORTRAN subroutines, and further experiments were conducted.  ...  The advent of a new generation of computers, coupled with the continued growth of interest in simulation as a tool for decision making, has helped to motivate the development of the language discussed  ... 
doi:10.1147/sj.72.0135 fatcat:kdr7nnidwrcu3egl4jiszmy3zu

Development of a grid-independent GEOS-Chem chemical transport model (v9-02) as an atmospheric chemistry module for Earth system models

M. S. Long, R. Yantosca, J. E. Nielsen, C. A. Keller, A. da Silva, M. P. Sulprizio, S. Pawson, D. J. Jacob
2015 Geoscientific Model Development  
Numerical experiments demonstrate that the GEOS-Chem chemistry module scales efficiently for the number of cores tested, with no degradation as the number of cores increases.  ...  The coupled GEOS-5–GEOS-Chem system was tested for scalability and performance with a tropospheric oxidant-aerosol simulation (120 coupled species, 66 transported tracers) using 48–240 cores and message-passing  ...  This work was supported by the NASA Modeling, Analysis and Prediction (MAP) Program. The authors thank Ben Auer (NASA-GMAO) and Jack Yatteau (Harvard University) for technical assistance.  ... 
doi:10.5194/gmd-8-595-2015 fatcat:5nuqlqmt3rc43ox7erypah6aei

Contemporary Capstone Computer Courses: Lessons From The Service Sciences

M. Keith Wright, Charles J. Capps III
2011 Journal of College Teaching & Learning (TLC)  
The paper concludes by sketching a basic curriculum for a hypothetical new program we call the School of Artificial Systems and Service Sciences.  ...  Many of today's computing related degree programs are in danger of failing for similar reasons.  ...  The principal entry level requirement for professional programming was a technical college degree that included a couple of programming courses (Assembly, and either FORTRAN or COBOL).  ... 
doi:10.19030/tlc.v6i1.1176 fatcat:pn3exg74gvbunchco5vivgjzg4
« Previous Showing results 1 — 15 out of 240 results