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

Symposium on Small Systems最新文献

筛选
英文 中文
Real-time reasoning with PROLOG 实时推理与PROLOG
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99437
Chunsik Yi, Steven K. Graham
{"title":"Real-time reasoning with PROLOG","authors":"Chunsik Yi, Steven K. Graham","doi":"10.1145/99412.99437","DOIUrl":"https://doi.org/10.1145/99412.99437","url":null,"abstract":"In this paper, we present a description of a Prolog implementation of a system (RTR) for “real-time reasoning”, similar to those discussed by Perlis (see [3] and [6]). The reasoning to be performed by the system is “real-time” in two different senses. First, reasoning is considered to be a continuing process rather than an isolated calculation of the consequences of an axiom set, with such a process being analogous to that required to create a computer or robotic system with some autonomy. Secondly, our system addresses the combinatorial problems inherent in theorem proving by applying inference rules to only a small working set of observations and axioms. Such a system provides one approach to non-monotonic reasoning, allowing the derivation of inconsistent facts within the working set and then providing a means of resolving the conflict.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128299431","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
System integration in multidatabases 多数据库系统集成
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99455
P. Bodorik, J. Riordon
{"title":"System integration in multidatabases","authors":"P. Bodorik, J. Riordon","doi":"10.1145/99412.99455","DOIUrl":"https://doi.org/10.1145/99412.99455","url":null,"abstract":"— This paper presents an exploratory approach to the development of a tool for integrating existing databases. The intent is to meet specific requirements and to achieve flexibility through the creation of an “open” system. The methodology assumes an integration model which captures the essential characteristics of a distributed system within a knowledge base. The model and the underlying knowledge base may be used to represent the distributed environment and to define requirements for the shared use of heterogeneous databases. An interactive method is proposed which allows the user to proceed in an iterative fashion in specifying system attributes and resolving design conflicts. The project is at present in the definition phase; current work is aimed at the identification of generic multidatabase services, and their abstraction in a form amenable for storage in the knowledge base.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":" 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132075354","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
An object/message model for the development of integrated workstation software 面向集成工作站软件开发的对象/消息模型
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99427
Kathleen Taylor, M. Bauer
{"title":"An object/message model for the development of integrated workstation software","authors":"Kathleen Taylor, M. Bauer","doi":"10.1145/99412.99427","DOIUrl":"https://doi.org/10.1145/99412.99427","url":null,"abstract":"There is a need for expandable, integrated workstation environments which are simple and straight-forward to use but which can be modified to accommodate a particular user's needs. In this paper, a model is proposed for the development of integrated workstation software. Integration is achieved through message passing and by encapsulating information in objects. The applications communicate with a mediator rather than each other. The mediator has descriptions of the objects being transferred and can carry out intermediate operations on the data when necessary. This paper introduces the basic concepts of the model, and briefly discusses a prototype and the future implications of this approach.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131725528","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
Performance comparison of extendible hashing and linear hashing techniques 可扩展散列和线性散列技术的性能比较
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99462
Ashok Rathi, Huizhu Lu, G. Hedrick
{"title":"Performance comparison of extendible hashing and linear hashing techniques","authors":"Ashok Rathi, Huizhu Lu, G. Hedrick","doi":"10.1145/99412.99462","DOIUrl":"https://doi.org/10.1145/99412.99462","url":null,"abstract":"Based on seven assumptions, the following comparison factors are used to compare the performance of linear hashing with extendible hashing: 1. storage utilization; 2. average unsuccessful search cost; 3. average successful search cost; 4. split cost; 5. insertion cost; 6. number of overflow buckets. The simulation is conducted with the bucket sizes of 10, 20, and 50 for both hashing techniques. In order to observe their average behavior, the simulation uses 50,000 keys which have been generated randomly.\u0000According to our simulation results, extendible hashing has an advantage of 5% over linear hashing in terms of storage utilization. Successful search, unsuccessful search, and insertions are less costly in linear hashing. However, linear hashing requires a large overflow space to handle the overflow records. Simulation shows that approximately 10% of the space should be marked as overflow space in linear hashing.\u0000Directory size is a serious bottleneck in extendible hashing. Based on the simulation results, the authors recommend linear hashing when main memory is at a premium.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133479591","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
The cost-effective integration of microcomputers into a campus computing environment 将微型计算机经济高效地集成到校园计算环境中
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99444
Mark Luker
{"title":"The cost-effective integration of microcomputers into a campus computing environment","authors":"Mark Luker","doi":"10.1145/99412.99444","DOIUrl":"https://doi.org/10.1145/99412.99444","url":null,"abstract":"This paper presents an integrated approach to the cost-effective support of microcomputers and their applications in an actual campus environment. Hardware and software standards, departmental LAN's, a campus network, large central computers, and organized training and consulting are used together to support many microcomputers efficiently, allowing more users and applications to be supported on the same budget. A well-known, public-domain networking package was extended to provide a crucial missing link in the plan. Such practical considerations of organized support can be of interest and value to the designers of the small systems of tomorrow.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116965448","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 formal specification tool for office systems 用于办公系统的正式规范工具
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99471
H. Saiedian, E. A. Unger
{"title":"A formal specification tool for office systems","authors":"H. Saiedian, E. A. Unger","doi":"10.1145/99412.99471","DOIUrl":"https://doi.org/10.1145/99412.99471","url":null,"abstract":"","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129389544","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
Parametric performance evaluation of a micro-based database system 基于微数据库系统的参数化性能评价
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99458
R. Hashemi-Nassab
{"title":"Parametric performance evaluation of a micro-based database system","authors":"R. Hashemi-Nassab","doi":"10.1145/99412.99458","DOIUrl":"https://doi.org/10.1145/99412.99458","url":null,"abstract":"An extended analytical technique for performance evaluation of software packages is introduced. The purpose of this analytical technique is to present the performance evaluation of a system in parametric equations. The equations can be easily used in studying the system behavior in different environments without re-evaluating the performance of the system. This technique was applied on a micro-based relational database system called MICREL. The performance criteria were the transaction delay and the processing delay. The result is a set of performance equations for different operations of MICREL.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126582248","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
STP: a simple theorem prover for IBM-PC compatible computers 用于IBM-PC兼容计算机的简单定理证明器
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99439
B. Mayfield, T. B. Baird
{"title":"STP: a simple theorem prover for IBM-PC compatible computers","authors":"B. Mayfield, T. B. Baird","doi":"10.1145/99412.99439","DOIUrl":"https://doi.org/10.1145/99412.99439","url":null,"abstract":"STP (Simple Theorem Prover) was conceived as a tool to help gain a better understanding of the concepts and difficulties involved in producing a generalized automated theorem prover for first-order logic, such as ITP (Interactive Theorem Prover). The project was undertaken on an IBM-PC using Turbo Pascal, version 3, mainly for reasons of hardware availability and software familiarity. ITP is the model on which STP is based. Although STP is functionally much less complex than ITP, they share the same syntax for input clauses. An additional program, called the “Skolemizer”, was developed as a user aid to transform generalized first-order logic formulae into their Skolem conjunctive normal form equivalents for input to STP or to ITP. The initial strategy used to search the solution space proved to be inadequate for the development environment, and was later expanded to include a second search strategy option. The current version of STP uses LUSH resolution plus clause factoring to do refutation proofs. It is able to solve most simple problems, but takes too long to solve significant problems. Although STP met its design goal—that of being an educational experience to develop—it needs to be extended to utilize more complex forms of resolution and other related methods. With recent advances in small computer hardware and software capabilities, these enhancements should now be possible.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122238289","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
Edmund: a multicast kernel for distributed application 用于分布式应用的多播内核
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99502
L. Hughes
{"title":"Edmund: a multicast kernel for distributed application","authors":"L. Hughes","doi":"10.1145/99412.99502","DOIUrl":"https://doi.org/10.1145/99412.99502","url":null,"abstract":"Although many local area networks and operating systems support the use of multicast communications, multicast communications have remained primarily an interesting research tool. However, the growing research interest in multimedia and hypermedia for knowledge-based models and cooperative work environments, and the need for object migration in distributed systems, suggest that there are other applications that could benefit from the use of multicast.\u0000This paper presents an overview of Edmund, a light weight kernel that supports interprocess multicast messaging on a network of Intel 80286 personal computers, as well as some of our preliminary research results which demonstrate the uses and benefits of multicast communication.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130794859","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 a VLSI layout tool on personal computers 个人计算机上VLSI布局工具的实现
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99463
A. G. Jost, P. Streatch, D. Guptill
{"title":"Implementation of a VLSI layout tool on personal computers","authors":"A. G. Jost, P. Streatch, D. Guptill","doi":"10.1145/99412.99463","DOIUrl":"https://doi.org/10.1145/99412.99463","url":null,"abstract":"This paper describes a VLSI layout editor implemented on the Macintosh and IBM personal computers. The editor is capable of manipulating integrated circuit designs of complexity exceeding 50,000 transistors on a standard Macintosh Plus computer. The paper discusses the design tradeoffs necessary to implement a program of this capability on small computers.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116601989","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学术文献互助群
群 号：604180095
Book学术官方微信