Kernel Ada to unify hardware and software design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Kernel Ada to unify hardware and software design

Full text

Pdf (1.05 MB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 28 - 38

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Sy Wong	Adaware, 5200 Topeka Drive, Tarzana, Ca
Gertrude Levine	Fairlight Dickinson University, 1000 River Road, Teaneck, NJ

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 13, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289529 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gregory R. Andrews, Concurrent programming: principles and practice, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1991
	2	Andrew W. Appel, Compiling with continuations, Cambridge University Press, New York, NY, 1992
	3	T.P. Baker, D.-I. Oh, and S.-J. Moon. Low-level Ada trasking support for GNAT- performance and portability improvements. In Proceedings of the 13th Annual Washington Ada Symposium, July 1996.
	4	John Barnes, Programming in Ada95, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1995
	5	Alan Burns , Andy Wellings, Concurrency in Ada, Cambridge University Press, New York, NY, 1995
	6	Ada Information Clearinghouse_ Ada compiler evaluation system (ACES). Available from http://sweng.falls-church.va, us/AdaIC/compilers/aces/.
	7	Dong-Ik Oh , T. P. Baker, Optimization of Ada '95 tasking constructs, Proceedings of the conference on TRI-Ada '97, p.79-88, November 09-13, 1997, St. Louis, Missouri, United States [doi>10.1145/269629.269638]
	8	E. W. Giering , Frank Mueller , T. P. Baker, Features of the GNU Ada runtime library, Proceedings of the conference on TRI-Ada '94, p.93-103, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197711]
	9	Intermatrics. Ada 95 Rationale, February 1995.
	10	Pascal Ledru, Translation of the protected type mechanism in Ada 83, ACM SIGAda Ada Letters, v.XV n.1, p.64-69, Jan./Feb. 1995 [doi>10.1145/199682.199687]
	11	Frank Mueller. A library implementation of POSIX threads under UNIX. In Proceedings of the USENIX Conference, pages 29-41, January 1993.

CITED BY 2

	Robert C. Leif, SIGda '96, workshop: how do we expedite the commercial use of Ada?, ACM SIGAda Ada Letters, v.XIX n.1, p.28-39, March 1999
	Paul Pukite , Luke Ludwig, Generic discrete event simulations using D<scp>EGAS</scp>:: application to logic design and digital signal processing, ACM SIGAda Ada Letters, v.XXVII n.3, December 2007