Will Tracz gave a short summary of SIGMICRO's financial health. Due to the $6000 loss incurred by MICRO-19, SIGMICRO has a negative fund balance. The ACM doesn't like this situation. We are taking no action on this, due to the large surplus expected from MICRO-20. Since the results from MICRO-20 won't show up on our balance sheet for several months, we will not be able to mail the Proceedings to all SIGMICRO members as we have in the past. Instead, we will include the best papers from the Proceedings in subsequent Newsletter issues.
Will Tracz简要介绍了SIGMICRO的财务状况。由于MICRO-19损失了6000美元，SIGMICRO的资金余额为负。美国计算机协会不喜欢这种情况。由于预计MICRO-20将有大量盈余，我们对此没有采取任何行动。由于MICRO-20的结果在几个月内不会出现在我们的资产负债表上，我们将无法像过去那样将会议记录邮寄给所有SIGMICRO成员。相反，我们将在后续的通讯中包括来自会议录的最佳论文。
{"title":"Computer aided antibiotic therapy","authors":"Mahmood G Aijazi","doi":"10.1145/16360.16361","DOIUrl":"https://doi.org/10.1145/16360.16361","url":null,"abstract":"Will Tracz gave a short summary of SIGMICRO's financial health. Due to the $6000 loss incurred by MICRO-19, SIGMICRO has a negative fund balance. The ACM doesn't like this situation. We are taking no action on this, due to the large surplus expected from MICRO-20. Since the results from MICRO-20 won't show up on our balance sheet for several months, we will not be able to mail the Proceedings to all SIGMICRO members as we have in the past. Instead, we will include the best papers from the Proceedings in subsequent Newsletter issues.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124959640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The behavior of a VLSI device can be expressed in occam, a language based on communicating processes. It is then possible to establish that the design behaves as intended, by simulation and by proof techniques using the formal semantics of occam. Finally, the occam source can be directly compiled into correct silicon layout.
{"title":"Survey of educational programs in medical information science","authors":"J. Glaser, J. Edgar","doi":"10.1145/16360.16362","DOIUrl":"https://doi.org/10.1145/16360.16362","url":null,"abstract":"The behavior of a VLSI device can be expressed in occam, a language based on communicating processes. It is then possible to establish that the design behaves as intended, by simulation and by proof techniques using the formal semantics of occam. Finally, the occam source can be directly compiled into correct silicon layout.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121956754","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Microcode Assistant is the interactive, graphic tool for creating, editing, assembling and verifying microcode.
微码助手是用于创建、编辑、组装和验证微码的交互式图形工具。
{"title":"Microcode assistant","authors":"Richard J. Haverlack","doi":"10.1145/378719.378725","DOIUrl":"https://doi.org/10.1145/378719.378725","url":null,"abstract":"The Microcode Assistant is the interactive, graphic tool for creating, editing, assembling and verifying microcode.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117345668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A general description of the salient feature of SCAMP (Scientific Computer and Modular Processer)
SCAMP(科学计算机和模块化处理器)的主要特点概述
{"title":"Preliminary information on SCAMP","authors":"G. Burgess","doi":"10.1145/378719.378734","DOIUrl":"https://doi.org/10.1145/378719.378734","url":null,"abstract":"A general description of the salient feature of SCAMP (Scientific Computer and Modular Processer)","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133706816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
On September 22, 1986, a federal court ruled, for the first time, that microcode is copyrightable. NEC Corp. v. Intel Corp., 645 F. Supp. 590 (N.D. Cal. 1986). The wisdom of this ruling is open to question, but its effect is not: the microcode community will have to adapt to new rules, some of them difficult to understand, most of them involving additional cost and labor.
{"title":"The effect of copyright law on the development of functionally compatible functionally compatible microprogrammed devices","authors":"Douglas K. Derwin, D. Siegel","doi":"10.1145/379531.379533","DOIUrl":"https://doi.org/10.1145/379531.379533","url":null,"abstract":"On September 22, 1986, a federal court ruled, for the first time, that microcode is copyrightable. NEC Corp. v. Intel Corp., 645 F. Supp. 590 (N.D. Cal. 1986). The wisdom of this ruling is open to question, but its effect is not: the microcode community will have to adapt to new rules, some of them difficult to understand, most of them involving additional cost and labor.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116634749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In 1982, Nick Tredennick [Tred82] described his view of the universe of microprogramming. He divided it into four "cultures:"Commercial Machine Culture The developers of general purpose computer families.Bit-Slice Culture The developers of specialized systems built with standard bit-slice components.Microprogrammable Machine Culture The developers of systems that can emulate several computer architectures.Single-Chip Culture The developers of microprocessors who use microprogramming as an implementation technique.
{"title":"The death of Bit-slice","authors":"Michael J. Eager","doi":"10.1145/379531.379532","DOIUrl":"https://doi.org/10.1145/379531.379532","url":null,"abstract":"In 1982, Nick Tredennick [Tred82] described his view of the universe of microprogramming. He divided it into four \"cultures:\"Commercial Machine Culture The developers of general purpose computer families.Bit-Slice Culture The developers of specialized systems built with standard bit-slice components.Microprogrammable Machine Culture The developers of systems that can emulate several computer architectures.Single-Chip Culture The developers of microprocessors who use microprogramming as an implementation technique.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130991761","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Microprogramming is a technique for implementing machine language instruction sets --it is critical in today's computer architectures and operating systems. An emulator is a set of microprograms that implements the architecture of one machine on another; microprogramming is often used in emulation to make one computer system appear as if it were another. This paper presents the architecture for a microprogrammed computer system, the VSEM. The simulated virtual computer system, its monitor and a simulated concurrent PASCAL are discussed. The usefulness of the VSEM, its monitor and the concurrent PASCAL as vehicles for instruction in systems programming is addressed.
{"title":"Emulators: prospective instruments for instruction in systems programming","authors":"Amos O. Olangunju, E. Borders","doi":"10.1145/378741.378764","DOIUrl":"https://doi.org/10.1145/378741.378764","url":null,"abstract":"Microprogramming is a technique for implementing machine language instruction sets --it is critical in today's computer architectures and operating systems. An emulator is a set of microprograms that implements the architecture of one machine on another; microprogramming is often used in emulation to make one computer system appear as if it were another. This paper presents the architecture for a microprogrammed computer system, the VSEM. The simulated virtual computer system, its monitor and a simulated concurrent PASCAL are discussed. The usefulness of the VSEM, its monitor and the concurrent PASCAL as vehicles for instruction in systems programming is addressed.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129531514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A derivation of parallel implementation of an efficient microcode compaction algorithm has been described. The serial algorithm is decomposed into four schedules of computations. Parallelism within a schedule and between the schedules is examined. The time complexity of the parallel implementation is of O(n2) when O(n3 processors are available. This initial attempt may motivate further investigations in designing efficient parallel algorithms for microcode compaction.
{"title":"Parallel implementation of an efficient microcode compaction algorithm","authors":"S. U. Rao, G. P. Shattacharjee, A. Majumdar","doi":"10.1145/378741.378761","DOIUrl":"https://doi.org/10.1145/378741.378761","url":null,"abstract":"A derivation of parallel implementation of an efficient microcode compaction algorithm has been described. The serial algorithm is decomposed into four schedules of computations. Parallelism within a schedule and between the schedules is examined. The time complexity of the parallel implementation is of O(n2) when O(n3 processors are available. This initial attempt may motivate further investigations in designing efficient parallel algorithms for microcode compaction.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131517774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A method of sequential microcode compaction for architectures containing transient data resources is discussed.A theoretical apparatus, allowing the identification of microoperation groups requiring synchronization according to their transient data resources as well as their correcposnding transient data resources is suggested.An algorithm, separating the microoperation groups resulting from the transient data resources in the microarchitectures is also discussed.
{"title":"A formal approach to the problems of microcode compaction caused by transient data resources of the microarchitectures","authors":"L. Manasiev, A. Petkov, K. Boyanov","doi":"10.1145/378741.378753","DOIUrl":"https://doi.org/10.1145/378741.378753","url":null,"abstract":"A method of sequential microcode compaction for architectures containing transient data resources is discussed.A theoretical apparatus, allowing the identification of microoperation groups requiring synchronization according to their transient data resources as well as their correcposnding transient data resources is suggested.An algorithm, separating the microoperation groups resulting from the transient data resources in the microarchitectures is also discussed.","PeriodicalId":138968,"journal":{"name":"ACM Sigmicro Newsletter","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128954305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：