article

Free access

A plausibility-driven approach to computer architecture design

Authors:

Ulises Agüero,

Subrata SasguptaAuthors Info & Claims

Communications of the ACM, Volume 30, Issue 11

Pages 922 - 932

https://doi.org/10.1145/32206.32208

Published: 01 November 1987 Publication History

Abstract

A dilemma skirting the discipline of computer architecture concerns the plausibility of architectural designs. To counter the widely held perception that architecture is a nebulous entity is a proposal to view such designs as specifications of constraints to be satisfied.

References

[1]

Agiiero. U. A theory of plausibility for computer architecture designs. Ph.D. dissertation. Center for Advanced Computer Studies. Univ. of Southwestern Louisiana. Lafayette, 1987.

[2]

Baer. J.L. Compufer Systems Architecfure. Computer Science Press. Rockville. Md. 1980.

[3]

Dasgupta, S. On the verification of computer architeclures using an architecture description language. In Proceedings of the l&h Annual lnteruafional Symposium on ComputerArchitecture (Stockholm, Sweden, June 6). IEEE Press, New York. 1983. pp. 32-38.

[4]

Dasgupta. S. The Design and Description of Computer Archifeclures. Wiley, New York, 1984.

Digital Library

[5]

Dasgupta. S. Wilsey, P.A. and Heinanen. J. Axiomatic specifications in firmware development systems. IEEE So@. 3, 4 (June 19861, 49-58.

[6]

Dennis, 1.B. et al. Research directions in computer architecture. In Research Directions m Software Technology. P. Wegner, Ed. MIT Press. Cambridge. Mass., 1979.

[7]

Dixon, J.K. McLean, 1. and Parnas. D.L. Rapid prototyping by means of abstract module specifications written as trace axioms. ACM SIGSOFT 7, 5 (Dec. 1982). 45-49.

Digital Library

[8]

Flynn. M.J., and Hoevel. L.W. Execution architecture: The DELtran experiment. IEEE Trans. Comput. C-32, 2 (Feb. 198.3). 156-174.

[9]

Fuller, S.H., et al. Evaluation of computer archittxtures via test programs. In Proceedings of AFIPS National Computer Conference, vol. 46 (Dallas. Tex., June 13-16). AFIPS Press. R&on, Va. 1977, pp. 147-160.

[10]

Gries, D. The Science of Programming. Springer-Verlag, New York. 1981.

Digital Library

[11]

Katevenis, M.G.H. Reduced lnstrucfion Ser Compute, Architectures for VLSI. MIT Press. Cambridge, Mass., 1985.

Digital Library

[12]

Kavi. K.M. and Krishnamohan. K. Architecture quality. ACM SIGARCH News 12. 1 (Mar. 1984},64-72.

Digital Library

[13]

Kuhn, T.S. The Strucfure of Scienfific Reuolufions. University of Chicago Press, Chicago, III. 1970.

[14]

MacGregor. D., and Mothersole, D.S. Virtual memory and the MC68010. IEEE Micro (June 1983). 24-39.

[15]

McLean, 1. A formal method for the abstract specification of software. 1. ACM 31. 3 (}uly 1984). 600-627.

Digital Library

[16]

Mendelson. E. lnfroduction to Mathemafical Logic. 2nd ed. Van Nostrand Reinhold, New York. 1972.

Digital Library

[17]

Morris. D. and Ibbett. R.N. The MU5 Compufer Sys'em. Springer- Verlag, New York, 1979.

[18]

Myers, C.J. Advances in Computer Archifecfure. Wiley, New York. 1982.

Digital Library

[19]

Patterson. D.A., and Hennessy, J. Response to "Computers. Complexity and Controversy. Computer 18,ll (Nov. 1985). 142-143.

Digital Library

[20]

Peuto, B.L. Architecture of a new microprocessor. Computer 12, 2 (Feb. 1979), 10-21.

[21]

Popper. K.R. The Logic of Scienfific Discovery. Harper and Row. New York, 1968.

[22]

Reddi, S.S., and Feustel. E.A. A conceptual framework for computer architecture. ACM Comput. Saw. 8. 2 (June 1976). ;!77-300.

Digital Library

[23]

Sakai, H. et al. Design and implementation of the relational database engine. In Proceedings of the Infernational Confirence on Fifth Generafion Compufer Systems (Tokyo, Japan). ICOT. 1984, pp. 419- 426.

[24]

Siewiorek, D.P. and Swarz. R.S. The Theory and Practice of Reliable System Design. Digital Press, Bedford, Mass., 1982.

[25]

Siewiarek. D.P., Kini, V. Mashburn, H. McConnel S. and Tsao. M. C.vmp: A voted multiprocessor. Proc. IEEE 66. 10 (Oct. 1978), 1190-1198.

[26]

Simon, H.A. Style in design. In Spatial Synthesis in Computer-Aided Building Design, CM. Eastman, Ed. Wiley, New York. 1975, chap. 9.

