Search

Filter

  • Advanced Filters:

  • to

  • Specific Data Sources:

    All Edit

    Select All  |  Select None

Reset filters

Journals ACM SIGMINI Newsletter Volume 2 Issue 2

design strategy is presented, discussed, and illustrated by a typical business application. Attention is given to program production, efficiency, reliability, maintainability, and modifiability using this strategy. EXPk~IENCES IN THE DEVELOPMENT OF MA~IEMATICAL SOFTWARE FOR SMALL COMPUTERS J. C. Nash Agriculture Canada Ottawa, Canada KIA 0C5 Abstract Personal experiences are reported of the difficulties and the successes associated with attempts to develop mathematical software for small computers. Examples are used %o illustrate the process of algorithm selection and program "squeezing." Some unforeseen advantages of the resulting programs are mentioned. NUMERICAL APPLICATIONS OF MINICOMPUTERS AT THE NATIONAL BUREAU OF STANDARDS Daniel W. Lozier Institute for Basic Standards National Bureau of Standards Washington, D. C. 20234 Abstract At the National Bureau of Standards, minicomputers are used in a variety of applications requiring the acquisition and processing of physical data. In this paper, a general view of minicomputer use in laboratories at NBS is given. Several specific applications with current and future requirements in numerical processing are discussed. Computation on small computers is typically constrained, more severely than on large computers, by hardware limitations. These can be overcome only by mathematical software that is not required in large computer systems. The validity of computed results depends on this software as well as on the same type of mathematical software that would be used to solve the same problem on a large computer. But mathematical software of known high quality is less readily available for minicomputers. Some possible means of alleviating the software problems of minicomFuters, and some steps taken in this direction at NBS, are discussed. PROVING THE COPd~ECTNESS OF A FLIGHT-DIRECTOR PROGRAM FOR AN AIRBORNE MINICOMPUTER W. D. Maurer Dept. of Electrical ~ g i n e e r i n g & Computer Science George Washington University Washington, D. C. 20052 Abstract Over the past five years, our research efforts have been devoted in large part to developing techniques for proving the correctness of assembly-language and machine-language programs running on actual computers. In this paper, we report upon an effort to put this work into practice by proving the correctness of a program written for the Litton C4000 airborne computer. This includes overflow analysis, non-selfmodification analysis, round-off and truncation analysis, fixed-point scaling considerations, and analysis of the subroutine parameter and return-address conventions used in the given program. The basic method we use is the induetire assertion method of (Floyd, 1967), suitably modified and extended for application to a machinelanguage situation. -8-

Page 1 of 1

Page 1 of 1

Toggle back to continuous viewing mode

/lp/association-for-computing-machinery/experiences-in-the-development-of-mathematical-software-for-small-Q3y9qBG7gK
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%

Learn more

Free Article

Bookmark

Experiences in the development of mathematical software for small computers

Nash, J. C.
ACM SIGMINI Newsletter , Volume 2 (2)
Association for Computing Machinery – Mar 1, 1976

More Info

More Like This Article

View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct

Browse: Subject Areas | Journals | Publishers

Sign Up for a DeepDyve Account

Bookmark an Article

To bookmark an article, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Thank you for renting with DeepDyve

Your PayPal account has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

Your credit card has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

OK

New! You can now keep track of new articles from ACM SIGMINI Newsletter on your personalized homepage! Learn more

PDF Download — Not Available

Thanks for your interest in purchasing the PDF. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for purchasing with DeepDyve

Your PayPal account has been charged $.

Your credit card has been charged $.

You can now download this article. A purchase receipt has also been sent to your email address.

Download This Article or I'm done with my download

Print Page — Not Available

Thanks for your interest in printing individual pages. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for printing with DeepDyve

Your PayPal account has been charged $0.

Your credit card has been charged $0.

You can now print this article. A purchase receipt has also been sent to your email address.

Print the Selected Pages or I'm done with my printing

Please refresh to generate a new download link

Your article download link has expired. Please refresh this page to obtain a new download link and try again.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK