A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Change-driven development for scientific software
2017
Journal of Supercomputing
Preserved Fulltext
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
1982
Proceedings of the 1982 SIGPLAN symposium on Compiler construction - SIGPLAN '82
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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 소프트웨어 적용 현황
2020
Journal of the Korean Society of Propulsion Engineers
발사체 해석을 위한 CFD 소프트웨어 적용 현황
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1995
Clinical Biochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1994
Clinica Chimica Acta
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1995
Journal of Automatic Chemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
2021 IEEE/ACM 5th International Workshop on Software Correctness for HPC Applications (Correctness)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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*
1966
Journal of The American Geriatrics Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1988
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2003
International Journal of Human-Computer Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
, 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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2015
Geoscientific Model Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of College Teaching & Learning (TLC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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