[27]

Stritter, E., and Gunter. T. A microprocessor architecture for a changing world: The Motorola 68000. Computer 12. 2 (Feb. 1979). 43-52.

[28]

Taki. K., et al. Hardware design and implementation of the personal sequential inference machine (PSI). In Proceedings of the Znfernafional Conference on Fifth Generafion Computer Systems (Tokyo, Japan). ICOT. 1984. pp. 398-409.

[29]

Turner. R. Logics for Artificial Intelligence. Wiley, New York. 1984, chap. 5.

Digital Library

[30]

Whalen, T., and Schott, B. Alternative logics for approximate reasoning in expert systems: A comparative study. Int. 1. Man-Mach. Stud. 22 (19851, 327-346.

[31]

Wilkes. M.V. Computers then and now. 1. ACM 15, 1 (Jan. 1968), l-7.

Digital Library

[32]

Wilsey. P.A. et al. An S*M execution environment Tech. Rep. TR87-3-l. Center for Advanced Computer Studies, Univ. of Southwestern Louisiana. Lafayette, Feb. 1987.

Cited By

Kavakli ELoucopoulos P(2006)Experiences with goal-oriented modeling of organizational changeIEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews10.1109/TSMCC.2004.84006636:2(221-235)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1109/TSMCC.2004.840066
Chung L(2005)Representation and utilization of non-functional requirements for information system designActive Flow and Combustion Control 201810.1007/3-540-54059-8_78(5-30)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-54059-8_78
Kavakli EHaddad HOmicini AWainwright RLiebrock L(2004)Modeling organizational goalsProceedings of the 2004 ACM symposium on Applied computing10.1145/967900.968171(1339-1343)Online publication date: 14-Mar-2004
https://dl.acm.org/doi/10.1145/967900.968171
Show More Cited By

Index Terms

A plausibility-driven approach to computer architecture design

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Copyright © 1987 ACM.

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1987

Published in CACM Volume 30, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
469
Total Downloads

Downloads (Last 12 months)97
Downloads (Last 6 weeks)11

Reflects downloads up to 23 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kavakli ELoucopoulos P(2006)Experiences with goal-oriented modeling of organizational changeIEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews10.1109/TSMCC.2004.84006636:2(221-235)Online publication date: 1-Mar-2006
https://dl.acm.org/doi/10.1109/TSMCC.2004.840066
Chung L(2005)Representation and utilization of non-functional requirements for information system designActive Flow and Combustion Control 201810.1007/3-540-54059-8_78(5-30)Online publication date: 29-Jul-2005
https://doi.org/10.1007/3-540-54059-8_78
Kavakli EHaddad HOmicini AWainwright RLiebrock L(2004)Modeling organizational goalsProceedings of the 2004 ACM symposium on Applied computing10.1145/967900.968171(1339-1343)Online publication date: 14-Mar-2004
https://dl.acm.org/doi/10.1145/967900.968171
Schwartz D(1997)Database support for conflict detection in a computer-supported cooperative work environmentProceedings of the 1997 International Database Engineering and Applications Symposium (Cat. No.97TB100166)10.1109/IDEAS.1997.625682(240-249)Online publication date: 1997
https://doi.org/10.1109/IDEAS.1997.625682
Dasgupta S(1994)Understanding design: Artificial intelligence as an explanatory paradigmSadhana10.1007/BF0276038819:1(5-21)Online publication date: Feb-1994
https://doi.org/10.1007/BF02760388
Ramakrishna NBayoumi MDasgupta S(1992)Design process management in a CAD framework[Proceedings] 1992 IEEE International Symposium on Circuits and Systems10.1109/ISCAS.1992.229917(447-450)Online publication date: 1992
https://doi.org/10.1109/ISCAS.1992.229917
Patel SDasgupta S(1991)Automatic belief revision in a plausibility-driven design environmentIEEE Transactions on Systems, Man, and Cybernetics10.1109/21.12004721:5(933-951)Online publication date: Jan-1991
https://doi.org/10.1109/21.120047
Patel SDasgupta S(1991)Automated belief revision in plausibility-driven design processesArtificial Intelligence in Design '9110.1016/B978-0-7506-1188-6.50027-2(447-466)Online publication date: 1991
https://doi.org/10.1016/B978-0-7506-1188-6.50027-2
Wild CMaly KLiu L(1991)Decision-based software developmentJournal of Software Maintenance: Research and Practice10.1002/smr.43600301033:1(17-43)Online publication date: 1-Mar-1991
https://dl.acm.org/doi/10.1002/smr.4360030103
Wild CMaly KLiu L(1990)Decision-based-support-paradigm: a new method to structure source codeProceedings. Conference on Software Maintenance 199010.1109/ICSM.1990.131360(218-229)Online publication date: 1990
https://doi.org/10.1109/ICSM.1990.131360
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents