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

CompEuro 1992 Proceedings Computer Systems and Software Engineering最新文献

筛选
英文 中文
An architecture for active hypertext on distributed systems 分布式系统上活动超文本的体系结构
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218404
I. Gaviotis, A. Hatzimanikatis, D. Christodoulakis
{"title":"An architecture for active hypertext on distributed systems","authors":"I. Gaviotis, A. Hatzimanikatis, D. Christodoulakis","doi":"10.1109/CMPEUR.1992.218404","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218404","url":null,"abstract":"The combination of hypertext and distributed systems technologies enhances effectiveness in information management and dissemination. An architecture which integrates these technologies is presented, the issues that influenced its design are cited, and its realization is outlined. Easy and graceful integration of new applications in the framework is supported by the generic and extensible character of the architecture. The proposed architecture caters for activity; event-driven computations constantly cheek for the preservation of consistency and rigidly enforce the behavior specified by the application programmer. A production rule formalism is used to customize the structure of the hypergraph and define additional constraints on the semantics of the server operations.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122598505","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}
引用次数: 2
Distributed system modeling with bidirectional Petri nets 基于双向Petri网的分布式系统建模
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218401
G. Yang
{"title":"Distributed system modeling with bidirectional Petri nets","authors":"G. Yang","doi":"10.1109/CMPEUR.1992.218401","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218401","url":null,"abstract":"A new tool for modeling systems called bidirectional Petri nets (BPNs) is presented. It increases the degree of abstraction drastically, and makes it possible to model complicated systems concisely. The method uses a two-level system modeling technique. The first level has the responsibility for all basic transmissions, and the second level models the higher-level structure of the whole system. The abstraction process is demonstrated by means of an example. The queue migration algorithm for mutual exclusion in computer networks is chosen as an example.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122839787","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}
引用次数: 2
Equational semantics for Basic LOTOS and an example of its use in a transformational proof style 基本LOTOS的等式语义及其在转换证明风格中的使用示例
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218427
M. Massink, L. Rooijakkers
{"title":"Equational semantics for Basic LOTOS and an example of its use in a transformational proof style","authors":"M. Massink, L. Rooijakkers","doi":"10.1109/CMPEUR.1992.218427","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218427","url":null,"abstract":"LOTOS is a formal description technique for specifying and analyzing distributed systems. It is shown that equational semantics can be given for a subset called Basic LOTOS. A method based on Boolean equations is used. The semantics are shown to be consistent and complete. The equations for Basic LOTOS are found to form a sufficient basis for writing elegant proofs in a transformational style, which has many advantages compared to the more informal style in which proofs are normally presented. An example of such a transformational proof is given.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115315870","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
An optimization technique for ordered (binary) decision diagrams 有序(二元)决策图的优化技术
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218496
V. Dvorák
{"title":"An optimization technique for ordered (binary) decision diagrams","authors":"V. Dvorák","doi":"10.1109/CMPEUR.1992.218496","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218496","url":null,"abstract":"The minimum-cost ordered (binary) decision diagram (OBDD) (also a reduced OBDD or ROBDD) is a canonical representation for a logic function, given an ordering on its variables (R. Bryant, 1986). A new optimization technique is presented for suboptimal synthesis of ODDs of complete as well as partial multiple-output Boolean functions. The method is based on iterative decomposition. The central notion in this process is that of subfunctions, whereas in ODDs there are decision nodes. There is, however, 1:1 mapping between them: a level of decision nodes in the ODD corresponds to a set of subfunctions recognized in a corresponding decomposition step. The technique is computationally effective and deals with incomplete functions frequently used in practice. A small synthesis example is given to introduce a new technique for ROBDDs. The results and some experience with the optimization program are described.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116103609","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}
引用次数: 7
Application of a dual dynamic programming algorithm to staircase linear programs arising in scheduling of hydro power plants 对偶动态规划算法在水电厂调度中阶梯线性规划中的应用
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218487
T. A. Rotting, A. Gjelsvik
{"title":"Application of a dual dynamic programming algorithm to staircase linear programs arising in scheduling of hydro power plants","authors":"T. A. Rotting, A. Gjelsvik","doi":"10.1109/CMPEUR.1992.218487","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218487","url":null,"abstract":"A dual dynamic programming (DDP) technique for staircase linear programs was applied to problems arising in multistage scheduling of hydroelectric power systems. The approach has some similarity to nested Benders' decompositions (J.F. Benders, 1962). The contribution is a computational strategy to arrange the iterations so as to improve convergence over the standard DDP approach. The application also favors use of relaxation in the subproblem, and this is discussed.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115104036","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
A programmable instruction format extension to VLIW architectures 一个可编程指令格式扩展到VLIW体系结构
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218490
A. De Gloria, P. Faraboschi
{"title":"A programmable instruction format extension to VLIW architectures","authors":"A. De Gloria, P. Faraboschi","doi":"10.1109/CMPEUR.1992.218490","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218490","url":null,"abstract":"While very long instruction word (VLIW) architectures permit static extraction of a valuable amount of concurrency, their major drawback lies in the considerable code memory size requirements, due to the horizontal nature of the instruction set. To overcome this inefficiency, the authors propose a programmable instruction format extension, where the compiler is responsible for the choice of the best combinations of operations which are allowed to be concurrently executed. This results in a substantial saving of instruction bits, at the only expense of some additional memory for decoding circuitry. An applicative example on a sample architecture shows how performance decay is strongly limited also when the instruction width is reduced by a factor of three.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122639829","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
Fast switching using nonlinear optics 使用非线性光学的快速开关
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218468
M. Guizani
{"title":"Fast switching using nonlinear optics","authors":"M. Guizani","doi":"10.1109/CMPEUR.1992.218468","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218468","url":null,"abstract":"The author presents a design prototype of a packet flow controller using optical interference filters. Optical bistable devices can be used to implement logic gates. Various design issues are discussed.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126917203","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
Net level aggregation using nonlinear optimization for the solution of hierarchical GSPN in performance evaluation 用非线性优化的网络级聚合方法求解分层GSPN的性能评价
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218465
G. Klas
{"title":"Net level aggregation using nonlinear optimization for the solution of hierarchical GSPN in performance evaluation","authors":"G. Klas","doi":"10.1109/CMPEUR.1992.218465","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218465","url":null,"abstract":"An approach for the hierarchical solution of large generalized stochastic Petri net models is presented. The method is based on the aggregation of submodels to substitute networks. The stochastic equivalence between these models is achieved by matching the flow time distributions of tokens in the submodel and in the aggregate net. This leads to a nonlinear optimization problem for finding the best aggregate net. As the main result, some insight is provided into the crucial point of estimating the parameters of a suitable aggregate net from a flow time distribution of the original net. The approach is demonstrated by means of an example.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133364711","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
Trends in cooling technology for high-density packaging 高密度包装冷却技术的发展趋势
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218416
B. Gromoll
{"title":"Trends in cooling technology for high-density packaging","authors":"B. Gromoll","doi":"10.1109/CMPEUR.1992.218416","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218416","url":null,"abstract":"A general look at the development of cooling systems for multichip modules over the last few years reveals a clear increase in the levels of power dissipation. Heat transfer and cooling methods for multichip modules are considered. The extremely high demands placed on cooling systems are leading to increasingly cost-intensive technical solutions. Microcooling systems must be capable of integration in order to cool the 3D computer structures of the future. A microcooler produced in Si etched technology is presented as the foundation of this type of cooling system.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131588207","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
Memory bank conflict on some vector supercomputers 一些矢量超级计算机的内存冲突
CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI: 10.1109/CMPEUR.1992.218407
S. Fujino
{"title":"Memory bank conflict on some vector supercomputers","authors":"S. Fujino","doi":"10.1109/CMPEUR.1992.218407","DOIUrl":"https://doi.org/10.1109/CMPEUR.1992.218407","url":null,"abstract":"The effects of memory bank conflict on some typical vector supercomputers were investigated. The numerical experiments were carried out on the NEC SX-2, the Hitachi S-820/80, and the Fujitsu VP-2600/20 and in part on an NEC SX-3. The deterioration of performance due to memory bank conflict is studied, and a recipe is given for choosing the numbers of gridpoints in the x, y and z directions for efficiently solving a linear system of equations which arise from the discretization of the partial differential equations.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123764588","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学术官方微信