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

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools最新文献

筛选
英文 中文
Patil array-a Petri net hardware implementation 粒子阵列- Petri网硬件实现
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4931
R. Hartenstein, A. Hirschbiel, M. Weber
{"title":"Patil array-a Petri net hardware implementation","authors":"R. Hartenstein, A. Hirschbiel, M. Weber","doi":"10.1109/CMPEUR.1988.4931","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4931","url":null,"abstract":"The authors describe a parallel hardware implementation of Petri nets using the Kolte array scheme. The main feature of the work is a way of solving accessing conflicts which can arise from parallelism within such arrays. A description is also given of an NMOS circuit technique, a Patil array generator, and a flexible field-reprogrammable Patil array circuit technique.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116232138","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}
引用次数: 1
Tool for system design verification 系统设计验证工具
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4941
Z. Brezočnik, B. Horvat, M. Gerkeš
{"title":"Tool for system design verification","authors":"Z. Brezočnik, B. Horvat, M. Gerkeš","doi":"10.1109/CMPEUR.1988.4941","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4941","url":null,"abstract":"An approach is presented for automatic formal verification of digital hardware designs using Prolog. Validation of design correctness is made by formal proof as an alternative to the traditional approach which utilizes simulation. A hardware design methodology based on this framework entails: writing a specification of required design, designing a circuit intended to implement it, and proving mathematically that the design meets its specification. Prolog is used both as a representational language for describing the design specification and implementation and also as an inference mechanism for proving its functional correctness. A developed verification system has enough domain specific and general mathematical knowledge to perform the proofs largely automatically. Designs can be handled from the transistor level up to the architectural levels. Some large designs, including a simple computer, have already been verified.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"92 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128022006","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}
引用次数: 1
Toccata & Fuga: a rule-based system for interactive pipeline design Toccata & Fuga:基于规则的交互式管道设计系统
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4943
I. Exman, E. Perkalski
{"title":"Toccata & Fuga: a rule-based system for interactive pipeline design","authors":"I. Exman, E. Perkalski","doi":"10.1109/CMPEUR.1988.4943","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4943","url":null,"abstract":"A novel interactive approach to pipeline design is proposed. To convey to the user prompt understanding of both the algorithm and processor functions, it uses a multilayered representation for pipeline entities. The entity repertoire in each layer is small. Guidelines are given to abstract actual processors into these entities. The ground layer of the representation is a resources board. One builds up the pipeline the way one solves jigsaw puzzles: moving around 'boxes' on the board. The computer system controls the design process. Toccata & Fuga, a rule-based system, was implemented along the above lines, in a Lisp machine. To be a practical tool it has the additional feature of automatic board translation to microcode.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124107644","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}
引用次数: 1
Execution of Ward's transformation schema on the graphic specification and prototyping tool specs 在图形规范和原型工具规范上执行Ward的转换方案
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4930
P. Pulli, J. Dahler, H. Gisiger, A. Kundig
{"title":"Execution of Ward's transformation schema on the graphic specification and prototyping tool specs","authors":"P. Pulli, J. Dahler, H. Gisiger, A. Kundig","doi":"10.1109/CMPEUR.1988.4930","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4930","url":null,"abstract":"The SPECS tool is a window-oriented, menu-driven net editor and an integrated simulator with animation support for high-level Petri nets, embedded in an object-oriented programming environment and extended with a hierarchical structuring facility. However, the use of the tool is not limited to Petri-net based specifications. It is possible to describe the basic modeling elements of other specification methods with Petri nets. The initial results of emulating the real-time structured analysis and structured design method on the SPECS environment are presented. The basic elements of the method are modeled as high-level Petri nets to meet the execution rules, known as the Ward transformation schema. The SPECS simulator is adapted to support the scheduling principle of those execution rules. The well-known cruise control system specification is presented in a form which allows its execution on the SPECS tool.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132438809","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}
引用次数: 14
A computer-aided design environment for distributed realtime systems 分布式实时系统的计算机辅助设计环境
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4961
C. Senft
{"title":"A computer-aided design environment for distributed realtime systems","authors":"C. Senft","doi":"10.1109/CMPEUR.1988.4961","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4961","url":null,"abstract":"The author presents a distributed project support environment for the design of fault-tolerant distributed realtime systems. The innovative aspects of this environment relate to the handling of realtime from the requirements phase to the detailed implementation stage and to the integration of the design tools with the evaluation of the design tools with the evaluation tools. Data refinement, function refinement, evaluation, and project management are supported by an open, but coherent tool set, shared by different computers. A uniform man-machine interface is one of the integrating factors of the whole environment. The design environment is implemented under the Unix operating system. The X-window system supports the creation of the window and icon-driven user interface of the design tools. The entire information gained and used during the design process is stored in an entity-relationship model implemented by a hybrid data-management approach that is based on a relational database system and the Unix file system.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134483026","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}
引用次数: 11
Charms of programming (requirements for a theory of . . .) 编程的魅力(对…理论的要求)
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4949
J. Durieux
{"title":"Charms of programming (requirements for a theory of . . .)","authors":"J. Durieux","doi":"10.1109/CMPEUR.1988.4949","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4949","url":null,"abstract":"The author identifies a unifying concept, called charm, for the substitution and binding mechanisms of logics, lambda-calculi, and programming languages. A survey of the algebraic properties of compositions of usual binding mechanisms shows that there is a common algebraic structure, from simple binding mechanisms like memories and environments to more complex ones like recursive systems or algebraic specifications. This common algebraic structure provides an outline for an unifying theory of charms of programming.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116496066","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
MME: a new integrated programming support environment for distributed embedded systems MME:一种新的分布式嵌入式系统集成编程支持环境
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4959
S. Gatti, L. Zoccolante
{"title":"MME: a new integrated programming support environment for distributed embedded systems","authors":"S. Gatti, L. Zoccolante","doi":"10.1109/CMPEUR.1988.4959","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4959","url":null,"abstract":"The authors describe the main characteristics of multi micro environment (MME), an integrated programming support environment for the developing of concurrent applications for an embedded distributed environment. General tools and specific ones for the intended multimicroprocessor applications are described. The authors present a short description of the concurrent, modular language provided by MME.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"23 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131207636","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
Current industrial practice in VLSI design 当前VLSI设计的工业实践
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4946
T. Claasen
{"title":"Current industrial practice in VLSI design","authors":"T. Claasen","doi":"10.1109/CMPEUR.1988.4946","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4946","url":null,"abstract":"An overview is given of presently common design methods for VLSI. A comparison is made between VLSI and software design methods and the conclusion is drawn that VLSI design is still in its infancy. It is predicted that rapid progress, especially in the area of automated or computer-aided design, will allow system designers with little (if any) knowledge of silicon processing or MOS transistors to design digital circuits of large complexity in moderate design times.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"541 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124342865","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
A method for programming matrix algorithms in array processors 阵列处理器中矩阵算法的编程方法
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4958
G. M. Bisio, F. Arduini, F. Curatelli, E. Zitti, G. Parodi, A. Zini
{"title":"A method for programming matrix algorithms in array processors","authors":"G. M. Bisio, F. Arduini, F. Curatelli, E. Zitti, G. Parodi, A. Zini","doi":"10.1109/CMPEUR.1988.4958","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4958","url":null,"abstract":"A method for mapping uniformly distributed (wavefront like) algorithms into processor square meshes of fixed size, which is based on the concept of folding, is applied to matrix computation (matrix multiplication and LU decomposition). Array processors programmed in Occam are considered. The programming methodology, which can be automated, is analyzed in detail.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"178 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123071816","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
The use of many-valued and nonmonotonic logics for design decisions 在设计决策中使用多值和非单调逻辑
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4936
W. Zimmermann
{"title":"The use of many-valued and nonmonotonic logics for design decisions","authors":"W. Zimmermann","doi":"10.1109/CMPEUR.1988.4936","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4936","url":null,"abstract":"It is shown how to use techniques and properties of many-valued and nonmonotonic logics for the construction of programs. The design decisions of program development depend on nonfunctional properties (like complexity, influences of the application area and target systems, etc.). If one develops a program using a transformation system, a design decision corresponds to the choice of a transformation rule. The connection between nonfunctional properties and design decisions is described by the use of logic. An inference mechanism helps in choosing a transformation rule. A classical inference mechanism is not sufficient, because the knowledge on the connection between nonfunctional properties and transformation rules is uncertain and incomplete. It is shown that the use of a many-valued and nonmonotonic inference mechanism leads to more adequate results.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127651987","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
首页 上一页 下一页 尾页
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学术官方微信