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

[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track最新文献

筛选
英文 中文
Coroutine sequencing in BETA 协同测序在BETA
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11830
B. B. Kristensen, O. Madsen, B. Møller-Pedersen, K. Nygaard
{"title":"Coroutine sequencing in BETA","authors":"B. B. Kristensen, O. Madsen, B. Møller-Pedersen, K. Nygaard","doi":"10.1109/HICSS.1988.11830","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11830","url":null,"abstract":"In object-oriented programming, a program execution is viewed as a physical model of some real or imaginary part of the world. A language supporting object-oriented programming must therefore contain comprehensive facilities for modeling phenomena and concepts form the application domain. Many applications in the real world consist of objects carrying out sequential processes. Coroutines may be used for modeling objects that alternate between a number of sequential processes. The authors describe coroutines in BETA.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127940156","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
Communications in the Mercury system 水星系统的通讯
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11804
B. Liskov, T. Bloom, D. Gifford, R. Scheifler, W. Weihl
{"title":"Communications in the Mercury system","authors":"B. Liskov, T. Bloom, D. Gifford, R. Scheifler, W. Weihl","doi":"10.1109/HICSS.1988.11804","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11804","url":null,"abstract":"A high-level communication mechanism that combined blocking and nonblocking calls in a clean and uniform way is proposed. The mechanism allows a server to provide a uniform interface based on remote calls; a client can optimize its use of the server of low latency or high throughput. When it is optimized for low latency, the mechanism is competitive with other remote-procedure-call mechanisms. When it is optimized for high throughput, it is competitive with bulk-data-transport mechanisms such as byte streams.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121617842","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}
引用次数: 64
Applicative parallelism on a shared memory multiprocessor 共享内存多处理器上的应用并行性
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11799
R. Oldehoeft, D. Cann
{"title":"Applicative parallelism on a shared memory multiprocessor","authors":"R. Oldehoeft, D. Cann","doi":"10.1109/HICSS.1988.11799","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11799","url":null,"abstract":"The authors discuss how software for applicative language programs can automatically detect and exploit parallelism to take advantage of current and future parallel processing systems. They use an applicative language, SISAL, to show the sources of parallelism. A prototype SISAL system is available to execute some sample programs and help examine how well the implementation uses potential parallelism. An outstanding problem in applicative language design and implementation is copy optimization. The single assignment semantics of these languages requires frequent data structure copying in some programs, The authors exemplify the importance of minimizing copying, and show that other optimizations, including high-quality code generation, are also important for applicative languages.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131978090","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
The use of uniform semantic constraints in defining model-based editing operations 在定义基于模型的编辑操作时使用统一的语义约束
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11785
K. Yue
{"title":"The use of uniform semantic constraints in defining model-based editing operations","authors":"K. Yue","doi":"10.1109/HICSS.1988.11785","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11785","url":null,"abstract":"Problems arising from editing specifications at the level of desired behaviors (model-based editing) are addressed. Such editing operations can be designed on the basis of frequent patterns of desired behavior changes, and formalized semantic constraints can be utilized to guide the modifications to specifications. Consequently, the editing can be partially automated, and the changes can more likely be consistent and relatively complete. For a model-based editing system to have wide coverage and rich modification extent, it is crucial for each model-based editing operation to have uniform semantic constraints. Such constraints can often be based on a straightforward mapping back to the original behaviors. A framework is presented for describing model-based editing operations by the use of such constraints.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129962638","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
Practical support for parallel programming 对并行编程的实际支持
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11796
D. C. DiNucci, R. Babb
{"title":"Practical support for parallel programming","authors":"D. C. DiNucci, R. Babb","doi":"10.1109/HICSS.1988.11796","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11796","url":null,"abstract":"An approach is considered in which programs written within a higher-level parallel model are automatically transformed for execution on a particular (parallel) processor. It is based on an improved version of large-grain data-flow (LGDF) techniques. The model is described, along with a scheduler implementation strategy for shared-memory multiprocessors. Performance measurements of a specific implementation for the Sequent Balance 21000 are given. It is argued that the approach can provide the benefits of user-visible parallelism while avoiding the pitfalls inherent in hand-coding of parallel scheduling schemes.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134273757","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
A general approach to solving arbitrarily large problems in a fixed size systolic array 在固定大小的收缩数组中求解任意大问题的一般方法
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11806
Henry Y. H. Chuang, L. Chen
{"title":"A general approach to solving arbitrarily large problems in a fixed size systolic array","authors":"Henry Y. H. Chuang, L. Chen","doi":"10.1109/HICSS.1988.11806","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11806","url":null,"abstract":"Solving large problems in a small systolic array is considered difficult because the data arrays that pipeline through the array have to meet at the right place at the right time. Thus, partitioning and scheduling of data arrays for systolic computation is generally performed ad hoc. A general partitioning and scheduling method for solving large problems in a small systolic array is presented. Given a systolic array and its algorithm, a scheduling program that schedules the data blocks resulting from partitioning the data arrays can be obtained in a straightforward manner from the algorithm. The method, which can be easily mechanized, is applicable to loop algorithms and systolic arrays of various structures and shapes with or without local memory. Array emulation is an effective approach to solve large problems in a small processor array efficiently. Various array emulation methods are discussed, and the partitioning and scheduling method presented is shown to be useful for array emulation also.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114638713","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
Management of distributed applications in large networks 大型网络中分布式应用的管理
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11810
R. Flavin, J. Williford
{"title":"Management of distributed applications in large networks","authors":"R. Flavin, J. Williford","doi":"10.1109/HICSS.1988.11810","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11810","url":null,"abstract":"Rapid updating of any application is necessary to permit iterative design and development. This task is significantly complicated when an application is distributed. Rather than using the traditional methods of software dissemination and installation, the GRANDiose Distributed Application System permits authorized programmers around a wide area network to install and operate systems at remote sites. This is done using the facilities of GRAND, a test bed for distributed applications. The system is in experimental use on various wide area networks and LANs.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122156877","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
Automatic software documentation support: an example of machine translation 自动软件文档支持:一个机器翻译的例子
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11844
D. Ourston, R. W. McBeth
{"title":"Automatic software documentation support: an example of machine translation","authors":"D. Ourston, R. W. McBeth","doi":"10.1109/HICSS.1988.11844","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11844","url":null,"abstract":"An approach for deriving an English-language description of a computer program directly from the source code is presented. Two levels of translation are presented: statement rendering, to derive the English-language equivalent of the program statements, and concept abstraction, to deduce the purpose of the program. The translation method presented is shown to be equivalent to language translation, with some restrictions. One restriction is that the translation grammar is not bidirectional when abstractions are considered. Another is that the source (program) language is much more regularized than is normally the case with spoken (natural) languages.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124527370","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
Semantics of Modechart in real time logic Modechart在实时逻辑中的语义
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11840
F. Jahanian, R. Lee, A. Mok
{"title":"Semantics of Modechart in real time logic","authors":"F. Jahanian, R. Lee, A. Mok","doi":"10.1109/HICSS.1988.11840","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11840","url":null,"abstract":"The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129392420","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}
引用次数: 93
Programming environments for reusability 可重用性的编程环境
[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track Pub Date : 1900-01-01 DOI: 10.1109/HICSS.1988.11781
A. Habermann
{"title":"Programming environments for reusability","authors":"A. Habermann","doi":"10.1109/HICSS.1988.11781","DOIUrl":"https://doi.org/10.1109/HICSS.1988.11781","url":null,"abstract":"The standard techniques for the obstacles to software reuse are reviewed, and some emerging techniques that may makes a larger fraction of system software reusable are discussed. The main characteristics of five categories of programming environments are briefly examined. The categories are: structure-oriented environments, language environments, toolkit environments, software development methodologies, and system development assistants. The requirements for further development of reusability are examined, and speculations are offered as to which type of environment will be best suited to support it.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128349863","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
首页 上一页 下一页 尾页
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学术官方微信