Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/323287.323289acmconferencesArticle/Chapter ViewAbstractPublication PagessigcseConference Proceedingsconference-collections
Article
Free access

A structural computer system resource model for teaching computer organization

Published: 01 March 1985 Publication History
First page of PDF

References

[1]
Arvind, and Gastelow, K. P., "Oataflow computer architecture: research and goals," Technical Report 113, Department of information and Computer Science, University of California Irvine, irvine, Ca., February 6, 1978.
[2]
Dijkstra, E. W.,"Structure of 'THE' - Multiprogramming System," Communicat/or~ of the ACt~ Vol. 11. NO. 5. May 1968, pp. 341 --46.
[3]
Gagliardi, U. O. and Goldberg, R. P., "Virtualizable architectures." Proceedings of the 1972 International Computer Symposium, Venice, Italy, April, 1972, pp. 527-538.
[4]
Goldberg, R. P., "Architectural Principles of Virtual Computing Systems." Center for Research in Computing Technology. Harvard University Report No. 24-72, Cambridge, Massachusetts.
[5]
Hoare. C. A. R., "Proof of Correctness of Data Representations." Acta/nformatica 1, (1972), 271-281.
[6]
Hoare, C. A. R., "Monitors: An Operating System Structuring Concept." Communications of theAC/~ October 1974, pp. 549-557.
[7]
Hoare, C. A. R., "Communicating Sequential Processes," Communications of the ACt~ August 1978. pp. 666-677.
[8]
Hyams, D., Virtual Machine Monitors, Ooctoral Oissertation, Computer Science Oepartment, University of Southwestern Louisiana, Lafayette, Louisiana. August 1976.
[9]
IBM System/38: Functional Concepts Manual, IBM General Systems Division, Publication GA21-9330-g, June 1980.
[10]
MOSI Proposed Standards for Microprocessor-Based Operating Systems Interfaces, MOSI. IEEE 855, January, 1982.
[11]
Levy. H. M., Capability--Based Comguter S t_S_S_~, Digital Press, Bedford. MA, 1984.
[12]
Nguyen, D. T., Formal Principles for Virtual Machine Monitors, Doctoral Dissertation, Computer Science Department, University of Southwestern Louisiana, Lafayette, Louisiana, July 1979.
[13]
Popek, G. J. and Goldberg, R .P., "Formal Requirements for Virtualizable Third Generation Architectures," Cornrnunicat/on~ of the ACI~ Vol. 17, No. 7, July, 1974, pp. 412-421.
[14]
Shriver, B. D., Anderson, J. W., and Hyams, El. M. "A virtual machine monitor for a distributed minicomputer system," Proceedings of the 1Oth Hawaii International Conference on Systems Sciences. Honolulu, Hawaii, January, 1977.
[15]
Siewiorek, D. P., Bell. C. G. and Newell. A., Computer Structures: Principles and Examples, McGraw-Hill, New York, N.Y., 1982, pp. 9-16, 76-95.
[16]
Waguespack, L. 3. Jr., Virtual Machine M.u.it iprogramminQ and Security, Doctoral Dissertation, Computer Science Department, University of Southwestern Louisiana, Lafayette, Louisiana, June, t975.
[17]
Waguespack, L. J., Jr., =User Languages in Software Oeveloprnent," 15th Hawaii International Conference on Systems Science, Honolulu, Hawaii, January, 1982.
[18]
Waguespack, L. J., Jr., and Haas, D.F., "Teaching Software Engineering Using Live Case Studies," The Journal of Oata Education (accepted for publication, Spring 1984).
[19]
Ziegler, S., Allegre, N., Johnson, R., Morris, J., and Burns, G. "Aria for the 432 Microcomputer', /EEE Computer, Vol. 14, No. 6, June 1981, pp. 47-56.

Cited By

View all
  • (1989)An IS1 workbench for ACM information system curriculum '81ACM SIGCSE Bulletin10.1145/65294.7119421:1(83-87)Online publication date: 1-Feb-1989
  • (1989)An IS1 workbench for ACM information system curriculum '81Proceedings of the twentieth SIGCSE technical symposium on Computer science education10.1145/65293.71194(83-87)Online publication date: 1-Feb-1989
  • (1985)On programs, tasks and processesACM SIGOPS Operating Systems Review10.1145/850776.85077719:3(7-8)Online publication date: 1-Jul-1985

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SIGCSE '85: Proceedings of the sixteenth SIGCSE technical symposium on Computer science education
March 1985
378 pages
ISBN:0897911520
DOI:10.1145/323287
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1985

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

SIGCSE85
Sponsor:
SIGCSE85: ACM/SIGCSE Technical Symposium
March 14 - 15, 1985
Louisiana, New Orleans, USA

Acceptance Rates

Overall Acceptance Rate 1,595 of 4,542 submissions, 35%

Upcoming Conference

SIGCSE Virtual 2024
1st ACM Virtual Global Computing Education Conference
December 5 - 8, 2024
Virtual Event , NC , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)58
  • Downloads (Last 6 weeks)9
Reflects downloads up to 10 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (1989)An IS1 workbench for ACM information system curriculum '81ACM SIGCSE Bulletin10.1145/65294.7119421:1(83-87)Online publication date: 1-Feb-1989
  • (1989)An IS1 workbench for ACM information system curriculum '81Proceedings of the twentieth SIGCSE technical symposium on Computer science education10.1145/65293.71194(83-87)Online publication date: 1-Feb-1989
  • (1985)On programs, tasks and processesACM SIGOPS Operating Systems Review10.1145/850776.85077719:3(7-8)Online publication date: 1-Jul-1985

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media