发布求助
文献互助 智能选刊 最新文献

MICRO 11最新文献

筛选
英文 中文
An introduction to the verification oriented microprogramming language “MIDDLE” 面向验证的微程序设计语言“MIDDLE”简介
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804323
P. Dembinski, S. Budkowski
{"title":"An introduction to the verification oriented microprogramming language “MIDDLE”","authors":"P. Dembinski, S. Budkowski","doi":"10.1145/1014198.804323","DOIUrl":"https://doi.org/10.1145/1014198.804323","url":null,"abstract":"The basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three purely synctactic transformations defined in the language allow one to get more or less hardware oriented version of a microprogram. The language has full mathematical semantic description which gives the possibility for the microprogram verification based on the known general program-proof methods.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133850610","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}
引用次数: 5
Experience with a microprogrammed Interlisp system 有使用微程序Interlisp系统的经验
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804321
L. Deutsch
{"title":"Experience with a microprogrammed Interlisp system","authors":"L. Deutsch","doi":"10.1145/1014198.804321","DOIUrl":"https://doi.org/10.1145/1014198.804321","url":null,"abstract":"This paper presents the design of an Interlisp system running on a microprogrammed minicomputer. We discuss the constraints imposed by compatibility requirements and by the hardware, the important design decisions, and the most prominent successes and failures of our design, and offer some suggestions for future designers of small Lisp systems.\u0000 This extended abstract contains only qualitative results. Supporting measurement data will be presented at MICRO-11.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134531359","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}
引用次数: 28
EMMY/360: An emulation of System/360 for the Stanford EMMY EMMY/360:斯坦福艾美奖的System/360仿真
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804301
Walter A. Wallach
{"title":"EMMY/360: An emulation of System/360 for the Stanford EMMY","authors":"Walter A. Wallach","doi":"10.1145/1014198.804301","DOIUrl":"https://doi.org/10.1145/1014198.804301","url":null,"abstract":"The Stanford EMMY is a vertically organized, dynamically microprogrammed flexible host machine configured as part of the Stanford Emulation Laboratory. EMMY/360 is an emulation of System/360 central processor architecture microcoded for the Stanford EMMY. This paper presents the characteristics and organization of EMMY/360. Performance of both the emulator and the host machine on a typical S/360 instruction mix is summarized.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132509057","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}
引用次数: 0
MICOS: A microprogrammed hierarchical operating system nucleus and its performance comparison 微程序分层操作系统核心及其性能比较
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804303
W. Burkhardt, H. E. Maier
{"title":"MICOS: A microprogrammed hierarchical operating system nucleus and its performance comparison","authors":"W. Burkhardt, H. E. Maier","doi":"10.1145/1014198.804303","DOIUrl":"https://doi.org/10.1145/1014198.804303","url":null,"abstract":"Modern operating systems (OS) spend often more than half of the total CPU-time for overhead. Microprogramming of systems components offers an attractive means for a reduction. However, previous investigators have found only small increases in efficiency by microprogrammed OS-functions, whenever analyzed in detail. They have implemented a total OS in microcode or designed new powerful machine instructions for single systems functions, but without important changes to the hardware architecture or the OS-structure.\u0000 A special structure of the present system has been adopted for the comparison of the performance of the different implementation modes for the functions in the OS-nucleus.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121664135","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}
引用次数: 0
Implementation of high speed data sets with microprogrammable data processors 用微可编程数据处理器实现高速数据集
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804304
Glenn N. Caplin, Anne R. Clayton, R. Stuart
{"title":"Implementation of high speed data sets with microprogrammable data processors","authors":"Glenn N. Caplin, Anne R. Clayton, R. Stuart","doi":"10.1145/1014198.804304","DOIUrl":"https://doi.org/10.1145/1014198.804304","url":null,"abstract":"Modern high speed data sets (or Modems) are usually required to perform a great deal of digital signal processing to maintain acceptable error rates for worst-case channel conditions. Previously, this digital processing task was implemented with dedicated SSI/MSI TTL circuits. With the advent of high speed microprogrammable units (ALU's, sequencers, etc.), it has become possible to replace a random logic design with a functionally equivalent microprogrammed design. This results in better density, lower power requirements, and greater versatility and flexibility. The microprogrammed system described is designed to provide accurate emulation of an existing data set while maintaining the advantages of microprogrammed architecture versus random logic.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116107996","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}
引用次数: 0
Microprogrammed spectrum analysis 微程序谱分析
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804315
T. Mulrooney
{"title":"Microprogrammed spectrum analysis","authors":"T. Mulrooney","doi":"10.1145/1014198.804315","DOIUrl":"https://doi.org/10.1145/1014198.804315","url":null,"abstract":"This paper will demonstrate how microprogramming affects the FFT. An interactive simulator is used to draw comparisons between an assembler FFT, a microprogrammed FFT, and a microprogrammed FFT with a hard-wired multiply.\u0000 The FFT is analyzed in detail and the bottlenecks involved with microprogramming are graphically displayed.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"95 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125975029","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}
引用次数: 0
Programming a microcoded processor for speech waveform generation 编程用于语音波形生成的微编码处理器
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804317
G. Kopec, G. Miranker
{"title":"Programming a microcoded processor for speech waveform generation","authors":"G. Kopec, G. Miranker","doi":"10.1145/1014198.804317","DOIUrl":"https://doi.org/10.1145/1014198.804317","url":null,"abstract":"One effective way to exploit decreasing hardware costs is to build processors tailored to highly specialized tasks. Our experience with the specification, design and programming of a hardware realization of a terminal analog model of the human vocal tract are discussed.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116152193","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}
引用次数: 0
Verification of the FTSC microprogram FTSC微程序的验证
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804319
D. Van-Mierop, L. Marcus, S. Crocker
{"title":"Verification of the FTSC microprogram","authors":"D. Van-Mierop, L. Marcus, S. Crocker","doi":"10.1145/1014198.804319","DOIUrl":"https://doi.org/10.1145/1014198.804319","url":null,"abstract":"At ISI, we are halfway into a two year research program in microcode verification. We are focussing our attention on microcode that implements a target instruction set. The Fault-Tolerant Spaceborne Computer is a typical microcoded machine and we are using an early version of it as the prime example for the present work. example for the present work. The host machine decodes a 78 bit microinstruction into 37 separate fields. About 750 microinstructions are used to implement the target instruction set. The target machine is word oriented with 32 bit words. The CPU has eight general purpose registers and carries out the usual repertoire of integer, logical and floating point operations.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127466950","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}
引用次数: 3
A micro signal processing module 一个微信号处理模块
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804316
D. M. Bell, Larry E. Hand
{"title":"A micro signal processing module","authors":"D. M. Bell, Larry E. Hand","doi":"10.1145/1014198.804316","DOIUrl":"https://doi.org/10.1145/1014198.804316","url":null,"abstract":"A small, high-speed programmable digital signal processing module utilizing bit slice microprocessor techniques is described. The processor is designed to provide low-cost, modular implementations of digital signal processing tasks, such as fast Fourier transforms, data compression, digital filtering, etc. The module demonstrates the use of recent LSI technology in a small compact design for both single and multiple processor implementation of signal processing algorithms.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121559829","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}
引用次数: 0
Towards a microprogramming language schema 迈向一个微程序语言模式
MICRO 11 Pub Date : 1978-11-19 DOI: 10.1145/1014198.804324
S. Dasgupta
{"title":"Towards a microprogramming language schema","authors":"S. Dasgupta","doi":"10.1145/1014198.804324","DOIUrl":"https://doi.org/10.1145/1014198.804324","url":null,"abstract":"A <underline>microprogramming language schema</underline> S denotes a language whose semantics is partially defined. A particular language S(M<subscrpt>1</subscrpt>), corresponding to some specific microprogrammable host machine M<subscrpt>1</subscrpt>, is obtained when S's semantics is completed using the properties of M<subscrpt>1</subscrpt>. In this paper, the design of a PASCAL-influenced language schema S* is developed. The principal characteristics of S* are facilities for constructing well-structured, verifiable microprograms that can either be optimized at the source program level or can be subject to mechanical (compiler) optimization.","PeriodicalId":336739,"journal":{"name":"MICRO 11","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1978-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115530540","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}
引用次数: 31
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信